W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > December 2002

Bug in MT?

From: Patrick Stickler <patrick.stickler@nokia.com>
Date: Mon, 9 Dec 2002 13:57:34 +0200
Message-ID: <015801c29f7a$2924cfa0$db9316ac@NOE.Nokia.com>
To: "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>

The MT states:

   rdfs:Datatype rdfs:subClassOf rdfs:Literal .

This doesn't seem correct to me.

Is the datatype class xsd:integer an instance of rdfs:Literal?
I don't think so.

Note that xsd:integer is not rdfs:subClassOf rdfs:Datatype, but
is rdf:type rdfs:Datatype, so if the above assertion is intending
to say that "10"^^xsd:integer is rdf:type rdfs:Literal then
that's not right.

Rather, what we need is a closure rule such as:

IF
   ddd rdf:type rdfs:Datatype .
THEN
   ddd rdfs:subClassOf rdfs:Literal .

Eh?

That is of course, if we consider the following to be true
(syntactic invalidity aside):

   "10"^^xsd:integer rdf:type rdfs:Literal .

Patrick

[Patrick Stickler, Nokia/Finland, (+358 40) 801 9690, patrick.stickler@nokia.com]
Received on Monday, 9 December 2002 06:57:39 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:49 EDT