Uses of Class
org.semanticweb.HermiT.model.Term

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)