W3C home > Mailing lists > Public > www-webont-wg@w3.org > November 2003

Re: RDF Semantics review: a summary

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>
Message-Id: <1068227599.1600.563.camel@dirk.dm93.org>

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:56 UTC