- From: Nathan <nathan@webr3.org>
- Date: Mon, 16 Jul 2012 03:26:01 +0100
- To: David Booth <david@dbooth.org>
- CC: Pat Hayes <phayes@ihmc.us>, Alan Ruttenberg <alanruttenberg@gmail.com>, Michael Schneider <schneid@fzi.de>, semantic-web@w3.org, "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
David Booth wrote: > Correction . . . > > On Sun, 2012-07-15 at 19:10 -0400, David Booth wrote: >> Hi All, >> >> Thanks for your comments. To get to the crux of the matter . . . >> >> On Fri, 2012-07-13 at 23:35 -0500, Pat Hayes wrote: >>> [ . . . ] If you start with a graph G containing a bnode and skolemize >>> it to get another graph GS where the bnode has been replaced by a URI, >>> then G does not entail GS. >> Unless we're making a closed world assumption, that sounds wrong to me, > > I read Pat's statement backwards, so my response above said the opposite > of what I meant (as Peter pointed out). What I *meant* was that I think > GS should entail G . . . it does?
Received on Monday, 16 July 2012 02:27:06 UTC