org.semanticweb.HermiT.model
Interfaces
DLPredicate
Classes
AnnotatedEquality
AtLeast
AtLeastConcept
AtLeastDataRange
Atom
AtomicConcept
AtomicDataRange
AtomicNegationConcept
AtomicNegationDataRange
AtomicRole
Concept
Constant
ConstantEnumeration
DataRange
DatatypeRestriction
DescriptionGraph
DescriptionGraph.Edge
DLClause
DLOntology
DLOntology.AtomicConceptComparator
DLOntology.AtomicRoleComparator
DLOntology.IndividualComparator
Equality
ExistentialConcept
ExistsDescriptionGraph
Individual
Inequality
InternalDatatype
InterningManager
InterningManager.Entry
InverseRole
LiteralConcept
LiteralDataRange
NegatedAtomicRole
NodeIDLessEqualThan
NodeIDsAscendingOrEqual
Role
Term
Variable
Enums
DLClause.ClauseType