reference to finite interpretation from RDF 1.1

Author: franconi

spec/index.html

@@ -436,10 +436,9 @@ <h2>Simple Interpretations</h2>
 
   <p class="technote">Simple interpretations are required to interpret all <a>names</a>,
     and are therefore infinite.
-    This simplifies the exposition.
-    However, RDF can be interpreted using finite structures,
-    supporting decidable algorithms.
-    Details are given in <a href="#finite_interpretations" class="sectionRef"></a>. </p>
+    RDF 1.1 can be interpreted using finite structures, as shown in 
+	<a href="https://www.w3.org/TR/rdf11-mt/#finite-interpretations-informative">Appendix B</a> 
+    of RDF 1.1 Semantic spec. </p>
 
   <p>IEXT(x), called the <dfn class="no-export lint-ignore">extension</dfn> of x,
     is a set of pairs which identify the arguments for which the property is true,