- From: pat hayes <phayes@ai.uwf.edu>
- Date: Fri, 8 Nov 2002 12:29:57 -0600
- To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
- Cc: w3c-rdfcore-wg@w3.org, fmanola@attbi.com
>Hi: > >It appears to me that the current list of RDFS axioms is missing > > rdf:List rdf:type rdfs:Class . Whoops, indeed. Will fix. >Also isn't it the case that > >rdfs:Datatype rdfs:type rdfs:Class . > >not > >rdfs:Datatype rdfs:subClassOf rdfs:Literal . Ditto. >and that there should be a rule > >xxx rdf:type rdfs:Datatype. ---> xxx rdfs:subClassOf rdfs:Literal . Yes... except this needs to be thought through a bit more, given the new way of handling badly-typed literals. I'll get back to you on that. Thanks for catching these. Too many late nights. 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 Friday, 8 November 2002 13:29:38 UTC