--- a/model/prov-constraints.html Tue Jul 03 21:44:18 2012 +0100
+++ b/model/prov-constraints.html Tue Jul 03 22:02:24 2012 +0100
@@ -606,8 +606,8 @@
<tr class="component1-color"><td class="essential"><a>Generation</a></td><td><a class="rule-text" href="#unique-generation"><span>TBD</span></a><br><a class="rule-text" href="#unique-generation-time"><span>TBD</span></a><br><a class="rule-text" href="#generation-within-activity"><span>TBD</span></a> </td></tr>
<tr class="component1-color"><td class="essential"><a>Usage</a></td><td><a class="rule-text" href="#usage-within-activity"><span>TBD</span></a> </td></tr>
<tr class="component1-color"><td class="essential"><a>Communication</a></td><td><a class="rule-text" href="#wasInformedBy-definition"><span>TBD</span></a> </td></tr>
-<tr class="component1-color"><td><a>Start</a></td><td><a class="rule-text" href="#wasStartedBy-definition"><span>TBD</span><br></a><a class="rule-text" href="#unique-startTime"><span>TBD</span></a><br> <a class="rule-text" href="#start-precedes-end"><span>TBD</span></a></td></tr>
-<tr class="component1-color"><td><a>End</a></td><td><a class="rule-text" href="#wasEndedBy-definition"><span>TBD</span></a><br><a class="rule-text" href="#unique-endTime"><span>TBD</span></a> <br> <a class="rule-text" href="#start-precedes-end"><span>TBD</span></a></td></tr>
+<tr class="component1-color"><td><a>Start</a></td><td><a class="rule-text" href="#wasStartedBy-inference"><span>TBD</span><br></a><a class="rule-text" href="#unique-startTime"><span>TBD</span></a><br> <a class="rule-text" href="#start-precedes-end"><span>TBD</span></a></td></tr>
+<tr class="component1-color"><td><a>End</a></td><td><a class="rule-text" href="#wasEndedBy-inference"><span>TBD</span></a><br><a class="rule-text" href="#unique-endTime"><span>TBD</span></a> <br> <a class="rule-text" href="#start-precedes-end"><span>TBD</span></a></td></tr>
<tr class="component1-color"><td><a>Invalidation</a></td><td><a class="rule-text" href="#unique-invalidation-time"><span>TBD</span></a></td> </td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
@@ -775,34 +775,39 @@
<hr>
-<div class="note"> The following definitions seem circular;
- prune?</div>
-
-<p id='wasStartedBy-definition_text'>Start of <span class="name">a2</span> by trigger <span class="name">e</span> and starter activity <span
-class="name">a1</span> is <a title="definition">defined</a> as follows.</p>
+<div class="note"> James: The following definitions seem circular;
+ prune?
+<br>
+Luc: there was something wrong. I have replaced the definitions by inferences.</div>
-<div class='definition' id='wasStartedBy-definition'>
-<p>Given two activities with identifiers <span class="name">a1</span> and <span class="name">a2</span>,
- <span class="name">wasStartedBy(-;a2,e,a1,-)</span>
-holds <span class='conditional'>IF AND ONLY IF</span>
- <span class="name">wasGeneratedBy(-;e,a1,-,-)</span>
- and <span class="name">wasStartedBy(-;a2,e,-,-)</span> hold.</p>
+
+<p id='wasStartedBy-inference_text'>Start of <span class="name">a</span> by trigger <span class="name">e1</span> and starter activity <span
+class="name">a1</span> implies that
+<span class="name">e1</span> was generated by <span
+class="name">a1</span>.</p>
+
+<div class='inference' id='wasStartedBy-inference'>
+<p><span class='conditional'>IF</span>
+ <span class="name">wasStartedBy(_id;a,e1,a1,_t1,_attrs1)</span>,
+<span class='conditional'>THEN</span>
+ <span class="name">wasGeneratedBy(-;e1,a1,-,-)</span>.</p>
</div>
-
<p>
<hr>
-<p id='wasEndedBy-definition_text'>Likewise, end of <span class="name">a2</span> by
-by trigger <span class="name">e</span> and ender activity <span
-class="name">a1</span> is <a title="definition">defined</a> as follows.</p>
+<p id='wasEndedBy-inference_text'>Likewise,
+end of <span class="name">a</span> by trigger <span class="name">e1</span> and ender activity <span
+class="name">a1</span> implies that
+<span class="name">e1</span> was generated by <span
+class="name">a1</span>.
+</p>
-<div class='definition' id='wasEndedBy-definition'>
-<p>Given two activities with identifiers <span class="name">a1</span> and <span class="name">a2</span>,
- <span class="name">wasEndedBy(-;a2,e,a1,-)</span>
-holds <span class='conditional'>IF AND ONLY IF</span>
- <span class="name">wasGeneratedBy(-;e,a1,-,-)</span>
- and <span class="name">wasEndedBy(-;a2,e,-,-)</span> hold.</p>
+<div class='inference' id='wasEndedBy-inference'>
+<p><span class='conditional'>IF</span>
+ <span class="name">wasEndedBy(_id;a,e1,a1,_t1,_attrs1)</span>,
+<span class='conditional'>THEN</span>
+ <span class="name">wasGeneratedBy(-;e1,a1,-,-)</span>.</p>
</div>
@@ -846,7 +851,7 @@
<div class='inference' id='revision-is-alternate'>
Given two identifiers <span class="name">e1</span> and <span class="name">e2</span> identifying two entities,
-<span class='conditional'>IF</span> <span class="name">wasDerivedFrom(-,e2,e1,[prov:type="prov:WasRevisionOf"])</span> holds, <span class='conditional'>THEN</span> the following
+<span class='conditional'>IF</span> <span class="name">wasDerivedFrom(-,e2,e1,[prov:type='prov:Revision'])</span> holds, <span class='conditional'>THEN</span> the following
holds:
<pre>
alternateOf(e2,e1)