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

Re: Bug in MT?

From: pat hayes <phayes@ai.uwf.edu>
Date: Mon, 9 Dec 2002 18:32:29 -0600
Message-Id: <p05111b34ba1ae5ea0357@[10.0.100.86]>
To: "Patrick Stickler" <patrick.stickler@nokia.com>
Cc: w3c-rdfcore-wg@w3.org

>The MT states:
>
>    rdfs:Datatype rdfs:subClassOf rdfs:Literal .
>
>This doesn't seem correct to me.

This has now been fixed. It was indeed a bug from a previous edit not 
being done properly. There were a couple of others, also now fixed., 
eg the table had BOTH rdf:XMLLiteral and rdfs:XMLLiteral in it. 
Sheesh.

>
>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 .

Yes, that is one of the RDFS rules now.

Pat
-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola              			(850)202 4440   fax
FL 32501           				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam
Received on Monday, 9 December 2002 19:32:57 EST

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