property));
}
}
if (!property.isBuiltIn()
&& !getCurrentOntology().isDeclared(property, INCLUDED)) {
profileViolations.add(new UseOfUndeclaredObjectProperty(
getCurrentOntology(), getCurrentAxiom(), property));
}
if (getCurrentOntology().containsDataPropertyInSignature(
property.getIRI(), INCLUDED)) {
profileViolations.add(new IllegalPunning(getCurrentOntology(),