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