Re: Proposal for ISSUE-40 Skolemization

On 19 May 2011, at 00:02, Peter Frederick Patel-Schneider wrote:
>> 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.
> :-)

Ok, I'll change around a word or two and then declare success on ISSUE-40. Hooray!

Richard

Received on Thursday, 19 May 2011 13:49:13 UTC