W3C home > Mailing lists > Public > www-rdf-interest@w3.org > November 2001

Re: Domain/Range: conjuntion or disjuntion??

From: <tarod@softhome.net>
Date: Wed, 21 Nov 2001 13:48:15 GMT
Message-ID: <20011121134815.4733.qmail@softhome.net>
To: tarod@softhome.net
Cc: Arjohn Kampman <akam@aidministrator.nl>, www-rdf-interest@w3.org

  
  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
Received on Wednesday, 21 November 2001 09:22:49 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:52 GMT