--- a/model/prov-dm-constraints.html Mon Apr 02 10:43:18 2012 +0100
+++ b/model/prov-dm-constraints.html Mon Apr 02 11:25:43 2012 +0100
@@ -716,7 +716,7 @@
<span class="name">wasInformedBy(a2,a1)</span>
holds, <span class='conditional'>if and only if</span>
there is an entity with some identifier <span class="name">e</span> and some sets of attribute-value pairs <span class="name">attrs1</span> and <span class="name">attrs2</span>,
-such that <span class="name">wasGeneratedBy(e,a1,attrs1)</span> and <span class="name">used(a2,e,attrs2)</span> hold.
+such that <span class="name">wasGeneratedBy(e,a1,-,attrs1)</span> and <span class="name">used(a2,e,-,attrs2)</span> hold.
</div>
@@ -765,8 +765,8 @@
there exist an entity with some identifier <span class="name">e</span>
and some attributes <span class="name">gAttr</span> and <span class="name">sAttr</span>,
such that
- <span class="name">wasGeneratedBy(e,a1,gAttr)</span>
- and <span class="name">wasStartedBy(a2,e,sAttr)</span> hold.
+ <span class="name">wasGeneratedBy(e,a1,-,gAttr)</span>
+ and <span class="name">wasStartedBy(a2,e,-,sAttr)</span> hold.
</div>
@@ -786,10 +786,6 @@
<h3>Component 2: Agents and Responsibility</h3>
-<section id="term-Agent">
-<h3>Agent</h3>
-</section>
-
<section id="recod-attribution">
<h3>Attribution</h3>
@@ -798,11 +794,11 @@
<span class='conditional'>If</span>
<span class="name">wasAttributedTo(e,ag)</span> holds for some identifiers
<span class="name">e</span> and <span class="name">ag</span>,
-<span class='conditional'>then</span>, there exists an activity with some identifier <span class="name">a</span> such that the following statements hold:
+<span class='conditional'>then</span> there exists an activity with some identifier <span class="name">a</span> such that the following statements hold:
<pre>
-activity(a,t1,t2,attr1)
-wasGenerateBy(e,a)
-wasAssociatedWith(a,ag,attr2)
+activity(a, t1, t2, attr1)
+wasGenerateBy(e, a, -)
+wasAssociatedWith(a, ag, -, attr2)
</pre>
for some sets of attribute-value pairs <span class="name">attr1</span> and <span class="name">attr2</span>, time <span class="name">t1</span>, and <span class="name">t2</span>.
</div>
@@ -815,8 +811,14 @@
<section id="term-Association">
<h4>Association</h4>
+<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>
+
+
+<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 class="interpretation-forward">
-For the interpretation of an activity association, see <a href="#wasAssociatedWith-ordering">wasAssociatedWith-ordering</a>.
+For the interpretation of an association, see <a href="#wasAssociatedWith-ordering">wasAssociatedWith-ordering</a>.
</div>
@@ -827,6 +829,10 @@
<h3>Responsibility</h3>
</section>
+<div class="interpretation-forward">
+For the interpretation of responsibility, see <a href="#actedOnBehalfOf-ordering">actedOnBehalfOf-ordering</a>.
+</div>
+
</section>
@@ -843,15 +849,6 @@
<section id="Derivation-Relation">
<h4>Derivation</h4>
-<p>A derivation is more informative if it contains a reference to an activity, generation, and usage. Hence, the following implication
-holds.</p>
-<div class='inference' id='derivation-implication'>
-Given two entities denoted by <span class="name">e1</span> and <span class="name">e2</span>, <span class='conditional'>if</span> the assertion <span class="name">wasDerivedFrom(e2,
-e1, a, g2, u1, attrs)</span>
- holds for some generation <span class="name">g2</span>, usage <span class="name">u1</span>, and set of attribute-value pairs <span class="name">attrs</span>, then <span
-class="name">wasDerivedFrom(e2,e1, attrs)</span> also holds.<br>
- </div>
-
<div class="interpretation-forward">
For the interpretation of a derivation, see <a href="#derivation-usage-generation-ordering">derivation-usage-generation-ordering</a> and <a
href="#derivation-generation-generation-ordering">derivation-generation-generation-ordering</a>
@@ -860,8 +857,8 @@
<p>
Note that inferring derivation from usage and generation does not hold
-in general. Indeed, when a generation <span class="name">wasGeneratedBy(g, e2, a, attrs2)</span>
-<a>precedes</a> <span class="name">used(u, a, e1, attrs1)</span>, for
+in general. Indeed, when a generation <span class="name">wasGeneratedBy(g, e2, a, -, attrs2)</span>
+<a>precedes</a> <span class="name">used(u, a, e1, -, attrs1)</span>, for
some <span class="name">e1</span>, <span class="name">e2</span>, <span class="name">attrs1</span>, <span class="name">attrs2</span>, and <span class="name">a</span>, one
cannot infer derivation <span class="name">wasDerivedFrom(e2, e1, a, g, u)</span>
or <span class="name">wasDerivedFrom(e2,e1)</span> since
@@ -892,18 +889,22 @@
<p>A revision needs to satisfy the following constraint, linking the two entities by a derivation, and stating them to be a specialization of a third entity.</p>
<div class='inference' id='wasRevision'>
-Given two identifiers <span class="name">old</span> and <span class="name">new</span> identifying two entities, and an identifier <span class="name">ag</span> identifying an agent,
-<span class='conditional'>if</span> <span class="name">wasRevisionOf(new,old,ag)</span> holds, <span class='conditional'>then</span>
+Given two identifiers <span class="name">e1</span> and <span class="name">e2</span> identifying two entities, and an identifier <span class="name">ag</span> identifying an agent,
+<span class='conditional'>if</span> <span class="name">wasRevisionOf(e2,e1,ag)</span> holds, <span class='conditional'>then</span>
there exists an entity with some identifier <span class="name">e</span> and some attribute-values <span class="name">eAttrs</span>, <span class="name">dAttrs</span>, such that the following
hold:
-<ul>
-<li> <span class="name">wasDerivedFrom(new,old,dAttrs)</span>;
-<li> <span class="name">entity(e,eAttrs)</span>;
-<li> <span class="name">specializationOf(new,e)</span>;
-<li> <span class="name">specializationOf(old,e)</span>.
-</ul>
+<pre>
+wasDerivedFrom(e2,e1,dAttrs)
+entity(e,eAttrs)
+specializationOf(e2,e)
+specializationOf(e1,e)
+wasAttributedTo(e2,ag)
+</pre>
</div>
+<p>In a revision of the form <span class="name">wasRevisionOf(e2,e1,-,attr)</span>, the absence of an agent means: either no agent exists, or an agent exists but it is not identified.</p>
+
+
<p><span class="name">wasRevisionOf</span> is a strict sub-relation
of <span class="name">wasDerivedFrom</span> since two entities <span class="name">e2</span> and <span class="name">e1</span>
may satisfy <span class="name">wasDerivedFrom(e2,e1)</span> without being a variant of
@@ -929,18 +930,14 @@
</pre>
</div>
-</section>
-
-
-
-<section id="term-orignal-source">
-<h3>Original Source</h3>
-
-<p>Nothing specific.</p>
+<p>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.</p>
+
</section>
+
+
<section id="term-traceability">
<h3>Traceability</h3>
@@ -1411,6 +1408,10 @@
<a>precedes</a> the activity <a title="activity end event">end</a> event.
</div>
+<div class='interpretation' id='actedOnBehalfOf-ordering'>
+TODO
+</div>
+
<div class="issue">
For completeness, we should define ordering constraint for wasAssociatedWith and actedOnBehalfOf.