Package org.semanticweb.HermiT.structural

Class Summary

Class	Description
BuiltInPropertyManager	BuiltInPropertyManager.
ExpressionManager	Expression manager.
ObjectPropertyInclusionManager	ObjectPropertyInclusionManager.
OWLAxioms	OWLAxioms.
OWLAxiomsExpressivity	OWLAxiomsExpressivity.
OWLClausification	OWLClausification.
OWLNormalization	This class implements the structural transformation from our new tableau paper.
ReducedABoxOnlyClausification	ReducedABoxOnlyClausification.