--- a/model/releases/ED-prov-constraints-20120723/prov-constraints.html Mon Jul 23 14:30:24 2012 +0100
+++ b/model/releases/ED-prov-constraints-20120723/prov-constraints.html Mon Jul 23 14:31:15 2012 +0100
@@ -486,7 +486,7 @@
pre.sh_sourceCode .sh_attribute { color: #006400; }
</style><link href="./extra.css" rel="stylesheet" type="text/css" charset="utf-8"><link href="http://www.w3.org/StyleSheets/TR/W3C-ED" rel="stylesheet" type="text/css" charset="utf-8"></head>
- <body style="display: inherit; "><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></p><h1 class="title" id="title">Constraints of the Provenance Data Model</h1><h2 id="subtitle">NOT READY for internal review</h2><h2 id="w3c-editor-s-draft-23-july-2012"><acronym title="World Wide Web Consortium">W3C</acronym> Editor's Draft 23 July 2012</h2><dl><dt>This version:</dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html</a></dd><dt>Latest published version:</dt><dd><a href="http://www.w3.org/TR/prov-constraints/">http://www.w3.org/TR/prov-constraints/</a></dd><dt>Latest editor's draft:</dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html</a></dd><dt>Previous version:</dt><dd><a href="http://www.w3.org/TR/2012/WD-prov-constraints-20120503/">http://www.w3.org/TR/2012/WD-prov-constraints-20120503/</a></dd><dt>Editors:</dt><dd><a href="http://homepages.inf.ed.ac.uk/jcheney">James Cheney</a>, University of Edinburgh</dd>
+ <body style="display: inherit; "><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></p><h1 class="title" id="title">Constraints of the Provenance Data Model</h1><h2 id="subtitle">Version for internal review</h2><h2 id="w3c-editor-s-draft-23-july-2012"><acronym title="World Wide Web Consortium">W3C</acronym> Editor's Draft 23 July 2012</h2><dl><dt>This version:</dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html</a></dd><dt>Latest published version:</dt><dd><a href="http://www.w3.org/TR/prov-constraints/">http://www.w3.org/TR/prov-constraints/</a></dd><dt>Latest editor's draft:</dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html</a></dd><dt>Previous version:</dt><dd><a href="http://www.w3.org/TR/2012/WD-prov-constraints-20120503/">http://www.w3.org/TR/2012/WD-prov-constraints-20120503/</a></dd><dt>Editors:</dt><dd><a href="http://homepages.inf.ed.ac.uk/jcheney">James Cheney</a>, University of Edinburgh</dd>
<dd><a href="http://www.cs.ncl.ac.uk/people/Paolo.Missier">Paolo Missier</a>, Newcastle University</dd>
<dd><a href="http://www.ecs.soton.ac.uk/~lavm/">Luc Moreau</a>, University of Southampton</dd>
<dt>Author:</dt><dd><a href="http://users.ugent.be/~tdenies/">Tom De Nies</a>, IBBT - Ghent University</dd>
@@ -1443,7 +1443,9 @@
such that <span class="name">wasGeneratedBy(_id1;e,a1,_t1,[])</span> and <span class="name">used(_id2;a2,e,_t2,[])</span> hold.</p>
</div>
-<div class="note">
+<p id="generation-communication-use-inference_text">
+
+</p><div class="note">
A final check is required on this inference to ensure that it does not lead to non-termination, when combined with
<a class="rule-text" href="#communication-generation-use-inference_text"><span>Inference 5 (communication-generation-use-inference)</span></a>.
</div>
@@ -1816,7 +1818,7 @@
<hr>
- <p>The relation <span class="name">alternateOf</span> is an equivalence relation: <a href="#dfn-reflexive" class="internalDFN">reflexive</a>,
+ <p id="alternate-reflexive_text">The relation <span class="name">alternateOf</span> is an equivalence relation: <a href="#dfn-reflexive" class="internalDFN">reflexive</a>,
<a href="#dfn-transitive" class="internalDFN">transitive</a> and <a href="#dfn-symmetric" class="internalDFN">symmetric</a>.</p>
<div class="inference" id="alternate-reflexive" data-count="18" data-title="Inference 18 (alternate-reflexive)"><div class="ruleTitle"><a class="internalDFN" href="#alternate-reflexive">Inference 18 (alternate-reflexive)</a></div>
@@ -1825,13 +1827,23 @@
</p>
</div>
-
- <div class="inference" id="alternate-transitive" data-count="19" data-title="Inference 19 (alternate-transitive)"><div class="ruleTitle"><a class="internalDFN" href="#alternate-transitive">Inference 19 (alternate-transitive)</a></div>
+<p>
+
+</p><hr>
+ <p id="alternate-transitive_text">
+
+ </p><div class="inference" id="alternate-transitive" data-count="19" data-title="Inference 19 (alternate-transitive)"><div class="ruleTitle"><a class="internalDFN" href="#alternate-transitive">Inference 19 (alternate-transitive)</a></div>
<p><!-- For any entities <span class='name'>e1</span>, <span class='name'>e2</span>, <span class='name'>e3</span>, -->
<span class="conditional">IF</span> <span class="name">alternateOf(e1,e2)</span> and
<span class="name">alternateOf(e2,e3)</span> <span class="conditional">THEN</span> <span class="name">alternateOf(e1,e3)</span>.</p>
</div>
- <div class="inference" id="alternate-symmetric" data-count="20" data-title="Inference 20 (alternate-symmetric)"><div class="ruleTitle"><a class="internalDFN" href="#alternate-symmetric">Inference 20 (alternate-symmetric)</a></div>
+
+<p>
+
+</p><hr>
+ <p id="alternate-symmetric_text">
+
+ </p><div class="inference" id="alternate-symmetric" data-count="20" data-title="Inference 20 (alternate-symmetric)"><div class="ruleTitle"><a class="internalDFN" href="#alternate-symmetric">Inference 20 (alternate-symmetric)</a></div>
<p><!-- For any entity <span class='name'>e1</span>, <span class='name'>e2</span>, -->
<span class="conditional">IF</span> <span class="name">alternateOf(e1,e2)</span> <span class="conditional">THEN</span> <span class="name">alternateOf(e2,e1)</span>.</p>
</div>
@@ -2050,7 +2062,7 @@
<p>
</p><hr>
- <p id="key_text"> We assume that the various identified objects of PROV have
+ <p id="key-object_text"> We assume that the various identified objects of PROV have
unique statements describing them within a PROV instance, through
the following key constraints:
</p>
@@ -2138,6 +2150,10 @@
<span class="conditional">THEN</span> <span class="name">id1</span>=<span class="name">id2</span>.</p>
</div>
+<hr>
+
+<div id="unique-invalidation_text">
+
<div class="constraint" id="unique-invalidation" data-count="28" data-title="Constraint 28 (unique-invalidation)"><div class="ruleTitle"><a class="internalDFN" href="#unique-invalidation">Constraint 28 (unique-invalidation)</a></div>
<p>
<span class="conditional">IF</span> <span class="name">wasInvalidatedBy(id1;e,_a1,_t1,_attrs1)</span> and <span class="name">wasInvalidatedBy(id2;e,_a2,_t2,_attrs2)</span>,
@@ -2154,11 +2170,10 @@
</p><hr>
<p id="unique-wasStartedBy_text">
-</p><p>We assume that an activity has exactly one start and
+We assume that an activity has exactly one start and
end event (either or both may, however, be left implicit). Again,
together with above key constraints these constraints imply that the
-activity is a key for activity start and end statements.,
-these
+activity is a key for activity start and end statements.
</p>
<div class="constraint" id="unique-wasStartedBy" data-count="29" data-title="Constraint 29 (unique-wasStartedBy)"><div class="ruleTitle"><a class="internalDFN" href="#unique-wasStartedBy">Constraint 29 (unique-wasStartedBy)</a></div>
@@ -2166,8 +2181,10 @@
<span class="conditional">IF</span> <span class="name">wasStartedBy(id1;a,_e1,_a1,_t1,_attrs1)</span> and <span class="name">wasStartedBy(id2;a,_e2,_a2,_t2,_attrs2)</span>, <span class="conditional">THEN</span> <span class="name">id</span>=<span class="name">id'</span>.</p>
</div>
-
-<div class="constraint" id="unique-wasEndedBy" data-count="30" data-title="Constraint 30 (unique-wasEndedBy)"><div class="ruleTitle"><a class="internalDFN" href="#unique-wasEndedBy">Constraint 30 (unique-wasEndedBy)</a></div>
+<hr>
+<p id="unique-wasEndedBy_text">
+
+</p><div class="constraint" id="unique-wasEndedBy" data-count="30" data-title="Constraint 30 (unique-wasEndedBy)"><div class="ruleTitle"><a class="internalDFN" href="#unique-wasEndedBy">Constraint 30 (unique-wasEndedBy)</a></div>
<p>
<span class="conditional">IF</span> <span class="name">wasEndedBy(id1;a,_e1,_a1,_t1,_attrs1)</span> and <span class="name">wasEndedBy(id2;a,_e2,_a2,_t2,_attrs2)</span>, <span class="conditional">THEN</span> <span class="name">id</span>=<span class="name">id'</span>.</p>
</div>
@@ -2224,7 +2241,7 @@
-</div> <!-- uniqueness-constraints-->
+</div></div> <!-- uniqueness-constraints-->
<div id="event-ordering-constraints" class="section">
<h3><span class="secno">5.2 </span>Event Ordering Constraints</h3>
@@ -2945,7 +2962,7 @@
identifiers are required to be pairwise disjoint.
</div>
- <p id="impossible-object-overlap_text"> Identifiers of entities,
+ <p id="impossible-object-property-overlap_text"> Identifiers of entities,
agents and activities cannot also be identifiers of properties.
</p>
<div class="constraint" id="impossible-object-property-overlap" data-count="53" data-title="Constraint 53 (impossible-object-property-overlap)"><div class="ruleTitle"><a class="internalDFN" href="#impossible-object-property-overlap">Constraint 53 (impossible-object-property-overlap)</a></div>