owlcs/owlapi — pull request #89 by sesuncedu (2014-03-02 19:12:33+00:00)
Title: Avoid adding trivial TransitiveObjectProperty assertions

Check to see if an object property is only trivially transitive - i.e. if there can be no three individuals a,b, and c such that foo(a,b) and foo(b,c).

This is the case for properties whose domain and range are disjoint - e.g. skos:hasTopConcept. Any such property is necessarily Asymmetric as well as trivially transitive; the transitivity axiom causes the property to become no longer simple, making the inferred ontology violate DL restrictions.