Re: Proposal for ISSUE-40 Skolemization

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


:-)

Ivan


----
Ivan Herman, W3C Semantic Web Activity Lead
Home: http://www.w3.org/People/Ivan/
mobile: +31-641044153
PGP Key: http://www.ivan-herman.net/pgpkey.html
FOAF: http://www.ivan-herman.net/foaf.rdf

Received on Thursday, 19 May 2011 13:54:15 UTC