W3C home > Mailing lists > Public > www-rdf-logic@w3.org > February 2002

Re: Challenge for RDF Gurus :)

From: Seth Russell <seth@robustai.net>
Date: Tue, 19 Feb 2002 10:32:28 -0800
Message-ID: <001901c1b973$c94674e0$657ba8c0@c1457248a.sttls1.wa.home.com>
To: <tarod@softhome.net>, "Pat Hayes" <phayes@ai.uwf.edu>
Cc: <www-rdf-logic@w3.org>
From: "Pat Hayes" <phayes@ai.uwf.edu>

> >   property c(range(A or B), domain(A and B))
>
> I take it that this means that the range is the union and the domain
> is the intersection. The official answer is that you can't. What you
> can do is this:
>
> _:x rdfs:range A .
> _:x rdfs:subPropertyOf C .
> _:y rdfs:range B .
> _:y rdfs:subPropertyOf C .
> C rdfs:domain A .
> C rdfs:domain B .
>
> This says that the domain is contained in A intersect B, and that the
> range is contained in a class containing both A and B. That's the
> best you can do in RDF since it doesn't have any kind of negation or
> 'lower-bound' construct that could prevent a range or domain being
> smaller than stated.  If you want to be more exact about upper and
> lower bounds of classes, you will need to use a more expressive
> language, such as DAML.

Interesting .. can a property ~inherit?~ a range ~restraint?~  from it's
subProperties ?

http://robustai.net/mentography/rdfs_domain_range5.gif

Seth Russell
Received on Tuesday, 19 February 2002 14:40:13 GMT

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