Re: Agenda for 2020-11-27

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
>>>