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