Methods in org.semanticweb.HermiT.structural with parameters of type OWLAxioms |
protected void |
BuiltInPropertyManager.axiomatizeBottomDataProperty(OWLAxioms axioms)
|
protected void |
BuiltInPropertyManager.axiomatizeBottomObjectProperty(OWLAxioms axioms)
|
void |
BuiltInPropertyManager.axiomatizeBuiltInPropertiesAsNeeded(OWLAxioms axioms)
|
void |
BuiltInPropertyManager.axiomatizeBuiltInPropertiesAsNeeded(OWLAxioms axioms,
boolean skipTopObjectProperty,
boolean skipBottomObjectProperty,
boolean skipTopDataProperty,
boolean skipBottomDataProperty)
|
protected void |
BuiltInPropertyManager.axiomatizeTopDataProperty(OWLAxioms axioms)
|
protected void |
BuiltInPropertyManager.axiomatizeTopObjectProperty(OWLAxioms axioms)
|
DLOntology |
OWLClausification.clausify(org.semanticweb.owlapi.model.OWLDataFactory factory,
java.lang.String ontologyIRI,
OWLAxioms axioms,
OWLAxiomsExpressivity axiomsExpressivity,
java.util.Collection<DescriptionGraph> descriptionGraphs)
|
void |
ObjectPropertyInclusionManager.rewriteAxioms(org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
OWLAxioms axioms,
int firstReplacementIndex)
|
int |
ObjectPropertyInclusionManager.rewriteNegativeObjectPropertyAssertions(org.semanticweb.owlapi.model.OWLDataFactory factory,
OWLAxioms axioms,
int replacementIndex)
|