@Override
public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
if (getPropertyManager().isNonSimple(axiom.getProperty())) {
profileViolations
.add(new UseOfNonSimplePropertyInInverseFunctionalObjectPropertyAxiom(
getCurrentOntology(), axiom));
}
}