W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > January 2002

Graham.Klyne@Baltimore.com, patrick.stickler@nokia.com, jjc@hplb.hpl.hp.com, jos.deroo.jd@belgium.agfa.com

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Tue, 29 Jan 2002 21:00:27 -0600
Message-Id: <p0510103db87d0c0aba37@[]>
To: w3c-rdfcore-wg@w3.org
OK, yet another version of the MT document is now accessible at


(same URI as before). It passes the W3C link and HTML checks, but the 
CSS validator insists there is a non-XML character on line 1561, 
which I cannot find and Dreamweaver apparently cannot edit out (??)

This has new stuff in yellow and even newer stuff in pink. (Question 
about good HTML practice. Should the final version have all the 
<span> and <..class=..> stuff edited out of it, or is it considered 
OK to leave all that clutter in, and just wipe out the colors in the 

All the proofs are now done. This has necessitated a few small 
changes to the statements of some of the lemmas, and a slight fixing 
of the semantic conditions on rdf-interpretations (iff--> only if, in 
the second condition. I should have noticed that iff was a bug a long 
time ago.)

I have put in an 'open issues' appendix with links to the issue 
tracking, and also added some appropriate other links to issues  here 
and there in the text, and put in the more uptodate references. 
(Thanks, Dave.) And the appendices are all alphabetic now.


IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
Received on Tuesday, 29 January 2002 22:00:05 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:08 UTC