|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT | |
|---|---|
| AtomicConcept
Represents an atomic concept. |
|
| AtomicRole
Represents an atomic role. |
|
| DescriptionGraph
|
|
| DLOntology
Represents a DL ontology as a set of rules. |
|
| Individual
Represents an individual in a DL clause. |
|
| Role
Represents a role. |
|
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.blocking | |
|---|---|
| AtLeastConcept
Represents at-least concept. |
|
| AtomicConcept
Represents an atomic concept. |
|
| AtomicRole
Represents an atomic role. |
|
| Concept
Represents a (complex) concept. |
|
| DataRange
Represents a data range in a DL clause. |
|
| DLClause
Represents a DL clause. |
|
| DLOntology
Represents a DL ontology as a set of rules. |
|
| DLPredicate
Represents a DL predicate. |
|
| Variable
Represents a variable. |
|
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes | |
|---|---|
| DatatypeRestriction
A data range consisting of a datatype URI and a number of facet restrictions. |
|
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes.anyuri | |
|---|---|
| DatatypeRestriction
A data range consisting of a datatype URI and a number of facet restrictions. |
|
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes.binarydata | |
|---|---|
| DatatypeRestriction
A data range consisting of a datatype URI and a number of facet restrictions. |
|
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes.bool | |
|---|---|
| DatatypeRestriction
A data range consisting of a datatype URI and a number of facet restrictions. |
|
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes.datetime | |
|---|---|
| DatatypeRestriction
A data range consisting of a datatype URI and a number of facet restrictions. |
|
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes.doublenum | |
|---|---|
| DatatypeRestriction
A data range consisting of a datatype URI and a number of facet restrictions. |
|
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes.floatnum | |
|---|---|
| DatatypeRestriction
A data range consisting of a datatype URI and a number of facet restrictions. |
|
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes.owlreal | |
|---|---|
| DatatypeRestriction
A data range consisting of a datatype URI and a number of facet restrictions. |
|
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes.rdfplainliteral | |
|---|---|
| DatatypeRestriction
A data range consisting of a datatype URI and a number of facet restrictions. |
|
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes.xmlliteral | |
|---|---|
| DatatypeRestriction
A data range consisting of a datatype URI and a number of facet restrictions. |
|
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.debugger | |
|---|---|
| AtomicRole
Represents an atomic role. |
|
| Concept
Represents a (complex) concept. |
|
| Constant
Represents a constants. |
|
| ConstantEnumeration
A data range that consists of a given set of constants. |
|
| DataRange
Represents a data range in a DL clause. |
|
| DatatypeRestriction
A data range consisting of a datatype URI and a number of facet restrictions. |
|
| DLClause
Represents a DL clause. |
|
| ExistentialConcept
|
|
| Role
Represents a role. |
|
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.debugger.commands | |
|---|---|
| Concept
Represents a (complex) concept. |
|
| DLPredicate
Represents a DL predicate. |
|
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.existentials | |
|---|---|
| AtLeast
Represents at-least concepts, either for data ranges or concepts. |
|
| AtLeastConcept
Represents at-least concept. |
|
| AtomicConcept
Represents an atomic concept. |
|
| AtomicRole
Represents an atomic role. |
|
| Concept
Represents a (complex) concept. |
|
| DataRange
Represents a data range in a DL clause. |
|
| DLClause
Represents a DL clause. |
|
| DLOntology
Represents a DL ontology as a set of rules. |
|
| ExistentialConcept
|
|
| Variable
Represents a variable. |
|
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.hierarchy | |
|---|---|
| AtomicConcept
Represents an atomic concept. |
|
| AtomicRole
Represents an atomic role. |
|
| DLClause
Represents a DL clause. |
|
| Individual
Represents an individual in a DL clause. |
|
| Role
Represents a role. |
|
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.model | |
|---|---|
| AnnotatedEquality
Represents an annotated equality. |
|
| AtLeast
Represents at-least concepts, either for data ranges or concepts. |
|
| AtLeastConcept
Represents at-least concept. |
|
| AtLeastDataRange
Represents at-least concept. |
|
| Atom
Represents an atom in a DL clause. |
|
| AtomicConcept
Represents an atomic concept. |
|
| AtomicDataRange
Represents an atomic data range-- that is, an datatype, a datatype restriction, an internal datatype, or an enumeration of constants (oneOf) |
|
| AtomicNegationConcept
Represents a negation of an atomic concept. |
|
| AtomicNegationDataRange
Represents a negation of a data range. |
|
| AtomicRole
Represents an atomic role. |
|
| Concept
Represents a (complex) concept. |
|
| Constant
Represents a constants. |
|
| ConstantEnumeration
A data range that consists of a given set of constants. |
|
| DataRange
Represents a data range in a DL clause. |
|
| DatatypeRestriction
A data range consisting of a datatype URI and a number of facet restrictions. |
|
| DescriptionGraph
|
|
| DescriptionGraph.Edge
|
|
| DLClause
Represents a DL clause. |
|
| DLClause.ClauseType
|
|
| DLOntology
Represents a DL ontology as a set of rules. |
|
| DLPredicate
Represents a DL predicate. |
|
| Equality
Represents the equality predicate. |
|
| ExistentialConcept
|
|
| ExistsDescriptionGraph
|
|
| Individual
Represents an individual in a DL clause. |
|
| Inequality
Represents the inequality predicate. |
|
| InternalDatatype
Represents an internal datatype. |
|
| InterningManager
The manager for the internable objects. |
|
| InterningManager.Entry
The entry for the hash map. |
|
| InverseRole
Represents an inverse role. |
|
| LiteralConcept
Represents a literal concept -- that is, an atomic concept, a negation of an atomic concept, or a data range. |
|
| LiteralDataRange
Represents a literal concept -- that is, an atomic concept, a negation of an atomic concept, or a data range. |
|
| NegatedAtomicRole
Represents a negated atomic role |
|
| NodeIDLessEqualThan
Represents the built-in predicate that is used to enforce ordering on nodes in the translation of at-most concepts. |
|
| NodeIDsAscendingOrEqual
Represents a predicate that whether the IDs of the argument nodes are all strictly ascending or all equal. |
|
| Role
Represents a role. |
|
| Term
Represents a term in a DL clause. |
|
| Variable
Represents a variable. |
|
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.monitor | |
|---|---|
| AnnotatedEquality
Represents an annotated equality. |
|
| DataRange
Represents a data range in a DL clause. |
|
| ExistentialConcept
|
|
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.structural | |
|---|---|
| Atom
Represents an atom in a DL clause. |
|
| AtomicConcept
Represents an atomic concept. |
|
| AtomicRole
Represents an atomic role. |
|
| Constant
Represents a constants. |
|
| DatatypeRestriction
A data range consisting of a datatype URI and a number of facet restrictions. |
|
| DescriptionGraph
|
|
| DLClause
Represents a DL clause. |
|
| DLOntology
Represents a DL ontology as a set of rules. |
|
| Individual
Represents an individual in a DL clause. |
|
| LiteralConcept
Represents a literal concept -- that is, an atomic concept, a negation of an atomic concept, or a data range. |
|
| LiteralDataRange
Represents a literal concept -- that is, an atomic concept, a negation of an atomic concept, or a data range. |
|
| Role
Represents a role. |
|
| Term
Represents a term in a DL clause. |
|
| Variable
Represents a variable. |
|
| Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.tableau | |
|---|---|
| AnnotatedEquality
Represents an annotated equality. |
|
| AtLeast
Represents at-least concepts, either for data ranges or concepts. |
|
| AtLeastConcept
Represents at-least concept. |
|
| AtLeastDataRange
Represents at-least concept. |
|
| Atom
Represents an atom in a DL clause. |
|
| AtomicConcept
Represents an atomic concept. |
|
| AtomicRole
Represents an atomic role. |
|
| Concept
Represents a (complex) concept. |
|
| ConstantEnumeration
A data range that consists of a given set of constants. |
|
| DataRange
Represents a data range in a DL clause. |
|
| DatatypeRestriction
A data range consisting of a datatype URI and a number of facet restrictions. |
|
| DescriptionGraph
|
|
| DLClause
Represents a DL clause. |
|
| DLOntology
Represents a DL ontology as a set of rules. |
|
| DLPredicate
Represents a DL predicate. |
|
| ExistentialConcept
|
|
| ExistsDescriptionGraph
|
|
| Individual
Represents an individual in a DL clause. |
|
| LiteralDataRange
Represents a literal concept -- that is, an atomic concept, a negation of an atomic concept, or a data range. |
|
| Role
Represents a role. |
|
| Term
Represents a term in a DL clause. |
|
| Variable
Represents a variable. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||