- From: pat hayes <phayes@ai.uwf.edu>
- Date: Mon, 3 Feb 2003 16:21:39 -0600
- To: Arjohn Kampman <arjohn.kampman@aidministrator.nl>
- Cc: www-rdf-comments@w3.org
>In the RDF Sesamtics document of 23 January 2003, section 3.3 >the axiomatic triple (rdfs:Datatype rdfs:subClassOf rdfs:Literal) >was changed to (rdfs:Datatype rdfs:subClassOf rdfs:Class), but >appendix A still mentions "rdfs:subClassOf(rdfs:Datatype,rdfs:Literal)". >My guess is that someone forgot to change the axiom in appendix A and >that the axiom from section 3.3 is correct? That is correct; and is indeed entailed by the observation that it was yours truly who did the forgetting. Thanks for catching this. Pat Hayes >Arjohn Kampman > >-- >arjohn.kampman@aidministrator.nl >aidministrator nederland bv - http://www.aidministrator.nl/ >prinses julianaplein 14-b, 3817 cs amersfoort, the netherlands >tel. +31-(0)33-4659987 fax. +31-(0)33-4659987 -- --------------------------------------------------------------------- IHMC (850)434 8903 or (650)494 3973 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, 3 February 2003 17:19:59 UTC