| <!DOCTYPE html> |
| <html lang="en"> |
| <head> |
| |
| |
| <title>Apache Jena - ARQ - Negation</title> |
| <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> |
| <meta name="viewport" content="width=device-width, initial-scale=1.0"> |
| |
| <link href="/css/bootstrap.min.css" rel="stylesheet" media="screen"> |
| <link href="/css/bootstrap-icons.css" rel="stylesheet" media="screen"><link rel="stylesheet" type="text/css" href="https://jena.apache.org/sass/jena.1b17c39a117e22b46db4c66f6395dc27c134a60377d87d2d5745b8600eb69722.css" integrity="sha256-GxfDmhF+IrRttMZvY5XcJ8E0pgN32H0tV0W4YA62lyI="> |
| <link rel="shortcut icon" href="/images/favicon.ico" /> |
| |
| </head> |
| |
| <body> |
| |
| <nav class="navbar navbar-expand-lg bg-body-tertiary" role="navigation"> |
| <div class="container"> |
| <div class="navbar-header"> |
| <button class="navbar-toggler" type="button" data-bs-toggle="collapse" data-bs-target="#navbarNav" aria-controls="navbarNav" aria-expanded="false" aria-label="Toggle navigation"> |
| <span class="navbar-toggler-icon"></span> |
| </button> |
| <a class="navbar-brand" href="/index.html"> |
| <img class="logo-menu" src="/images/jena-logo/jena-logo-notext-small.png" alt="jena logo">Apache Jena</a> |
| </div> |
| |
| <div class="collapse navbar-collapse" id="navbarNav"> |
| <ul class="navbar-nav me-auto mb-2 mb-lg-0"> |
| <li id="homepage" class="nav-item"><a class="nav-link" href="/index.html"><span class="bi-house"></span> Home</a></li> |
| <li id="download" class="nav-item"><a class="nav-link" href="/download/index.cgi"><span class="bi-download"></span> Download</a></li> |
| <li class="nav-item dropdown"> |
| <a href="#" class="nav-link dropdown-toggle" role="button" data-bs-toggle="dropdown" aria-expanded="false"><span class="bi-journal"></span> Learn <b class="caret"></b></a> |
| <ul class="dropdown-menu"> |
| <li class="dropdown-header">Tutorials</li> |
| <li><a class="dropdown-item" href="/tutorials/index.html">Overview</a></li> |
| <li><a class="dropdown-item" href="/documentation/fuseki2/index.html">Fuseki Triplestore</a></li> |
| <li><a class="dropdown-item" href="/documentation/notes/index.html">How-To's</a></li> |
| <li><a class="dropdown-item" href="/documentation/query/manipulating_sparql_using_arq.html">Manipulating SPARQL using ARQ</a></li> |
| <li><a class="dropdown-item" href="/tutorials/rdf_api.html">RDF core API tutorial</a></li> |
| <li><a class="dropdown-item" href="/tutorials/sparql.html">SPARQL tutorial</a></li> |
| <li><a class="dropdown-item" href="/tutorials/using_jena_with_eclipse.html">Using Jena with Eclipse</a></li> |
| <li class="dropdown-divider"></li> |
| <li class="dropdown-header">References</li> |
| <li><a class="dropdown-item" href="/documentation/index.html">Overview</a></li> |
| <li><a class="dropdown-item" href="/documentation/query/index.html">ARQ (SPARQL)</a></li> |
| <li><a class="dropdown-item" href="/documentation/io/">RDF I/O</a></li> |
| <li><a class="dropdown-item" href="/documentation/assembler/index.html">Assembler</a></li> |
| <li><a class="dropdown-item" href="/documentation/tools/index.html">Command-line tools</a></li> |
| <li><a class="dropdown-item" href="/documentation/rdfs/">Data with RDFS Inferencing</a></li> |
| <li><a class="dropdown-item" href="/documentation/geosparql/index.html">GeoSPARQL</a></li> |
| <li><a class="dropdown-item" href="/documentation/inference/index.html">Inference API</a></li> |
| <li><a class="dropdown-item" href="/documentation/ontology/">Ontology API</a></li> |
| <li><a class="dropdown-item" href="/documentation/permissions/index.html">Permissions</a></li> |
| <li><a class="dropdown-item" href="/documentation/extras/querybuilder/index.html">Query Builder</a></li> |
| <li><a class="dropdown-item" href="/documentation/rdf/index.html">RDF API</a></li> |
| <li><a class="dropdown-item" href="/documentation/rdfconnection/">RDF Connection - SPARQL API</a></li> |
| <li><a class="dropdown-item" href="/documentation/rdfstar/index.html">RDF-star</a></li> |
| <li><a class="dropdown-item" href="/documentation/shacl/index.html">SHACL</a></li> |
| <li><a class="dropdown-item" href="/documentation/shex/index.html">ShEx</a></li> |
| <li><a class="dropdown-item" href="/documentation/tdb/index.html">TDB</a></li> |
| <li><a class="dropdown-item" href="/documentation/tdb2/index.html">TDB2</a></li> |
| <li><a class="dropdown-item" href="/documentation/query/text-query.html">Text Search</a></li> |
| </ul> |
| </li> |
| |
| <li class="nav-item dropdown"> |
| <a href="#" class="nav-link dropdown-toggle" role="button" data-bs-toggle="dropdown" aria-expanded="false"><span class="bi-journal-code"></span> Javadoc <b class="caret"></b></a> |
| <ul class="dropdown-menu"> |
| <li><a class="dropdown-item" href="/documentation/javadoc.html">All Javadoc</a></li> |
| <li><a class="dropdown-item" href="/documentation/javadoc/arq/">ARQ</a></li> |
| <li><a class="dropdown-item" href="/documentation/javadoc/fuseki2/">Fuseki</a></li> |
| <li><a class="dropdown-item" href="/documentation/javadoc/geosparql/">GeoSPARQL</a></li> |
| <li><a class="dropdown-item" href="/documentation/javadoc/jena/">Jena Core</a></li> |
| <li><a class="dropdown-item" href="/documentation/javadoc/permissions/">Permissions</a></li> |
| <li><a class="dropdown-item" href="/documentation/javadoc/extras/querybuilder/">Query Builder</a></li> |
| <li><a class="dropdown-item" href="/documentation/javadoc/shacl/">SHACL</a></li> |
| <li><a class="dropdown-item" href="/documentation/javadoc/tdb/">TDB</a></li> |
| <li><a class="dropdown-item" href="/documentation/javadoc/text/">Text Search</a></li> |
| </ul> |
| </li> |
| </ul> |
| <form class="d-flex" role="search" action="/search" method="GET"> |
| <div class="input-group"> |
| <input class="form-control border-end-0 border m-0" type="search" name="q" id="search-query" placeholder="Search...." aria-label="Search" style="width: 10rem;"> |
| <button class="btn btn-outline-secondary border-start-0 border" type="submit"> |
| <i class="bi-search"></i> |
| </button> |
| </div> |
| </form> |
| <ul class="navbar-nav"> |
| <li id="ask" class="nav-item"><a class="nav-link" href="/help_and_support/index.html" title="Ask"><span class="bi-patch-question"></span><span class="text-body d-none d-xxl-inline"> Ask</span></a></li> |
| |
| <li class="nav-item dropdown"> |
| <a href="#" title="Get involved" class="nav-link dropdown-toggle" role="button" data-bs-toggle="dropdown" aria-expanded="false"><span class="bi-megaphone"></span><span class="text-body d-none d-xxl-inline"> Get involved </span><b class="caret"></b></a> |
| <ul class="dropdown-menu"> |
| <li><a class="dropdown-item" href="/getting_involved/index.html">Contribute</a></li> |
| <li><a class="dropdown-item" href="/help_and_support/bugs_and_suggestions.html">Report a bug</a></li> |
| <li class="dropdown-divider"></li> |
| <li class="dropdown-header">Project</li> |
| <li><a class="dropdown-item" href="/about_jena/about.html">About Jena</a></li> |
| <li><a class="dropdown-item" href="/about_jena/architecture.html">Architecture</a></li> |
| <li><a class="dropdown-item" href="/about_jena/citing.html">Citing</a></li> |
| <li><a class="dropdown-item" href="/about_jena/team.html">Project team</a></li> |
| <li><a class="dropdown-item" href="/about_jena/contributions.html">Related projects</a></li> |
| <li><a class="dropdown-item" href="/about_jena/roadmap.html">Roadmap</a></li> |
| <li><a class="dropdown-item" href="/about_jena/security-advisories.html">Security Advisories</a></li> |
| <li class="dropdown-divider"></li> |
| <li class="dropdown-header">ASF</li> |
| <li><a class="dropdown-item" href="https://www.apache.org/">Apache Software Foundation</a></li> |
| <li><a class="dropdown-item" href="https://www.apache.org/foundation/sponsorship.html">Become a Sponsor</a></li> |
| <li><a class="dropdown-item" href="https://www.apache.org/licenses/LICENSE-2.0">License</a></li> |
| <li><a class="dropdown-item" href="https://www.apache.org/security/">Security</a></li> |
| <li><a class="dropdown-item" href="https://www.apache.org/foundation/thanks.html">Thanks</a></li> |
| </ul> |
| </li> |
| |
| |
| |
| |
| <li class="nav-item" id="edit"><a class="nav-link" href="https://github.com/apache/jena-site/edit/main/source/documentation/query/negation.md" title="Edit this page on GitHub"><span class="bi-pencil-square"></span><span class="text-body d-none d-xxl-inline"> Edit this page</span></a></li> |
| </ul> |
| </div> |
| </div> |
| </nav> |
| |
| <div class="container"> |
| <div class="row"> |
| <div class="col-md-12"> |
| |
| <div id="breadcrumbs"> |
|
|
|
|
|
|
|
|
|
|
|
|
| <ol class="breadcrumb mt-4 p-2 bg-body-tertiary">
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| <li class="breadcrumb-item"><a href='/documentation'>DOCUMENTATION</a></li>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| <li class="breadcrumb-item"><a href='/documentation/query'>QUERY</a></li>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| <li class="breadcrumb-item active">NEGATION.HTML</li>
|
|
|
|
|
|
|
|
|
| </ol>
|
|
|
|
|
|
|
| |
| </div> |
| <h1 class="title">ARQ - Negation</h1> |
| |
| |
| <main class="d-flex flex-xl-row flex-column"> |
| |
| <aside class="text-muted align-self-start mb-3 p-0 d-xl-none d-block"> |
| <h2 class="h6 sticky-top m-0 p-2 bg-body-tertiary">On this page</h2> |
| <nav id="TableOfContents"> |
| <ul> |
| <li> |
| <ul> |
| <li><a href="#negation-by-failure-optional--bound">Negation by Failure (OPTIONAL + !BOUND)</a></li> |
| <li><a href="#exists-and-not-exists">EXISTS and NOT EXISTS</a></li> |
| <li><a href="#minus">MINUS</a></li> |
| <li><a href="#not-in">NOT IN</a></li> |
| </ul> |
| </li> |
| </ul> |
| </nav> |
| </aside> |
| <article class="flex-column me-lg-4"> |
| <h3 id="negation-by-failure-optional--bound">Negation by Failure (OPTIONAL + !BOUND)</h3> |
| <p>Standard SPARQL 1.0 can perform negation using the idiom of |
| <code>OPTIONAL</code>/<code>!BOUND</code>. It is inconvenient and can be hard to use as |
| complexity increases. SPARQL 1.1 supports additional operators for |
| negation.</p> |
| <pre><code># Names of people who have not stated that they know anyone |
| PREFIX foaf: <http://xmlns.com/foaf/0.1/> |
| SELECT ?name |
| WHERE |
| { |
| ?x foaf:givenName ?name . |
| OPTIONAL { ?x foaf:knows ?who } . |
| FILTER (!BOUND(?who)) |
| } |
| </code></pre> |
| <h3 id="exists-and-not-exists">EXISTS and NOT EXISTS</h3> |
| <p>The <code>EXISTS</code> and <code>NOT EXISTS</code> are now legal SPARQL 1.1 when used inside a <code>FILTER</code>, |
| they may be used as bare graph patterns only when <code>Syntax.syntaxARQ</code> is used</p> |
| <p>There is the <code>NOT EXISTS</code> operator which acts at the point in the query where it is |
| written. It does not bind any variables but variables already bound |
| in the query will have their bound value.</p> |
| <pre><code># Names of people who have not stated that they know anyone |
| PREFIX foaf: <http://xmlns.com/foaf/0.1/> |
| SELECT ?name |
| WHERE |
| { |
| ?x foaf:givenName ?name . |
| FILTER NOT EXISTS { ?x foaf:knows ?who } |
| } |
| </code></pre> |
| <p>There is also an <code>EXISTS</code> operator.</p> |
| <pre><code># Names of people where it is stated that they know at least one other person. |
| PREFIX foaf: <http://xmlns.com/foaf/0.1/> |
| SELECT ?name |
| WHERE |
| { |
| ?x foaf:givenName ?name . |
| FILTER EXISTS { ?x foaf:knows ?who . FILTER(?who != ?x) } |
| } |
| </code></pre> |
| <p>In this example, the pattern is a little more complex. Any graph |
| pattern is allowed although use of <code>OPTIONAL</code> is pointless (which |
| will always match, possible with no additional results).</p> |
| <p><code>NOT EXISTS</code> and <code>EXISTS</code> can also be used in <code>FILTER</code> expressions. |
| In SPARQL, <code>FILTER</code> expressions act over the whole of the basic |
| graph pattern in which they occur.</p> |
| <pre><code># Names of people who have not stated that they know anyone |
| PREFIX foaf: <http://xmlns.com/foaf/0.1/> |
| SELECT ?name |
| WHERE |
| { |
| ?x foaf:givenName ?name . |
| FILTER (NOT EXISTS { ?x foaf:knows ?who }) |
| } |
| </code></pre> |
| <p>A note of caution:</p> |
| <pre><code>PREFIX foaf: <http://xmlns.com/foaf/0.1/> |
| SELECT ?name |
| WHERE |
| { |
| ?x foaf:givenName ?name . |
| FILTER (NOT EXISTS { ?x foaf:knows ?y }) |
| ?x foaf:knows ?who |
| } |
| </code></pre> |
| <p>is the same as (it’s a single basic graph pattern - the filter does |
| not break it in two):</p> |
| <pre><code>PREFIX foaf: <http://xmlns.com/foaf/0.1/> |
| SELECT ?name |
| WHERE |
| { |
| ?x foaf:givenName ?name . |
| ?x foaf:knows ?y . |
| FILTER (NOT EXISTS { ?x foaf:knows ?who }) |
| } |
| </code></pre> |
| <p>and the <code>FILTER</code> will always be false (<code>{ ?x foaf:knows ?y }</code> must |
| have matched to get to this point in the query and using <code>?who</code> |
| instead makes no difference).</p> |
| <h3 id="minus">MINUS</h3> |
| <p>SPARQL 1.1 also provides a <code>MINUS</code> keyword which is broadly similar to |
| <code>NOT EXISTS</code> though does have some key differences as explained in the <a href="http://www.w3.org/TR/sparql11-query/#neg-notexists-minus">specification</a>:</p> |
| <pre><code>PREFIX foaf: <http://xmlns.com/foaf/0.1/> |
| SELECT ?name |
| WHERE |
| { |
| ?x foaf:givenName ?name . |
| ?x foaf:knows ?y . |
| MINUS { ?x foaf:knows <http://example.org/A> } |
| } |
| </code></pre> |
| <p>Here we subtract any solutions where <code>?x</code> also knows <code>http://example.org/A</code></p> |
| <p>One of the key differences between <code>MINUS</code> and <code>NOT EXISTS</code> is that it is a child graph pattern and so breaks |
| the graph pattern and so the result of the query can change depending where the <code>MINUS</code> is placed. This is |
| unlike the earlier <code>NOT EXISTS</code> examples where moving the position of the <code>FILTER</code> resulted |
| in equivalent queries.</p> |
| <h3 id="not-in">NOT IN</h3> |
| <p>SPARQL 1.1 also has a simpler form of negation for when you simply |
| need to restrict a variable to not being in a given set of values, this is the |
| <code>NOT IN</code> function:</p> |
| <pre><code>PREFIX foaf: <http://xmlns.com/foaf/0.1/> |
| SELECT ?name |
| WHERE |
| { |
| ?x foaf:givenName ?name . |
| ?x foaf:knows ?y . |
| FILTER(?y NOT IN (<http://example.org/A>, <http://example.org/B>)) |
| } |
| </code></pre> |
| <p>This would filter out matches where the value of <code>?y</code> is either <code>http://example.org/A</code> or <code>http://example.org/B</code></p> |
| <p><a href="index.html">ARQ documentation index</a></p> |
| |
| </article> |
| |
| <aside class="text-muted align-self-start mb-3 mb-xl-5 p-0 d-none d-xl-flex flex-column sticky-top"> |
| <h2 class="h6 sticky-top m-0 p-2 bg-body-tertiary">On this page</h2> |
| <nav id="TableOfContents"> |
| <ul> |
| <li> |
| <ul> |
| <li><a href="#negation-by-failure-optional--bound">Negation by Failure (OPTIONAL + !BOUND)</a></li> |
| <li><a href="#exists-and-not-exists">EXISTS and NOT EXISTS</a></li> |
| <li><a href="#minus">MINUS</a></li> |
| <li><a href="#not-in">NOT IN</a></li> |
| </ul> |
| </li> |
| </ul> |
| </nav> |
| </aside> |
| </main> |
| |
| </div> |
| </div> |
| </div> |
| |
| <footer class="bd-footer py-4 py-md-5 mt-4 mt-lg-5 bg-body-tertiary"> |
| <div class="container" style="font-size:80%" > |
| <p> |
| Copyright © 2011–2024 The Apache Software Foundation, Licensed under the |
| <a href="https://www.apache.org/licenses/LICENSE-2.0">Apache License, Version 2.0</a>. |
| </p> |
| <p> |
| Apache Jena, Jena, the Apache Jena project logo, Apache and the Apache feather logos are trademarks of |
| The Apache Software Foundation. |
| <br/> |
| <a href="https://privacy.apache.org/policies/privacy-policy-public.html" |
| >Apache Software Foundation Privacy Policy</a>. |
| </p> |
| </div> |
| </footer> |
| |
| <script src="/js/popper.min.js.js" type="text/javascript"></script> |
| <script src="/js/bootstrap.min.js" type="text/javascript"></script> |
| <script src="/js/improve.js" type="text/javascript"></script> |
| |
| <script type="text/javascript"> |
| (function() { |
| 'use strict' |
| |
| |
| |
| const links = document.querySelectorAll(`a[href="${window.location.pathname}"]`) |
| if (links !== undefined && links !== null) { |
| for (const link of links) { |
| |
| link.classList.add('active') |
| let parentElement = link.parentElement |
| let count = 0 |
| const levelsLimit = 4 |
| |
| |
| |
| |
| |
| while (['UL', 'LI'].includes(parentElement.tagName) && count <= levelsLimit) { |
| if (parentElement.tagName === 'LI') { |
| |
| |
| |
| parentElement.querySelector('a:first-child').classList.add('active') |
| } |
| parentElement = parentElement.parentElement |
| count++ |
| } |
| } |
| } |
| })() |
| </script> |
| |
| </body> |
| </html> |