--- a/model/prov-constraints.html Thu May 31 10:30:59 2012 +0100
+++ b/model/prov-constraints.html Thu May 31 10:53:27 2012 +0100
@@ -425,7 +425,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>
<p>The relationship <span class="name">wasInformedBy</span> is not
@@ -459,8 +459,8 @@
holds <span class='conditional'>IF AND ONLY IF</span>
there exists an entity <span class="name">e</span>
such that
- <span class="name">wasGeneratedBy(-,e,a1,-,-)</span>
- and <span class="name">wasStartedBy(-,a2,e,-,-)</span> hold.
+ <span class="name">wasGeneratedBy(-;e,a1,-,-)</span>
+ and <span class="name">wasStartedBy(-;a2,e,-,-)</span> hold.
</div>
@@ -483,8 +483,8 @@
<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, -, -,-)
-wasGeneratedBy(-,e, a, -,_)
-wasAssociatedWith(-,a, ag, -, -)
+wasGeneratedBy(-; e, a, -, -)
+wasAssociatedWith(-; a, ag, -, -)
</pre>
</div>
@@ -511,8 +511,8 @@
following inference: </p>
<div class='inference' id='derivation-use'>
<p>Given an activity <span class="name">a</span>, entities denoted by <span class="name">e1</span> and <span class="name">e2</span>,
-<span class='conditional'>IF</span> <span class="name">wasDerivedFrom(-,e2,e1, a, -)</span> and <span class="name">wasGeneratedBy(-,e2,a,-,-)</span> hold, <span
-class='conditional'>THEN</span> <span class="name">used(-,a,e1,-,-)</span> also holds.
+<span class='conditional'>IF</span> <span class="name">wasDerivedFrom(-;e2,e1, a, -)</span> and <span class="name">wasGeneratedBy(-;e2,a,-,-)</span> hold, <span
+class='conditional'>THEN</span> <span class="name">used(-;a,e1,-,-)</span> also holds.
</div>
<p>This inference is justified by the fact that the entity denoted by <span class="name">e2</span> is generated by at most one activity in a given account
(see <a href="#generation-uniqueness">generation-uniqueness</a>). Hence, this activity is also the one referred to by the usage of <span class="name">e1</span>.
@@ -528,8 +528,8 @@
<p>
Note that derivation cannot in general be inferred from the existence
-of related usage and generation events. 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
+of related usage and generation events. 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
@@ -559,7 +559,7 @@
<span class='conditional'>IF</span> <span class="name">wasRevisionOf(-,e2,e1,ag)</span> holds, <span class='conditional'>THEN</span> the following
hold:
<pre>
-wasDerivedFrom(-,e2,e1,-)
+wasDerivedFrom(-;e2,e1,-)
alternateOf(e1,e2)
wasAttributedTo(e2,ag)
</pre>
@@ -615,7 +615,7 @@
class="name">tracedTo(e2,ag1)</span> also holds.
</li>
<li>
-<span class='conditional'>IF</span> <span class="name">wasAttributedTo(e2,ag2,aAttr)</span>, <span class="name">wasGeneratedBy(-,e2,a,-,gAttr)</span>, and <span
+<span class='conditional'>IF</span> <span class="name">wasAttributedTo(e2,ag2,aAttr)</span>, <span class="name">wasGeneratedBy(-;e2,a,-,gAttr)</span>, and <span
class="name">actedOnBehalfOf(ag2,ag1,a,rAttr)</span> hold, for some <span class="name">a</span>, <span class="name">ag2</span>, <span class="name">ag1</span>, <span class="name">aAttr</span>, <span class="name">gAttr</span>, and <span class="name">rAttr</span>, <span
class='conditional'>THEN</span> <span class="name">tracedTo(e2,ag1)</span> also holds.</li>
@@ -1006,7 +1006,7 @@
<div class='constraint' id='generation-uniqueness'>Given an entity denoted by <span class="name">e</span>, two activities denoted by <span class="name">a1</span> and <span
class="name">a2</span>, two time instants <span class="name">t1</span> and <span
class="name">t2</span>, and two sets of attribute-value pairs <span class="name">attrs1</span> and <span class="name">attrs2</span>,
-<span class='conditional'>IF</span> <span class="name">wasGeneratedBy(id1, e, a1, t1, attrs1)</span> and <span class="name">wasGeneratedBy(id2, e, a2, t2, attrs2)</span> exist,
+<span class='conditional'>IF</span> <span class="name">wasGeneratedBy(id1; e, a1, t1, attrs1)</span> and <span class="name">wasGeneratedBy(id2; e, a2, t2, attrs2)</span> exist,
<span class='conditional'>THEN</span> <span class="name">id1</span>=<span class="name">id2</span>, <span class="name">a1</span>=<span class="name">a2</span>, <span class="name">t1</span>=<span class="name">t2</span> and <span class="name">attrs1</span>=<span class="name">attrs2</span>.
</div>
@@ -1033,7 +1033,7 @@
</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>.
+<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-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>
@@ -1042,7 +1042,7 @@
<div class='constraint' id='unique-endTime'>
<span class='conditional'>IF</span> <span
class="name">activity(a,t1,t2,-)</span> and <span
- class="name">wasEndedBy(id,a,e,t,-)</span>, <span
+ class="name">wasEndedBy(id;a,e,t,-)</span>, <span
class='conditional'>THEN</span> <span class="name">t</span> = <span class="name">t2</span>.
</div>
@@ -1159,9 +1159,9 @@
illustrated by Subfigure <a href="#ordering-activity-fig">ordering-activity-fig</a> (a) and expressed by constraint <a href="#start-precedes-end">start-precedes-end</a>.</p>
<div class='constraint' id='start-precedes-end'>
<span class="conditional">IF</span>
-<span class="name">wasStartedBy(start,a,-,-)</span>
+<span class="name">wasStartedBy(start;a,-,-)</span>
and
-<span class="name">wasEndedBy(end,a,-,-)</span>
+<span class="name">wasEndedBy(end;a,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">start</span>
<a>precedes</a>
@@ -1177,9 +1177,9 @@
<ol>
<li>
<span class="conditional">IF</span>
-<span class="name">used(use,a,e,-,-)</span>
+<span class="name">used(use;a,e,-,-)</span>
and
-<span class="name">wasStartedBy(start,a,-,-)</span>
+<span class="name">wasStartedBy(start;a,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">start</span>
<a>precedes</a>
@@ -1187,9 +1187,9 @@
</li>
<li>
<span class="conditional">IF</span>
-<span class="name">used(use,a,e,-,-)</span>
+<span class="name">used(use;a,e,-,-)</span>
and
-<span class="name">wasEndedBy(end,a,-,-)</span>
+<span class="name">wasEndedBy(end;a,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">use</span>
<a>precedes</a>
@@ -1208,9 +1208,9 @@
<ol>
<li>
<span class="conditional">IF</span>
-<span class="name">wasGeneratedBy(gen,a,e,-,-)</span>
+<span class="name">wasGeneratedBy(gen;a,e,-,-)</span>
and
-<span class="name">wasStartedBy(start,a,-,-)</span>
+<span class="name">wasStartedBy(start;a,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">start</span>
<a>precedes</a>
@@ -1218,9 +1218,9 @@
</li>
<li>
<span class="conditional">IF</span>
-<span class="name">wasGeneratedBy(gen,a,e,-,-)</span>
+<span class="name">wasGeneratedBy(gen;a,e,-,-)</span>
and
-<span class="name">wasEndedBy(end,a,-,-)</span>
+<span class="name">wasEndedBy(end;a,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">gen</span>
<a>precedes</a>
@@ -1240,9 +1240,9 @@
<span class="conditional">IF</span>
<span class="name">wasInformedBy(a2,a1)</span>
and
-<span class="name">wasStartedBy(start,a1,-,-)</span>
+<span class="name">wasStartedBy(start;a1,-,-)</span>
and
-<span class="name">wasEndedBy(end,a2,-,-)</span>
+<span class="name">wasEndedBy(end;a2,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">start</span>
<a>precedes</a>
@@ -1261,9 +1261,9 @@
<span class="conditional">IF</span>
<span class="name">wasStartedByActivity(a2,a1)</span>
and
-<span class="name">wasStartedBy(start1,a1,-,-)</span>
+<span class="name">wasStartedBy(start1;a1,-,-)</span>
and
-<span class="name">wasStartedBy(start2,a2,-,-)</span>
+<span class="name">wasStartedBy(start2;a2,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">start1</span>
<a>precedes</a>
@@ -1301,9 +1301,9 @@
<div class='constraint' id='generation-precedes-invalidation'>
<span class="conditional">IF</span>
-<span class="name">wasGeneratedBy(gen,e,_,_)</span>
+<span class="name">wasGeneratedBy(gen;e,_,_)</span>
and
-<span class="name">wasInvalidatedBy(inv,e,-,-)</span>
+<span class="name">wasInvalidatedBy(inv;e,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">gen</span>
<a>precedes</a>
@@ -1317,9 +1317,9 @@
<div class='constraint' id='generation-precedes-usage'>
<span class="conditional">IF</span>
-<span class="name">wasGeneratedBy(gen,e,_,_)</span>
+<span class="name">wasGeneratedBy(gen;e,_,_)</span>
and
-<span class="name">used(use,_,e,-)</span>
+<span class="name">used(use;_,e,-)</span>
<span class="conditional">THEN</span>
<span class="name">gen</span>
<a>precedes</a>
@@ -1332,9 +1332,9 @@
<div class='constraint' id='usage-precedes-invalidation'>
<span class="conditional">IF</span>
-<span class="name">used(use,_,e,-)</span>
+<span class="name">used(use;-,e,-)</span>
and
-<span class="name">wasInvalidatedBy(inv,e,_,_)</span>
+<span class="name">wasInvalidatedBy(inv;e,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">use</span>
<a>precedes</a>
@@ -1361,7 +1361,7 @@
<div class='constraint' id='derivation-usage-generation-ordering'>
<span class="conditional">IF</span>
-<span class="name">wasDerivedFrom(d,e2,e1,a,g2,u1,-)</span>
+<span class="name">wasDerivedFrom(d;e2,e1,a,g2,u1,-)</span>
<span class="conditional">THEN</span>
<span class="name">u1</span>
<a>precedes</a>
@@ -1380,9 +1380,9 @@
<span class="conditional">IF</span>
<span class="name">wasDerivedFrom(e2,e1,attrs)</span>
and
-<span class="name">wasGeneratedBy(gen1,e1,_,_)</span>
+<span class="name">wasGeneratedBy(gen1;e1,-,-)</span>
and
-<span class="name">wasGeneratedBy(gen2,e2,_,_)</span>
+<span class="name">wasGeneratedBy(gen2;e2,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">gen1</span>
<a>precedes</a>
@@ -1405,18 +1405,18 @@
<ol>
<li>
<span class="conditional">IF</span>
-<span class="name">wasStartedBy(start,a,e,-)</span>
+<span class="name">wasStartedBy(start;a,e,-)</span>
and
-<span class="name">wasGeneratedBy(gen,e,-,-)</span>
+<span class="name">wasGeneratedBy(gen;e,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">gen</span>
<a>precedes</a>
<span class="name">start</span>.
</li><li>
<span class="conditional">IF</span>
-<span class="name">wasStartedBy(start,a,e,-)</span>
+<span class="name">wasStartedBy(start;a,e,-)</span>
and
-<span class="name">wasInvalidatedBy(inv,e,-,-)</span>
+<span class="name">wasInvalidatedBy(inv;e,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">start</span>
<a>precedes</a>
@@ -1433,18 +1433,18 @@
<ol>
<li>
<span class="conditional">IF</span>
-<span class="name">wasEndedBy(end,a,e,-)</span>
+<span class="name">wasEndedBy(end;a,e,-)</span>
and
-<span class="name">wasGeneratedBy(gen,e,-,-)</span>
+<span class="name">wasGeneratedBy(gen;e,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">gen</span>
<a>precedes</a>
<span class="name">end</span>.
</li><li>
<span class="conditional">IF</span>
-<span class="name">wasEndedBy(end,a,e,-)</span>
+<span class="name">wasEndedBy(end;a,e,-)</span>
and
-<span class="name">wasInvalidatedBy(inv,e,-,-)</span>
+<span class="name">wasInvalidatedBy(inv;e,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">end</span>
<a>precedes</a>
@@ -1494,9 +1494,9 @@
<span class="conditional">IF</span>
<span class="name">wasAssociatedWith(a,ag)</span>
and
-<span class="name">wasStartedBy(start,a,-,-)</span>
+<span class="name">wasStartedBy(start;a,-,-)</span>
and
-<span class="name">wasInvalidatedBy(inv,ag,-,-)</span>
+<span class="name">wasInvalidatedBy(inv;ag,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">start</span>
<a>precedes</a>
@@ -1505,9 +1505,9 @@
<span class="conditional">IF</span>
<span class="name">wasAssociatedWith(a,ag)</span>
and
-<span class="name">wasGeneratedBy(gen,ag,-,-)</span>
+<span class="name">wasGeneratedBy(gen;ag,-,-)</span>
and
-<span class="name">wasEndedBy(end,a,-,-)</span>
+<span class="name">wasEndedBy(end;a,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">gen</span>
<a>precedes</a>
@@ -1532,9 +1532,9 @@
<span class="conditional">IF</span>
<span class="name">wasAttributedTo(e,ag)</span>
and
-<span class="name">wasGeneratedBy(gen,e,-,-)</span>
+<span class="name">wasGeneratedBy(gen;e,-,-)</span>
and
-<span class="name">wasInvalidatedBy(inv,ag,-,-)</span>
+<span class="name">wasInvalidatedBy(inv;ag,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">gen</span>
<a>precedes</a>
@@ -1543,9 +1543,9 @@
<span class="conditional">IF</span>
<span class="name">wasAttributedTo(e,ag)</span>
and
-<span class="name">wasGeneratedBy(gen,ag,-,-)</span>
+<span class="name">wasGeneratedBy(gen;ag,-,-)</span>
and
-<span class="name">wasInvalidatedBy(inv,e,-,-)</span>
+<span class="name">wasInvalidatedBy(inv;e,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">gen</span>
<a>precedes</a>
@@ -1563,9 +1563,9 @@
<span class="conditional">IF</span>
<span class="name">actedOnBehalfOf(ag2,ag1)</span>
and
-<span class="name">wasGeneratedBy(gen,ag1,-,-)</span>
+<span class="name">wasGeneratedBy(gen;ag1,-,-)</span>
and
-<span class="name">wasInvalidatedBy(inv,ag2,-,-)</span>
+<span class="name">wasInvalidatedBy(inv;ag2,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">gen</span>
<a>precedes</a>