Re: Entailment test rdfs12

Ups, I noticed that as well and adapted the test, but forgot to commit
the changes. I comitted now, so I believe the test is ok now.

Birte

On 22 October 2012 09:43, Olivier Corby <Olivier.Corby@sophia.inria.fr> wrote:
> Hi,
>
> I find more results for entailment test rdfs12:
>
> http://www.w3.org/2009/sparql/docs/tests/data-sparql11/entailment/rdfs12.rq
> http://www.w3.org/2009/sparql/docs/tests/data-sparql11/entailment/rdfs12.srx
> http://www.w3.org/2009/sparql/docs/tests/data-sparql11/entailment/rdfs12.ttl
>
> My results:
>
> 01 ?x = rdf:_1; ?c = <http://example.org/ns#banana>;
> 02 ?x = rdf:_2; ?c = <http://example.org/ns#apple>;
> 03 ?x = rdf:_3; ?c = <http://example.org/ns#pear>;
> 04 ?x = rdf:type; ?c = rdf:Seq;
> 05 ?x = rdf:type; ?c = rdfs:Container;
> 06 ?x = rdf:type; ?c = rdfs:Resource;
> 07 ?x = rdfs:member; ?c = <http://example.org/ns#apple>;
> 08 ?x = rdfs:member; ?c = <http://example.org/ns#banana>;
> 09 ?x = rdfs:member; ?c = <http://example.org/ns#pear>;
>
>
> The proposed  result in the test suite only mention:
>
> 01 ?x = rdf:_1; ?c = <http://example.org/ns#banana>;
> 02 ?x = rdf:_2; ?c = <http://example.org/ns#apple>;
> 03 ?x = rdf:_3; ?c = <http://example.org/ns#pear>;
>
>
> Regards,
>
> Olivier



-- 
Jun. Prof. Dr. Birte Glimm            Tel.:    +49 731 50 24125
Inst. of Artificial Intelligence         Secr:  +49 731 50 24258
University of Ulm                         Fax:   +49 731 50 24188
D-89069 Ulm                               birte.glimm@uni-ulm.de
Germany

Received on Tuesday, 23 October 2012 16:26:04 UTC