public LintReport<OWLObjectProperty> detected(Collection<? extends OWLOntology> targets)
throws LintException {
SimpleMatchBasedLintReport<OWLObjectProperty> report =
new SimpleMatchBasedLintReport<OWLObjectProperty>(this);
for (OWLOntology ontology : targets) {
for (OWLObjectProperty objectProperty : ontology.getObjectPropertiesInSignature()) {
if (objectProperty.isTransitive(ontology)) {
Set<OWLObjectPropertyExpression> superProperties =
objectProperty.getSuperProperties(ontology);
for (OWLObjectPropertyExpression objectPropertyExpression : superProperties) {
if (objectPropertyExpression.isTransitive(ontology)) {
report.add(
objectProperty,
ontology,
"The property "
+ objectProperty.toString()
+ " is transitive and has a transitive super property");
}
}
}
}
}
return report;
}
/*
* (non-Javadoc)
*
* @seeorg.semanticweb.owlapi.model.OWLPropertyExpressionVisitor#visit(org.
* semanticweb.owlapi.model.OWLObjectProperty)
*/
@Override
public void visit(OWLObjectProperty axiom) {
sb.append(print(axiom.toString()));
}