--- a/model/ProvenanceModel.html Wed Oct 05 16:33:09 2011 -0400
+++ b/model/ProvenanceModel.html Wed Oct 05 16:34:13 2011 -0400
@@ -722,9 +722,8 @@
<p>The mere existence of a process execution assertion entails some event ordering in the world, since the start event precedes the end event. This is expressed by constraint <a href="'#start-precedes-end'">start-precedes-end</a>.</p>
-<div class='constraint' id='start-precedes-end'><a name="PIL:0001"> From a process execution expression, one can infer that the
-start event precedes the end event of the represented activity.</a> [<a
-href="../ontology/ProvenanceFormalModel.html#PROV:0001">PROV:0001</a>] </div>
+<div class='constraint' id='start-precedes-end'> From a process execution expression, one can infer that the
+start event precedes the end event of the represented activity.</div>
<p>A process execution expression is not an entity expression.
Indeed, an entity expression represents a thing that exists in full at
@@ -769,14 +768,14 @@
<p>
-With the following assertions,
+With the following assertions,</p>
<pre class="example">
entity(e1, [employee="1234", name="Alice"]) and agent(e1)
entity(e2) and wasControlledBy(pe,e2,qualifier(role="author"))
</pre>
-the entity expression identified by <span class="name">e1</span> is accompanied by an explicit assertion of an agent expression, and this assertion holds irrespective of process executions it may be involved in. On the contrary, from the entity expression identified by <span class="name">e2</span>, one can inferred an agent expression, as per the following inference.
+<p>the entity expression identified by <span class="name">e1</span> is accompanied by an explicit assertion of an agent expression, and this assertion holds irrespective of process executions it may be involved in. On the contrary, from the entity expression identified by <span class="name">e2</span>, one can inferred an agent expression, as per the following inference.
</p>
<div class='constraint' id='control-agent'>
@@ -823,11 +822,11 @@
<p>
-The following annotation expression
+The following annotation expression</p>
<pre class="example">
annotation(ann1,[color="bue", screenX=20, screenY=30])
</pre>
-consists of a list of application-specific name-value pairs, intended
+<p>consists of a list of application-specific name-value pairs, intended
to help the rendering of the expression it is associated with, by
specifying its color and its position on the screen. In this example,
these name-value pairs do not constitute a representation of something
@@ -875,16 +874,16 @@
-<p>An instance of a generation expression, noted <span class="name">wasGeneratedBy(e,pe,q,t)</span> in PROV-ASN:
+<p>An instance of a generation expression, noted <span class="name">wasGeneratedBy(e,pe,q,t)</span> in PROV-ASN:</p>
<ul>
-<li> contains an identifier <span class="name">e</span> identifying an entity expression that represents the characterized thing that is created;
-<li> contain an identifier <span class="name">pe</span> identifying a process execution expression that represents the activity that creates the characterized thing;
-
-<li> contains a <a href="#expression-qualifier">generationQualifier</a> <span class="name">q</span> that describes the modalities of generation of this thing by this activity;
-
-<li> MAY contain a "generation time" <span class="name">t</span>, the time at which the characterized thing was created.</p>
+<li> contains an identifier <span class="name">e</span> identifying an entity expression that represents the characterized thing that is created; </li>
+<li> contain an identifier <span class="name">pe</span> identifying a process execution expression that represents the activity that creates the characterized thing;</li>
+
+<li> contains a <a href="#expression-qualifier">generationQualifier</a> <span class="name">q</span> that describes the modalities of generation of this thing by this activity;</li>
+
+<li> MAY contain a "generation time" <span class="name">t</span>, the time at which the characterized thing was created.</li>
</ul>
-</p>
+
<p>
@@ -911,21 +910,21 @@
A generation event SHOULD have some visibility on the attributes of the generated entity, as expressed by the following constraint.
-<div class='constraint' id='generation-affects-attributes'><a name="PIL:0002">Given an identifier <span class="name">pe</span> for a process execution expression, an identifier <span class="name">e</span> for an entity expression, qualifier <span class="name">q</span>, and optional time <span class="name">t</span>,
+<div class='constraint' id='generation-affects-attributes'>Given an identifier <span class="name">pe</span> for a process execution expression, an identifier <span class="name">e</span> for an entity expression, qualifier <span class="name">q</span>, and optional time <span class="name">t</span>,
<span class='conditional'>if</span> the assertion <span class="name">wasGeneratedBy(e,pe,r)</span>
or <span class="name">wasGeneratedBy(e,pe,r,t)</span> holds, <span class='conditional'>then</span> the values of <em>some</em> of <span class="name">e</span>'s
attributes are determined by the activity represented by process execution expression identified by <span class="name">pe</span> and the
entity expressions used by <span class="name">pe</span>.
Only some (possibly none) of the attributes values may be determined
since, in an open world, not all used entity expressions may have been
-asserted.</a> [<a href="../ontology/ProvenanceFormalModel.html#PROV:0002">PROV:0002</a>]
+asserted.
</div>
The assertion of a generation event implies ordering of events in the world.
-<div class='constraint' id='generation-pe-ordering'><a name="PIL:0003"><span class='conditional'>If</span> an assertion <span class="name">wasGeneratedBy(x,pe,r)</span> or <span class="name">wasGeneratedBy(x,pe,r,t)</span>, <span class='conditional'>then</span> generation of the thing denoted by <span class="name">x</span> precedes the end
-of <span class="name">pe</span> and follows the beginning of <span class="name">pe</span>.</a> [<a href="../ontology/ProvenanceFormalModel.html#PROV:0003">PROV:0003</a>]
+<div class='constraint' id='generation-pe-ordering'><span class='conditional'>If</span> an assertion <span class="name">wasGeneratedBy(x,pe,r)</span> or <span class="name">wasGeneratedBy(x,pe,r,t)</span>, <span class='conditional'>then</span> generation of the thing denoted by <span class="name">x</span> precedes the end
+of <span class="name">pe</span> and follows the beginning of <span class="name">pe</span>.
</div>
@@ -962,14 +961,14 @@
</div>
-<p>An instance of a use expression, noted <span class="name">used(pe,e,q,t)</span> in PROV-ASN:
+<p>An instance of a use expression, noted <span class="name">used(pe,e,q,t)</span> in PROV-ASN:</p>
<ul>
-<li> refers to a process execution expression identified by <span class="name">pe</span>, which represents the consuming activity;
-<li> refers to an entity expression identified by <span class="name">e</span>, which represents the characterized thing that is consumed;
-<li> contains a <a href="#expression-qualifier">useQualifier</a> <span class="name">q</span>, which describes the modalities of use of this thing by this activity;
-<li> MAY contain a "use time" <span class="name">t</span>, the time at which the characterized thing was used.</p>
+<li> refers to a process execution expression identified by <span class="name">pe</span>, which represents the consuming activity;</li>
+<li> refers to an entity expression identified by <span class="name">e</span>, which represents the characterized thing that is consumed;</li>
+<li> contains a <a href="#expression-qualifier">useQualifier</a> <span class="name">q</span>, which describes the modalities of use of this thing by this activity;</li>
+<li> MAY contain a "use time" <span class="name">t</span>, the time at which the characterized thing was used.</li>
</ul>
-</p>
+
<p>The following use assertions
<pre class="example">
@@ -988,21 +987,21 @@
-<div class='constraint' id='use-attributes'><a name="PIL:0005">
+<div class='constraint' id='use-attributes'>
Given a process execution expression identified by <span class="name">pe</span>, an entity expression identified by <span class="name">e</span>, a qualifier <span class="name">q</span>, and optional time <span class="name">t</span>, <span class='conditional'>if</span>
assertion <span class="name">used(pe,e,q)</span> or <span class="name">used(pe,e,q,t)</span> holds,
<span class='conditional'>then</span> the existence of an attribute-value pair in the entity expression identified by <span class="name">e</span> is a
-pre-condition for the termination of the activity represented by the process execution expression identified by <span class="name">pe</span></a>
-[<a href="../ontology/ProvenanceFormalModel.html#PROV:0005">PROV:0005</a>]</div>
-
-
-
-<div class='constraint' id='use-pe-ordering'><a name="PIL:0006">Given a process execution expression identified by <span class="name">pe</span>, an entity expression identified by <span class="name">e</span>, a qualifier <span class="name">q</span>, and optional time <span class="name">t</span>, <span class='conditional'>if</span>
+pre-condition for the termination of the activity represented by the process execution expression identified by <span class="name">pe</span>.
+</div>
+
+
+
+<div class='constraint' id='use-pe-ordering'>Given a process execution expression identified by <span class="name">pe</span>, an entity expression identified by <span class="name">e</span>, a qualifier <span class="name">q</span>, and optional time <span class="name">t</span>, <span class='conditional'>if</span>
assertion <span class="name">used(pe,e,q)</span> or <span class="name">used(pe,e,q,t)</span> holds, <span class='conditional'>then</span>
the use of the thing represented by entity expression identified by <span class="name">e</span> precedes the end
time contained in the process execution expression identified by <span class="name">pe</span> and follows its beginning. Furthermore, the generation of the thing denoted by entity expression identified by <span class="name">e</span> always precedes
-its use.</a>
-[<a href="../ontology/ProvenanceFormalModel.html#PROV:0006">PROV:0006</a>] </div>
+its use.
+</div>
<div class='issue'>Should we define a taxonomy of use? This is <a href="http://www.w3.org/2011/prov/track/issues/23">ISSUE-23</a>.</div>
@@ -1065,15 +1064,15 @@
<section id="pe-linked-derivationExpression">
<h4>Process Execution Linked Derivation Assertion</h4>
-<p>A process execution linked derivation expression, which, by definition of a derivation expression, is a representation that some characterized thing is transformed from, created from, or affected by another characterized thing, also entails the existence of a process execution expression that represents an activity that transforms, creates or affects this characterized thing.</pe>
-
-<p>In its full form, a process-execution linked derivation expression, noted <span class="name">wasDerivedFrom(e2,e1,pe,q2,q1)</span> in PROV-ASN:
+<p>A process execution linked derivation expression, which, by definition of a derivation expression, is a representation that some characterized thing is transformed from, created from, or affected by another characterized thing, also entails the existence of a process execution expression that represents an activity that transforms, creates or affects this characterized thing.</p>
+
+<p>In its full form, a process-execution linked derivation expression, noted <span class="name">wasDerivedFrom(e2,e1,pe,q2,q1)</span> in PROV-ASN:</p>
<ul>
-<li> refers to an entity expression identified by <span class="name">e2</span>, which is a representation of the generated characterized thing;
-<li> refers to an entity expression identified by <span class="name">e1</span>, which is a representation of the used characterized thing;
-<li> refers to a process execution expression identified by <span class="name">pe</span>, which is a representation of the activity using and generating the above characterized things;
-<li> contains a qualifier <span class="name">q2</span>, which qualifies the generation expression pertaining to <span class="name">e2</span> and <span class="name">pe</span>;
-<li> contains a qualifier <span class="name">q1</span>, which qualifies in the use expression pertaining to <span class="name">e1</span> and <span class="name">pe</span>.
+<li> refers to an entity expression identified by <span class="name">e2</span>, which is a representation of the generated characterized thing;</li>
+<li> refers to an entity expression identified by <span class="name">e1</span>, which is a representation of the used characterized thing;</li>
+<li> refers to a process execution expression identified by <span class="name">pe</span>, which is a representation of the activity using and generating the above characterized things;</li>
+<li> contains a qualifier <span class="name">q2</span>, which qualifies the generation expression pertaining to <span class="name">e2</span> and <span class="name">pe</span>;</li>
+<li> contains a qualifier <span class="name">q1</span>, which qualifies in the use expression pertaining to <span class="name">e1</span> and <span class="name">pe</span>.</li>
</ul>
@@ -1118,32 +1117,30 @@
process-execution linked derivation expression, except that a process
execution expression is known to exist, though it does not need to be
asserted. This is formalized by the following inference rule,
-referred to as <em>process execution introduction</em>:<br/>
+referred to as <em>process execution introduction</em>:</p>
<div class='constraint' id="derivation-process-execution">
- <a name="PIL:0009">
<span class='conditional'>If</span> <span class="name">wasDerivedFrom(e2,e1)</span> holds, <span class='conditional'>then</span> there exists a process execution expression identified by <span class="name">pe</span>, and qualifiers <span class="name">q1</span>,<span class="name">q2</span>,
such that:
- <span class="name">wasGeneratedBy(e2,pe,q2)</span> and <span class="name">used(pe,e1,q1)</span>. [<a href="../ontology/ProvenanceFormalModel.html#PROV:0009">PROV:0009</a>]
-</div></p>
+ <span class="name">wasGeneratedBy(e2,pe,q2)</span> and <span class="name">used(pe,e1,q1)</span>.
+</div>
<p>If a derivation expression holds for <span class="name">e2</span> and <span class="name">e1</span>, then it means that the thing represented by the entity expression identified by <span class="name">e1</span> has an influence on the thing represented by the entity expression identified by <span class="name">e2</span>, which is captured by a dependency between their attribute values; it also implies temporal ordering. These are specified as follows:</p>
-<div class='constraint' id='derivation-attributes'><a name="PIL:0007">Given a process execution expression denoted by <span class="name">pe</span>, entity expressions denoted by <span class="name">e1</span> and <span class="name">e2</span>, qualifiers <span class="name">q1</span> and <span class="name">q2</span>, the assertion <span class="name">wasDerivedFrom(e2,e1,pe,q2,q1)</span>
+<div class='constraint' id='derivation-attributes'>Given a process execution expression denoted by <span class="name">pe</span>, entity expressions denoted by <span class="name">e1</span> and <span class="name">e2</span>, qualifiers <span class="name">q1</span> and <span class="name">q2</span>, the assertion <span class="name">wasDerivedFrom(e2,e1,pe,q2,q1)</span>
or <span class="name">wasDerivedFrom(e2,e1)</span> holds <span class='conditional'>if and only if</span>
the values of some attributes of the entity expression identified by
<span class="name">e2</span> are partly or fully determined by the values of some
-attributes of the entity expression identified by <span class="name">e1</span>.</a> [<a
- href="../ontology/ProvenanceFormalModel.html#PROV:0007">PROV:0007</a>] </div>
-
-
-<div class='constraint' id='derivation-use-generation-ordering'><a name="PIL:0008">Given a process execution expression identified by <span class="name">pe</span>, entity expressions identified by <span class="name">e1</span> and <span class="name">e2</span>, qualifiers <span class="name">q1</span> and <span class="name">q2</span>, <span class='conditional'>if</span> the assertion <span class="name">wasDerivedFrom(e2,e1,pe,q2,q1)</span>
+attributes of the entity expression identified by <span class="name">e1</span>. </div>
+
+
+<div class='constraint' id='derivation-use-generation-ordering'>Given a process execution expression identified by <span class="name">pe</span>, entity expressions identified by <span class="name">e1</span> and <span class="name">e2</span>, qualifiers <span class="name">q1</span> and <span class="name">q2</span>, <span class='conditional'>if</span> the assertion <span class="name">wasDerivedFrom(e2,e1,pe,q2,q1)</span>
or <span class="name">wasDerivedFrom(e2,e1)</span> holds, <span class='conditional'>then</span>
the use
of characterized thing denoted by <span class="name">e1</span> precedes the generation of
-the characterized thing denoted by <span class="name">e2</span>.</a> [<a href="../ontology/ProvenanceFormalModel.html#PROV:0008">PROV:0008</a>]
+the characterized thing denoted by <span class="name">e2</span>.</a>
</div>
@@ -1202,11 +1199,10 @@
which at the minimum implies temporal ordering, specified as follows:</p>
<div class='constraint' id='derivation-generation-generation-ordering'>
- <a name="PIL:0012">Given two entity expressions denoted by <span class="name">e1</span> and <span class="name">e2</span>, <span class='conditional'>if</span> the expression <span class="name">wasEventuallyDerivedFrom(e2,e1)</span>
+Given two entity expressions denoted by <span class="name">e1</span> and <span class="name">e2</span>, <span class='conditional'>if</span> the expression <span class="name">wasEventuallyDerivedFrom(e2,e1)</span>
holds, <span class='conditional'>then</span> the
generation event of the characterized thing represented by the entity expression denoted by <span class="name">e1</span> precedes the generation event of
-the characterized thing represented by the entity expression denoted by <span class="name">e2</span>.</a>
- [<a href="../ontology/ProvenanceFormalModel.html#PROV:0012">PROV:0012</a>]
+the characterized thing represented by the entity expression denoted by <span class="name">e2</span>.
</div>
<p>Note that temporal ordering is between generations of <span class="name">e1</span>