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

Packages that use OWLAxiomsExpressivity

Package	Description
org.semanticweb.HermiT.structural

Uses of OWLAxiomsExpressivity in org.semanticweb.HermiT.structural

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

Modifier and Type	Method and Description
DLOntology	OWLClausification.clausify(org.semanticweb.owlapi.model.OWLDataFactory factory, String ontologyIRI, OWLAxioms axioms, OWLAxiomsExpressivity axiomsExpressivity, Collection<DescriptionGraph> descriptionGraphs)