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