W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > October 2003

Re: Question about semantics spec

From: Brian McBride <bwm@hplb.hpl.hp.com>
Date: Wed, 08 Oct 2003 16:08:41 +0100
Message-ID: <3F842879.3050405@hplb.hpl.hp.com>
To: pat hayes <phayes@ihmc.us>
Cc: Graham Klyne <gk@ninebynine.org>, w3c-rdfcore-wg@w3.org



pat hayes wrote:
>> I was checking out Peter's proposed entailment and noticed something 
>> in the semantics document that I don't understand...
>>
>> From:
>>   http://www.w3.org/2001/sw/RDFCore/TR/WD-rdf-mt-20030117/#rdfs_interp
>>
>> [[
>> LV = ICEXT(I(rdfs:Literal))
>> ]]
>> and
>> [[
>> If x is in ICEXT(I(rdfs:Datatype)) and y is in ICEXT(x) then <y, LV> 
>> is in IEXT(I(rdf:type))
>> ]]
>>
>> This looks a bit like a "type error" to me:
>>
>> I understand IEXT(I(rdf:type)) to be a set of pairs <v,c>, where v is 
>> some value and c is an individual class value (not a set of values)
>>
>> But I also understand ICEXT(I(rdfs:Literal)) to be a *set* of values.
>>
>> ...
>>
>> Did you mean for the final semantic condition to read:
>> [[
>> If x is in ICEXT(I(rdfs:Datatype)) and y is in ICEXT(x)
>> then <y, I(rdfs:Literal)> is in IEXT(I(rdf:type))
> 
> 
> 
> Yes, good catch, thanks. I will fix this.
> 
> Now done in the version on my website (in spite of my promise to Brian.  
> Brian, your call: we could leave this until post-LC2 correction time if 
> you like.)

Please remind me of the url - its in my trash somewhere but if you could 
remind me I'll update shadow TR tomorrow - I'm going home now.

Brian
Received on Wednesday, 8 October 2003 11:25:14 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 8 October 2003 11:25:21 EDT