* staging prov-sem again
Fri, 12 Apr 2013 17:44:22 +0100
changeset 6147 07ab207788ff
parent 6146 b516d6d2bae4
child 6148 fde98d14587e
* staging prov-sem again
--- 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">
       <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 @@
+</div><div id="MathJax_Message" style="display: none; "></div> 
     <section id="abstract" class="introductory"><h2>Abstract</h2>
@@ -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>
+<h4 id="implementations-encouraged">Implementations Encouraged</h4>
+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. 
+<h4 id="please-send-comments">Please Send Comments</h4>
@@ -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>
+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>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