--- a/semantics/releases/NOTE-prov-sem-20130430/Overview.html Fri Apr 12 17:42:13 2013 +0100
+++ b/semantics/releases/NOTE-prov-sem-20130430/Overview.html Fri Apr 12 17:44:22 2013 +0100
@@ -747,7 +747,7 @@
div.MathJax_MathML {display: block}
.MathJax_mmlExBox {display: block; overflow: hidden; height: 1px; width: 60ex; padding: 0; border: 0; margin: 0}
</style><!--[if lt IE 9]><script src='http://www.w3.org/2008/site/js/html5shiv.js'></script><![endif]--></head>
- <body><div id="MathJax_Message" style="display: none; "></div><div class="head">
+ <body><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>
@@ -804,7 +804,7 @@
<hr>
-</div>
+</div><div id="MathJax_Message" style="display: none; "></div>
<section id="abstract" class="introductory"><h2>Abstract</h2>
<p>
@@ -859,13 +859,22 @@
<li> <a href="http://www.w3.org/TR/2013/NOTE-prov-xml-20130430/">PROV-XML</a> (Note), an XML schema for the PROV data model [<cite><a class="bibref" href="#bib-PROV-XML">PROV-XML</a></cite>];</li>
<li> <a href="http://www.w3.org/TR/2013/NOTE-prov-aq-20130430/">PROV-AQ</a> (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/NOTE-prov-dictionary-20130430/">PROV-DICTIONARY</a> (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/NOTE-prov-dc-20130430/">PROV-DC</a> (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/NOTE-prov-dc-20130430/">PROV-DC</a> (Note) provides a mapping between PROV and Dublin Core Terms [<cite><a class="bibref" href="#bib-PROV-DC">PROV-DC</a></cite>];</li>
<li> <a href="http://www.w3.org/TR/2013/NOTE-prov-sem-20130430/">PROV-SEM</a>
(Note), a declarative specification in terms of
first-order logic of the PROV data model (this document);</li>
<li> <a href="http://www.w3.org/TR/2013/NOTE-prov-links-20130430/">PROV-LINKS</a> (Note) introduces a mechanism to link across bundles [<cite><a class="bibref" href="#bib-PROV-LINKS">PROV-LINKS</a></cite>].</li>
</ul>
+<h4 id="implementations-encouraged">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 id="please-send-comments">Please Send Comments</h4>
<p>
@@ -4270,9 +4279,13 @@
contents reflect extensive discussion within the Working Group
as a whole. Thanks specifically to Khalid Belhajjame, Tom De
Nies, Paolo
- Missier, Simon Miles, Luc Moreau, Satya Sahoo, Joachim Van
- Herwegen for detailed feedback.
+ Missier, Simon Miles, Luc Moreau, Satya Sahoo, Jan van den
+ Bussche, and Joachim Van
+ Herwegen for detailed feedback.</p>
+<p>
+We would also like to acknowledge <a href="http://www.dagstuhl.de">Schloss Dagstuhl - Leibniz Center for Informatics</a>, because significant progress was made on this document at <a href="http://www.dagstuhl.de/12091">Dagstuhl Seminar 12091 (Principles of Provenance)</a> that took place from February 26 to March 2, 2012.
</p>
+
<p>Thanks also to Robin Berjon for the ReSPec.js specification writing
tool and to MathJax for their LaTeX-to-HTML conversion tools, both of
which aided in the preparation of this document.</p>
Binary file semantics/releases/NOTE-prov-sem-20130430/prov-sem.pdf has changed