Re: First version of a test suite for RDF*

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 Sunday, 29 November 2020 22:35:00 UTC