profileViolations.add(new UseOfUndeclaredClass(
getCurrentOntology(), getCurrentAxiom(), ce));
}
if (getCurrentOntology().containsDatatypeInSignature(ce.getIRI(),
EXCLUDED)) {
profileViolations.add(new DatatypeIRIAlsoUsedAsClassIRI(
getCurrentOntology(), getCurrentAxiom(), ce.getIRI()));
}
}