--- a/reports/NOTE-prov-implementations-20130430/Overview.html	Fri Apr 12 13:56:34 2013 +0100
+++ b/reports/NOTE-prov-implementations-20130430/Overview.html	Fri Apr 12 13:57:00 2013 +0100
@@ -718,7 +718,7 @@
         </tr>
         <tr id="65">
           <td>65</td>
-          <th scope="row"><a href="http://provenance.ecs.soton.ac.uk/validator/validator.html">ProvValidator</a></th>
+          <th scope="row"><a href="http://provenance.ecs.soton.ac.uk/validator/validator.html">Prov-Validator</a></th>
           <td>Validator</td>
           <td>PROV-O, PROV-N, PROV-XML, PROV-JSON</td>
         </tr>
@@ -3523,9 +3523,9 @@
         </caption>
         <tbody><tr>
           <th scope="col">Constraint</th>
-          <th scope="col"> <a href="#64" title="prov-check">#62</a></th>
-          <th scope="col"><a href="#65" title="checker.pl">#63</a></th>
-          <th scope="col"><a href="#66" title="ProvValidator">#64</a></th>
+          <th scope="col"> <a href="#64" title="prov-check">#64</a></th>
+          <th scope="col"><a href="#65" title="Prov-Validator">#65</a></th>
+          <th scope="col"><a href="#66" title="checker.pl">#66</a></th>
         </tr>
         <tr>
           <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#key-object">Constraint 22 (key-object)</a></td>
@@ -3760,7 +3760,7 @@
           <th scope="col">Provenenane Server</th>
           <th scope="col">APROVeD</th>
           <th scope="col">PROV Python</th>
-          <th scope="col">ProvValidator</th>
+          <th scope="col">Prov-Validator</th>
           <th scope="col">PROV-DM</th>
         </tr>
         <tr><td colspan="9"></td></tr>
@@ -3776,7 +3776,7 @@
           <td>&nbsp;</td>
         </tr>
         <tr>
-          <th scope="row"><a href="#65">ProvValidator</a></th>
+          <th scope="row"><a href="#65">Prov-Validator</a></th>
           <td>&nbsp;</td>
           <td><span class="independent-impl">All (PROV-O)</span></td>
           <td><span class="independent-codebase">All (PROV-N)</span></td>
@@ -3799,8 +3799,8 @@
       </tbody></table>
       <p>Summary:</p>
       <ul>
-        <li>The Provenance Server (University of Southampton, Python code base) consumes provenance documents deposited by the ProvToolbox Converter and ProvValidator (University of Southampton, Java code base)</li>
-        <li>The ProvValidator (University of Southampton) validates:
+        <li>The Provenance Server (University of Southampton, Python code base) consumes provenance documents deposited by the ProvToolbox Converter and Prov-Validator (University of Southampton, Java code base)</li>
+        <li>The Prov-Validator (University of Southampton) validates:
           <ul>
             <li>All PROV-O terms generated by PROVoKing (King's College London)</li>
             <li>All PROV-N terms generated by the Provenance Server and the PROV-Python library (University of Southampton, Python code base)</li>
@@ -3827,11 +3827,11 @@
             </tr>
             <tr>
               <th scope="col">Consumer:</th>
-              <th scope="col"><a href="#65" title="ProvValidator">#65</a></th>
+              <th scope="col"><a href="#65" title="Prov-Validator">#65</a></th>
               <th scope="col"><a href="#64" title="prov-check">#64</a></th>
-              <th scope="col"><a href="#65" title="ProvValidator">#65</a></th>
-              <th scope="col"><a href="#65" title="ProvValidator">#65</a></th>
-              <th scope="col"><a href="#65" title="ProvValidator">#65</a></th>
+              <th scope="col"><a href="#65" title="Prov-Validator">#65</a></th>
+              <th scope="col"><a href="#65" title="Prov-Validator">#65</a></th>
+              <th scope="col"><a href="#65" title="Prov-Validator">#65</a></th>
             </tr>
             <tr>
         <th scope="col">Term</th>
@@ -4186,7 +4186,7 @@
         <td>2</td>
        </tr>      
     </tbody></table>
-     <div class="note"><div class="note-title"><span>Note</span></div><p class="">Although the Provenance Server (#17) and the ProvValidator (#65) are from the same institution (i.e. University of Southampton), it is worth noting that they were built from two independent code bases (one in Python and the other in Java)</p></div>
+     <div class="note"><div class="note-title"><span>Note</span></div><p class="">Although the Provenance Server (#17) and the Prov-Validator (#65) are from the same institution (i.e. University of Southampton), it is worth noting that they were built from two independent code bases (one in Python and the other in Java)</p></div>
   </section>
 
   <section class="appendix" id="acknowledgements"> 

--- a/reports/prov-implementations.html	Fri Apr 12 13:56:34 2013 +0100
+++ b/reports/prov-implementations.html	Fri Apr 12 13:57:00 2013 +0100
@@ -527,7 +527,7 @@
         </tr>
         <tr id="65">
           <td>65</td>
-          <th scope="row"><a href="http://provenance.ecs.soton.ac.uk/validator/validator.html">ProvValidator</a></th>
+          <th scope="row"><a href="http://provenance.ecs.soton.ac.uk/validator/validator.html">Prov-Validator</a></th>
           <td>Validator</td>
           <td>PROV-O, PROV-N, PROV-XML, PROV-JSON</td>
         </tr>
@@ -3332,9 +3332,9 @@
         </caption>
         <tr>
           <th scope="col">Constraint</th>
-          <th scope="col"> <a href="#64" title="prov-check">#62</a></th>
-          <th scope="col"><a href="#65" title="checker.pl">#63</a></th>
-          <th scope="col"><a href="#66" title="ProvValidator">#64</a></th>
+          <th scope="col"> <a href="#64" title="prov-check">#64</a></th>
+          <th scope="col"><a href="#65" title="Prov-Validator">#65</a></th>
+          <th scope="col"><a href="#66" title="checker.pl">#66</a></th>
         </tr>
         <tr>
           <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#key-object">Constraint 22 (key-object)</a></td>
@@ -3569,7 +3569,7 @@
           <th scope="col">Provenenane Server</th>
           <th scope="col">APROVeD</th>
           <th scope="col">PROV Python</th>
-          <th scope="col">ProvValidator</th>
+          <th scope="col">Prov-Validator</th>
           <th scope="col">PROV-DM</th>
         </tr>
         <tr><td colspan=9></td></tr>
@@ -3585,7 +3585,7 @@
           <td>&nbsp;</td>
         </tr>
         <tr>
-          <th scope="row"><a href="#65">ProvValidator</a></th>
+          <th scope="row"><a href="#65">Prov-Validator</a></th>
           <td>&nbsp;</td>
           <td><span class="independent-impl">All (PROV-O)</span></td>
           <td><span class="independent-codebase">All (PROV-N)</span></td>
@@ -3608,8 +3608,8 @@
       </table>
       <p>Summary:</p>
       <ul>
-        <li>The Provenance Server (University of Southampton, Python code base) consumes provenance documents deposited by the ProvToolbox Converter and ProvValidator (University of Southampton, Java code base)</li>
-        <li>The ProvValidator (University of Southampton) validates:
+        <li>The Provenance Server (University of Southampton, Python code base) consumes provenance documents deposited by the ProvToolbox Converter and Prov-Validator (University of Southampton, Java code base)</li>
+        <li>The Prov-Validator (University of Southampton) validates:
           <ul>
             <li>All PROV-O terms generated by PROVoKing (King's College London)</li>
             <li>All PROV-N terms generated by the Provenance Server and the PROV-Python library (University of Southampton, Python code base)</li>
@@ -3636,11 +3636,11 @@
             </tr>
             <tr>
               <th scope="col">Consumer:</th>
-              <th scope="col"><a href="#65" title="ProvValidator">#65</a></th>
+              <th scope="col"><a href="#65" title="Prov-Validator">#65</a></th>
               <th scope="col"><a href="#64" title="prov-check">#64</a></th>
-              <th scope="col"><a href="#65" title="ProvValidator">#65</a></th>
-              <th scope="col"><a href="#65" title="ProvValidator">#65</a></th>
-              <th scope="col"><a href="#65" title="ProvValidator">#65</a></th>
+              <th scope="col"><a href="#65" title="Prov-Validator">#65</a></th>
+              <th scope="col"><a href="#65" title="Prov-Validator">#65</a></th>
+              <th scope="col"><a href="#65" title="Prov-Validator">#65</a></th>
             </tr>
             <tr>
         <th scope="col">Term</th>
@@ -3995,7 +3995,7 @@
         <td>2</td>
        </tr>      
     </table>
-     <p class="note">Although the Provenance Server (#17) and the ProvValidator (#65) are from the same institution (i.e. University of Southampton), it is worth noting that they were built from two independent code bases (one in Python and the other in Java)</p>
+     <p class="note">Although the Provenance Server (#17) and the Prov-Validator (#65) are from the same institution (i.e. University of Southampton), it is worth noting that they were built from two independent code bases (one in Python and the other in Java)</p>
   </section>
 
   <section class="appendix"> 

--- a/semantics/prov-sem.html	Fri Apr 12 13:56:34 2013 +0100
+++ b/semantics/prov-sem.html	Fri Apr 12 13:57:00 2013 +0100
@@ -1034,6 +1034,15 @@
 <li> <a href="http://www.w3.org/TR/2013/NOTE-prov-links-20130430/">PROV-LINKS</a> (Note) introduces a mechanism to link across bundles [[PROV-LINKS]].</li>
 </ul>
 
+<h4>Implementations Encouraged</h4>
+<p>
+The Provenance Working Group encourages implementations that make use
+of or extend the semantics in this document.
+Although work on this document by the Provenance Working Group is complete, 
+errors may be recorded in the  <a href="http://www.w3.org/2011/prov/errata.html">errata</a> or and these may be addressed in future revisions. 
+</p>
+
+<h4>Please Send Comments</h4>
 
 </section>