for (OWLOntology ont : man.getImportsClosure(getCurrentOntology())) {
for (OWLDatatypeDefinitionAxiom ax : ont
.getAxioms(AxiomType.DATATYPE_DEFINITION)) {
if (node.getDatatype().equals(ax.getDatatype())) {
profileViolations
.add(new UseOfDefinedDatatypeInDatatypeRestriction(
getCurrentOntology(),
getCurrentAxiom(), node));
}
}
}