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

Packages that use OWLAxioms

Package	Description
org.semanticweb.HermiT.structural

Uses of OWLAxioms in org.semanticweb.HermiT.structural

Methods in org.semanticweb.HermiT.structural with parameters of type OWLAxioms

Modifier and Type	Method and Description
void	BuiltInPropertyManager.axiomatizeBuiltInPropertiesAsNeeded(OWLAxioms axioms)
void	BuiltInPropertyManager.axiomatizeBuiltInPropertiesAsNeeded(OWLAxioms axioms, boolean skipTopObjectProperty, boolean skipBottomObjectProperty, boolean skipTopDataProperty, boolean skipBottomDataProperty)
DLOntology	OWLClausification.clausify(org.semanticweb.owlapi.model.OWLDataFactory factory, String ontologyIRI, OWLAxioms axioms, OWLAxiomsExpressivity axiomsExpressivity, 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

Constructor and Description
ObjectPropertyInclusionManager(OWLAxioms axioms)
OWLAxiomsExpressivity(OWLAxioms axioms)
OWLNormalization(org.semanticweb.owlapi.model.OWLDataFactory factory, OWLAxioms axioms, int firstReplacementIndex)