W3C

entailment regime test cases

Copyright © 2010 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, and document use rules apply.

Abstract

This page describes W3C SPARQL Working Group's SPARQL1.1 test suite.

Contributing Tests

The test manifests and entries are built automatically from manifest.ttl using a Rake task. Tests may be contributed via pull request to https://github.com/w3c/rdf-tests with suitable changes to the manifest.ttl and referenced files.

Distribution

Distributed under both the W3C Test Suite License and the W3C 3-clause BSD License. To contribute to a W3C Test Suite, see the policies and contribution forms.

Disclaimer

UNDER BOTH MUTUALLY EXCLUSIVE LICENSES, THIS DOCUMENT AND ALL DOCUMENTS, TESTS AND SOFTWARE THAT LINK THIS STATEMENT ARE PROVIDED "AS IS," AND COPYRIGHT HOLDERS MAKE NO REPRESENTATIONS OR WARRANTIES, EXPRESS OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, NON-INFRINGEMENT, OR TITLE; THAT THE CONTENTS OF THE DOCUMENT ARE SUITABLE FOR ANY PURPOSE; NOR THAT THE IMPLEMENTATION OF SUCH CONTENTS WILL NOT INFRINGE ANY THIRD PARTY PATENTS, COPYRIGHTS, TRADEMARKS OR OTHER RIGHTS. COPYRIGHT HOLDERS WILL NOT BE LIABLE FOR ANY DIRECT, INDIRECT, SPECIAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF ANY USE OF THE DOCUMENT OR THE PERFORMANCE OR IMPLEMENTATION OF THE CONTENTS THEREOF.

Test Descriptions

bind01: bind01 - BIND fixed data for OWL DL bind01 - BIND fixed data for OWL DL
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
bind01.srx
bind02: bind02 - BIND fixed data for OWL DL bind02 - BIND fixed data for OWL DL
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
bind02.srx
bind03: bind03 - BIND fixed data for OWL DL bind03 - BIND fixed data for OWL DL
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
bind03.srx
bind04: bind04 - BIND fixed data for OWL DL bind04 - BIND fixed data for OWL DL
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
bind04.srx
bind05: bind05 - BIND fixed data for OWL DL bind05 - BIND fixed data for OWL DL
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
bind05.srx
bind06: bind06 - BIND fixed data for OWL DL bind06 - BIND fixed data for OWL DL
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
bind06.srx
bind07: bind07 - BIND fixed data for OWL DL bind07 - BIND fixed data for OWL DL
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
bind07.srx
bind08: bind08 - BIND fixed data for OWL DL bind08 - BIND fixed data for OWL DL
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
bind08.srx
d-ent-01: D-Entailment test to show that neither literals in subject position nor newly introduced surrogate blank nodes are to be returned in query answers D-Entailment test to show that neither literals in subject position nor newly introduced surrogate blank nodes are to be returned in query answers
type
mf:QueryEvaluationTest
approval
action
entailmentRegime
http://www.w3.org/ns/entailment/D
result
d-ent-01.srx
lang: Literal with language tag test Literal with language tag test
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
lang.srx
owlds01: bnodes are not existentials bnodes are not existentials
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
owlds01.srx
owlds02: bnodes are not existentials with answer bnodes are not existentials with answer
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
owlds02.srx
paper-sparqldl-Q1: paper-sparqldl-Q1 paper-sparqldl-Q1
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
paper-sparqldl-Q1.srx
paper-sparqldl-Q1-rdfs: paper-sparqldl-Q1-rdfs paper-sparqldl-Q1-rdfs
type
mf:QueryEvaluationTest
approval
action
entailmentRegime
result
paper-sparqldl-Q1-rdfs.srx
paper-sparqldl-Q2: paper-sparqldl-Q2 paper-sparqldl-Q2
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
http://www.w3.org/ns/owl-profile/DL
entailmentRegime
http://www.w3.org/ns/entailment/OWL-Direct
result
paper-sparqldl-Q2.srx
paper-sparqldl-Q3: paper-sparqldl-Q3 paper-sparqldl-Q3
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
http://www.w3.org/ns/owl-profile/DL
entailmentRegime
http://www.w3.org/ns/entailment/OWL-Direct
result
paper-sparqldl-Q3.srx
paper-sparqldl-Q4: paper-sparqldl-Q4 paper-sparqldl-Q4
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
paper-sparqldl-Q4.srx
paper-sparqldl-Q5: paper-sparqldl-Q5 paper-sparqldl-Q5
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
paper-sparqldl-Q5.srx
parent10: filtered subclass query with (hasChild some Thing) restriction filtered subclass query with (hasChild some Thing) restriction
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
http://www.w3.org/ns/owl-profile/DL
entailmentRegime
http://www.w3.org/ns/entailment/OWL-Direct
result
parent10.srx
parent2: parent query with distinguished variable parent query with distinguished variable
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
parent2.srx
parent3: parent query with (hasChild some Thing) restriction parent query with (hasChild some Thing) restriction
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
http://www.w3.org/ns/owl-profile/DL
entailmentRegime
http://www.w3.org/ns/entailment/OWL-Direct
result
parent3.srx
parent4: parent query with (hasChild min 1) restriction parent query with (hasChild min 1) restriction
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
http://www.w3.org/ns/owl-profile/DL
entailmentRegime
http://www.w3.org/ns/entailment/OWL-Direct
result
parent4.srx
parent5: parent query with (hasChild some Female) restriction parent query with (hasChild some Female) restriction
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
http://www.w3.org/ns/owl-profile/DL
entailmentRegime
http://www.w3.org/ns/entailment/OWL-Direct
result
parent5.srx
parent6: parent query with (hasChild min 1 Female) restriction parent query with (hasChild min 1 Female) restriction
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
http://www.w3.org/ns/owl-profile/DL
entailmentRegime
http://www.w3.org/ns/entailment/OWL-Direct
result
parent6.srx
parent7: parent query with (hasChild max 1 Female) restriction parent query with (hasChild max 1 Female) restriction
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
http://www.w3.org/ns/owl-profile/DL
entailmentRegime
http://www.w3.org/ns/entailment/OWL-Direct
result
parent7.srx
parent8: parent query with (hasChild exactly 1 Female) restriction parent query with (hasChild exactly 1 Female) restriction
type
mf:QueryEvaluationTest
approval
action
entailmentRegime
http://www.w3.org/ns/entailment/OWL-Direct
result
parent8.srx
parent9: subclass query with (hasChild some Thing) restriction subclass query with (hasChild some Thing) restriction
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
http://www.w3.org/ns/owl-profile/DL
entailmentRegime
http://www.w3.org/ns/entailment/OWL-Direct
result
parent9.srx
plainLit: Plain literals with language tag are not the same as the same literal without Plain literals with language tag are not the same as the same literal without
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
plainLit.srx
rdf01: RDF inference test RDF inference test
type
mf:QueryEvaluationTest
approval
action
entailmentRegime
http://www.w3.org/ns/entailment/RDF
result
rdf01.srx
rdf02: RDF inference test RDF inference test
type
mf:QueryEvaluationTest
approval
action
entailmentRegime
http://www.w3.org/ns/entailment/RDF
result
rdf02.srx
rdf03: RDF test for blank node cardinalities RDF test for blank node cardinalities
type
mf:QueryEvaluationTest
approval
action
entailmentRegime
http://www.w3.org/ns/entailment/RDF
result
rdf03.srx
rdf04: simple triple pattern match simple triple pattern match
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
rdf04.srx
rdfs01: RDFS inference test rdfs:subPropertyOf RDFS inference test rdfs:subPropertyOf
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
rdfs01.srx
rdfs02: RDFS inference test rdfs:subPropertyOf RDFS inference test rdfs:subPropertyOf
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
rdfs02.srx
rdfs03: RDFS inference test combining subPropertyOf and domain RDFS inference test combining subPropertyOf and domain
type
mf:QueryEvaluationTest
approval
action
entailmentRegime
result
rdfs03.srx
rdfs04: RDFS inference test subClassOf RDFS inference test subClassOf
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
rdfs04.srx
rdfs05: RDFS inference test subClassOf RDFS inference test subClassOf
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
rdfs05.srx
rdfs06: RDFS inference test domain RDFS inference test domain
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
rdfs06.srx
rdfs07: RDFS inference test range RDFS inference test range
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
rdfs07.srx
rdfs08: RDFS inference test rdf:XMLLiteral subclass of rdfs:Literal RDFS inference test rdf:XMLLiteral subclass of rdfs:Literal
type
mf:QueryEvaluationTest
approval
action
entailmentRegime
result
rdfs08.srx
rdfs09: RDFS inference test transitivity of subClassOf RDFS inference test transitivity of subClassOf
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
rdfs09.srx
rdfs10: RDFS inference test transitivity of subPropertyOf RDFS inference test transitivity of subPropertyOf
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
rdfs10.srx
rdfs11: RDFS inference test subProperty and instances RDFS inference test subProperty and instances
type
mf:QueryEvaluationTest
approval
action
entailmentRegime
result
rdfs11.srx
rdfs12: RDFS inference test containers RDFS inference test containers
type
mf:QueryEvaluationTest
approval
action
entailmentRegime
result
rdfs12.srx
rdfs13: RDFS inference test to show that neither literals in subject position nor newly introduced surrogate blank nodes are to be returned in query answers RDFS inference test to show that neither literals in subject position nor newly introduced surrogate blank nodes are to be returned in query answers
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
rdfs13.srx
rif01: RIF Logical Entailment (referencing RIF XML) RIF Logical Entailment (referencing RIF XML)
type
mf:QueryEvaluationTest
approval
action
entailmentRegime
http://www.w3.org/ns/entailment/RIF
result
rif01.srx
rif03: RIF Core WG tests: Frames RIF Core WG tests: Frames
type
mf:QueryEvaluationTest
approval
action
entailmentRegime
http://www.w3.org/ns/entailment/RIF
result
rif03.srx
rif04: RIF Core WG tests: Modeling Brain Anatomy RIF Core WG tests: Modeling Brain Anatomy
type
mf:QueryEvaluationTest
approval
action
entailmentRegime
http://www.w3.org/ns/entailment/RIF
result
rif04.srx
rif06: RIF Core WG tests: RDF Combination Blank Node RIF Core WG tests: RDF Combination Blank Node
type
mf:QueryEvaluationTest
approval
action
entailmentRegime
http://www.w3.org/ns/entailment/RIF
result
rif06.srx
simple1: simple 1 simple 1
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
http://www.w3.org/ns/entailment/OWL-Direct
result
simple1.srx
simple2: simple 2 simple 2
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
http://www.w3.org/ns/owl-profile/DL
entailmentRegime
http://www.w3.org/ns/entailment/OWL-Direct
result
simple2.srx
simple3: simple 3 simple 3
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
http://www.w3.org/ns/owl-profile/DL
entailmentRegime
http://www.w3.org/ns/entailment/OWL-Direct
result
simple3.srx
simple4: simple 4 simple 4
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
http://www.w3.org/ns/owl-profile/DL
entailmentRegime
http://www.w3.org/ns/entailment/OWL-Direct
result
simple4.srx
simple5: simple 5 simple 5
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
http://www.w3.org/ns/owl-profile/DL
entailmentRegime
http://www.w3.org/ns/entailment/OWL-Direct
result
simple5.srx
simple6: simple 6 simple 6
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
http://www.w3.org/ns/owl-profile/DL
entailmentRegime
http://www.w3.org/ns/entailment/OWL-Direct
result
simple6.srx
simple7: simple 7 simple 7
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
http://www.w3.org/ns/owl-profile/DL
entailmentRegime
http://www.w3.org/ns/entailment/OWL-Direct
result
simple7.srx
simple8: simple 8 simple 8
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
http://www.w3.org/ns/owl-profile/DL
entailmentRegime
http://www.w3.org/ns/entailment/OWL-Direct
result
simple8.srx
sparqldl-01: sparqldl-01.rq: triple pattern sparqldl-01.rq: triple pattern
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
sparqldl-01.srx
sparqldl-02: sparqldl-02.rq: simple combined query sparqldl-02.rq: simple combined query
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
sparqldl-02.srx
sparqldl-03: sparqldl-03.rq: combined query with complex class description sparqldl-03.rq: combined query with complex class description
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
sparqldl-03.srx
sparqldl-04: sparqldl-04.rq: bug fixing test sparqldl-04.rq: bug fixing test
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
sparqldl-04.srx
sparqldl-05: sparqldl-05.rq: simple undistinguished variable test. sparqldl-05.rq: simple undistinguished variable test.
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
sparqldl-05.srx
sparqldl-06: sparqldl-06.rq: cycle of undistinguished variables sparqldl-06.rq: cycle of undistinguished variables
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
sparqldl-06.srx
sparqldl-07: sparqldl-07.rq: two distinguished variables + undist. sparqldl-07.rq: two distinguished variables + undist.
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
sparqldl-07.srx
sparqldl-08: sparqldl-08.rq: two distinguished variables + undist. sparqldl-08.rq: two distinguished variables + undist.
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
sparqldl-08.srx
sparqldl-09: sparqldl-09.rq: undist vars test sparqldl-09.rq: undist vars test
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
sparqldl-09.srx
sparqldl-10: sparqldl-10.rq: undist vars test sparqldl-10.rq: undist vars test
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
sparqldl-10.srx
sparqldl-11: sparqldl-11.rq: domain test sparqldl-11.rq: domain test
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
sparqldl-11.srx
sparqldl-12: sparqldl-12.rq: range test sparqldl-12.rq: range test
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
sparqldl-12.srx
sparqldl-13: sparqldl-13.rq: sameAs sparqldl-13.rq: sameAs
type
mf:QueryEvaluationTest
approval
action
EntailmentProfile
entailmentRegime
result
sparqldl-13.srx