- From: pat hayes <phayes@ihmc.us>
- Date: Thu, 31 Jul 2003 22:58:43 -0500
- To: w3c-rdfcore-wg@w3.org
I have put in protective text after Peter noticed that it is possible to have an inconsistency in RDFS (using range and XMLliteral). This is noted in section 4 (end), with the example; the possibility of a trivial entailment is noted in 4.3, a clause noting this case is added to section 5; and the statement of the rdfs entailment lemma in 7.3 is now restricted to the consistent case. New version with these changes, dated 31 July, now at http://www.ihmc.us/users/phayes/RDF_Semant_Edit_Weak.html In another thread I have made a suggestion for terminating the XML literal identity debates. 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 Thursday, 31 July 2003 23:58:45 UTC