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

Re: Proposal for ISSUE-40 Skolemization

From: Steve Harris <steve.harris@garlik.com>
Date: Thu, 19 May 2011 15:13:28 +0100
Cc: Richard Cyganiak <richard@cyganiak.de>, Peter Frederick Patel-Schneider <pfps@research.bell-labs.com>, <public-rdf-wg@w3.org>
Message-Id: <F40BC26B-C515-4EE7-B5E9-682690198F2B@garlik.com>
To: Ivan Herman <ivan@w3.org>
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 GMT

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