- From: pat hayes <phayes@ihmc.us>
- Date: Tue, 1 Jul 2003 21:13:35 -0500
- To: w3c-rdfcore-wg@w3.org
http://www.ihmc.us/users/phayes/RDF_Semant_Edit_Weak.html now embodies the weakened RDF semantic conditions we decided on last Friday and has complete sets of entailment (nee 'closure') rules plus proofs of the various lemmas. It also has a lot more internal links from technical vocabulary to definitions, and passes the W3C validators. . There is still one issue that we may need to discuss, concerning the status of 'strings'. I have linked to the relevant pieces of text in the change list notes. Apart from this, and obvious finishing-off edits such as getting the title right and suppressing all the red highlighting (redefine 'newstuff' in the header), I think this is now ready to go. Pat -- --------------------------------------------------------------------- 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@ihmc.us http://www.ihmc.us/users/phayes
Received on Tuesday, 1 July 2003 22:13:38 UTC