- From: pat hayes <phayes@ai.uwf.edu>
- Date: Mon, 9 Dec 2002 18:16:47 -0600
- 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. Indeed, that is an old bug that should have been corrected, thanks for noticing. In fact I thought it had been corrected, so maybe it sneaked back in in a bad edit somewhere. I will check more carefully. > >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? Right, indeed. I will fix this. Sorry. 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:17:17 UTC