--- a/model/working-copy/prov-dm-constraints.html Wed Feb 15 09:49:38 2012 +0000
+++ b/model/working-copy/prov-dm-constraints.html Wed Feb 15 09:58:44 2012 +0000
@@ -50,6 +50,13 @@
"2011, Working Draft. "+
"URL: <a href=\"http://www.w3.org/TR/prov-primer/\">http://www.w3.org/TR/prov-primer/</a>",
+
+ "PROV-DM":
+ "Luc Moreau and Paolo Missier (eds.) ... "+
+ "<a href=\"http://www.w3.org/TR/prov-dm/\"><cite>PART 1: PROV-DM ...</cite></a>. "+
+ "2011, Working Draft. "+
+ "URL: <a href=\"http://www.w3.org/TR/prov-dm/\">http://www.w3.org/TR/prov-dm/</a>",
+
"PROV-O":
"Satya Sahoo and Deborah McGuinness (eds.) Khalid Belhajjame, James Cheney, Daniel Garijo, Timothy Lebo, Stian Soiland-Reyes, and Stephan Zednik "+
"<a href=\"http://www.w3.org/TR/prov-o/\"><cite>Provenance Formal Model</cite></a>. "+
@@ -250,7 +257,7 @@
</section>
-<section id='preliminaries'>
+<section id='prov-dm-refinement'>
<h2>Data Model Refinement</h2>
<p>Underpinning the PROV-DM data model is a notion of event, marking transitions in the world (when entities are generated, used, or destroyed, or activities started or ended). This notion of event is not first-class in the data model, but underpins many of its concepts and its semantics [[PROV-SEM]]. Thus, using this notion of event, we can provide an interpretation for the data model, which in turn can allow creators of provenance assertions to make their assertions more robust. </p>
@@ -448,12 +455,11 @@
</section>
<div class='issue'> We need to refine the definition of entity and activity, and all the concepts in general. This is <a href="http://www.w3.org/2011/prov/track/issues/223">ISSUE-223</a>.</div>
-</section>
<section id="bundle">
- <h3>Bundle</h3>
+ <h3>Account</h3>
<p>It is common for multiple provenance records to co-exist. For instance, when emailing
@@ -466,21 +472,25 @@
</section>
+</section>
<section id="data-model-constraints">
-<h2>PROV-DM Constraints</h2>
+<h2>Constraints Applicable to PROV-DM </h2>
-<p>The previous two sections??? have introduced a data model for provenance, without introducing any constraint that this data model has to satisfy. In this section, we explore the constraints
-that this data model has to satisfy. </p>
+<p>In [[PROV-DM]], a data model for provenance has been defined without introducing any constraint that this data model has to satisfy. In <a href="#prov-dm-refinement">Section 2</a>, various notions have been introduced, attributes, event, entity interval, activity interval, accounts, which underpin the PROV-DM data model. Using these notion, we explore the constraints
+that the PROV-DM data model has to satisfy. </p>
-<p> Discuss the kind of constraints</p>
+<div class='note'>
+<p> Overview the kind of constraints</p>
<ul>
<li>Definitional constraints</li>
+<li>Account constraints</li>
<li>Event ordering constraints</li>
-<li>Account-related constraints</li>
+<li>Collection constraints</li>
</ul>
+</div>
</section>
@@ -1216,7 +1226,7 @@
<section id="interpretation">
-<h3>PROV-DM Ordering Constraints</h3>
+<h3>PROV-DM Event Ordering Constraints</h3>
<p>Section <a href="#section-time-event">section-time-event</a>
introduces a notion of <a title="event">instantaneous event</a>
--- a/model/working-copy/towards-wd4.html Wed Feb 15 09:49:38 2012 +0000
+++ b/model/working-copy/towards-wd4.html Wed Feb 15 09:58:44 2012 +0000
@@ -57,6 +57,13 @@
"URL: <a href=\"http://www.w3.org/TR/prov-o/\">http://www.w3.org/TR/prov-o/</a>",
+ "PROV-DM":
+ "Luc Moreau and Paolo Missier (eds.) ... "+
+ "<a href=\"http://www.w3.org/TR/prov-dm/\"><cite>PART 1: PROV-DM ...</cite></a>. "+
+ "2011, Working Draft. "+
+ "URL: <a href=\"http://www.w3.org/TR/prov-dm/\">http://www.w3.org/TR/prov-dm/</a>",
+
+
"PROV-DM-CONSTRAINTS":
"Luc Moreau and Paolo Missier (eds.) ... "+
"<a href=\"http://www.w3.org/TR/prov-dm-constraints/\"><cite>PROV-DM Constraints</cite></a>. "+