- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Mon, 30 Nov 2020 08:31:07 -0500
- To: Pierre-Antoine Champin <pierre-antoine.champin@ercim.eu>, public-rdf-star@w3.org
Maybe, but these are somewhat covered by other tests, I think. peter On 11/30/20 1:55 AM, Pierre-Antoine Champin wrote: > Good one, thanks. > > The same would be true of IRIs, by the way. So we should probably also add > the two following tests, don't you think? > > > << :a :b :c >> :d :e . > :f :g :c. > > entails > > << :a :b _:x >> :d :e . > :f :g _:x. > > and > > << :a :b :c >> :d :e . > :f :g :a. > > entails > > << _:x :b :c >> :d :e . > :f :g _:x. > > > On 29/11/2020 23:34, Peter F. Patel-Schneider wrote: >> I don't think that the test suite checks whether a literal inside an embedded >> triple is the same as the literal outside it. A test for this is: >> >> >> << :a :b "42"^^xsd:integer >> :c :d . >> :e :f "42"^^xsd:integer . >> >> entails >> >> << :a :b _:i >> :c :d . >> :e :f _:i . >> >> >
Received on Monday, 30 November 2020 13:31:23 UTC