Re: Datatyping use cases

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