Re: First version of a test suite for RDF*

On 30/11/2020 14:31, Peter F. Patel-Schneider wrote:
> Maybe, but these are somewhat covered by other tests, I think.

You are right, I was tired...

I added your test as constrained-bnodes-on-literal:

https://w3c.github.io/rdf-star/tests/semantics/manifest.html#constrained-bnodes-on-literal

  thanks

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