Search code examples
rdfowlprotege

Protege OWL Subclass of two classes


Is there any problem with having a class in OWL which is a subclass of two different classes?


Solution

  • That is exactly the definition of the formal semantics of OWL. For example, A SubClassOf B and A SubClassOf C is equivalent to the axiom A SubClassOf (B and C)