Further to my last message, the version at http://www.ihmc.us/users/phayes/RDF_Semant_Edit_August.html dated August 27 has the changes I mentioned, viz. figure 1 is re-drawn, the definition of proper instance is corrected, and the 'type rdf:Property' condition on Herbrand interpretations has been removed, and the wording of the RDF entailment lemma proof re-drafted to suit. Also, there is a new 'empty graph lemma' and brief discussion, and the definition of Herbrand interpretation restricted to nonempty graphs. 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/phayesReceived on Wednesday, 27 August 2003 13:42:30 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 27 April 2009 18:22:17 GMT