ordering constraints
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Wed, 15 Feb 2012 09:58:44 +0000
changeset 1562 0ae4475e44b2
parent 1561 6a4e10b898cb
child 1563 a6f55a6a9766
ordering constraints
model/working-copy/prov-dm-constraints.html
model/working-copy/towards-wd4.html
--- 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>. "+