W3C home > Mailing lists > Public > semantic-web@w3.org > July 2012

Re: OWL2 RDF mapping and skolemization [was Re: OWL equivalentClass question]

From: Nathan <nathan@webr3.org>
Date: Mon, 16 Jul 2012 03:26:01 +0100
Message-ID: <50037BB9.2090808@webr3.org>
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

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:42:35 UTC