- From: <tarod@softhome.net>
- Date: Wed, 21 Nov 2001 13:48:15 GMT
- 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 UTC