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

Re: Question about semantics spec

From: pat hayes <phayes@ihmc.us>
Date: Wed, 8 Oct 2003 09:24:33 -0500
Message-Id: <p06001f0ebba9cd802812@[]>
To: Graham Klyne <gk@ninebynine.org>, Brian_McBride <bwm@hplb.hpl.hp.com>
Cc: w3c-rdfcore-wg@w3.org

>I was checking out Peter's proposed entailment and noticed something 
>in the semantics document that I don't understand...
>   http://www.w3.org/2001/sw/RDFCore/TR/WD-rdf-mt-20030117/#rdfs_interp
>LV = ICEXT(I(rdfs:Literal))
>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 
>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.)


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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:26 UTC