axiomsExpressivity.m_hasInverseRoles|=originalDLOntology.hasInverseRoles();
axiomsExpressivity.m_hasNominals|=originalDLOntology.hasNominals();
axiomsExpressivity.m_hasDatatypes|=originalDLOntology.hasDatatypes();
OWLClausification clausifier=new OWLClausification(configuration);
Set<DescriptionGraph> descriptionGraphs=Collections.emptySet();
return clausifier.clausify(dataFactory,"uri:urn:internal-kb",axioms,axiomsExpressivity,descriptionGraphs);
}
protected static boolean isUnsupportedExtensionAxiom(OWLAxiom axiom) {
return
axiom instanceof OWLSubObjectPropertyOfAxiom ||
axiom instanceof OWLTransitiveObjectPropertyAxiom ||