- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Thu, 26 Nov 2020 17:21:31 -0500
- To: Pierre-Antoine Champin <pierre-antoine.champin@ercim.eu>, public-rdf-star@w3.org
Probably the most important of my proposed tests is whether malformed literals are correctly handled outside of embedded triples, but this test does not appear to have been incorporated into the test suite. This test could be transformed into an entailment test (instead of a consistency test) as follows: Are malformed literals handled correctly outside of embedded triples? prefix : <http://example.com/ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> :a :b "c"^^xsd:integer . entails prefix : <http://example.com/ns#> :a :b :c . peter On 11/26/20 3:59 PM, Pierre-Antoine Champin wrote: > Perer, > > Very good point, and thanks for that bunch of tests. I jave integrated them > in the test suite. > > And here are the updated results. > > best > > On 26/11/2020 18:56, Peter F. Patel-Schneider wrote: >> Interesting results, but the test suite is not adequate to explain why some of >> the results are obtained. For example, BlazeGraph might just be failing to do >> RDFS++ entailment correctly. >> >> So I propose the following extra test cases. >> >> >> Do embedded triples entail triple with term replaced by different >> non-blank-node trem >> >> prefix : <http://example.com/ns#> >> << :a :b :c >> :p1 :o1. >> >> does not entail >> >> prefix : <http://example.com/ns#> >> << :a :b :d >> :p1 :o1. >> >> >> Are malformed literals handled correctly outside of embedded triples? >> >> prefix : <http://example.com/ns#> >> prefix xsd: <http://www.w3.org/2001/XMLSchema#> >> :a :b "c"^^xsd:integer . >> >> must be a contradiction >> >> >> Are malformed literals handled correctly inside embedded triples? >> >> prefix : <http://example.com/ns#> >> prefix xsd: <http://www.w3.org/2001/XMLSchema#> >> << :a :b "c"^^xsd:integer >> :p1 :o1. >> >> does entail >> >> prefix : <http://example.com/ns#> >> prefix xsd: <http://www.w3.org/2001/XMLSchema#> >> << :a :b "c"^^xsd:integer >> :p1 :o1. >> >> >> prefix : <http://example.com/ns#> >> prefix xsd: <http://www.w3.org/2001/XMLSchema#> >> << :a :b "c"^^xsd:integer >> :p1 :o1. >> >> does not entail >> >> prefix : <http://example.com/ns#> >> prefix xsd: <http://www.w3.org/2001/XMLSchema#> >> << :a :b "d"^^xsd:integer >> :p1 :o1. >> >> >> prefix : <http://example.com/ns#> >> prefix xsd: <http://www.w3.org/2001/XMLSchema#> >> << :a :b "c"^^xsd:integer >> :p1 :o1. >> << :d :b "c"^^xsd:integer >> :p2 :o2. >> >> does entail >> >> prefix : <http://example.com/ns#> >> prefix xsd: <http://www.w3.org/2001/XMLSchema#> >> << :a :b _:x >> :p1 :o1. >> << :d :b _:x >> :p2 :o2. >> >> >> prefix : <http://example.com/ns#> >> prefix xsd: <http://www.w3.org/2001/XMLSchema#> >> << :a :b "c"^^xsd:integer >> :p1 :o1. >> << :d :b "d"^^xsd:integer >> :p2 :o2. >> >> does not entail >> >> prefix : <http://example.com/ns#> >> prefix xsd: <http://www.w3.org/2001/XMLSchema#> >> << :a :b _:x >> :p1 :o1. >> << :d :b _:x >> :p2 :o2. >> >> >> >> Is owl:sameAs handled correctly outside of embedded triples? >> >> prefix : <http://example.com/ns#> >> prefix owl: <http://www.w3.org/2002/07/owl#> >> :superman :can :fly . >> :clark owl:sameAs :superman. >> >> entails (under RDFS++ entailment regime) >> >> prefix : <http://example.com/ns#> >> :clark :can :fly . >> >> On 11/26/20 11:56 AM, Pierre-Antoine Champin wrote: >>> To feed tomorrow's discussion on test-cases, I have adapted my script >>> (attached) to run the test suite on the RDF stores I have installed. The >>> result is given in the attached files (raw output of the script, and a >>> reorganized version in TSV). >>> >>> best >>> >>> On 26/11/2020 13:21, Pierre-Antoine Champin wrote: >>>> Hi all, >>>> >>>> tomorrow's call will be again on >>>> https://classe-publique.univ-lyon1.fr/cha-2x1-tjt-iu3 >>>> >>>> and we will use W3C IRC server (http://irc.w3.org/) to minute the call, on >>>> channel #rdf-star >>>> >>>> I propose the following Agenda: >>>> >>>> * New people on the call introduce themselves >>>> >>>> * Review pending actions >>>> >>>> - >>>> https://github.com/w3c/rdf-star/issues?q=is%3Aopen+is%3Aissue+label%3Aaction >>>> >>>> * Vote for merging Jeen Broekstra's pull request about SPARQL* result >>>> formats >>>> >>>> - https://github.com/w3c/rdf-star/pull/39 >>>> >>>> - preview available here: >>>> http://champin.net/tmp/rdf-star-pr39.html#query-result-formats >>>> >>>> * Discuss the tests cases in the proposed semantics test-suite: >>>> >>>> - https://github.com/w3c/rdf-star/issues/37 >>>> >>>> The goal being to mark as many of them as approved or rejected. >>>> >>>> Best >>>>
Received on Thursday, 26 November 2020 22:22:04 UTC