Re: First version of a test suite for RDF*

On 25/11/2020 00:05, Jos De Roo wrote:
> This is very nice Pierre-Antoine and I did an initial manual test with 
> EYE like for instance
>
> $ eye --nope 
> https://w3c.github.io/rdf-star/tests/semantics/test001a.ttl 
> <https://w3c.github.io/rdf-star/tests/semantics/test001a.ttl> --entail 
> https://w3c.github.io/rdf-star/tests/semantics/test001r.ttl 
> <https://w3c.github.io/rdf-star/tests/semantics/test001r.ttl>
> gives
> true.
>
> The current results are:
>
> all-identical-embedded-triples-are-the-same --> true.
> bnodes-in-embedded-subject --> true.
> bnodes-in-embedded-object --> true.
> bnodes-in-embedded-subject-and-object --> true.
> bnodes-in-embedded-subject-and-object-fail --> fail
> same-bnode-same-embedded-term --> true.
> different-bnodes-same-embedded-term --> true.
> malformed-lireral --> error
> malformed-lireral-bnode --> error
> opaque-lireral --> true.
Great. Thanks for this report :)
>
> So only the last test is in disagreement with what is proposed :-)

actually, the last 3 are in disagreement...

The malformed-literal* tests expect malformed literals to be /allowed/ 
in embedded triples (the rationale being: they can happen in some RDF 
files, as they are valid under simple entailment).

>
> Kind regards,
> Jos
>
> -- https://josd.github.io/ <http://josd.github.io/>
>
>
> On Mon, Nov 23, 2020 at 12:31 PM Pierre-Antoine Champin 
> <pierre-antoine.champin@ercim.eu 
> <mailto:pierre-antoine.champin@ercim.eu>> wrote:
>
>     Hi all,
>
>     as per my action assigned on our last call [1], I pushed a first
>     version
>     of a test-suite. The first goal is to provide a set of concrete
>     examples
>     of how RDF* implementations are expected to behave. An HTML
>     rendering of
>     that test-suite is available here:
>
>     https://w3c.github.io/rdf-star/tests/semantics/manifest.html
>     <https://w3c.github.io/rdf-star/tests/semantics/manifest.html>
>
>     so that everyone can review, reference, and comment each of the
>     test cases.
>
>     If "entail" sounds esoteric to you, think of the 2nd graph in each
>     test
>     case as a SPARQL* ASK query, which is expected to return TRUE (or
>     FALSE,
>     in the case of "not entail").
>
>     Coming next: a similar test suite for SPARQL*.
>
>        best
>
>     [1] https://github.com/w3c/rdf-star/issues/40
>     <https://github.com/w3c/rdf-star/issues/40>
>     <https://github.com/w3c/rdf-star/issues/40
>     <https://github.com/w3c/rdf-star/issues/40>>
>