|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Term | |
---|---|
org.semanticweb.HermiT.datalog | |
org.semanticweb.HermiT.model | |
org.semanticweb.HermiT.structural | |
org.semanticweb.HermiT.tableau |
Uses of Term in org.semanticweb.HermiT.datalog |
---|
Fields in org.semanticweb.HermiT.datalog declared as Term | |
---|---|
protected Term[] |
ConjunctiveQuery.m_answerTerms
|
protected Term[] |
ConjunctiveQuery.QueryCompiler.m_answerTerms
|
protected Term[] |
ConjunctiveQuery.m_resultBuffer
|
protected Term[] |
ConjunctiveQuery.QueryAnswerCallback.m_resultBuffer
|
protected Term[] |
ConjunctiveQuery.QueryCompiler.m_resultBuffer
|
Fields in org.semanticweb.HermiT.datalog with type parameters of type Term | |
---|---|
protected java.util.Map<Node,Term> |
ConjunctiveQuery.QueryAnswerCallback.m_nodesToTerms
|
protected java.util.Map<Node,Term> |
ConjunctiveQuery.QueryCompiler.m_nodesToTerms
|
protected java.util.Map<Node,Term> |
DatalogEngine.m_nodesToTerms
|
protected java.util.Map<Term,java.util.Set<Term>> |
DatalogEngine.m_termsToEquivalenceClasses
|
protected java.util.Map<Term,java.util.Set<Term>> |
DatalogEngine.m_termsToEquivalenceClasses
|
protected java.util.Map<Term,Node> |
DatalogEngine.m_termsToNodes
|
protected java.util.Map<Term,Term> |
DatalogEngine.m_termsToRepresentatives
|
protected java.util.Map<Term,Term> |
DatalogEngine.m_termsToRepresentatives
|
Methods in org.semanticweb.HermiT.datalog that return Term | |
---|---|
Term |
ConjunctiveQuery.getAnswerTerm(int termIndex)
|
Term |
DatalogEngine.getRepresentative(Term term)
|
Methods in org.semanticweb.HermiT.datalog that return types with arguments of type Term | |
---|---|
java.util.Set<Term> |
DatalogEngine.getEquivalenceClass(Term term)
|
Methods in org.semanticweb.HermiT.datalog with parameters of type Term | |
---|---|
protected static java.util.List<Variable> |
ConjunctiveQuery.QueryCompiler.getAnswerVariables(Term[] answerTerms)
|
java.util.Set<Term> |
DatalogEngine.getEquivalenceClass(Term term)
|
Term |
DatalogEngine.getRepresentative(Term term)
|
void |
QueryResultCollector.processResult(ConjunctiveQuery conjunctiveQuery,
Term[] result)
|
Constructors in org.semanticweb.HermiT.datalog with parameters of type Term | |
---|---|
ConjunctiveQuery.QueryAnswerCallback(ConjunctiveQuery conjunctiveQuery,
java.util.Map<Node,Term> nodesToTerms,
Term[] resultBuffer,
QueryResultCollector[] queryResultCollector,
int[][] copyAnswers,
java.lang.Object[] valuesBuffer)
|
|
ConjunctiveQuery.QueryCompiler(ConjunctiveQuery conjunctiveQuery,
DLClause queryDLClause,
Term[] answerTerms,
java.util.Map<Term,Node> termsToNodes,
java.util.Map<Node,Term> nodesToTerms,
Term[] resultBuffer,
QueryResultCollector[] queryResultCollector,
ExtensionTable.Retrieval oneEmptyTupleRetrieval)
|
|
ConjunctiveQuery.QueryCompiler(ConjunctiveQuery conjunctiveQuery,
DLClause queryDLClause,
Term[] answerTerms,
java.util.Map<Term,Node> termsToNodes,
java.util.Map<Node,Term> nodesToTerms,
Term[] resultBuffer,
QueryResultCollector[] queryResultCollector,
ExtensionTable.Retrieval oneEmptyTupleRetrieval)
|
|
ConjunctiveQuery(DatalogEngine datalogEngine,
Atom[] queryAtoms,
Term[] answerTerms)
|
Constructor parameters in org.semanticweb.HermiT.datalog with type arguments of type Term | |
---|---|
ConjunctiveQuery.QueryAnswerCallback(ConjunctiveQuery conjunctiveQuery,
java.util.Map<Node,Term> nodesToTerms,
Term[] resultBuffer,
QueryResultCollector[] queryResultCollector,
int[][] copyAnswers,
java.lang.Object[] valuesBuffer)
|
|
ConjunctiveQuery.QueryCompiler(ConjunctiveQuery conjunctiveQuery,
DLClause queryDLClause,
Term[] answerTerms,
java.util.Map<Term,Node> termsToNodes,
java.util.Map<Node,Term> nodesToTerms,
Term[] resultBuffer,
QueryResultCollector[] queryResultCollector,
ExtensionTable.Retrieval oneEmptyTupleRetrieval)
|
|
ConjunctiveQuery.QueryCompiler(ConjunctiveQuery conjunctiveQuery,
DLClause queryDLClause,
Term[] answerTerms,
java.util.Map<Term,Node> termsToNodes,
java.util.Map<Node,Term> nodesToTerms,
Term[] resultBuffer,
QueryResultCollector[] queryResultCollector,
ExtensionTable.Retrieval oneEmptyTupleRetrieval)
|
Uses of Term in org.semanticweb.HermiT.model |
---|
Subclasses of Term in org.semanticweb.HermiT.model | |
---|---|
class |
Constant
Represents a constants. |
class |
Individual
Represents an individual in a DL clause. |
class |
Variable
Represents a variable. |
Fields in org.semanticweb.HermiT.model declared as Term | |
---|---|
protected Term[] |
Atom.m_arguments
|
Methods in org.semanticweb.HermiT.model that return Term | |
---|---|
Term |
Atom.getArgument(int argumentIndex)
|
Methods in org.semanticweb.HermiT.model with parameters of type Term | |
---|---|
static Atom |
Atom.create(DLPredicate dlPredicate,
Term... arguments)
|
abstract Atom |
Role.getRoleAssertion(Term term0,
Term term1)
|
Atom |
AtomicRole.getRoleAssertion(Term term0,
Term term1)
|
Atom |
InverseRole.getRoleAssertion(Term term0,
Term term1)
|
Constructors in org.semanticweb.HermiT.model with parameters of type Term | |
---|---|
Atom(DLPredicate dlPredicate,
Term[] arguments)
|
Uses of Term in org.semanticweb.HermiT.structural |
---|
Methods in org.semanticweb.HermiT.structural with parameters of type Term | |
---|---|
protected Atom |
ReducedABoxOnlyClausification.getConceptAtom(org.semanticweb.owlapi.model.OWLClass cls,
Term term)
|
protected static Atom |
OWLClausification.getRoleAtom(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataProperty,
Term first,
Term second)
|
protected Atom |
ReducedABoxOnlyClausification.getRoleAtom(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataProperty,
Term first,
Term second)
|
protected static Atom |
OWLClausification.getRoleAtom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectProperty,
Term first,
Term second)
|
protected Atom |
ReducedABoxOnlyClausification.getRoleAtom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectProperty,
Term first,
Term second)
|
Uses of Term in org.semanticweb.HermiT.tableau |
---|
Fields in org.semanticweb.HermiT.tableau with type parameters of type Term | |
---|---|
java.util.Map<Term,java.lang.Integer> |
DLClauseEvaluator.ValuesBufferManager.m_bodyNonvariableTermsToIndexes
|
Methods in org.semanticweb.HermiT.tableau with parameters of type Term | |
---|---|
protected Node |
Tableau.getNodeForTerm(java.util.Map<Term,Node> termsToNodes,
Term term,
DependencySet dependencySet)
|
Method parameters in org.semanticweb.HermiT.tableau with type arguments of type Term | |
---|---|
protected Node |
Tableau.getNodeForTerm(java.util.Map<Term,Node> termsToNodes,
Term term,
DependencySet dependencySet)
|
boolean |
Tableau.isSatisfiable(boolean loadPermanentABox,
boolean loadAdditionalABox,
java.util.Set<Atom> perTestPositiveFactsNoDependency,
java.util.Set<Atom> perTestNegativeFactsNoDependency,
java.util.Set<Atom> perTestPositiveFactsDummyDependency,
java.util.Set<Atom> perTestNegativeFactsDummyDependency,
java.util.Map<Term,Node> termsToNodes,
java.util.Map<Individual,Node> nodesForIndividuals,
ReasoningTaskDescription reasoningTaskDescription)
|
protected void |
Tableau.loadNegativeFact(java.util.Map<Term,Node> termsToNodes,
Atom atom,
DependencySet dependencySet)
|
protected void |
Tableau.loadPositiveFact(java.util.Map<Term,Node> termsToNodes,
Atom atom,
DependencySet dependencySet)
|
Constructor parameters in org.semanticweb.HermiT.tableau with type arguments of type Term | |
---|---|
DLClauseEvaluator.ValuesBufferManager(java.util.Set<DLClause> dlClauses,
java.util.Map<Term,Node> termsToNodes)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |