--- a/model/diff-c.html	Thu Feb 21 11:07:33 2013 +0000
+++ b/model/diff-c.html	Thu Feb 21 11:57:24 2013 +0000
@@ -815,6 +815,7 @@
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-aq-20130312/">PROV-AQ</a> (To be published as Note), the mechanisms for accessing and querying provenance [<cite><a class="bibref" href="#bib-PROV-AQ">PROV-AQ</a></cite>]; </li>
 <li> <span class="delete">PROV-XML</span><a href="http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/"><span class="insert">PROV-DICTIONARY</span></a> (To be published as <span class="delete">Note),  an XML schema for the PROV data model</span><span class="insert">Note) introduces a specific type of collection, consisting of key-entity pairs</span> [<cite><span class="delete">PROV-XML</span><a class="bibref" href="#bib-PROV-DICTIONARY"><span class="insert">PROV-DICTIONARY</span></a></cite><span class="insert">];</span></li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-dc-20130312/"><span class="insert">PROV-DC</span></a><span class="insert"> (To be published as Note) provides a mapping between PROV and Dublic Core Terms [</span><cite><a class="bibref" href="#bib-PROV-DC"><span class="insert">PROV-DC</span></a></cite><span class="insert">];</span></li>
+<li> <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312/"><span class="insert">PROV-SEM</span></a><span class="insert"> (To be published as Note), a declarative specification in terms of first-order logic of the PROV data model [</span><cite><a class="bibref" href="#bib-PROV-SEM"><span class="insert">PROV-SEM</span></a></cite><span class="insert">];</span></li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><span class="insert">PROV-LINKS</span></a><span class="insert"> (To be published as Note) introduces a mechanism to link across bundles [</span><cite><a class="bibref" href="#bib-PROV-LINKS"><span class="insert">PROV-LINKS</span></a></cite>].</li>
 </ul>
 
@@ -5217,7 +5218,7 @@
 </dd><dt id="bib-PROV-LINKS"><span class="insert">[PROV-LINKS]</span></dt><dd><span class="insert">Luc Moreau; Timothy Lebo; eds. </span><a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><cite><span class="insert">Linking Across Provenance Bundles</span></cite></a><span class="insert">. 12 March 2013, Working Draft. URL: </span><a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-links-20130312/</span></a>
 </dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Paul Groth; Luc Moreau; eds. <a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/"><cite>PROV-OVERVIEW: An Overview of the PROV Family of Documents</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span><a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-overview-20130312/</span></a>
 </dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda Gil; Simon Miles; eds. <a href="http://www.w3.org/TR/2013/WD-prov-primer-20130312/"><cite>PROV Model Primer</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</span><a href="http://www.w3.org/TR/2013/WD-prov-primer-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-primer-20130312/</span></a>
-</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James Cheney; ed. <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><cite>Formal Semantics of PROV</cite></a>. 2011, Work in progress. URL: <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</a>.
+</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James Cheney; ed. <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312"><cite>Formal Semantics of PROV</cite></a>. <span class="delete">2011, Work in progress.</span><span class="insert">12 March 2013, Working Draft.</span> URL: <span class="delete">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</span><a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312"><span class="insert">http://www.w3.org/TR/2013/WD-prov-sem-20130312</span></a>.
 </dd><dt id="bib-PROV-XML">[PROV-XML]</dt><dd>Hook Hua; Curt Tilmes; Stephan Zednik; eds. <a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/"><cite>PROV-XML: The PROV XML Schema</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</span><a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-xml-20130312/</span></a>
 </dd></dl></section></section></body></html>
 

--- a/model/diff-n.html	Thu Feb 21 11:07:33 2013 +0000
+++ b/model/diff-n.html	Thu Feb 21 11:57:24 2013 +0000
@@ -903,6 +903,7 @@
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-aq-20130312/">PROV-AQ</a> (To be published as Note), the mechanisms for accessing and querying provenance [<cite><a class="bibref" href="#bib-PROV-AQ">PROV-AQ</a></cite>]; </li>
 <li> <span class="delete">PROV-XML</span><a href="http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/"><span class="insert">PROV-DICTIONARY</span></a> (To be published as <span class="delete">Note),  an XML schema for the PROV data model</span><span class="insert">Note) introduces a specific type of collection, consisting of key-entity pairs</span> [<cite><span class="delete">PROV-XML</span><a class="bibref" href="#bib-PROV-DICTIONARY"><span class="insert">PROV-DICTIONARY</span></a></cite><span class="insert">];</span></li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-dc-20130312/"><span class="insert">PROV-DC</span></a><span class="insert"> (To be published as Note) provides a mapping between PROV and Dublic Core Terms [</span><cite><a class="bibref" href="#bib-PROV-DC"><span class="insert">PROV-DC</span></a></cite><span class="insert">];</span></li>
+<li> <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312/"><span class="insert">PROV-SEM</span></a><span class="insert"> (To be published as Note), a declarative specification in terms of first-order logic of the PROV data model [</span><cite><a class="bibref" href="#bib-PROV-SEM"><span class="insert">PROV-SEM</span></a></cite><span class="insert">];</span></li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><span class="insert">PROV-LINKS</span></a><span class="insert"> (To be published as Note) introduces a mechanism to link across bundles [</span><cite><a class="bibref" href="#bib-PROV-LINKS"><span class="insert">PROV-LINKS</span></a></cite>].</li>
 </ul>
 
@@ -3182,7 +3183,7 @@
 </dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Paul Groth; Luc Moreau; eds. <a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/"><cite>PROV-OVERVIEW: An Overview of the PROV Family of Documents</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span><a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-overview-20130312/</span></a>
 </dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda Gil; Simon Miles; eds. <a href="http://www.w3.org/TR/2013/WD-prov-primer-20130312/"><cite>PROV Model Primer</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</span><a href="http://www.w3.org/TR/2013/WD-prov-primer-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-primer-20130312/</span></a>
 </dd><dt id="bib-PROV-RDF">[PROV-RDF]</dt><dd>James Cheney <a href="http://www.w3.org/2011/prov/wiki/ProvRDF"><cite>PROV-RDF Mapping </cite></a>2012, Working in Progress. URL: <a href="http://www.w3.org/2011/prov/wiki/ProvRDF">http://www.w3.org/2011/prov/wiki/ProvRDF</a>
-</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James Cheney; ed. <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><cite>Formal Semantics of PROV</cite></a>. 2011, Work in progress. URL: <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</a>.
+</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James Cheney; ed. <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312"><cite>Formal Semantics of PROV</cite></a>. <span class="delete">2011, Work in progress.</span><span class="insert">12 March 2013, Working Draft.</span> URL: <span class="delete">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</span><a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312"><span class="insert">http://www.w3.org/TR/2013/WD-prov-sem-20130312</span></a>.
 </dd><dt id="bib-PROV-XML">[PROV-XML]</dt><dd>Hook Hua; Curt Tilmes; Stephan Zednik; eds. <a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/"><cite>PROV-XML: The PROV XML Schema</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</span><a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-xml-20130312/</span></a>
 </dd><dt id="bib-UNISEC">[UNISEC]</dt><dd> Mark Davis; Michel Suignard. <a href="http://www.unicode.org/reports/tr36/"><cite>Unicode Security Considerations<cite></cite></cite></a>.  4 August 2010. URL: <a href="http://www.unicode.org/reports/tr36/">http://www.unicode.org/reports/tr36/</a>
 </dd></dl></section></section></body></html>

--- a/model/diff.html	Thu Feb 21 11:07:33 2013 +0000
+++ b/model/diff.html	Thu Feb 21 11:57:24 2013 +0000
@@ -775,7 +775,7 @@
     margin-bottom:  0;
 }
 </style><link rel="stylesheet" href="http://www.w3.org/StyleSheets/TR/W3C-PR"></head> 
-  <body><div class="head">
+  <body prefix="prov: http://www.w3.org/ns/prov#"><div class="head">
   <p>
     
       <a href="http://www.w3.org/"><img width="72" height="48" src="http://www.w3.org/Icons/w3c_home" alt="W3C"></a>
@@ -907,6 +907,7 @@
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-aq-20130312/">PROV-AQ</a> (To be published as Note), the mechanisms for accessing and querying provenance [<cite><a class="bibref" href="#bib-PROV-AQ">PROV-AQ</a></cite>]; </li>
 <li> <span class="delete">PROV-XML</span><a href="http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/"><span class="insert">PROV-DICTIONARY</span></a> (To be published as <span class="delete">Note),  an XML schema for the PROV data model</span><span class="insert">Note) introduces a specific type of collection, consisting of key-entity pairs</span> [<cite><span class="delete">PROV-XML</span><a class="bibref" href="#bib-PROV-DICTIONARY"><span class="insert">PROV-DICTIONARY</span></a></cite><span class="insert">];</span></li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-dc-20130312/"><span class="insert">PROV-DC</span></a><span class="insert"> (To be published as Note) provides a mapping between PROV and Dublic Core Terms [</span><cite><a class="bibref" href="#bib-PROV-DC"><span class="insert">PROV-DC</span></a></cite><span class="insert">];</span></li>
+<li> <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312/"><span class="insert">PROV-SEM</span></a><span class="insert"> (To be published as Note), a declarative specification in terms of first-order logic of the PROV data model [</span><cite><a class="bibref" href="#bib-PROV-SEM"><span class="insert">PROV-SEM</span></a></cite><span class="insert">];</span></li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><span class="insert">PROV-LINKS</span></a><span class="insert"> (To be published as Note) introduces a mechanism to link across bundles [</span><cite><a class="bibref" href="#bib-PROV-LINKS"><span class="insert">PROV-LINKS</span></a></cite>].</li>
 
 
@@ -4170,6 +4171,7 @@
 </dd><dt id="bib-PROV-LINKS"><span class="insert">[PROV-LINKS]</span></dt><dd><span class="insert">Luc Moreau; Timothy Lebo; eds. </span><a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><cite><span class="insert">Linking Across Provenance Bundles</span></cite></a><span class="insert">. 12 March 2013, Working Draft. URL: </span><a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-links-20130312/</span></a>
 </dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Paul Groth; Luc Moreau; eds. <a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/"><cite>PROV-OVERVIEW: An Overview of the PROV Family of Documents</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span><a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-overview-20130312/</span></a>
 </dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda Gil; Simon Miles; eds. <a href="http://www.w3.org/TR/2013/WD-prov-primer-20130312/"><cite>PROV Model Primer</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</span><a href="http://www.w3.org/TR/2013/WD-prov-primer-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-primer-20130312/</span></a>
+</dd><dt id="bib-PROV-SEM"><span class="insert">[PROV-SEM]</span></dt><dd><span class="insert">James Cheney; ed. </span><a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312"><cite><span class="insert">Formal Semantics of PROV</span></cite></a><span class="insert">. 12 March 2013, Working Draft. URL: </span><a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312"><span class="insert">http://www.w3.org/TR/2013/WD-prov-sem-20130312</span></a><span class="insert">.</span>
 </dd><dt id="bib-PROV-XML">[PROV-XML]</dt><dd>Hook Hua; Curt Tilmes; Stephan Zednik; eds. <a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/"><cite>PROV-XML: The PROV XML Schema</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</span><a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-xml-20130312/</span></a>
 </dd><dt id="bib-RDF-CONCEPTS11">[RDF-CONCEPTS11]</dt><dd>Richard Cyganiak; David Wood; eds. <a href="http://www.w3.org/TR/rdf11-concepts/"><cite>RDF 1.1 Concepts and Abstract Syntax</cite></a>. Working Draft. URL: <a href="http://www.w3.org/TR/rdf11-concepts/">http://www.w3.org/TR/rdf11-concepts/</a>
 </dd><dt id="bib-UML">[UML]</dt><dd>Object Management Group <a href="http://www.omg.org/spec/UML/2.0/Superstructure/PDF/"><cite>Unified Modeling Language: Superstructure</cite></a>. version 2.0, 2005 URL: <a href="http://www.omg.org/spec/UML/2.0/Superstructure/PDF/">http://www.omg.org/spec/UML/2.0/Superstructure/PDF/</a>

--- a/model/prov-constraints.html	Thu Feb 21 11:07:33 2013 +0000
+++ b/model/prov-constraints.html	Thu Feb 21 11:57:24 2013 +0000
@@ -843,6 +843,7 @@
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-aq-20130312/">PROV-AQ</a> (To be published as Note), the mechanisms for accessing and querying provenance [[PROV-AQ]]; </li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/">PROV-DICTIONARY</a> (To be published as Note) introduces a specific type of collection, consisting of key-entity pairs [[PROV-DICTIONARY]];</li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-dc-20130312/">PROV-DC</a> (To be published as Note) provides a mapping between PROV and Dublic Core Terms [[PROV-DC]];</li>
+<li> <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312/">PROV-SEM</a> (To be published as Note), a declarative specification in terms of first-order logic of the PROV data model [[PROV-SEM]];</li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/">PROV-LINKS</a> (To be published as Note) introduces a mechanism to link across bundles [[PROV-LINKS]].</li>
 </ul>
 

--- a/model/prov-dm.html	Thu Feb 21 11:07:33 2013 +0000
+++ b/model/prov-dm.html	Thu Feb 21 11:57:24 2013 +0000
@@ -866,6 +866,7 @@
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-aq-20130312/">PROV-AQ</a> (To be published as Note), the mechanisms for accessing and querying provenance [[PROV-AQ]]; </li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/">PROV-DICTIONARY</a> (To be published as Note) introduces a specific type of collection, consisting of key-entity pairs [[PROV-DICTIONARY]];</li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-dc-20130312/">PROV-DC</a> (To be published as Note) provides a mapping between PROV and Dublic Core Terms [[PROV-DC]];</li>
+<li> <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312/">PROV-SEM</a> (To be published as Note), a declarative specification in terms of first-order logic of the PROV data model [[PROV-SEM]];</li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/">PROV-LINKS</a> (To be published as Note) introduces a mechanism to link across bundles [[PROV-LINKS]].</li>
 </ul>
 

--- a/model/prov-n.html	Thu Feb 21 11:07:33 2013 +0000
+++ b/model/prov-n.html	Thu Feb 21 11:57:24 2013 +0000
@@ -827,6 +827,7 @@
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-aq-20130312/">PROV-AQ</a> (To be published as Note), the mechanisms for accessing and querying provenance [[PROV-AQ]]; </li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/">PROV-DICTIONARY</a> (To be published as Note) introduces a specific type of collection, consisting of key-entity pairs [[PROV-DICTIONARY]];</li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-dc-20130312/">PROV-DC</a> (To be published as Note) provides a mapping between PROV and Dublic Core Terms [[PROV-DC]];</li>
+<li> <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312/">PROV-SEM</a> (To be published as Note), a declarative specification in terms of first-order logic of the PROV data model [[PROV-SEM]];</li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/">PROV-LINKS</a> (To be published as Note) introduces a mechanism to link across bundles [[PROV-LINKS]].</li>
 </ul>
 

--- a/model/provbib.js	Thu Feb 21 11:07:33 2013 +0000
+++ b/model/provbib.js	Thu Feb 21 11:57:24 2013 +0000
@@ -18,6 +18,7 @@
                "http://www.w3.org/TR/2013/WD-prov-xml-20130312",
                "http://www.w3.org/TR/2013/WD-prov-links-20130312",
                "http://www.w3.org/TR/2013/WD-prov-dc-20130312",
+               "http://www.w3.org/TR/2013/WD-prov-sem-20130312",
                "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312",
 	       "http://www.w3.org/2011/prov/wiki/FormalSemanticsED",
 	       "http://lists.w3.org/Archives/Public/public-prov-comments/" ];
@@ -32,9 +33,9 @@
 
         "PROV-SEM":
           "James Cheney; ed. "+
-          "<a href=\"http://www.w3.org/2011/prov/wiki/FormalSemanticsED\"><cite>Formal Semantics of PROV</cite></a>. "+
-          "2011, Work in progress. "+
-          "URL: <a href=\"http://www.w3.org/2011/prov/wiki/FormalSemanticsED\">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</a>.",
+          "<a href=\"http://www.w3.org/TR/2013/WD-prov-sem-20130312\"><cite>Formal Semantics of PROV</cite></a>. "+
+          "12 March 2013, Working Draft. "+
+          "URL: <a href=\"http://www.w3.org/TR/2013/WD-prov-sem-20130312\">http://www.w3.org/TR/2013/WD-prov-sem-20130312</a>.",
 
         "PROV-PRIMER":
           "Yolanda Gil; Simon Miles; eds. "+

--- a/model/releases/PR-prov-constraints-20130312/Overview.html	Thu Feb 21 11:07:33 2013 +0000
+++ b/model/releases/PR-prov-constraints-20130312/Overview.html	Thu Feb 21 11:57:24 2013 +0000
@@ -792,6 +792,7 @@
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-aq-20130312/">PROV-AQ</a> (To be published as Note), the mechanisms for accessing and querying provenance [<cite><a class="bibref" href="#bib-PROV-AQ">PROV-AQ</a></cite>]; </li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/">PROV-DICTIONARY</a> (To be published as Note) introduces a specific type of collection, consisting of key-entity pairs [<cite><a class="bibref" href="#bib-PROV-DICTIONARY">PROV-DICTIONARY</a></cite>];</li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-dc-20130312/">PROV-DC</a> (To be published as Note) provides a mapping between PROV and Dublic Core Terms [<cite><a class="bibref" href="#bib-PROV-DC">PROV-DC</a></cite>];</li>
+<li> <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312/">PROV-SEM</a> (To be published as Note), a declarative specification in terms of first-order logic of the PROV data model [<cite><a class="bibref" href="#bib-PROV-SEM">PROV-SEM</a></cite>];</li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/">PROV-LINKS</a> (To be published as Note) introduces a mechanism to link across bundles [<cite><a class="bibref" href="#bib-PROV-LINKS">PROV-LINKS</a></cite>].</li>
 </ul>
 
@@ -5479,6 +5480,6 @@
 </dd><dt id="bib-PROV-LINKS">[PROV-LINKS]</dt><dd>Luc Moreau; Timothy Lebo; eds. <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><cite>Linking Across Provenance Bundles</cite></a>. 12 March 2013, Working Draft. URL: <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/">http://www.w3.org/TR/2013/WD-prov-links-20130312/</a>
 </dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Paul Groth; Luc Moreau; eds. <a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/"><cite>PROV-OVERVIEW: An Overview of the PROV Family of Documents</cite></a>. 12 March 2013, Working Draft. URL: <a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/">http://www.w3.org/TR/2013/WD-prov-overview-20130312/</a>
 </dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda Gil; Simon Miles; eds. <a href="http://www.w3.org/TR/2013/WD-prov-primer-20130312/"><cite>PROV Model Primer</cite></a>. 12 March 2013, Working Draft. URL: <a href="http://www.w3.org/TR/2013/WD-prov-primer-20130312/">http://www.w3.org/TR/2013/WD-prov-primer-20130312/</a>
-</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James Cheney; ed. <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><cite>Formal Semantics of PROV</cite></a>. 2011, Work in progress. URL: <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</a>.
+</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James Cheney; ed. <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312"><cite>Formal Semantics of PROV</cite></a>. 12 March 2013, Working Draft. URL: <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312">http://www.w3.org/TR/2013/WD-prov-sem-20130312</a>.
 </dd><dt id="bib-PROV-XML">[PROV-XML]</dt><dd>Hook Hua; Curt Tilmes; Stephan Zednik; eds. <a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/"><cite>PROV-XML: The PROV XML Schema</cite></a>. 12 March 2013, Working Draft. URL: <a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/">http://www.w3.org/TR/2013/WD-prov-xml-20130312/</a>
 </dd></dl></section></section></body></html>
\ No newline at end of file

--- a/model/releases/PR-prov-constraints-20130312/diff-c.html	Thu Feb 21 11:07:33 2013 +0000
+++ b/model/releases/PR-prov-constraints-20130312/diff-c.html	Thu Feb 21 11:57:24 2013 +0000
@@ -815,6 +815,7 @@
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-aq-20130312/">PROV-AQ</a> (To be published as Note), the mechanisms for accessing and querying provenance [<cite><a class="bibref" href="#bib-PROV-AQ">PROV-AQ</a></cite>]; </li>
 <li> <span class="delete">PROV-XML</span><a href="http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/"><span class="insert">PROV-DICTIONARY</span></a> (To be published as <span class="delete">Note),  an XML schema for the PROV data model</span><span class="insert">Note) introduces a specific type of collection, consisting of key-entity pairs</span> [<cite><span class="delete">PROV-XML</span><a class="bibref" href="#bib-PROV-DICTIONARY"><span class="insert">PROV-DICTIONARY</span></a></cite><span class="insert">];</span></li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-dc-20130312/"><span class="insert">PROV-DC</span></a><span class="insert"> (To be published as Note) provides a mapping between PROV and Dublic Core Terms [</span><cite><a class="bibref" href="#bib-PROV-DC"><span class="insert">PROV-DC</span></a></cite><span class="insert">];</span></li>
+<li> <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312/"><span class="insert">PROV-SEM</span></a><span class="insert"> (To be published as Note), a declarative specification in terms of first-order logic of the PROV data model [</span><cite><a class="bibref" href="#bib-PROV-SEM"><span class="insert">PROV-SEM</span></a></cite><span class="insert">];</span></li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><span class="insert">PROV-LINKS</span></a><span class="insert"> (To be published as Note) introduces a mechanism to link across bundles [</span><cite><a class="bibref" href="#bib-PROV-LINKS"><span class="insert">PROV-LINKS</span></a></cite>].</li>
 </ul>
 
@@ -5217,7 +5218,7 @@
 </dd><dt id="bib-PROV-LINKS"><span class="insert">[PROV-LINKS]</span></dt><dd><span class="insert">Luc Moreau; Timothy Lebo; eds. </span><a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><cite><span class="insert">Linking Across Provenance Bundles</span></cite></a><span class="insert">. 12 March 2013, Working Draft. URL: </span><a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-links-20130312/</span></a>
 </dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Paul Groth; Luc Moreau; eds. <a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/"><cite>PROV-OVERVIEW: An Overview of the PROV Family of Documents</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span><a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-overview-20130312/</span></a>
 </dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda Gil; Simon Miles; eds. <a href="http://www.w3.org/TR/2013/WD-prov-primer-20130312/"><cite>PROV Model Primer</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</span><a href="http://www.w3.org/TR/2013/WD-prov-primer-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-primer-20130312/</span></a>
-</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James Cheney; ed. <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><cite>Formal Semantics of PROV</cite></a>. 2011, Work in progress. URL: <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</a>.
+</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James Cheney; ed. <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312"><cite>Formal Semantics of PROV</cite></a>. <span class="delete">2011, Work in progress.</span><span class="insert">12 March 2013, Working Draft.</span> URL: <span class="delete">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</span><a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312"><span class="insert">http://www.w3.org/TR/2013/WD-prov-sem-20130312</span></a>.
 </dd><dt id="bib-PROV-XML">[PROV-XML]</dt><dd>Hook Hua; Curt Tilmes; Stephan Zednik; eds. <a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/"><cite>PROV-XML: The PROV XML Schema</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</span><a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-xml-20130312/</span></a>
 </dd></dl></section></section></body></html>
 

--- a/model/releases/PR-prov-dm-20130312/Overview.html	Thu Feb 21 11:07:33 2013 +0000
+++ b/model/releases/PR-prov-dm-20130312/Overview.html	Thu Feb 21 11:57:24 2013 +0000
@@ -897,6 +897,7 @@
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-aq-20130312/">PROV-AQ</a> (To be published as Note), the mechanisms for accessing and querying provenance [<cite><a class="bibref" href="#bib-PROV-AQ">PROV-AQ</a></cite>]; </li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/">PROV-DICTIONARY</a> (To be published as Note) introduces a specific type of collection, consisting of key-entity pairs [<cite><a class="bibref" href="#bib-PROV-DICTIONARY">PROV-DICTIONARY</a></cite>];</li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-dc-20130312/">PROV-DC</a> (To be published as Note) provides a mapping between PROV and Dublic Core Terms [<cite><a class="bibref" href="#bib-PROV-DC">PROV-DC</a></cite>];</li>
+<li> <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312/">PROV-SEM</a> (To be published as Note), a declarative specification in terms of first-order logic of the PROV data model [<cite><a class="bibref" href="#bib-PROV-SEM">PROV-SEM</a></cite>];</li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/">PROV-LINKS</a> (To be published as Note) introduces a mechanism to link across bundles [<cite><a class="bibref" href="#bib-PROV-LINKS">PROV-LINKS</a></cite>].</li>
 </ul>
 
@@ -4123,7 +4124,8 @@
 </dd><dt id="bib-PROV-LINKS">[PROV-LINKS]</dt><dd>Luc Moreau; Timothy Lebo; eds. <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><cite>Linking Across Provenance Bundles</cite></a>. 12 March 2013, Working Draft. URL: <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/">http://www.w3.org/TR/2013/WD-prov-links-20130312/</a>
 </dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Paul Groth; Luc Moreau; eds. <a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/"><cite>PROV-OVERVIEW: An Overview of the PROV Family of Documents</cite></a>. 12 March 2013, Working Draft. URL: <a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/">http://www.w3.org/TR/2013/WD-prov-overview-20130312/</a>
 </dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda Gil; Simon Miles; eds. <a href="http://www.w3.org/TR/2013/WD-prov-primer-20130312/"><cite>PROV Model Primer</cite></a>. 12 March 2013, Working Draft. URL: <a href="http://www.w3.org/TR/2013/WD-prov-primer-20130312/">http://www.w3.org/TR/2013/WD-prov-primer-20130312/</a>
+</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James Cheney; ed. <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312"><cite>Formal Semantics of PROV</cite></a>. 12 March 2013, Working Draft. URL: <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312">http://www.w3.org/TR/2013/WD-prov-sem-20130312</a>.
 </dd><dt id="bib-PROV-XML">[PROV-XML]</dt><dd>Hook Hua; Curt Tilmes; Stephan Zednik; eds. <a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/"><cite>PROV-XML: The PROV XML Schema</cite></a>. 12 March 2013, Working Draft. URL: <a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/">http://www.w3.org/TR/2013/WD-prov-xml-20130312/</a>
 </dd><dt id="bib-RDF-CONCEPTS11">[RDF-CONCEPTS11]</dt><dd>Richard Cyganiak; David Wood; eds. <a href="http://www.w3.org/TR/rdf11-concepts/"><cite>RDF 1.1 Concepts and Abstract Syntax</cite></a>. Working Draft. URL: <a href="http://www.w3.org/TR/rdf11-concepts/">http://www.w3.org/TR/rdf11-concepts/</a>
 </dd><dt id="bib-UML">[UML]</dt><dd>Object Management Group <a href="http://www.omg.org/spec/UML/2.0/Superstructure/PDF/"><cite>Unified Modeling Language: Superstructure</cite></a>. version 2.0, 2005 URL: <a href="http://www.omg.org/spec/UML/2.0/Superstructure/PDF/">http://www.omg.org/spec/UML/2.0/Superstructure/PDF/</a>
-</dd></dl></section></section></body></html>
+</dd></dl></section></section></body></html>
\ No newline at end of file

--- a/model/releases/PR-prov-dm-20130312/diff.html	Thu Feb 21 11:07:33 2013 +0000
+++ b/model/releases/PR-prov-dm-20130312/diff.html	Thu Feb 21 11:57:24 2013 +0000
@@ -775,7 +775,7 @@
     margin-bottom:  0;
 }
 </style><link rel="stylesheet" href="http://www.w3.org/StyleSheets/TR/W3C-PR"></head> 
-  <body><div class="head">
+  <body prefix="prov: http://www.w3.org/ns/prov#"><div class="head">
   <p>
     
       <a href="http://www.w3.org/"><img width="72" height="48" src="http://www.w3.org/Icons/w3c_home" alt="W3C"></a>
@@ -907,6 +907,7 @@
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-aq-20130312/">PROV-AQ</a> (To be published as Note), the mechanisms for accessing and querying provenance [<cite><a class="bibref" href="#bib-PROV-AQ">PROV-AQ</a></cite>]; </li>
 <li> <span class="delete">PROV-XML</span><a href="http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/"><span class="insert">PROV-DICTIONARY</span></a> (To be published as <span class="delete">Note),  an XML schema for the PROV data model</span><span class="insert">Note) introduces a specific type of collection, consisting of key-entity pairs</span> [<cite><span class="delete">PROV-XML</span><a class="bibref" href="#bib-PROV-DICTIONARY"><span class="insert">PROV-DICTIONARY</span></a></cite><span class="insert">];</span></li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-dc-20130312/"><span class="insert">PROV-DC</span></a><span class="insert"> (To be published as Note) provides a mapping between PROV and Dublic Core Terms [</span><cite><a class="bibref" href="#bib-PROV-DC"><span class="insert">PROV-DC</span></a></cite><span class="insert">];</span></li>
+<li> <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312/"><span class="insert">PROV-SEM</span></a><span class="insert"> (To be published as Note), a declarative specification in terms of first-order logic of the PROV data model [</span><cite><a class="bibref" href="#bib-PROV-SEM"><span class="insert">PROV-SEM</span></a></cite><span class="insert">];</span></li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><span class="insert">PROV-LINKS</span></a><span class="insert"> (To be published as Note) introduces a mechanism to link across bundles [</span><cite><a class="bibref" href="#bib-PROV-LINKS"><span class="insert">PROV-LINKS</span></a></cite>].</li>
 
 
@@ -4170,6 +4171,7 @@
 </dd><dt id="bib-PROV-LINKS"><span class="insert">[PROV-LINKS]</span></dt><dd><span class="insert">Luc Moreau; Timothy Lebo; eds. </span><a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><cite><span class="insert">Linking Across Provenance Bundles</span></cite></a><span class="insert">. 12 March 2013, Working Draft. URL: </span><a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-links-20130312/</span></a>
 </dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Paul Groth; Luc Moreau; eds. <a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/"><cite>PROV-OVERVIEW: An Overview of the PROV Family of Documents</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span><a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-overview-20130312/</span></a>
 </dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda Gil; Simon Miles; eds. <a href="http://www.w3.org/TR/2013/WD-prov-primer-20130312/"><cite>PROV Model Primer</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</span><a href="http://www.w3.org/TR/2013/WD-prov-primer-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-primer-20130312/</span></a>
+</dd><dt id="bib-PROV-SEM"><span class="insert">[PROV-SEM]</span></dt><dd><span class="insert">James Cheney; ed. </span><a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312"><cite><span class="insert">Formal Semantics of PROV</span></cite></a><span class="insert">. 12 March 2013, Working Draft. URL: </span><a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312"><span class="insert">http://www.w3.org/TR/2013/WD-prov-sem-20130312</span></a><span class="insert">.</span>
 </dd><dt id="bib-PROV-XML">[PROV-XML]</dt><dd>Hook Hua; Curt Tilmes; Stephan Zednik; eds. <a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/"><cite>PROV-XML: The PROV XML Schema</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</span><a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-xml-20130312/</span></a>
 </dd><dt id="bib-RDF-CONCEPTS11">[RDF-CONCEPTS11]</dt><dd>Richard Cyganiak; David Wood; eds. <a href="http://www.w3.org/TR/rdf11-concepts/"><cite>RDF 1.1 Concepts and Abstract Syntax</cite></a>. Working Draft. URL: <a href="http://www.w3.org/TR/rdf11-concepts/">http://www.w3.org/TR/rdf11-concepts/</a>
 </dd><dt id="bib-UML">[UML]</dt><dd>Object Management Group <a href="http://www.omg.org/spec/UML/2.0/Superstructure/PDF/"><cite>Unified Modeling Language: Superstructure</cite></a>. version 2.0, 2005 URL: <a href="http://www.omg.org/spec/UML/2.0/Superstructure/PDF/">http://www.omg.org/spec/UML/2.0/Superstructure/PDF/</a>

--- a/model/releases/PR-prov-n-20130312/Overview.html	Thu Feb 21 11:07:33 2013 +0000
+++ b/model/releases/PR-prov-n-20130312/Overview.html	Thu Feb 21 11:57:24 2013 +0000
@@ -873,6 +873,7 @@
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-aq-20130312/">PROV-AQ</a> (To be published as Note), the mechanisms for accessing and querying provenance [<cite><a class="bibref" href="#bib-PROV-AQ">PROV-AQ</a></cite>]; </li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/">PROV-DICTIONARY</a> (To be published as Note) introduces a specific type of collection, consisting of key-entity pairs [<cite><a class="bibref" href="#bib-PROV-DICTIONARY">PROV-DICTIONARY</a></cite>];</li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-dc-20130312/">PROV-DC</a> (To be published as Note) provides a mapping between PROV and Dublic Core Terms [<cite><a class="bibref" href="#bib-PROV-DC">PROV-DC</a></cite>];</li>
+<li> <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312/">PROV-SEM</a> (To be published as Note), a declarative specification in terms of first-order logic of the PROV data model [<cite><a class="bibref" href="#bib-PROV-SEM">PROV-SEM</a></cite>];</li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/">PROV-LINKS</a> (To be published as Note) introduces a mechanism to link across bundles [<cite><a class="bibref" href="#bib-PROV-LINKS">PROV-LINKS</a></cite>].</li>
 </ul>
 
@@ -3155,7 +3156,7 @@
 </dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Paul Groth; Luc Moreau; eds. <a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/"><cite>PROV-OVERVIEW: An Overview of the PROV Family of Documents</cite></a>. 12 March 2013, Working Draft. URL: <a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/">http://www.w3.org/TR/2013/WD-prov-overview-20130312/</a>
 </dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda Gil; Simon Miles; eds. <a href="http://www.w3.org/TR/2013/WD-prov-primer-20130312/"><cite>PROV Model Primer</cite></a>. 12 March 2013, Working Draft. URL: <a href="http://www.w3.org/TR/2013/WD-prov-primer-20130312/">http://www.w3.org/TR/2013/WD-prov-primer-20130312/</a>
 </dd><dt id="bib-PROV-RDF">[PROV-RDF]</dt><dd>James Cheney <a href="http://www.w3.org/2011/prov/wiki/ProvRDF"><cite>PROV-RDF Mapping </cite></a>2012, Working in Progress. URL: <a href="http://www.w3.org/2011/prov/wiki/ProvRDF">http://www.w3.org/2011/prov/wiki/ProvRDF</a>
-</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James Cheney; ed. <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><cite>Formal Semantics of PROV</cite></a>. 2011, Work in progress. URL: <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</a>.
+</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James Cheney; ed. <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312"><cite>Formal Semantics of PROV</cite></a>. 12 March 2013, Working Draft. URL: <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312">http://www.w3.org/TR/2013/WD-prov-sem-20130312</a>.
 </dd><dt id="bib-PROV-XML">[PROV-XML]</dt><dd>Hook Hua; Curt Tilmes; Stephan Zednik; eds. <a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/"><cite>PROV-XML: The PROV XML Schema</cite></a>. 12 March 2013, Working Draft. URL: <a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/">http://www.w3.org/TR/2013/WD-prov-xml-20130312/</a>
 </dd><dt id="bib-UNISEC">[UNISEC]</dt><dd> Mark Davis; Michel Suignard. <a href="http://www.unicode.org/reports/tr36/"><cite>Unicode Security Considerations<cite></cite></cite></a>.  4 August 2010. URL: <a href="http://www.unicode.org/reports/tr36/">http://www.unicode.org/reports/tr36/</a>
 </dd></dl></section></section></body></html>
\ No newline at end of file

--- a/model/releases/PR-prov-n-20130312/diff-n.html	Thu Feb 21 11:07:33 2013 +0000
+++ b/model/releases/PR-prov-n-20130312/diff-n.html	Thu Feb 21 11:57:24 2013 +0000
@@ -903,6 +903,7 @@
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-aq-20130312/">PROV-AQ</a> (To be published as Note), the mechanisms for accessing and querying provenance [<cite><a class="bibref" href="#bib-PROV-AQ">PROV-AQ</a></cite>]; </li>
 <li> <span class="delete">PROV-XML</span><a href="http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/"><span class="insert">PROV-DICTIONARY</span></a> (To be published as <span class="delete">Note),  an XML schema for the PROV data model</span><span class="insert">Note) introduces a specific type of collection, consisting of key-entity pairs</span> [<cite><span class="delete">PROV-XML</span><a class="bibref" href="#bib-PROV-DICTIONARY"><span class="insert">PROV-DICTIONARY</span></a></cite><span class="insert">];</span></li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-dc-20130312/"><span class="insert">PROV-DC</span></a><span class="insert"> (To be published as Note) provides a mapping between PROV and Dublic Core Terms [</span><cite><a class="bibref" href="#bib-PROV-DC"><span class="insert">PROV-DC</span></a></cite><span class="insert">];</span></li>
+<li> <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312/"><span class="insert">PROV-SEM</span></a><span class="insert"> (To be published as Note), a declarative specification in terms of first-order logic of the PROV data model [</span><cite><a class="bibref" href="#bib-PROV-SEM"><span class="insert">PROV-SEM</span></a></cite><span class="insert">];</span></li>
 <li> <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><span class="insert">PROV-LINKS</span></a><span class="insert"> (To be published as Note) introduces a mechanism to link across bundles [</span><cite><a class="bibref" href="#bib-PROV-LINKS"><span class="insert">PROV-LINKS</span></a></cite>].</li>
 </ul>
 
@@ -3182,7 +3183,7 @@
 </dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Paul Groth; Luc Moreau; eds. <a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/"><cite>PROV-OVERVIEW: An Overview of the PROV Family of Documents</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span><a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-overview-20130312/</span></a>
 </dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda Gil; Simon Miles; eds. <a href="http://www.w3.org/TR/2013/WD-prov-primer-20130312/"><cite>PROV Model Primer</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</span><a href="http://www.w3.org/TR/2013/WD-prov-primer-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-primer-20130312/</span></a>
 </dd><dt id="bib-PROV-RDF">[PROV-RDF]</dt><dd>James Cheney <a href="http://www.w3.org/2011/prov/wiki/ProvRDF"><cite>PROV-RDF Mapping </cite></a>2012, Working in Progress. URL: <a href="http://www.w3.org/2011/prov/wiki/ProvRDF">http://www.w3.org/2011/prov/wiki/ProvRDF</a>
-</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James Cheney; ed. <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><cite>Formal Semantics of PROV</cite></a>. 2011, Work in progress. URL: <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</a>.
+</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James Cheney; ed. <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312"><cite>Formal Semantics of PROV</cite></a>. <span class="delete">2011, Work in progress.</span><span class="insert">12 March 2013, Working Draft.</span> URL: <span class="delete">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</span><a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312"><span class="insert">http://www.w3.org/TR/2013/WD-prov-sem-20130312</span></a>.
 </dd><dt id="bib-PROV-XML">[PROV-XML]</dt><dd>Hook Hua; Curt Tilmes; Stephan Zednik; eds. <a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/"><cite>PROV-XML: The PROV XML Schema</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</span><a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/"><span class="insert">http://www.w3.org/TR/2013/WD-prov-xml-20130312/</span></a>
 </dd><dt id="bib-UNISEC">[UNISEC]</dt><dd> Mark Davis; Michel Suignard. <a href="http://www.unicode.org/reports/tr36/"><cite>Unicode Security Considerations<cite></cite></cite></a>.  4 August 2010. URL: <a href="http://www.unicode.org/reports/tr36/">http://www.unicode.org/reports/tr36/</a>
 </dd></dl></section></section></body></html>