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 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:07:51 UTC