getCurrentOntology(), getCurrentAxiom(), ce));
}
}
if (!ce.isBuiltIn()
&& !getCurrentOntology().isDeclared(ce, INCLUDED)) {
profileViolations.add(new UseOfUndeclaredClass(
getCurrentOntology(), getCurrentAxiom(), ce));
}
if (getCurrentOntology().containsDatatypeInSignature(ce.getIRI(),
EXCLUDED)) {
profileViolations.add(new DatatypeIRIAlsoUsedAsClassIRI(