กก
As default, OWL treat all the classes as intersects, unless we clearly specified they are disjoint.
For 2 classes not specified as disjoint, they can have same subclasses.
For 2 classes specified as disjoint, no class can be subclass of both the 2 classes.