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

Re: less-restrictive range and domain terms

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Tue, 04 May 2004 19:13:28 +0100
Message-ID: <4097DD48.1030406@hplb.hpl.hp.com>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: b.fallenstein@gmx.de, pdawes@users.sourceforge.net, www-rdf-interest@w3.org


Not endorsing rangeIncludes, but taking Peter's challenge



Peter F. Patel-Schneider wrote:
>>| So, show us the inferences!
>>
>>~    flabber x:schnack ghasted
>>~    ghasted rdf:type y:Ghostly
>>
>>=====>
>>
>>~    x:schnack phil:rangeIncludes y:Ghostly
> 
> 
> 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 .


Jeremy
Received on Tuesday, 4 May 2004 14:14:58 GMT

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