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, RichardReceived on Wednesday, 18 May 2011 22:13:01 GMT
This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:25:42 GMT