--- a/model/ProvenanceModel.html Tue Sep 06 00:08:25 2011 +0100
+++ b/model/ProvenanceModel.html Tue Sep 06 00:38:00 2011 +0100
@@ -514,7 +514,7 @@
If two process executions sequentially set different values to some attribute by means of two different generate events, then they generate distinct entities. Alternatively, for two process executions to generate an entity simultaneously, they would require some synchronization by which they agree the entity is released for use; the end of this synchronization would constitute the actual generation of the entity, but is performed by a single process execution. </p>
</p>
-<div class='constraint'><a name="PIL:0002">Given a process execution <b>pe</b>, entity <b>e</b>, role <b>r</b>, and optional time <b>t</b>,
+<div class='constraint' id='generation-affects-attributes'><a name="PIL:0002">Given a process execution <b>pe</b>, entity <b>e</b>, role <b>r</b>, and optional time <b>t</b>,
if the assertion <b>wasGeneratedBy(e,pe,r)</b>
or <b>wasGeneratedBy(e,pe,r,t)</b> holds, the values of <em>some</em> of <b>e</b>'s
attributes are determined by the activity denoted by <b>pe</b> and the
@@ -524,7 +524,7 @@
asserted.</a> [<a href="../ontology/ProvenanceFormalModel.html#PIL:0002">PIL:0002</a>]
</div>
-<div class='constraint'><a name="PIL:0003">Given an assertion <b>wasGeneratedBy(x,pe,r)</b> or <b>wasGeneratedBy(x,pe,r,t)</b>, one can
+<div class='constraint' id='generation-pe-ordering'><a name="PIL:0003">Given an assertion <b>wasGeneratedBy(x,pe,r)</b> or <b>wasGeneratedBy(x,pe,r,t)</b>, one can
infer that the generation of the thing denoted by <b>x</b> precedes the end
of <b>pe</b> and follows the beginning of <b>pe</b>.</a> [<a href="../ontology/ProvenanceFormalModel.html#PIL:0003">PIL:0003</a>]
</div>
@@ -574,7 +574,7 @@
-<div class='constraint'><a name="PIL:0005">
+<div class='constraint' id='use-attributes'><a name="PIL:0005">
Given a process execution <b>pe</b>, entity <b>e</b>, role <b>r</b>, and optional time <b>t</b>, if
assertion <b>used(pe,e,r)</b> or <b>used(pe,e,r,t)</b> holds,
the existence of the value of an attribute of <b>e</b>' is a
@@ -583,7 +583,7 @@
-<div class='constraint'><a name="PIL:0006">Given a process execution <b>pe</b>, entity <b>e</b>, role <b>r</b>, and optional time <b>t</b>, if
+<div class='constraint' id='use-pe-ordering'><a name="PIL:0006">Given a process execution <b>pe</b>, entity <b>e</b>, role <b>r</b>, and optional time <b>t</b>, if
assertion <b>used(pe,e,r)</b> or <b>used(pe,e,r,t)</b> holds, one can
infer that the use of the thing denoted by <b>e</b> precedes the end
of <b>pe</b> and follows the beginning of <b>pe</b>. Furthermore, we
@@ -637,7 +637,7 @@
<div class="inference">
<a name="PIL:0010">If <b>wasDerivedFrom(e2,e1,pe,r2,r1)</b> holds, then
<b>wasGeneratedBy(e2,pe,r2)</b> and <b>used(pe,e1,r1)</b> also
- hold. </a> [<a href=""../ontology/ProvenanceFormalModel.html#PIL:0010">PIL:0010</a>]
+ hold. </a> [<a href="../ontology/ProvenanceFormalModel.html#PIL:0010">PIL:0010</a>]
</div>
@@ -664,7 +664,7 @@
<p>If <b>e2</b> is derived from <b>e1</b>, then
this means that the thing represented by <b>e1</b> has an influence on the thing represented by <b>e2</b>, which is captured by a dependency between their attribute values; it also implies temporal ordering. These are specified as follows:</p>
-<div class='constraint'><a name="PIL:0007">Given a process execution <b>pe</b>, entities <b>e1</b> and <b>e2</b>, roles <b>r1</b> and <b>r2</b>, if the assertion <b>wasDerivedFrom(e2,e1,pe,r2,r1)</b>
+<div class='constraint' id='derivation-attributes'><a name="PIL:0007">Given a process execution <b>pe</b>, entities <b>e1</b> and <b>e2</b>, roles <b>r1</b> and <b>r2</b>, if the assertion <b>wasDerivedFrom(e2,e1,pe,r2,r1)</b>
or <b>wasDerivedFrom(e2,e1)</b> holds, if and only if:
the values of some attributes
of <b>e2</b> are partly or fully determined by the values of some
@@ -675,7 +675,7 @@
-<div class='constraint'><a name="PIL:0008">Given a process execution <b>pe</b>, entities <b>e1</b> and <b>e2</b>, roles <b>r1</b> and <b>r2</b>, if the assertion <b>wasDerivedFrom(e2,e1,pe,r2,r1)</b>
+<div class='constraint' id='derivation-use-generation-ordering'><a name="PIL:0008">Given a process execution <b>pe</b>, entities <b>e1</b> and <b>e2</b>, roles <b>r1</b> and <b>r2</b>, if the assertion <b>wasDerivedFrom(e2,e1,pe,r2,r1)</b>
or <b>wasDerivedFrom(e2,e1)</b> holds, then
the use
of characterized thing denoted by <b>e1</b> precedes the generation of
@@ -743,20 +743,18 @@
this means that the thing represented by <b>e1</b> has an influence on the thing represented by <b>e2</b>,
which at the minimum implies temporal ordering, specified as follows:</p>
-<div class='constraint'>
- <p>
+<div class='constraint' id='derivation-generation-generation-ordering'>
<a name="PIL:0012">Given two entities <b>e1</b> and <b>e2</b>, if the assertion <b>wasEventuallyDerivedFrom(e2,e1)</b>
holds, then:
generation of the characterized thing denoted by <b>e1</b> precedes the generation of
the characterized thing denoted by <b>e2</b>.</a>
[<a href="../ontology/ProvenanceFormalModel.html#PIL:0012">PIL:0012</a>]
-</p>
</div>
<p>Note that temporal ordering is between generations of <b>e1</b>
and <b>e2</b>, as opposed to process execution linked derivation,
-which implied temporal ordering between the use of <b>e1</b> and
-generation of <b>e2</b>. Indeed, in the case of
+which implies temporal ordering between the use of <b>e1</b> and
+generation of <b>e2</b> (see <a href="#derivation-use-generation-ordering">derivation-use-generation-ordering</a>). Indeed, in the case of
wasEventuallyDerivedFrom, nothing is known about the use of <b>e1</b>,
since there is no associated process execution.</p>
@@ -908,16 +906,13 @@
</pre>
</p>
-<div class='constraint'>
-<p>
-
+<div class='constraint' id='wasComplementOf-necessary'>
<a name="PIL:0013">An assertion "wasComplementOf(B,A)" holds over the temporal intersection of A and B, <em>only if</em>:
<ol>
<li> if a mapping can be established from an attribute X of B to an attribute Y of A, then the values of A and B must be consistent with that mapping</em> </li>
<li>B has some attribute that A does not have
</li></ol></a>
[<a href="../ontology/ProvenanceFormalModel.html#PIL:0013">PIL:0013</a>]
-</p>
</div>
<div class='issue'>Mutual ivpOf each other should be agreed. This is <a href="http://www.w3.org/2011/prov/track/issues/29">ISSUE-29</a></div>
@@ -1114,20 +1109,20 @@
<p> <dfn id="dfn-Participation">Participation</dfn> represents the involvment of a thing in an activity. It can be asserted or inferred.</p>
-<p>The construct <dfn id="dfn-hasParticipant">hasParticipant</dfn>, noted <b>hasParticipant(pe,e)</b>,
+<p>The construct <dfn id="dfn-hadParticipant">hadParticipant</dfn>, noted <b>hadParticipant(pe,e)</b>,
<ul>
-<li> contains a process execution <b>pe</b>;
-<li> contains an entity <b>e</b>;
+<li> refers to a process execution <b>pe</b>;
+<li> refers to an entity <b>e</b>;
</ul>
-<div class='constraint'>
+<div class='constraint' id='participation'>
<a name="PIL:0014">
-Given a process execution <b>pe</b> and entity <b>e</b>, <b>hasParticipant(pe,e)</b> holds if and only if:
+Given a process execution <b>pe</b> and entity <b>e</b>, <b>hadParticipant(pe,e)</b> holds if and only if:
<ul>
<li> <b>used(pe,e)</b> holds, or</li>
<li> <b>wasControlledBy(pe,e)</b> holds, or</li>
<li> <b>wasComplementOf(e1,e)</b> holds for some entities <b>e1</b>, and
- <b>hasParticipant(pe,e1)</b> some process execution <b>pe</b>.</li>
+ <b>hadParticipant(pe,e1)</b> some process execution <b>pe</b>.</li>
</ul>
</a> [<a
href="../ontology/ProvenanceFormalModel.html#PIL:0014">PIL:0014</a>]