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 20:03:25 +0100
Message-ID: <16535.59645.176411.493565@gargle.gargle.HOWL>
To: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Cc: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, b.fallenstein@gmx.de, pdawes@users.sourceforge.net, www-rdf-interest@w3.org

Jeremy Carroll writes:
 > 
 > Not endorsing rangeIncludes, but taking Peter's challenge
 > 
[...]
 > > 
 > > This is *one* inference.  What about the others?  Are there any?
 > 
 > What about
 > 
 >   x:schnack phil:rangeIncludes y:Ghostly
 > ===>
 >   _:a x:schnack _:b .
 >   _:b rdf:type y:Ghostly .
 > 

Actually that was the inference I was trying to avoid. Unless I'm
mistaken it effectively forces all resources that are objects in a
triple with property x:schnak to be of rdf:type y:Ghostly.  
(as rdfs:range does).

Cheers,

Phil
Received on Tuesday, 4 May 2004 16:04:49 GMT

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