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)