509510511512513514515516517
@Override public void visit(OWLSubDataPropertyOfAxiom axiom) { if (axiom.getSubProperty().isOWLTopDataProperty()) { profileViolations .add(new UseOfTopDataPropertyAsSubPropertyInSubPropertyAxiom( getCurrentOntology(), axiom)); } }