W3C home > Mailing lists > Public > public-rdf-wg@w3.org > May 2011

Re: Proposal for ISSUE-40 Skolemization

From: Peter Frederick Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 18 May 2011 19:02:30 -0400
Message-ID: <20110518.190230.1952499129356538299.pfps@research.bell-labs.com>
To: <richard@cyganiak.de>
CC: <public-rdf-wg@w3.org>
From: Richard Cyganiak <richard@cyganiak.de>
Subject: Re: Proposal for ISSUE-40 Skolemization
Date: Wed, 18 May 2011 17:12:32 -0500

> On 18 May 2011, at 20:20, Peter Frederick Patel-Schneider wrote:
>>>> [[ADD: Implementors should realize that this transformation changes the meaning
>>>> of an RDF graph (but this change is generally not harmful).]]
>>> 
>>> That sounds a bit scary. Perhaps:
>>> 
>>> [[ADD: This transformation does not change the meaning of an RDF
>>> graph, except “using up” the Skolem IRI.]] 
>> 
>> But this isn't true.
> 
> Grumble.
> 
> How about this?
> 
> [[ADD: This transformation slightly changes the meaning of an RDF
>graph, because it “fixes” what the Skolem IRI identifies. See the
>Skolemization Lemma in [RDF-Semantics] for a detailed technical
>discussion.]] 

I'm not keen on this, either.  I think that it needs further fixing.
:-)

> Best,
> Richard

peter
Received on Wednesday, 18 May 2011 23:04:46 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:25:42 GMT