Re: RDF Semantics review: a summary

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/