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

Re: Agenda for 2020-11-27

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Thu, 26 Nov 2020 12:56:26 -0500
To: public-rdf-star@w3.org
Message-ID: <d34dd142-ecd4-7f4e-26d8-60653c7b8926@gmail.com>
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

This archive was generated by hypermail 2.4.0 : Thursday, 26 November 2020 17:56:41 UTC