|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |