Re: Domain/Range: conjuntion or disjuntion??

  
  New aproach proposal... for subproperties domains and ranges.

   A -1-> a
   B -2-> b

   3 -subPropertyOf-> 1
   3 -subPropertyOf-> 2

   1 -Domain-> ClassOf(a)
   1 -Domain-> ClassOf(b)
   1 -Domain-> ClassOf(c)
   2 -Domain-> ClassOf(b)
   2 -Domain-> ClassOf(c)


   with this rule = Domain(x) = Intersection(Domain(parentsOf(3))
      3 -Domain-> Intersection({Domain(1), Domain(2)})
      3 -Domain-> Intersection({ClassOf(a), ClassOf(b), ClassOf(c)},
{ClassOf(b), ClassOf(c)}}

   3 -Domain-> ClassOf(b)
   3 -Domain-> ClassOf(c)

   And that's it.
     The Domain of 3 is classes of type b or classes of type c
 
   Isn't this solution as good as the proposed to solve the inconsistence
using multiple inheritance and ranges/domain constraints?

   Regards,
          Marc