- From: Pat Hayes <phayes@ai.uwf.edu>
- Date: Wed, 26 Sep 2001 19:57:55 -0500
- To: w3c-rdfcore-wg@w3.org
I am sure that I can fix all the bugs in the RDFS model theory. They are all things missing from the closure-rule table in section 6. However, it is also clear that there are some subtle issues surrounding rdfs:Literal (see http://lists.w3.org/Archives/Public/www-rdf-logic/2001Sep/0039.html ) that really ought to be explained in a bit more detail, and should probably be looked at by the WG before being published. Many of the problems that Peter has noted aren't in fact fatal, but they do show up the need for more exposition. Also, since Peter and Dan Connolly seem to agree about the oddity of ICEXT, I will see what happens if I rewrite the MT without using it at all. I will try to get this all done as (a) readable draft(s) (with changes all style-sheeted for visibility) before Monday. Pat PS. I guess the fact that Peter didn't find anything much wrong with section 3 can be thought to be some consolation :-) -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola, FL 32501 (850)202 4440 fax phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
Received on Wednesday, 26 September 2001 20:57:48 UTC