Classes
BuiltInPropertyManager
ExpressionManager
ObjectPropertyInclusionManager
OWLAxioms
OWLAxioms.ComplexObjectPropertyInclusion
OWLAxiomsExpressivity
OWLClausification
OWLClausification.DataRangeConverter
OWLClausification.FactClausifier
OWLClausification.NormalizedAxiomClausifier
OWLClausification.NormalizedDataRangeAxiomClausifier
OWLNormalization
ReducedABoxOnlyClausification |