Uses of Class
org.semanticweb.HermiT.structural.OWLAxioms

Packages that use OWLAxioms
org.semanticweb.HermiT.structural   
 

Uses of OWLAxioms in org.semanticweb.HermiT.structural
 

Fields in org.semanticweb.HermiT.structural declared as OWLAxioms
protected  OWLAxioms OWLNormalization.m_axioms
           
 

Methods in org.semanticweb.HermiT.structural with parameters of type OWLAxioms
protected  void BuiltInPropertyManager.axiomatizeBottomDataProperty(OWLAxioms axioms)
           
protected  void BuiltInPropertyManager.axiomatizeBottomObjectProperty(OWLAxioms axioms)
           
 void BuiltInPropertyManager.axiomatizeBuiltInPropertiesAsNeeded(OWLAxioms axioms)
           
 void BuiltInPropertyManager.axiomatizeBuiltInPropertiesAsNeeded(OWLAxioms axioms, boolean skipTopObjectProperty, boolean skipBottomObjectProperty, boolean skipTopDataProperty, boolean skipBottomDataProperty)
           
protected  void BuiltInPropertyManager.axiomatizeTopDataProperty(OWLAxioms axioms)
           
protected  void BuiltInPropertyManager.axiomatizeTopObjectProperty(OWLAxioms axioms)
           
 DLOntology OWLClausification.clausify(org.semanticweb.owlapi.model.OWLDataFactory factory, java.lang.String ontologyIRI, OWLAxioms axioms, OWLAxiomsExpressivity axiomsExpressivity, java.util.Collection<DescriptionGraph> descriptionGraphs)
           
 void ObjectPropertyInclusionManager.rewriteAxioms(org.semanticweb.owlapi.model.OWLDataFactory dataFactory, OWLAxioms axioms, int firstReplacementIndex)
           
 int ObjectPropertyInclusionManager.rewriteNegativeObjectPropertyAssertions(org.semanticweb.owlapi.model.OWLDataFactory factory, OWLAxioms axioms, int replacementIndex)
           
 

Constructors in org.semanticweb.HermiT.structural with parameters of type OWLAxioms
BuiltInPropertyManager.Checker(OWLAxioms axioms)
           
ObjectPropertyInclusionManager(OWLAxioms axioms)
           
OWLAxiomsExpressivity(OWLAxioms axioms)
           
OWLNormalization(org.semanticweb.owlapi.model.OWLDataFactory factory, OWLAxioms axioms, int firstReplacementIndex)