- 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>
> 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 UTC