--- a/model/prov-constraints.html Fri Jul 20 12:25:22 2012 +0100
+++ b/model/prov-constraints.html Fri Jul 20 14:01:40 2012 +0200
@@ -656,6 +656,7 @@
<tr class="component1-color">
<td class="essential"><a>Entity</a></td>
<td><a class="rule-text" href="#entity-generation-invalidation-inference"><span>TBD</span></a><br>
+ <a class="rule-text" href="#specialization-attributes"><span>TBD</span></a><br>
<a class="rule-text" href="#key-object"><span>TBD</span></a><br>
<a class="rule-text" href="#impossible-object-property-overlap"><span>TBD</span></a><br>
<a class="rule-text" href="#entity-activity-disjoint"><span>TBD</span></a><br>
@@ -666,6 +667,8 @@
<td class="essential"><a>Activity</a></td>
<td><a class="rule-text" href="#activity-start-end-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-object"><span>TBD</span></a><br>
+ <a class="rule-text" href="#unique-startTime"><span>TBD</span></a><br>
+ <a class="rule-text" href="#unique-endTime"><span>TBD</span></a><br>
<a class="rule-text" href="#impossible-object-property-overlap"><span>TBD</span></a><br>
<a class="rule-text" href="#entity-activity-disjoint"><span>TBD</span></a><br>
</td>
@@ -673,27 +676,42 @@
<tr class="component1-color">
<td class="essential"><a>Generation</a></td>
<td><a class="rule-text" href="#generation-use-communication-inference"><span>TBD</span></a><br>
+ <a class="rule-text" href="#derivation-use"><span>TBD</span></a><br>
+ <a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#generation-type-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
<a class="rule-text" href="#unique-generation"><span>TBD</span></a><br>
<a class="rule-text" href="#generation-within-activity"><span>TBD</span></a><br>
<a class="rule-text" href="#generation-precedes-invalidation"><span>TBD</span></a><br>
<a class="rule-text" href="#generation-precedes-usage"><span>TBD</span></a><br>
+ <a class="rule-text" href="#derivation-usage-generation-ordering"><span>TBD</span></a><br>
+ <a class="rule-text" href="#derivation-generation-generation-ordering"><span>TBD</span></a><br>
+ <a class="rule-text" href="#wasStartedBy-ordering"><span>TBD</span></a><br>
+ <a class="rule-text" href="#wasEndedBy-ordering"><span>TBD</span></a><br>
+ <a class="rule-text" href="#specialization-generation"><span>TBD</span></a><br>
+ <a class="rule-text" href="#wasAssociatedWith-ordering"><span>TBD</span></a><br>
+ <a class="rule-text" href="#wasAttributedTo-ordering"><span>TBD</span></a><br>
+ <a class="rule-text" href="#actedOnBehalfOf-ordering"><span>TBD</span></a><br>
<a class="rule-text" href="#impossible-property-overlap"><span>TBD</span></a><br>
</td>
</tr>
<tr class="component1-color">
<td class="essential"><a>Usage</a></td>
- <td><a class="rule-text" href="#usage-type-inference"><span>TBD</span></a><br>
+ <td><a class="rule-text" href="#generation-use-communication-inference"><span>TBD</span></a><br>
+ <a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
+ <a class="rule-text" href="#usage-type-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
<a class="rule-text" href="#usage-within-activity"><span>TBD</span></a><br>
+ <a class="rule-text" href="#generation-precedes-usage"><span>TBD</span></a><br>
<a class="rule-text" href="#usage-precedes-invalidation"><span>TBD</span></a><br>
+ <a class="rule-text" href="#derivation-usage-generation-ordering"><span>TBD</span></a><br>
<a class="rule-text" href="#impossible-property-overlap"><span>TBD</span></a><br>
</td>
</tr>
<tr class="component1-color">
<td class="essential"><a>Communication</a></td>
<td><a class="rule-text" href="#communication-generation-use-inference"><span>TBD</span></a><br>
+ <a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#communication-type-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
<a class="rule-text" href="#wasInformedBy-ordering"><span>TBD</span></a><br>
@@ -703,31 +721,51 @@
<tr class="component1-color">
<td class="essential"><a>Start</a></td>
<td><a class="rule-text" href="#wasStartedBy-inference"><span>TBD</span></a><br>
+ <a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#start-type-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
<a class="rule-text" href="#unique-wasStartedBy"><span>TBD</span></a><br>
<a class="rule-text" href="#unique-startTime"><span>TBD</span></a><br>
<a class="rule-text" href="#start-precedes-end"><span>TBD</span></a><br>
+ <a class="rule-text" href="#usage-within-activity"><span>TBD</span></a><br>
+ <a class="rule-text" href="#generation-within-activity"><span>TBD</span></a><br>
+ <a class="rule-text" href="#wasInformedBy-ordering"><span>TBD</span></a><br>
<a class="rule-text" href="#wasStartedBy-ordering"><span>TBD</span></a><br>
+ <a class="rule-text" href="#wasAssociatedWith-ordering"><span>TBD</span></a><br>
<a class="rule-text" href="#impossible-property-overlap"><span>TBD</span></a><br>
</td>
</tr>
<tr class="component1-color">
<td class="essential"><a>End</a></td>
<td><a class="rule-text" href="#wasEndedBy-inference"><span>TBD</span></a><br>
+ <a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#end-type-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
<a class="rule-text" href="#unique-wasEndedBy"><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><br>
+ <a class="rule-text" href="#usage-within-activity"><span>TBD</span></a><br>
+ <a class="rule-text" href="#generation-within-activity"><span>TBD</span></a><br>
+ <a class="rule-text" href="#wasInformedBy-ordering"><span>TBD</span></a><br>
<a class="rule-text" href="#wasEndedBy-ordering"><span>TBD</span></a><br>
+ <a class="rule-text" href="#wasAssociatedWith-ordering"><span>TBD</span></a><br>
<a class="rule-text" href="#impossible-property-overlap"><span>TBD</span></a><br>
</td>
</tr>
<tr class="component1-color">
<td class="essential"><a>Invalidation</a></td>
- <td><a class="rule-text" href="#invalidation-type-inference"><span>TBD</span></a><br>
+ <td><a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
+ <a class="rule-text" href="#invalidation-type-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
<a class="rule-text" href="#unique-invalidation"><span>TBD</span></a><br>
+ <a class="rule-text" href="#generation-precedes-invalidation"><span>TBD</span></a><br>
+ <a class="rule-text" href="#usage-precedes-invalidation"><span>TBD</span></a><br>
+ <a class="rule-text" href="#wasStartedBy-ordering"><span>TBD</span></a><br>
+ <a class="rule-text" href="#wasEndedBy-ordering"><span>TBD</span></a><br>
+ <a class="rule-text" href="#specialization-invalidation"><span>TBD</span></a><br>
+ <a class="rule-text" href="#wasAssociatedWith-ordering"><span>TBD</span></a><br>
+ <a class="rule-text" href="#wasAttributedTo-ordering"><span>TBD</span></a><br>
+ <a class="rule-text" href="#actedOnBehalfOf-ordering"><span>TBD</span></a><br>
<a class="rule-text" href="#impossible-property-overlap"><span>TBD</span></a><br>
</td>
</tr>
@@ -739,12 +777,13 @@
<td><a class="rule-text" href="#derivation-generation-use"><span>TBD</span></a><br>
<a class="rule-text" href="#derivation-use"><span>TBD</span></a><br>
<a class="rule-text" href="#specific-derivation-inference"><span>TBD</span></a><br>
+ <a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#derivation-type-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
<a class="rule-text" href="#derivation-usage-generation-ordering"><span>TBD</span></a><br>
<a class="rule-text" href="#derivation-generation-generation-ordering"><span>TBD</span></a><br>
</td>
- <td rowspan="4"><a href="http://www.w3.org/TR/prov-dm/#component2">Component 2: Derivations</a></td>
+ <td rowspan="5"><a href="http://www.w3.org/TR/prov-dm/#component2">Component 2: Derivations</a></td>
</tr>
<tr class="component2-color">
<td class="provType"><a>Revision</a></td>
@@ -774,6 +813,7 @@
<tr class="component3-color">
<td class="essential"><a>Attribution</a></td>
<td><a class="rule-text" href="#attribution-inference"><span>TBD</span></a><br>
+ <a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#attribution-type-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
<a class="rule-text" href="#wasAttributedTo-ordering"><span>TBD</span></a><br>
@@ -782,7 +822,8 @@
</tr>
<tr class="component3-color">
<td class="essential"><a>Association</a></td>
- <td><a class="rule-text" href="#association-type-inference"><span>TBD</span></a><br>
+ <td><a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
+ <a class="rule-text" href="#association-type-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
<a class="rule-text" href="#wasAssociatedWith-ordering"><span>TBD</span></a><br>
<a class="rule-text" href="#impossible-property-overlap"><span>TBD</span></a><br>
@@ -791,6 +832,7 @@
<tr class="component3-color">
<td class="essential"><a>Delegation</a></td>
<td><a class="rule-text" href="#delegation-inference"><span>TBD</span></a><br>
+ <a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#delegation-type-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
<a class="rule-text" href="#actedOnBehalfOf-ordering"><span>TBD</span></a><br>