W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > February 2002

Re: Reification puzzles (was: RE: reification test case)

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Tue, 5 Feb 2002 19:37:42 +0100
To: "Graham Klyne <Graham.Klyne" <Graham.Klyne@MIMEsweeper.com>
Cc: "Pat Hayes <phayes" <phayes@ai.uwf.edu>, ""Jeremy Carroll" <jjc" <jjc@hplb.hpl.hp.com>, "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
Message-ID: <OFB0ADC868.5511D418-ON41256B57.0062FD80@agfa.be>

GrahamK wrote:
>At 07:21 PM 2/4/02 -0600, Pat Hayes wrote:
>>Heres the part about reification that puzzles me, however. Are there any
>>entailment relationships between a triple and its reification (in either
>>direction)?
>
>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 .
             ^^^^^^^^predicate
>    _:r rdf:object o .

that's indeed a trivial entailment, thanks
-- http://www.agfa.com/w3c/euler/rdfr-theory.n3

>(Within the extended scope of, say, what N3 does with contexts, I think
the
>answer is Maybe.)

I don't see that

--
Jos
Received on Tuesday, 5 February 2002 13:38:23 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:45:05 EDT