Uses of Package
org.semanticweb.HermiT.structural

Packages that use org.semanticweb.HermiT.structural
org.semanticweb.HermiT   
org.semanticweb.HermiT.structural   
 

Classes in org.semanticweb.HermiT.structural used by org.semanticweb.HermiT
ObjectPropertyInclusionManager
           
 

Classes in org.semanticweb.HermiT.structural used by org.semanticweb.HermiT.structural
ExpressionManager
           
ExpressionManager.DataRangeComplementNNFVisitor
           
ExpressionManager.DataRangeNNFVisitor
           
ExpressionManager.DataRangeSimplificationVisitor
           
ExpressionManager.DescriptionComplementNNFVisitor
           
ExpressionManager.DescriptionNNFVisitor
           
ExpressionManager.DescriptionSimplificationVisitor
           
OWLAxioms
           
OWLAxioms.ComplexObjectPropertyInclusion
           
OWLAxiomsExpressivity
           
OWLClausification.DataRangeConverter
           
OWLNormalization.PLVisitor
          checks the polarity