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

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 UTC