W3C home > Mailing lists > Public > www-rdf-interest@w3.org > May 2004

Re: less-restrictive range and domain terms

From: Phil Dawes <pdawes@users.sf.net>
Date: Tue, 4 May 2004 21:17:22 +0100
Message-ID: <16535.64082.836364.287863@gargle.gargle.HOWL>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: b.fallenstein@gmx.de, www-rdf-interest@w3.org

Hi Peter,

Peter F. Patel-Schneider writes:
 > >  > "There exist triples with property P and an object of class foo," rather
 > >  > than "All triples with property P have objects of class foo," is a
 > >  > useful interpretation, I presume.
 > >  > 
 > > 
 > > Yep - that's what I meant. Sorry for not being clear.
 > > 
 > But suppose that there just doesn't happen to be such a relationship in the
 > current world.  What happens then?
 > 
 > This is not such a problem for property ranges (but does cause problems
 > even here), but what about an OWL construct like 
 >      the class foo may have range bar for property p
 > Does this mean that foo has to be non-empty?
 > 

I'm not very well equipped educationally to deal with this sort of
question, but I would imagine that in order to have the utility I was
after the semantics of the above would need to be something like:

"there exists a triple with subject of type foo, property p and
object of type bar."

I think that would imply that foo is indeed non-empty.

Cheers,

Phil
Received on Tuesday, 4 May 2004 17:18:44 GMT

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