Revisions based on PR review

Author: afs

spec/index.html

@@ -498,7 +498,7 @@ <h4>Terminology</h4>
 
           <ul>
             <li>
-              <a data-cite="RDF12-CONCEPTS#dfn-iri">IRI</a>
+              <h4><a data-cite="RDF12-CONCEPTS#dfn-iri">IRI</a></h4>
             </li>
             <li>
               <a data-cite="RDF12-CONCEPTS#dfn-literal">literal</a>
@@ -5308,7 +5308,7 @@ <h3>Operator Mapping</h3>
               <th><a href="#rRelationalExpression" title="RelationalExpression">A <span class="FAOTtoken">!=</span> B</a></th>
               <td><span class="type RDFterm"><a data-cite="RDF12-CONCEPTS#dfn-iri">IRI</a></span></td>
               <td><span class="type RDFterm"><a data-cite="RDF12-CONCEPTS#dfn-iri">IRI</a></span></td>
-              <td><a data-cite="XPATH-FUNCTIONS-31#func-not">fn:not</a>(<a href="#func-sameTerm">fn:sameTerm</a>(A, B))</td>
+              <td><a data-cite="XPATH-FUNCTIONS-31#func-not">fn:not</a>(<a href="#func-sameTerm">sameTerm</a>(A, B))</td>
               <td>xsd:boolean</td>
             </tr>
             <tr>
@@ -5829,25 +5829,29 @@ <h5>sameValue</h5>
                 <a data-cite="RDF12-CONCEPTS#dfn-rdf-term-equality">equal RDF terms</a>,
                 then return TRUE.
               </li>
+              <li>If <code>term1</code> or <code>term2</code> is an
+                <a data-cite="RDF12-CONCEPTS#dfn-iri">IRI</a> or a
+                <a data-cite="RDF12-CONCEPTS#dfn-blank-node">blank node</a>
+                then return FALSE.
+              <li>If <code>term1</code> and <code>term2</code> are both
+                <a data-cite="RDF12-CONCEPTS#dfn-literal">literals</a>
+                and one or both of these literals has a datatype that is
+                not handled by the SPARQL processor,
+                then produce a type error.
+              </li>
               <li>If <code>term1</code> and <code>term2</code> are both
                 <a data-cite="RDF12-CONCEPTS#dfn-literal">literals</a>
                 and one or both of these literals are known to be
                 <a data-cite="RDF12-CONCEPTS#dfn-ill-typed">ill-typed</a>,
                 then produce a type error.
               </li>
               <li>
-                "NaN"^^xsd:double and "NaN"^^xsd:float are considered to 
+                `"NaN"^^xsd:double` and `"NaN"^^xsd:float` are considered to 
                 represent the same value.
                 If <code>term1</code> and <code>term2</code> are
-                both "NaN" for either xsd:double or xsd:float then 
+                both "NaN" for either xsd:double or xsd:float, then 
                 return TRUE.
               </li>
-              <li>
-                For xsd:double and xsd:float, `+0`, `-0` and `0` are same value.
-                If <code>term1</code> and <code>term2</code> each
-                have datatype IRI xsd:double or xsd:float and
-                a lexical form of one of these zeros, then return TRUE.
-              </li>
               <li>If <code>term1</code> and <code>term2</code> are both 
                 <a data-cite="RDF12-CONCEPTS#dfn-literal">literals</a>
                 and the SPARQL processor can determine that their the values are equal,
@@ -5862,7 +5866,9 @@ <h5>sameValue</h5>
                 If <code>term1</code> and <code>term2</code> are both 
                 <a data-cite="RDF12-CONCEPTS#dfn-triple-term">triple terms</a>,
                 apply the function `sameValue` pair-wise to each of the components.
-                Return TRUE if each component pair returns TRUE, otherwise return FALSE.
+                Return TRUE if each component pair returns TRUE;
+                produce a type error if any component pair produces an error;
+                otherwise return FALSE.
               </li>
               <li>Otherwise, return FALSE.</li>
             </ol>
@@ -5891,14 +5897,13 @@ <h5>sameValue</h5>
                 `sameValue` treats "NaN"^^xsd:double as the "same value".
               </p>
               <p>
-                
                 `sameValue` treats "NaN"^^xsd:double and "NaN"^^xsd:float as the same value.
-                `sameTerm("NaN"^^xsd:double, "NaN"^^xsd:float)` is `true`.
+                `sameValue("NaN"^^xsd:double, "NaN"^^xsd:float)` is `true`.
               </p>
             </div>
-            <div id="sameValue-old-name" class="note">
-              <p>This function was previously called `RDFterm-equal`.</p>
-            </div>
+            <p id="sameValue-zeros" class="note">
+              For xsd:double and xsd:float, `+0`, `-0` and `0` are same value.
+            </p>
             <p id="func-sameValue-note1" class="note">
               An extended implementation may support additional datatypes for literals. An
               implementation processing a query that tests for equivalence of literals with non-recognized datatypes
@@ -5936,6 +5941,9 @@ <h5>sameValue</h5>
                 </tbody>
               </table>
             </div>
+            <p id="sameValue-old-name" class="note">
+              This function was previously called `RDFterm-equal`.
+            </p>
           </section>
 
           <section id="func-isIRI">