W3C home > Mailing lists > Public > www-rdf-comments@w3.org > July to September 2003

Re: continuing technical issues in the RDF Semantics document

From: pat hayes <phayes@ihmc.us>
Date: Wed, 27 Aug 2003 10:40:00 -0700
Message-Id: <p06001a00bb729c26a147@[10.0.1.4]>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: www-rdf-comments@w3.org, Brian_McBride <bwm@hplb.hpl.hp.com>

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/phayes
Received on Wednesday, 27 August 2003 13:42:30 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:32 GMT