}
for (OWLObjectPropertyExpression prop : axiom.getProperties()) {
assert prop != null;
if (getPropertyManager().isNonSimple(prop)) {
profileViolations
.add(new UseOfNonSimplePropertyInDisjointPropertiesAxiom(
getCurrentOntology(), axiom, prop));
}
}
}