W3C home > Mailing lists > Public > www-rdf-interest@w3.org > September 2002

Re: rdfs:Property rdfs:range questions

From: Ashley Yakeley <ashley@semantic.org>
Date: Fri, 20 Sep 2002 16:38:47 -0700
Message-Id: <200209202338.QAA12194@mail4.halcyon.com>
To: "Jeen Broekstra" <jeen.broekstra@aidministrator.nl>, "m batsis" <mbatsis@netsmart.gr>
cc: "RDF Interest Group" <www-rdf-interest@w3.org>

At 2002-09-20 04:13, Jeen Broekstra wrote:

> > * How can I have two dissjoint ranges in the same property?
>
>You can't.
>
>Or actually you can, but then no instances can exist that use this property.

Given this:

  forall a. p(a) member of union(r,s)

I think you can do this:

  {r rdfs:subClassOf u}
  {s rdfs:subClassOf u}
  {p rdfs:range u}

however that actually says this, which is weaker:

  union(r,s) subset of u
  forall a. p(a) member of u

...and by itself not very useful for inference. On the other hand, from 
there you could find common properties of r and s and declare them on u.

-- 
Ashley Yakeley, Seattle WA
Received on Friday, 20 September 2002 19:39:02 GMT

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