if (isUnsupportedExtensionAxiom(axiom))
throw new IllegalArgumentException("Internal error: unsupported extension axiom type.");
additionalAxiomsSet.add(axiom);
}
OWLDataFactory dataFactory=getDataFactory();
OWLAxioms axioms=new OWLAxioms();
axioms.m_definedDatatypesIRIs.addAll(originalDLOntology.getDefinedDatatypeIRIs());
OWLNormalization normalization=new OWLNormalization(dataFactory,axioms,originalDLOntology.getAllAtomicConcepts().size());
normalization.processAxioms(additionalAxiomsSet);
BuiltInPropertyManager builtInPropertyManager=new BuiltInPropertyManager(dataFactory);
builtInPropertyManager.axiomatizeBuiltInPropertiesAsNeeded(axioms,originalDLOntology.getAllAtomicObjectRoles().contains(AtomicRole.TOP_OBJECT_ROLE),originalDLOntology.getAllAtomicObjectRoles().contains(AtomicRole.BOTTOM_OBJECT_ROLE),originalDLOntology.getAllAtomicObjectRoles().contains(AtomicRole.TOP_DATA_ROLE),originalDLOntology.getAllAtomicObjectRoles().contains(AtomicRole.BOTTOM_DATA_ROLE));