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

> From: Pat Hayes [mailto:phayes@ai.uwf.edu] 
>
> 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....

Not in the example we're being asked to decide on. Does a graph
containing a reification entail a triple?

Bill de hÓra

Received on Tuesday, 5 February 2002 05:50:51 UTC