As an action for WebOnt I did a fairly extensive review of the RDF Semantics document. 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.htmlReceived on Friday, 7 November 2003 12:14:42 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:49 UTC