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

Packages that use Term

Package	Description
org.semanticweb.HermiT.datalog
org.semanticweb.HermiT.model
org.semanticweb.HermiT.tableau

Uses of Term in org.semanticweb.HermiT.datalog

Methods in org.semanticweb.HermiT.datalog that return Term

Modifier and Type	Method and Description
Term	DatalogEngine.getRepresentative(Term term)

Methods in org.semanticweb.HermiT.datalog that return types with arguments of type Term

Modifier and Type	Method and Description
Set<Term>	DatalogEngine.getEquivalenceClass(Term term)

Methods in org.semanticweb.HermiT.datalog with parameters of type Term

Modifier and Type	Method and Description
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

Constructor and Description
ConjunctiveQuery(DatalogEngine datalogEngine, Atom[] queryAtoms, Term[] answerTerms)
QueryAnswerCallback(ConjunctiveQuery conjunctiveQuery, Map<Node,Term> nodesToTerms, Term[] resultBuffer, QueryResultCollector[] queryResultCollector, int[][] copyAnswers, Object[] valuesBuffer)

Constructor parameters in org.semanticweb.HermiT.datalog with type arguments of type Term

Constructor and Description
QueryAnswerCallback(ConjunctiveQuery conjunctiveQuery, Map<Node,Term> nodesToTerms, Term[] resultBuffer, QueryResultCollector[] queryResultCollector, int[][] copyAnswers, Object[] valuesBuffer)

Uses of Term in org.semanticweb.HermiT.model

Subclasses of Term in org.semanticweb.HermiT.model

Modifier and Type	Class and Description
class	Constant Represents a constants.
class	Individual Represents an individual in a DL clause.
class	Variable Represents a variable.

Methods in org.semanticweb.HermiT.model that return Term

Modifier and Type	Method and Description
Term	Atom.getArgument(int argumentIndex)

Methods in org.semanticweb.HermiT.model with parameters of type Term

Modifier and Type	Method and Description
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)

Uses of Term in org.semanticweb.HermiT.tableau

Method parameters in org.semanticweb.HermiT.tableau with type arguments of type Term

Modifier and Type	Method and Description
boolean	Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Term,Node> termsToNodes, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)

Constructor parameters in org.semanticweb.HermiT.tableau with type arguments of type Term

Constructor and Description
ValuesBufferManager(Set<DLClause> dlClauses, Map<Term,Node> termsToNodes)