- From: Dan Connolly <connolly@w3.org>
- Date: Fri, 07 Nov 2003 11:53:20 -0600
- To: herman.ter.horst@philips.com
- Cc: Jim Hendler <hendler@cs.umd.edu>, Guus Schreiber <schreiber@cs.vu.nl>, www-webont-wg@w3.org, pat hayes <phayes@ihmc.us>
On Fri, 2003-11-07 at 11:13, herman.ter.horst@philips.com wrote: > As an action for WebOnt I did a fairly extensive > review of the RDF Semantics document. I'll say! I very much appreciate this work. It increases my confidence in the results tremendously. > It is clear that the document has undergone very much > progress since the Last Call version. > > See below for the initial messages I sent to rdf-comments. > The messages below were followed by other interaction on > rdf-comments not listed below. Along the way the > editorial version of the document evolved. > > I tried to focus on the coherence of definitions and > mathematical details, and in particular on the correctness > of the three central completeness results in the document: > the interpolation lemma, the rdf entailment lemma, and the > rdfs entailment lemma. > > I have become convinced of the truth of the first two of these > results, but the thread on the rdfs interpolation lemma started > with [3] has not yet completely finished. In fact today I > found some counterexamples to the lemma [4]. > > I expect and hope that this tail of this review of the > RDF semantics document will converge soon. > > Herman > > > [1] http://lists.w3.org/Archives/Public/www-rdf-comments/2003JulSep/0373.html > [2] http://lists.w3.org/Archives/Public/www-rdf-comments/2003OctDec/0052.html > [3] http://lists.w3.org/Archives/Public/www-rdf-comments/2003OctDec/0102.html > [4] http://lists.w3.org/Archives/Public/www-rdf-comments/2003OctDec/0112.html > [5] http://lists.w3.org/Archives/Public/www-rdf-comments/2003OctDec/0131.html -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Friday, 7 November 2003 12:53:21 UTC