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

> 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