Entailment test rdfs12

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

Received on Monday, 22 October 2012 07:44:25 UTC