Re: First version of a test suite for RDF*

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