W3C

Negation

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.0 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

http://www.w3.org/2009/sparql/docs/tests/data-sparql11/negation/manifest#subset-by-exclusion-nex-1: Subsets by exclusion (NOT EXISTS)
type
mf:QueryEvaluationTest
approval
dawgt:Approved
approvedBy
http://www.w3.org/2009/sparql/meeting/2012-01-31#resolution_3
action
query
subsetByExcl01.rq
data
subsetByExcl.ttl
result
subsetByExcl01.srx
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/negation/manifest#subset-by-exclusion-minus-1: Subsets by exclusion (MINUS)
type
mf:QueryEvaluationTest
approval
dawgt:Approved
approvedBy
http://www.w3.org/2009/sparql/meeting/2012-01-31#resolution_3
action
query
subsetByExcl02.rq
data
subsetByExcl.ttl
result
subsetByExcl02.srx
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/negation/manifest#temporal-proximity-by-exclusion-nex-1: Medical, temporal proximity by exclusion (NOT EXISTS)
type
mf:QueryEvaluationTest
approval
dawgt:Approved
approvedBy
http://www.w3.org/2009/sparql/meeting/2012-01-31#resolution_3
action
query
temporalProximity01.rq
data
temporalProximity01.ttl
result
temporalProximity01.srx
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/negation/manifest#subset-01: Calculate which sets are subsets of others (include A subsetOf A)
type
mf:QueryEvaluationTest
approval
dawgt:Approved
approvedBy
http://www.w3.org/2009/sparql/meeting/2012-01-31#resolution_3
action
query
subset-01.rq
data
set-data.ttl
result
subset-01.srx
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/negation/manifest#subset-02: Calculate which sets are subsets of others (exclude A subsetOf A)
type
mf:QueryEvaluationTest
approval
dawgt:Approved
approvedBy
http://www.w3.org/2009/sparql/meeting/2012-01-31#resolution_3
action
query
subset-02.rq
data
set-data.ttl
result
subset-02.srx
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/negation/manifest#set-equals-1: Calculate which sets have the same elements
type
mf:QueryEvaluationTest
approval
dawgt:Approved
approvedBy
http://www.w3.org/2009/sparql/meeting/2012-01-31#resolution_3
action
query
set-equals-1.rq
data
set-data.ttl
result
set-equals-1.srx
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/negation/manifest#subset-03: Calculate proper subset
type
mf:QueryEvaluationTest
approval
dawgt:Approved
approvedBy
http://www.w3.org/2009/sparql/meeting/2012-01-31#resolution_3
action
query
subset-03.rq
data
set-data.ttl
result
subset-03.srx
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/negation/manifest#exists-01: Positive EXISTS 1
type
mf:QueryEvaluationTest
approval
dawgt:Approved
approvedBy
http://www.w3.org/2009/sparql/meeting/2012-01-31#resolution_3
action
query
exists-01.rq
data
set-data.ttl
result
exists-01.srx
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/negation/manifest#exists-02: Positive EXISTS 2
type
mf:QueryEvaluationTest
approval
dawgt:Approved
approvedBy
http://www.w3.org/2009/sparql/meeting/2012-01-31#resolution_3
action
query
exists-02.rq
data
set-data.ttl
result
exists-02.srx
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/negation/manifest#full-minuend: Subtraction with MINUS from a fully bound minuend
type
mf:QueryEvaluationTest
approval
dawgt:Approved
action
query
full-minuend.rq
data
full-minuend.ttl
result
full-minuend.srx
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/negation/manifest#partial-minuend: Subtraction with MINUS from a partially bound minuend
type
mf:QueryEvaluationTest
approval
dawgt:Approved
action
query
part-minuend.rq
data
part-minuend.ttl
result
part-minuend.srx