--- a/model/prov-constraints.html Fri Jul 20 07:12:55 2012 +0100
+++ b/model/prov-constraints.html Fri Jul 20 07:52:06 2012 +0100
@@ -333,13 +333,13 @@
<a class="rule-text" href="#mention-unique"><span>TBD</span></a></li>
<li>one consisting of an inference about Communication <a
class="rule-text"
-href="#inference-generation-use-communication"><span>TBD</span></a>
+href="#generation-use-communication-inference"><span>TBD</span></a>
that may complicate implementations.
</li>
<li>one consisting of an inference about Derivation <a class="rule-text" href="#derivation-use"><span>TBD</span></a> that appears
redundant.
</li>
-<li>two consisting of inferences about entities <a class="rule-text" href="#inference-entity-generation-invalidation"><span>TBD</span></a> and activities <a class="rule-text" href="#inference-activity-start-end"><span>TBD</span></a> that may, together with certain
+<li>two consisting of inferences about entities <a class="rule-text" href="#entity-generation-invalidation-inference"><span>TBD</span></a> and activities <a class="rule-text" href="#activity-start-end-inference"><span>TBD</span></a> that may, together with certain
other inference rules, lead to nontermination.</ul>
These might be removed from PROV-CONSTRAINTS.</p>
@@ -669,11 +669,11 @@
<tr class="component2-color"><td class="provType"><a>Revision</a></td><td></td></tr>
<tr class="component2-color"><td class="provType"><a>Quotation</a></td><td></td></tr>
<tr class="component2-color"><td class="provType"><a>Original Source</a></td><td></td></tr>
-<tr class="component2-color"><td><a>Influence</a></td><td><a class="rule-text" href="#inference-influence"><span>TBD</span></a></td></tr>
+<tr class="component2-color"><td><a>Influence</a></td><td><a class="rule-text" href="#influence-inference"><span>TBD</span></a></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr class="component3-color" style="border-collapse: collapse; "><td class="essential"><a>Agent</a></td><td> </td><td rowspan="8"><a href="#component3">Component 3: Agents/Responsibility</a></td></tr>
-<tr class="component3-color"><td class="essential"><a>Attribution</a></td><td><a class="rule-text" href="#inference-attribution"><span>TBD</span></a> </td></tr>
+<tr class="component3-color"><td class="essential"><a>Attribution</a></td><td><a class="rule-text" href="#attribution-inference"><span>TBD</span></a> </td></tr>
<tr class="component3-color"><td class="essential"><a>Association</a></td><td> </td></tr>
<tr class="component3-color"><td class="essential"><a>Delegation</a></td><td> </td></tr>
<tr class="component3-color"><td class="provType"><a>Plan</a></td><td> </td>
@@ -1081,7 +1081,7 @@
title="definition">defined</a> as the existence of an underlying
entity generated by one activity and used by the other.</p>
-<div class='inference' id='inference-communication-generation-use'>
+<div class='inference' id='communication-generation-use-inference'>
<p>
<span class="conditional">IF</span>
<span class="name">wasInformedBy(_id;a2,a1,_attrs)</span>
@@ -1099,7 +1099,7 @@
implementation difficulties.
</div>
- <div class='inference' id='inference-generation-use-communication'>
+ <div class='inference' id='generation-use-communication-inference'>
<p>
<span class="conditional">IF</span> <span class="name">wasGeneratedBy(_id1;e,a1,_t1,_attrs1)</span>
and <span class="name">used(_id2;a2,e,_t2,_attrs2)</span> hold
@@ -1138,15 +1138,15 @@
</div>
<div class="note">Luc: The narrative is not right for both
-<a class="rule-text" href="#inference-entity-generation-invalidation"><span>TBD</span></a> and <a class="rule-text" href="#inference-activity-start-end"><span>TBD</span></a>, since "there must have existed" does not work for entities and activities that are still extant. However, from a constraint checking, it is ok, to add such invalidation/end events, with a future time.</div>
+<a class="rule-text" href="#entity-generation-invalidation-inference"><span>TBD</span></a> and <a class="rule-text" href="#activity-start-end-inference"><span>TBD</span></a>, since "there must have existed" does not work for entities and activities that are still extant. However, from a constraint checking, it is ok, to add such invalidation/end events, with a future time.</div>
<div class="note">
The following two inferences could interact with type inference to produce
nontermination. For example, once we have an activity we can yse
- inference-activity-start-end and start-type-inference forever to
+ activity-start-end-inference and start-type-inference forever to
infer an infinite chain of activities, each starting the next.
Similarly, we can use inverence-activity-start-end,
-start-type-inference, inference-entity-generation-invalidation,
+start-type-inference, entity-generation-invalidation-inference,
and generation-type-inference forever to infer an infinite chain of
entities generated by activities that were started by entities that
were generated by activities ...
@@ -1168,7 +1168,7 @@
From an entity, we can infer that the existence of
generation and invalidation events.
</p>
-<div class='inference' id='inference-entity-generation-invalidation'>
+<div class='inference' id='entity-generation-invalidation-inference'>
<p>
<span class='conditional'>IF</span> <span
class="name">entity(e,_attrs)</span> <span
@@ -1192,7 +1192,7 @@
start and end events having times matching the start and end times of
the activity.
</p>
-<div class='inference' id='inference-activity-start-end'>
+<div class='inference' id='activity-start-end-inference'>
<p>
<span class='conditional'>IF</span> <span
class="name">activity(a,t1,t2,_attrs)</span> <span
@@ -1318,12 +1318,12 @@
</div>
<hr />
-<p id="inference-specific-derivation_text">A derivation
+<p id="specific-derivation-inference_text">A derivation
specifying activity, generation and use events is a special case of
a derivation that leaves these unspecified. (The converse is not
the case).</p>
-<div class='inference' id='inference-specific-derivation'>
+<div class='inference' id='specific-derivation-inference'>
<p><span class='conditional'>IF</span> <span
class="name">wasDerivedFrom(id;e2,e1,_act,_gen,_use,attrs)</span>
holds, <span class='conditional'>THEN</span> <span
@@ -1390,13 +1390,13 @@
<section >
<h3>Agents</h3>
-<p id='inference-attribution_text'> Attribution identifies an agent as responsible for an entity. An
+<p id='attribution-inference_text'> Attribution identifies an agent as responsible for an entity. An
agent can only be responsible for an entity if it was associated with
an activity that generated the entity. If the activity, generation
and association events are not explicit in the instance, they can
be inferred.</p>
-<div class='inference' id='inference-attribution'>
+<div class='inference' id='attribution-inference'>
<p>
<span class='conditional'>IF</span>
<span class="name">wasAttributedTo(_att;e,ag,_attrs)</span> holds for some identifiers
@@ -1413,14 +1413,14 @@
</p>
</div>
<hr />
-<p id='inference-delegation_text'> Delegation relates agents where one agent acts on behalf of
+<p id='delegation-inference_text'> Delegation relates agents where one agent acts on behalf of
another, in the context of some activity. The supervising agent
delegates some responsibility for part of the activity to the
subordinate agent, while retaining some responsibility for the overall
activity. Both agents are associated with this activity.</p>
-<div class='inference' id='inference-delegation'>
+<div class='inference' id='delegation-inference'>
<p>
<span class='conditional'>IF</span>
<span class="name">actedOnBehalfOf(_id;ag1, ag2, a, _attrs)</span>
@@ -1444,13 +1444,13 @@
</div>
<hr />
-<p id="inference-influence_text">
+<p id="influence-inference_text">
The <span class="name">wasInfluencedBy</span> relation is implied by other relations, including
usage, start, end, generation, invalidation, communication,
derivation, attribution, association, and delegation. To capture this
explicitly, we allow the following inferences:
</p>
-<div class="inference" id="inference-influence">
+<div class="inference" id="influence-inference">
<p>
<ol>
<li>