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
• Equality
• ExistentialConcept
• ExistsDescriptionGraph
• Individual
• Inequality
• InternalDatatype
• InterningManager
• InverseRole
• LiteralConcept
• LiteralDataRange
• NegatedAtomicRole
• NodeIDLessEqualThan
• NodeIDsAscendingOrEqual
• Role
• Term
• Variable