545546547548549550551552553
@Override public void visit(OWLObjectHasSelf ce) { if (getPropertyManager().isNonSimple(ce.getProperty())) { profileViolations .add(new UseOfNonSimplePropertyInObjectHasSelf( getCurrentOntology(), getCurrentAxiom(), ce)); } }