A class subclass of itself. Why mutual subclassing is forbidden?

Question

Complex question I assume, but studying OWL opened a new perspective to live, the universe and everything. I\'m going philosophical here.

I am trying to achieve a cl

Answer 1

For a semantic reasoner, if A is a subclass of B, and B is a subclass of A, then the classes can be considered equivalent. They are not the "same", but from a reasoning perspective, if I can reason an individual is (or is not) a member of the class A, I can reason the individual is (or is not) a member of the class B. The classes A and B are semantically equivalent, which is what you were able to express with OWL.