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

Re: Skolemization and RDF Semantics

From: David Wood <david.wood@talis.com>
Date: Wed, 20 Apr 2011 07:40:00 -0400
Cc: <danbri@danbri.org>, <public-rdf-wg@w3.org>
Message-Id: <024B203B-BA81-4D64-8D75-DB4371B109A4@talis.com>
To: Peter Frederick Patel-Schneider <pfps@research.bell-labs.com>
On Apr 19, 2011, at 04:09, Peter Frederick Patel-Schneider wrote:

> 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.

I don't think we know that yet.  Once we have a resolution on Skolemization I'd like to see that resolution reflected normatively in the part of the RDF Semantics doc that discusses it.

Regards,
Dave


> 
> peter
Received on Wednesday, 20 April 2011 11:40:30 GMT

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