- From: Pat Hayes <phayes@ai.uwf.edu>
- Date: Tue, 18 Sep 2001 14:27:44 -0500
- To: w3c-rdfcore-wg@w3.org
At last the model theory is in readable form, at http://www.coginst.uwf.edu/~phayes/RDF%20MT-currentdraft.html There is still an appendix 2 missing (with the proofs of the lemmas in it) which I will attach in the next couple of days, but I thought the rest of it was readable without that. The only really new part is the discussion of entailment in RDFS in section 5. I've tried to take account of all the comments on what parts were obscure, misleading, etc.., I've added a general introductory paragraph for model-theoretic newbies, and incorporated some comments here and there which were once in separate sections in earlier drafts (eg 3.1) . If anyone feels that the brief comment on containers (section 6) goes beyond the action item, then I can take it out again. Pat PS. This was made using dreamweaver, so its better HTML than the last effort, but it hasn't yet been run through the W3C filters. -- --------------------------------------------------------------------- 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 Tuesday, 18 September 2001 15:27:52 UTC