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

Re: Proposal for ISSUE-40 Skolemization

From: Richard Cyganiak <richard@cyganiak.de>
Date: Wed, 18 May 2011 23:12:32 +0100
Cc: <public-rdf-wg@w3.org>
Message-Id: <268C2C96-588A-4C69-932B-B649F7198CB5@cyganiak.de>
To: Peter Frederick Patel-Schneider <pfps@research.bell-labs.com>
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.]]

Best,
Richard
Received on Wednesday, 18 May 2011 22:13:01 GMT

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