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

Question about semantics spec

From: Graham Klyne <gk@ninebynine.org>
Date: Wed, 08 Oct 2003 09:48:36 +0100
Message-Id: <5.1.0.14.2.20031008092936.02b335c8@127.0.0.1>
To: Pat Hayes <phayes@ai.uwf.edu>
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))
]]

which by the first rdfs semantic condition is equivalent to saying:
[[
If x is in ICEXT(I(rdfs:Datatype)) and y is in ICEXT(x) then y is in LV.
]]

#g


------------
Graham Klyne
GK@NineByNine.org
Received on Wednesday, 8 October 2003 04:50:30 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 8 October 2003 04:50:34 EDT