- From: Brian McBride <bwm@hplb.hpl.hp.com>
- Date: Wed, 08 Oct 2003 16:08:41 +0100
- 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 UTC