|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |