Re: First version of a test suite for RDF*

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