You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@jena.apache.org by bu...@apache.org on 2013/10/31 22:53:29 UTC
svn commit: r885006 - in /websites/staging/jena/trunk/content: ./
documentation/query/negation.html
Author: buildbot
Date: Thu Oct 31 21:53:29 2013
New Revision: 885006
Log:
Staging update by buildbot for jena
Modified:
websites/staging/jena/trunk/content/ (props changed)
websites/staging/jena/trunk/content/documentation/query/negation.html
Propchange: websites/staging/jena/trunk/content/
------------------------------------------------------------------------------
--- cms:source-revision (original)
+++ cms:source-revision Thu Oct 31 21:53:29 2013
@@ -1 +1 @@
-1536159
+1537713
Modified: websites/staging/jena/trunk/content/documentation/query/negation.html
==============================================================================
--- websites/staging/jena/trunk/content/documentation/query/negation.html (original)
+++ websites/staging/jena/trunk/content/documentation/query/negation.html Thu Oct 31 21:53:29 2013
@@ -127,9 +127,9 @@
<div class="col-md-12">
<div id="breadcrumbs"></div>
<h1 class="title">ARQ - Negation</h1>
- <p>Standard SPARQL can perform negation using the idiom of
+ <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. ARQ supports additional operators for
+complexity increases. SPARQL 1.1 supports additional operators for
negation.</p>
<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>
@@ -143,15 +143,14 @@ they may be used as bare graph patterns
</pre></div>
-<p>In ARQ, there is the <code>NOT EXISTS</code> operator (<code>UNSAID</code> is an alias
-for <code>NOT EXISTS</code>) which acts at the point in the query where it is
+<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 aready boudn
in the query will have their bound value.</p>
<div class="codehilite"><pre><span class="c"># Names of people who have not stated that they know anyone</span>
<span class="n">PREFIX</span> <span class="n">foaf</span><span class="p">:</span> <span class="o"><</span><span class="n">http</span><span class="p">:</span><span class="o">//</span><span class="n">xmlns</span><span class="p">.</span><span class="n">com</span><span class="o">/</span><span class="n">foaf</span><span class="o">/</span>0<span class="p">.</span>1<span class="o">/></span>
<span class="n">SELECT</span> ?<span class="n">name</span>
<span class="n">WHERE</span> <span class="p">{</span> ?<span class="n">x</span> <span class="n">foaf</span><span class="p">:</span><span class="n">givenName</span> ?<span class="n">name</span> <span class="p">.</span>
- <span class="n">NOT</span> <span class="n">EXISTS</span> <span class="p">{</span> ?<span class="n">x</span> <span class="n">foaf</span><span class="p">:</span><span class="n">knows</span> ?<span class="nb">who</span> <span class="p">}</span>
+ <span class="n">FILTER</span> <span class="n">NOT</span> <span class="n">EXISTS</span> <span class="p">{</span> ?<span class="n">x</span> <span class="n">foaf</span><span class="p">:</span><span class="n">knows</span> ?<span class="nb">who</span> <span class="p">}</span>
<span class="p">}</span>
</pre></div>
@@ -161,7 +160,7 @@ in the query will have their bound value
<span class="n">PREFIX</span> <span class="n">foaf</span><span class="p">:</span> <span class="o"><</span><span class="n">http</span><span class="p">:</span><span class="o">//</span><span class="n">xmlns</span><span class="p">.</span><span class="n">com</span><span class="o">/</span><span class="n">foaf</span><span class="o">/</span>0<span class="p">.</span>1<span class="o">/></span>
<span class="n">SELECT</span> ?<span class="n">name</span>
<span class="n">WHERE</span> <span class="p">{</span> ?<span class="n">x</span> <span class="n">foaf</span><span class="p">:</span><span class="n">givenName</span> ?<span class="n">name</span> <span class="p">.</span>
- <span class="n">EXISTS</span> <span class="p">{</span> ?<span class="n">x</span> <span class="n">foaf</span><span class="p">:</span><span class="n">knows</span> ?<span class="nb">who</span> <span class="p">.</span> <span class="n">FILTER</span><span class="p">(</span>?<span class="nb">who</span> <span class="o">!=</span> ?<span class="n">x</span><span class="p">)</span> <span class="p">}</span>
+ <span class="n">FILTER</span> <span class="n">EXISTS</span> <span class="p">{</span> ?<span class="n">x</span> <span class="n">foaf</span><span class="p">:</span><span class="n">knows</span> ?<span class="nb">who</span> <span class="p">.</span> <span class="n">FILTER</span><span class="p">(</span>?<span class="nb">who</span> <span class="o">!=</span> ?<span class="n">x</span><span class="p">)</span> <span class="p">}</span>
<span class="p">}</span>
</pre></div>