- From: Jos De Roo <josderoo@gmail.com>
- Date: Wed, 25 Nov 2020 00:05:23 +0100
- To: Pierre-Antoine Champin <pierre-antoine.champin@ercim.eu>
- Cc: "public-rdf-star@w3.org" <public-rdf-star@w3.org>
- Message-ID: <CAJbsTZdc6uVQ+07ZDM+QaXr8cKdj1nXtOL3gyMcVG2bCwsow2A@mail.gmail.com>
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 --entail 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. So only the last test is in disagreement with what is proposed :-) 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> 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 > > 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> > >
Received on Tuesday, 24 November 2020 23:05:47 UTC