>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 spamReceived on Monday, 3 February 2003 17:19:59 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:31 GMT