Reification puzzles (was: RE: reification test case)

>Dan:
>>  > If we're not going to take the implications of reification
>>  > seriously, let's just throw it out.
>>
>
>Patrick:
>>  Just because others may view it differently does not mean
>>  they are not taking it as seriously.
>>
>
>I hadn't taken Dan as questioning the seriousness of my thought, just
>dubious about where it ended up!
>
>If anyone needs reminding as to arguments against the entailment, I quoted
>some HP feedback I had received at:
>
>http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Jan/0041.html
>
>I see this as a straight choice and hope we can just vote on it.

Please don't vote on that just yet, as I'm pretty sure that this 
rabbit is already sitting waiting to hop out. Its just waiting to be 
told which way to jump. If we decide NO on that entailment test, then 
the current MT handles reification already (really). If we decide YES 
then the MT extension that I presented at the California F2F will 
work OK. Either way we can have reification in the MT fairly 
painlessly and it will have the right entailments between pieces of 
reification.

Heres the part about reification that puzzles me, however. Are there 
any entailment relationships between a triple and its reification (in 
either direction)?

Suppose I have a triple, and I also have a reification which 
describes that triple. Is there any connection between them? What 
kind of connection? And does RDF in any sense 'know about' that 
connection?

For example, does a graph containing a triple entail the same graph 
with a reification of the triple added to it? I can see why it ought 
to: after all, if you look at the reification, it has a blank node in 
it, and so what it asserts seems to be that something exists with 
these properties. Well, of *course* something exists with those 
properties: there it is, in the graph we started with, it's a 
triple....

Pat


-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes

Received on Monday, 4 February 2002 20:21:21 UTC