Maximize disjointness constraints across the ontology

[rlaemmel]

For various kinds of entities, there exist already disjointness constrains on their subclasses.
In some cases, pairwise disjointness holds perfectly.
In other cases, for example, artifacts, languages, and tools, such pairwise disjointness cannot be perfectly established.
For example, certain languages belong into multiple subclasses of tbox:SoftwareLanguage.
In the first release, we do some cherry picking on disjointness.
Some systematic and relatively exhaustive would be needed here.