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

Packages that use OWLAxiomsExpressivity
org.semanticweb.HermiT.structural   
 

Uses of OWLAxiomsExpressivity in org.semanticweb.HermiT.structural
 

Methods in org.semanticweb.HermiT.structural with parameters of type OWLAxiomsExpressivity
 DLOntology OWLClausification.clausify(org.semanticweb.owlapi.model.OWLDataFactory factory, java.lang.String ontologyIRI, OWLAxioms axioms, OWLAxiomsExpressivity axiomsExpressivity, java.util.Collection<DescriptionGraph> descriptionGraphs)