Feature request: class Disjointness

[jdacoello]

At the moment, for all the primitive classes, there is nothing limiting an individual to be of multiple classes that are contradictory.

Thus, the declaration of class disjointness is requested as a feature. This will be helpful to check consistency in both: the model itself (TBox), and the graph data that will be created in practice (ABox).

Examples include:

• Vehicle, VehicleProperty, Vehicle component
• StaticVehicleProperty, DynamicVehicleProperty
• etc.