Re: Proposal for ISSUE-40 Skolemization

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 UTC