Hierarchy For Package org.semanticweb.HermiT.structural

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.semanticweb.HermiT.structural.BuiltInPropertyManager
  • org.semanticweb.HermiT.structural.ExpressionManager
  • org.semanticweb.HermiT.structural.ObjectPropertyInclusionManager
  • org.semanticweb.HermiT.structural.OWLAxioms
  • org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter (implements org.semanticweb.owlapi.model.OWLAxiomVisitor)
    • org.semanticweb.HermiT.structural.OWLAxiomsExpressivity (implements org.semanticweb.owlapi.model.OWLClassExpressionVisitor)
    • org.semanticweb.HermiT.structural.ReducedABoxOnlyClausification
  • org.semanticweb.HermiT.structural.OWLClausification
  • org.semanticweb.HermiT.structural.OWLNormalization