W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > October to December 2012

Entailment test rdfs12

From: Olivier Corby <Olivier.Corby@sophia.inria.fr>
Date: Mon, 22 Oct 2012 09:43:59 +0200
Message-ID: <5084F93F.403@sophia.inria.fr>
To: SPARQL Working Group <public-rdf-dawg@w3.org>
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 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:49 GMT