|
Class Summary |
| 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. |
| DLOntology |
Represents a DL ontology as a set of rules. |
| DLOntology.AtomicConceptComparator |
|
| DLOntology.AtomicRoleComparator |
|
| DLOntology.IndividualComparator |
|
| 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<E> |
The manager for the internable objects. |
| InterningManager.Entry<E> |
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. |