- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Tue, 04 May 2004 19:13:28 +0100
- 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 UTC