Package org.semanticweb.HermiT.model

Interface Summary

Interface	Description
DLPredicate	Represents a DL predicate.

Class Summary

Class	Description
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.
DescriptionGraph.Edge	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	ExistentialConcept.
ExistsDescriptionGraph	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.
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.