- From: Patrick Stickler <patrick.stickler@nokia.com>
- Date: Sat, 16 Feb 2002 20:43:04 +0200
- To: Patrick Stickler <patrick.stickler@nokia.com>, RDF Core <w3c-rdfcore-wg@w3.org>
My answers, based on the union interpretation of rdfs:drange
for datatype classes proposed (officially) in
http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0469.html
> Specific questions:
>
> a) what is the range constraint -- value space, lexical space, both?
> b) what does each bNode, if any, denote?
> c) is there enough information to recognize datatypes?
> d) is there enough information to execute a datatyping mapping to a value?
>
> ...
> 1. dc:date rdfs:range xsd:date .
> xxx dc:date "2002-02-14" .
a) the value space of xsd:date
b) n/a
c) no
d) no
> 2. dc:date rdfs:drange xsd:date .
> xxx dc:date "2002-02-14" .
a) the union of the value and lexical spaces of xsd:date
b) n/a
c) yes, rdfs:drange ddd implies ddd rdf:type rdfs:Datatype
d) TDL("2002-02-14",xsd:date)
> 3. dc:date rdfs:range xsd:date .
> xxx dc:date _:1 .
> _:1 rdf:lform "2002-02-14" .
a) the value space of xsd:date
b) some member of the value space of xsd:date
c) no
d) no, we do not know what lexical space the literal belongs to,
and the rdfs:range constraint say's nothing about lexical
representation, only about value spaces
> 4. dc:date rdfs:drange xsd:date .
> xxx dc:date _:1 .
> _:1 rdf:lform "2002-02-14" .
a) the union of the value and lexical spaces of xsd:date
b) some member of the value space of xsd:date
c) yes, rdfs:drange ddd implies ddd rdf:type rdfs:Datatype
d) TDL("2002-02-14",xsd:date)
> 5. dc:date rdfs:range xsd:date .
> xxx dc:date _:1 .
> _:1 rdf:lform "2002-02-14" .
> _:1 rdf:dtype xsd:date .
a) the value space of xsd:date
b) some member of the value space of xsd:date
c) yes, rdf:dtype ddd implies ddd rdf:type rdfs:Datatype
d) TDL("2002-02-14",xsd:date)
> 6. dc:date rdfs:drange xsd:date .
> xxx dc:date _:1 .
> _:1 rdf:lform "2002-02-14" .
> _:1 rdf:dtype xsd:date .
a) the union of the value and lexical spaces of xsd:date
b) some member of the value space of xsd:date
c) yes, from both rdfs:drange and rdf:dtype
d) TDL("2002-02-14",xsd:date)
> 7. dc:date rdfs:range xsd:date .
> xxx dc:date _:1 .
> _:1 xsd:date "2002-02-14" .
> (note no other statements about xsd:date)
a) the value space of xsd:date
b) some member of the value space of xsd:date
c) no
d) no
> 8. dc:date rdfs:drange xsd:date .
> xxx dc:date _:1 .
> _:1 xsd:date "2002-02-14" .
> (note no other statements about xsd:date)
a) the union of the value and lexical spaces of xsd:date
b) some member of the value space of xsd:date
c) yes, rdfs:drange ddd implies ddd rdf:type rdfs:Datatype
d) TDL("2002-02-14",xsd:date)
> 9. dc:date rdfs:range xsd:date .
> xxx dc:date _:1 .
> _:1 xsd:date "2002-02-14" .
> xsd:date rdf:type rdfs:Datatype .
> xsd:date rdfs:subPropertyOf rdf:lform .
a) the value space of xsd:date
b) some member of the value space of xsd:date
c) yes, by explicit statement
d) TDL("2002-02-14",xsd:date)
> 10. dc:date rdfs:drange xsd:date .
> xxx dc:date _:1 .
> _:1 xsd:date "2002-02-14" .
> xsd:date rdf:type rdfs:Datatype .
> xsd:date rdfs:subPropertyOf rdf:lform .
a) the union of the value and lexical spaces of xsd:date
b) some member of the value space of xsd:date
c) yes, by explicit statement and from rdfs:drange
d) TDL("2002-02-14",xsd:date)
> 11. xsd:date rdf:type rdfs:Datatype .
> xsd:date rdfs:subPropertyOf rdf:lform .
> xsd:date rdfs:range _:1 .
> dc:date rdfs:range _:1 .
> xxx dc:date "2002-02-14" .
a) the lexical space of xsd:date
b) the lexical space of xsd:date
c) yes, by explicit statement
d) TDL("2002-02-14",xsd:date), though requires dedicated
treatment of the bNode range intersection between
xsd:date and dc:date
Note that this treatment is not always necessary since the
union interpretation of rdfs:drange provides for an
interpretation of inline literals -- it's only needed if
one wishes to exclude all of the bNode idioms from being
valid.
> 12. xsd:date rdf:type rdfs:Datatype .
> xsd:date rdfs:subPropertyOf rdf:lform .
> xsd:date rdfs:drange _:1 .
> dc:date rdfs:drange _:1 .
> xxx dc:date "2002-02-14" .
a) error, because a lexical space is not a datatype and
the understood range of rdf:lform is a lexical space
b) n/a (or if you ignore the error, the lexical space of xsd:date)
c) yes, by explicit statement
d) TDL("2002-02-14",xsd:date), with same qualification in #11
> Have a nice weekend! ;-)
Continue having a nice weekend ;-)
Patrick
--
Patrick Stickler Phone: +358 50 483 9453
Senior Research Scientist Fax: +358 7180 35409
Nokia Research Center Email: patrick.stickler@nokia.com
Received on Saturday, 16 February 2002 13:41:38 UTC