W3C home > Mailing lists > Public > www-rdf-comments@w3.org > January to March 2003

Re: rdfs:Datatype rdfs:subClassOf ???

From: pat hayes <phayes@ai.uwf.edu>
Date: Mon, 3 Feb 2003 16:21:39 -0600
Message-Id: <p05111b21ba649b93a23d@[10.0.100.86]>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:31 GMT