Package org.semanticweb.HermiT.model

Interface Summary
DLPredicate Represents a DL predicate.
 

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.
 

Enum Summary
DLClause.ClauseType