- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Thu, 26 Nov 2020 12:56:26 -0500
- To: public-rdf-star@w3.org
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 17:56:40 UTC