@@ -4687,7 +4687,7 @@ <h3>Filter Evaluation</h3>
4687
4687
<a href="#func-if">IF</a>, <a href="#func-in">IN</a>, <a href="#func-not-in">NOT IN</a>,
4688
4688
<a href="#func-logical-or">logical-or</a> (<code>||</code>),
4689
4689
<a href="#func-logical-and">logical-and</a> (<code>&&</code>),
4690
- <a href="#func-filter-exists">NOT EXISTS</a>, and <a href="#func-filter-exists">EXISTS</a>,
4690
+ <a href="#func-filter-not- exists">NOT EXISTS</a>, and <a href="#func-filter-exists">EXISTS</a>,
4691
4691
all functions operate on RDF Terms and will produce a type error if any
4692
4692
arguments are unbound.
4693
4693
</li>
@@ -5548,6 +5548,7 @@ <h5>COALESCE</h5>
5548
5548
</div>
5549
5549
</section>
5550
5550
<section id="func-filter-exists">
5551
+ <span id="func-filter-not-exists"></span>
5551
5552
<h5>NOT EXISTS and EXISTS</h5>
5552
5553
<p>There is a filter operator <code>EXISTS</code> that takes a graph pattern.
5553
5554
<code>EXISTS</code> returns <code>true</code>/<code>false</code> depending on whether the
@@ -5948,6 +5949,7 @@ <h5>sameValue</h5>
5948
5949
</section>
5949
5950
5950
5951
<section id="func-isIRI">
5952
+ <span id="func-isURI"></span>
5951
5953
<h5>isIRI</h5>
5952
5954
<pre class="prototype nohighlight">
5953
5955
<span class="return">xsd:boolean</span> <span class="operator">isIRI</span> (<span class="type">RDF term</span> <span class="name">term</span>)
@@ -6480,6 +6482,7 @@ <h5>DATATYPE</h5>
6480
6482
</div>
6481
6483
</section>
6482
6484
<section id="func-iri">
6485
+ <span id=""func-uri"></span>
6483
6486
<h5>IRI</h5>
6484
6487
<pre class="prototype nohighlight">
6485
6488
<span class="return">iri</span> <span class="operator">IRI</span>(<span class="type">xsd:string</span>)
@@ -7580,7 +7583,7 @@ <h5>FLOOR</h5>
7580
7583
</table>
7581
7584
</div>
7582
7585
</section>
7583
- <section id="idp2130040 ">
7586
+ <section id="func-rand ">
7584
7587
<h5>RAND</h5>
7585
7588
<pre class="prototype nohighlight"> <span class="return">xsd:double</span> <span class="operator">RAND</span> ( )</pre>
7586
7589
<p>Returns a pseudo-random number between 0 (inclusive) and 1.0e0 (exclusive). Different
@@ -7879,7 +7882,7 @@ <h5>OBJECT</h5>
7879
7882
</p>
7880
7883
</section>
7881
7884
7882
- <section>
7885
+ <section id="func-isTriple" >
7883
7886
<h5>isTRIPLE</h5>
7884
7887
<pre class="prototype nohighlight"><span class="return">xsd:boolean</span> <span class="operator">isTRIPLE</span> (<span class="type RDFterm">RDF term</span> <span class="name">term</span>)</pre>
7885
7888
<p>
@@ -8739,7 +8742,8 @@ <h5>Collect <code>FILTER</code> Elements</h5>
8739
8742
from group, then <a href="#sparqlAddFilters">apply them to the whole translated group
8740
8743
graph pattern</a>.</p>
8741
8744
<p>In this step, we also translate graph patterns within <code>FILTER</code> expressions
8742
- <a href="#func-filter-exists"><code>EXISTS</code> and <code>NOT EXISTS</code></a>.</p>
8745
+ <a href="#func-filter-exists"><code>EXISTS</code></a> and
8746
+ <a href="#func-filter-not-exists"><code>NOT EXISTS</code></a>.</p>
8743
8747
8744
8748
<pre class="code nohighlightBlock">
8745
8749
Let FS := empty set
0 commit comments