Warning: This wiki has been archived and is now read-only.
Related SWD issue page:
Sub-issue: adding property disjointness axioms