W3C home > Mailing lists > Public > public-rdf-star@w3.org > November 2020

Re: First version of a test suite for RDF*

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
Message-ID: <d7a26051-b091-0fd7-fb7d-d79a65de9cc2@gmail.com>
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

This archive was generated by hypermail 2.4.0 : Monday, 30 November 2020 13:31:23 UTC