Skip to content

Commit 98cc015

Browse files
committed
Preparatory reformating
1 parent c073717 commit 98cc015

File tree

1 file changed

+21
-6
lines changed

1 file changed

+21
-6
lines changed

spec/index.html

+21-6
Original file line numberDiff line numberDiff line change
@@ -5717,15 +5717,30 @@ <h5>RDFterm-equal</h5>
57175717
<pre class="prototype nohighlight">
57185718
<span class="return">xsd:boolean</span> <span class="operator" style="text-transform: none;">RDFterm-equal</span> (<span class="type"><span class="type RDFterm">RDF term</span></span> <span class="name">term1</span>, <span class="type"><span class="type RDFterm">RDF term</span></span> <span class="name">term2</span>)
57195719
</pre>
5720-
<p>This function cannot be used directly in expressions. The purpose of this function is to define the semantics of the "=" operator when applied to two RDF terms that do not fall into any of the other, more concrete cases covered in the operator mapping table in Section&nbsp;<a href="#OperatorMapping" class="sectionRef"></a>.</p>
5720+
5721+
<p>This function cannot be used directly in expressions. The purpose
5722+
of this function is to define the semantics of the "=" operator when applied to
5723+
two RDF terms that do not fall into any of the other, more concrete cases
5724+
covered in the operator mapping table in Section
5725+
<a href="#OperatorMapping" class="sectionRef"></a>.
5726+
</p>
5727+
57215728
<p>The function is defined as follows:</p>
57225729
<ul>
5723-
<li>Returns TRUE if <code>term1</code> and <code>term2</code> are <em>equal</em> RDF terms, as defined below.</li>
5724-
<li>Produces a type error if <code>term1</code> and <code>term2</code> are both literals having the
5725-
same <a data-cite="RDF12-CONCEPTS#dfn-datatype-iri">datatype IRI</a>; this datatype IRI is <em>not</em> in the
5726-
set of <a data-cite="RDF12-CONCEPTS#dfn-recognized-datatype-iri">recognized datatype IRIs</a>; and the
5727-
<a data-cite="RDF12-CONCEPTS#dfn-lexical-form">lexical forms</a> of the two literals are different from one another.</li>
5730+
5731+
<li>Returns TRUE if <code>term1</code> and <code>term2</code>
5732+
are <em>equal</em> RDF terms, as defined below.</li>
5733+
5734+
<li>Produces a type error if <code>term1</code> and <code>term2</code> are both
5735+
literals having the same
5736+
<a data-cite="RDF12-CONCEPTS#dfn-datatype-iri">datatype IRI</a>;
5737+
this datatype IRI is <em>not</em> in the set of
5738+
<a data-cite="RDF12-CONCEPTS#dfn-recognized-datatype-iri">recognized datatype IRIs</a>;
5739+
and the <a data-cite="RDF12-CONCEPTS#dfn-lexical-form">lexical forms</a>
5740+
of the two literals are different from one another.</li>
5741+
57285742
<li>Returns FALSE otherwise.</li>
5743+
57295744
</ul>
57305745
<p>
57315746
<code>term1</code> and <code>term2</code> are <em>equal</em> RDF terms if any of the following is

0 commit comments

Comments
 (0)