Re: Proposal for ISSUE-40 Skolemization

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 UTC