Package org.semanticweb.HermiT.structural

Class Summary
BuiltInPropertyManager  
ExpressionManager  
ObjectPropertyInclusionManager  
OWLAxioms  
OWLAxioms.ComplexObjectPropertyInclusion  
OWLAxiomsExpressivity  
OWLClausification  
OWLClausification.DataRangeConverter  
OWLClausification.FactClausifier  
OWLClausification.NormalizedAxiomClausifier  
OWLClausification.NormalizedDataRangeAxiomClausifier  
OWLNormalization This class implements the structural transformation from our new tableau paper.
ReducedABoxOnlyClausification