Copy
true if the two properties are disjoint, according to OWL semantics. This should only be used if using a logical axiom introduces a non-simple property violation.
https://orcid.org/0000-0002-6601-2165