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.