org.semanticweb.HermiT.structural
Classes 
BuiltInPropertyManager
ExpressionManager
ObjectPropertyInclusionManager
OWLAxioms
OWLAxioms.ComplexObjectPropertyInclusion
OWLAxioms.DisjunctiveRule
OWLAxiomsExpressivity
OWLClausification
OWLClausification.DataRangeConverter
OWLClausification.FactClausifier
OWLClausification.NormalizedAxiomClausifier
OWLClausification.NormalizedDataRangeAxiomClausifier
OWLClausification.NormalizedRuleClausifier
OWLNormalization
ReducedABoxOnlyClausification