- From: pat hayes <phayes@ihmc.us>
- Date: Wed, 8 Oct 2003 09:24:33 -0500
- 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... > >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