W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2003

RE: Process for editorial fixes? Re: Missing test:entailmentRules arcs (fwd)

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Mon, 10 Nov 2003 11:22:11 +0100
To: "pat hayes" <phayes@ihmc.us>, "Brian McBride" <bwm@hplb.hpl.hp.com>
Cc: <w3c-rdfcore-wg@w3.org>
Message-ID: <BHEGLCKMOHGLGNOKPGHDIEFCCCAA.jjc@hpl.hp.com>

> 8. (related). The definitions of rdf and rdfs entailment have been
> simplified so that they do not make explicit reference to a
> vocabulary. This is actually more conventional; and Herman pointed
> out that the more complicated definitions meant that entailment might
> not be transitive (aargh). The motive for introducing this
> complication in the definition in the first place has been removed by
> subsequent changes. This doesn't change any test cases.
>

My understanding is that test cases do change - in particular the test cases


>   rdfms-seq-representation/Manifest.rdf#test002
>   rdfms-seq-representation/Manifest.rdf#test004

which were incorrect according to the LC2 semantics doc, now become correct.
So this is a substantive rather than an editorial change. (I am awaiting
feedback from HP implementors concerning this)

Jeremy
Received on Monday, 10 November 2003 05:24:39 EST

This archive was generated by hypermail pre-2.1.9 : Monday, 10 November 2003 05:24:41 EST