Re: Proposal for ISSUE-40 Skolemization

On 2011-05-19, at 14:56, Ivan Herman wrote:
> On May 19, 2011, at 15:13 , Richard Cyganiak wrote:
> 
>> 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
> 
> 
> :-)

:-) indeed

- Steve

-- 
Steve Harris, CTO, Garlik Limited
1-3 Halford Road, Richmond, TW10 6AW, UK
+44 20 8439 8203  http://www.garlik.com/
Registered in England and Wales 535 7233 VAT # 849 0517 11
Registered office: Thames House, Portsmouth Road, Esher, Surrey, KT10 9AD

Received on Thursday, 19 May 2011 14:13:58 UTC