Re: Skolemization and RDF Semantics

From: David Wood <david.wood@talis.com>
Subject: Re: Skolemization and RDF Semantics
Date: Mon, 18 Apr 2011 15:35:23 -0500

> On Apr 15, 2011, at 15:35, Dan Brickley wrote:
> 
>> On 15 April 2011 21:29, David Wood <dpw@talis.com> wrote:
>>> Hi all,
>>> 
>>> Ivan and IIRC Steve or Richard tried to convince me that
> Skolemization is already mentioned and allowed in the 2004 version of
> the RDF Semantics.  I can't find it.  Can someone please enlighten me?
> Thanks.
>> 
>> http://www.w3.org/TR/rdf-mt/#prf
> 
> Thanks.  In the intervening conversation, I didn't see anyone mention
> that this is an informative section (and thus not normative).  I suggest
> that the lack of clear guidance has caused sufficient pain to result in
> a normative change to the RDF Semantics in our eventual update.
> 
> Regards,
> Dave

I'm not sure just what change to the RDF sematics you think is warranted
here.

peter

Received on Tuesday, 19 April 2011 08:10:26 UTC