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

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Mon, 4 Feb 2002 19:21:52 -0600
Message-Id: <p05101415b884e17cc287@[65.212.118.208]>
To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>

```>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
>
>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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:53:55 UTC