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