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