org.semanticweb.HermiT.structural

Classes

• BuiltInPropertyManager
• ObjectPropertyInclusionManager
• OWLAxioms
• OWLAxiomsExpressivity
• OWLClausification
• OWLNormalization
• ReducedABoxOnlyClausification