RE: Reification puzzles (was: RE: reification test case) from Jeremy Carroll on 2002-02-05 (w3c-rdfcore-wg@w3.org from February 2002)

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Tue, 5 Feb 2002 14:05:02 -0000
To: "Graham Klyne" <Graham.Klyne@MIMEsweeper.com>, "Pat Hayes" <phayes@ai.uwf.edu>
Cc: <w3c-rdfcore-wg@w3.org>
Message-ID: <JAEBJCLMIFLKLOJGMELDMEPNCCAA.jjc@hplb.hpl.hp.com>

I think Graham has formalized Pat's question adequately:

> 
> Within the current scope of RDF, I think the answer is No.
> Er, that is, unless you count some "trivial" entailments like:
>     s p o .
> entails
>     _:r rdf:type rdf:Statement .
>     _:r rdf:subject s .
>     _:r rdf:property p .
>     _:r rdf:object o .
> 
> 

again, my vote is no.

Jeremy

Received on Tuesday, 5 February 2002 09:05:00 UTC