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