--- a/model/working-copy/wd5-prov-dm-constraints-revised.html Thu Apr 19 18:47:07 2012 +0100
+++ b/model/working-copy/wd5-prov-dm-constraints-revised.html Thu Apr 19 18:57:31 2012 +0100
@@ -344,7 +344,9 @@
class="name">a_m</span> such that <span
class="name">conclusion_1</span> and ... and <span class="name">conclusion_n</span>.
</div>
-
+ </p>
+
+<p>
This means that if all of the provenance expressions matching <span class="name">hyp_1</span>... <span class="name">hyp_k</span>
can be found in a PROV description, we can add all of the expressions
<span class="name">concl_1</span> ... <span class="name">concl_n</span> to the instance, possibly after generating fresh
@@ -367,7 +369,9 @@
class="name">a_m</span> such that <span
class="name">defining_exp_1</span> and ... and <span class="name">defining_exp_n</span>.
</div>
-
+</p>
+
+ <p>
This means that a provenance expression defined_exp is defined in
terms of other expressions. This can be viewed as a two-way
inference: If <span class="name">defined_exp</span>
@@ -468,7 +472,7 @@
<div class="note">
@@TODO: Could this be an inference? Does it imply that
a1 is associated with all activities a2 is associated with?
- </div></p>
+ </div>
</section>
@@ -708,8 +712,8 @@
class="name">T1-2</span> and <span class="name">T2-3</span> are the
same since <span class="name">e2</span> is an aspect of both of them,
so <span
-class="name">specializationOf(e1,e3)</span> follows since <span class="name">e1<span class="name"> and <span class="name">e3<span class="name">
-are aspects fo the same thing and <span class="name">e1<span class="name"> is more specific than <span class="name">e3<span class="name">. </p>
+class="name">specializationOf(e1,e3)</span> follows since <span class="name">e1</span> and <span class="name">e3</span>
+are aspects fo the same thing and <span class="name">e1</span> is more specific than <span class="name">e3</span>. </p>
<div class="anexample" id="anexample-specialization-is-transitive">
@@ -807,7 +811,7 @@
</ul>
<section id="optional-attributes">
- <h3>Optional Attributes</h4>
+ <h3>Optional Attributes</h3>
<div class="note">
TODO: Clarify how optional attributes are handled; clarify merging. The following is
@@ -829,10 +833,7 @@
<li>
<div id="optional-attributes6">In a quotation of the form <span class="name">wasQuotedFrom(e2,e1,-,-,attrs)</span>, the absence of an agent means: either no agent exists, or an agent exists but it is not identified.</div>
</li>
-<div id="optional-attributes4">
-<li><p>In an association of the form <span class="name">wasAssociatedWith(a, ag, -, attr)</span>, the absence of a plan means: either no plan exists, or a plan exists but it is not identified.</p>
-
-
+<li><div id="optional-attributes4">In an association of the form <span class="name">wasAssociatedWith(a, ag, -, attr)</span>, the absence of a plan means: either no plan exists, or a plan exists but it is not identified.</p>
<p>In an association of the form <span class="name">wasAssociatedWith(a, -, pl, attr)</span>, an agent exists but it is not identified.</p>
</div>
</li>
@@ -1003,14 +1004,14 @@
<span class='conditional'>IF</span> <span class="name">wasGeneratedBy(e, -, t1)</span> and <span class="name">wasGeneratedBy(e, -, t2)</span> hold, <span class='conditional'>THEN</span> <span class="name">t1</span>=<span class="name">t2</span>.
</div>
-<p>An <a>activity start event</a> is the <a title="instantaneous event">instantaneous event</a> that marks the instant an activity starts. It allows for an optional time attribute. <span id="optional-attributes2">Activities also allow for an optional start time attribute. If both are specified, they MUST be the same, as expressed by the following constraint.</span>
+<p>An <a>activity start event</a> is the <a title="instantaneous event">instantaneous event</a> that marks the instant an activity starts. It allows for an optional time attribute. <span id="optional-start-time">Activities also allow for an optional start time attribute. If both are specified, they MUST be the same, as expressed by the following constraint.</span>
</p>
<div class='constraint' id='unique-startTime'>
<span class='conditional'>IF</span> <span class="name">activity(a,t1,t2,-)</span> and <span class="name">wasStartedBy(id,a,e,t,-)</span>, <span class='conditional'>THEN</span> <span class="name">t</span>=<span class="name">t1</span>.
</div>
-<p>An <a>activity end event</a> is the <a title="instantaneous event">instantaneous event</a> that marks the instant an activity ends. It allows for an optional time attribute. <span id="optional-attributes3">Activities also allow for an optional end time attribute. If both are specified, they MUST be the same, as expressed by the following constraint.</span>
+<p>An <a>activity end event</a> is the <a title="instantaneous event">instantaneous event</a> that marks the instant an activity ends. It allows for an optional time attribute. <span id="optional-end-time">Activities also allow for an optional end time attribute. If both are specified, they MUST be the same, as expressed by the following constraint.</span>
</p>
<div class='constraint' id='unique-endTime'>
@@ -2014,10 +2015,10 @@
<section>
<h3>Activities</h3>
-<div class="note>
+<div class="note">
TODO: Further discussion of activities moved from old "Definitional
constraints and inferences" section. Edit to avoid repeating information.
-
+</div>
<p>An activity is delimited by its <a title="activity start event">start</a> and its <a title="activity end event">end</a> events; hence, it occurs over