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, String ontologyIRI, OWLAxioms axioms, OWLAxiomsExpressivity axiomsExpressivity, Collection<DescriptionGraph> descriptionGraphs)
           
 



Copyright © 2012. All Rights Reserved.