# 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 SPARQL 1.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
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    bind01.srx
bind02: 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
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    bind03.srx
bind04: 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
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    bind05.srx
bind06: 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
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    bind07.srx
bind08: 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
  type
    mf:QueryEvaluationTest
  approval
  action
    entailmentRegime
      http://www.w3.org/ns/entailment/D
  result
    d-ent-01.srx
lang: Literal with language tag test
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    lang.srx
owlds01: bnodes are not existentials
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    owlds01.srx
owlds02: bnodes are not existentials with answer
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    owlds02.srx
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
  type
    mf:QueryEvaluationTest
  approval
  action
    entailmentRegime
  result
    paper-sparqldl-Q1-rdfs.srx
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
  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
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    paper-sparqldl-Q4.srx
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
  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
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    parent2.srx
parent3: 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
  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
  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
  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
  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
  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
  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
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    plainLit.srx
rdf01: RDF inference test
  type
    mf:QueryEvaluationTest
  approval
  action
    entailmentRegime
      http://www.w3.org/ns/entailment/RDF
  result
    rdf01.srx
rdf02: 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
  type
    mf:QueryEvaluationTest
  approval
  action
    entailmentRegime
      http://www.w3.org/ns/entailment/RDF
  result
    rdf03.srx
rdf04: simple triple pattern match
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    rdf04.srx
rdfs01: RDFS inference test rdfs:subPropertyOf
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    rdfs01.srx
rdfs02: RDFS inference test rdfs:subPropertyOf
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    rdfs02.srx
rdfs03: RDFS inference test combining subPropertyOf and domain
  type
    mf:QueryEvaluationTest
  approval
  action
    entailmentRegime
  result
    rdfs03.srx
rdfs04: RDFS inference test subClassOf
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    rdfs04.srx
rdfs05: RDFS inference test subClassOf
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    rdfs05.srx
rdfs06: RDFS inference test domain
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    rdfs06.srx
rdfs07: RDFS inference test range
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    rdfs07.srx
rdfs08: 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
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    rdfs09.srx
rdfs10: RDFS inference test transitivity of subPropertyOf
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    rdfs10.srx
rdfs11: RDFS inference test subProperty and instances
  type
    mf:QueryEvaluationTest
  approval
  action
    entailmentRegime
  result
    rdfs11.srx
rdfs12: 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
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    rdfs13.srx
rif01: 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
  type
    mf:QueryEvaluationTest
  approval
  action
    entailmentRegime
      http://www.w3.org/ns/entailment/RIF
  result
    rif03.srx
rif04: 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
  type
    mf:QueryEvaluationTest
  approval
  action
    entailmentRegime
      http://www.w3.org/ns/entailment/RIF
  result
    rif06.srx
simple1: simple 1
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
      http://www.w3.org/ns/entailment/OWL-Direct
  result
    simple1.srx
simple2: 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
  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
  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
  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
  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
  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
  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
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    sparqldl-01.srx
sparqldl-02: 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
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    sparqldl-03.srx
sparqldl-04: 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.
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    sparqldl-05.srx
sparqldl-06: 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.
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    sparqldl-07.srx
sparqldl-08: 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
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    sparqldl-09.srx
sparqldl-10: sparqldl-10.rq: undist vars test
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    sparqldl-10.srx
sparqldl-11: sparqldl-11.rq: domain test
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    sparqldl-11.srx
sparqldl-12: sparqldl-12.rq: range test
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    sparqldl-12.srx
sparqldl-13: sparqldl-13.rq: sameAs
  type
    mf:QueryEvaluationTest
  approval
  action
    EntailmentProfile
    entailmentRegime
  result
    sparqldl-13.srx