Re: Question about semantics spec

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

Pat



-- 
---------------------------------------------------------------------
IHMC	(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32501			(850)291 0667    cell
phayes@ihmc.us       http://www.ihmc.us/users/phayes

Received on Wednesday, 8 October 2003 10:24:35 UTC