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

Packages that use Term
org.semanticweb.HermiT.model   
org.semanticweb.HermiT.structural   
org.semanticweb.HermiT.tableau   
 

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 InverseRole.getRoleAssertion(Term term0, Term term1)
           
 Atom AtomicRole.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  Atom ReducedABoxOnlyClausification.getRoleAtom(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataProperty, Term first, Term second)
           
protected static Atom OWLClausification.getRoleAtom(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataProperty, Term first, Term second)
           
protected  Atom ReducedABoxOnlyClausification.getRoleAtom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectProperty, Term first, Term second)
           
protected static Atom OWLClausification.getRoleAtom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectProperty, Term first, Term second)
           
 

Uses of Term in org.semanticweb.HermiT.tableau
 

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)
           
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)