--- a/model/prov-constraints.html Mon Aug 06 16:26:40 2012 +0100
+++ b/model/prov-constraints.html Mon Aug 06 16:47:15 2012 +0100
@@ -1229,7 +1229,7 @@
</div>
<!--<div id="optional-attributes1"> -->
-<p>Finally, most optional parameters (written <span
+<p id="optional-placeholders_text">Finally, most optional parameters (written <span
class="name">-</span>) are, for the purpose of this document,
considered to be distinct, fresh existential variables. Thus,
before proceeding to apply other definitions or inferences, most
@@ -1237,8 +1237,8 @@
by fresh existential variables, distinct from any others occurring in
the instance.
The only exceptions, where <span class="name">-</span> MUST be left
- in place, are the <span class="name">activity</span> parameter in <span class="name">wasDerivedFrom</span> and
- the <span class="name">plan</span> parameter in <span class="name">wasAssociatedWith</span>.
+ in place, are the <a href="http://www.w3.org/TR/prov-dm/#derivation.activity">activity</a>, <a href="http://www.w3.org/TR/prov-dm/#derivation.generation">generation</a>, and <a href="http://www.w3.org/TR/prov-dm/#derivation.usage">usage</a> parameters in <span class="name">wasDerivedFrom</span> and
+ the <a href="http://www.w3.org/TR/prov-dm/#association.plan">plan</a> parameter in <span class="name">wasAssociatedWith</span>.
</p>
<p>The following table characterizes the <dfn>expandable
@@ -1285,8 +1285,8 @@
</tr>
<tr>
<td class="name">wasDerivedFrom(id;e2,e1,a,g2,u1,attrs)</td>
- <td class="name">id,g2,u1</td>
- <td class="name">a</td>
+ <td class="name">id</td>
+ <td class="name">a,g2,u1</td>
</tr>
<tr>
<td class="name">wasDerivedFrom(id;e2,e1,attrs)</td>
@@ -1366,7 +1366,7 @@
missing activity, generation, and usage. In the latter form, it is not specified
if one or more activities are involved in the derivation. </p>
- <p>Note: Let us consider a system, in which a derivation is underpinned by multiple activities. Conceptually, one could also model such a system with a new activity, encompassing the two original activities and underpinning the derivation. The infererences defined in this specification do not allow the latter modelling to be inferred from the former. Hence, the two modellings of the same system are regarded as different in the context of this specification.</p>
+ <p>Let us consider a system, in which a derivation is underpinned by multiple activities. Conceptually, one could also model such a system with a new activity that encompasses the two original activities and underpins the derivation. The infererences defined in this specification do not allow the latter modelling to be inferred from the former. Hence, the two modellings of the same system are regarded as different in the context of this specification.</p>
</div>
</section>
@@ -1585,11 +1585,10 @@
<p>
<hr>
-<p id='derivation-use_text'>Derivations with an explicit activity and
+<p id='derivation-use_text'>According to <a class="rule-text"
+href="#optional-placeholders"><span>TBD</span></a>, optional generation and usage in a derivation are not expandable. However, derivations with an explicit activity and
no specified generation and usage admit the following inference: </p>
-<div class="note">Final check required. The following inference
- appears redundant (it can be derived using other rules).
- </div>
+
<div class='inference' id='derivation-use'>
<p>
<span class='conditional'>IF</span> <span class="name">wasDerivedFrom(id;e2,e1,a,-,-,attrs)</span> and <span class="name">wasGeneratedBy(gen;e2,a,_t2,_attrs2)</span> hold, <span
@@ -1605,9 +1604,10 @@
<div class="remark" id="derivation-generation-use-remark">
<p>
- <a class="rule-text" href="#derivation-use"><span>TBD</span></a> allows a usage to be inferred from a derivation with explicit activity and a generation.
-
-<p>
+ <a class="rule-text" href="#derivation-use"><span>TBD</span></a> allows "-" to be replaced by existential variables in a <span
+ class="name">wasDerivedFrom</span>, when an activity is explict, and a generation known.</p>
+
+<p> However, a derivation without explicit generation and usage cannot be normalized even when a generation and usage hold.
<span class='conditional'>IF</span>
<span class="name">wasDerivedFrom(id;e2,e1,a,-,-,attrs)</span>,
<span class="name">wasGeneratedBy(gen;e2,a,_t2,_attrs2)</span>,
@@ -1615,14 +1615,13 @@
class='conditional'>IT IS NOT NECESSARILY THE CASE THAT</span>
<span
class="name">wasDerivedFrom(id;e2,e1,a,gen,use,attrs)</span>.
-
-<p>Indeed,
+Indeed,
<span
class="name">e1</span> may be used multiple times by
<span class="name">a</span>, usage <span class="name">use</span>
may not be involved in the derivation (for instance, it may well have taken place after
the generation of <span
-class="name">e2</span>).</p>
+expanclass="name">e2</span>).</p>
<p>Derivation is not defined to be