This is an example of animals properties descriptions.
If I assert that a cat has a head and legs and I assert that it has littlewing, which is of type Wing and all individuals in the ontology are distinct, isnt that a sufficient condition for inconsistency?
Asserting the descriptions of a cat
I just dont understand why the reasoner is not showing inconsistency in this particular ontology configuration. Am I missing something?
Your class axiom only states that each cat has some head and some
leg. That is just how OWL inference works.
If you have a cat, then you can infer that it has at least one
head and at least one leg. Nothing is forbidden.
By the way, with your axiom everything that has at least one head
and at least one leg will become a cat.