|
||||||||||
| 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 | |||||||||