--- a/model/prov-constraints.html Tue Aug 07 12:01:40 2012 +0100
+++ b/model/prov-constraints.html Tue Aug 07 12:05:20 2012 +0100
@@ -439,7 +439,7 @@
<p>This specification identifies <a
href="http://www.w3.org/2005/10/Process-20051014/tr#cfi">features at
risk</a> related to the at-risk Mention feature of [[PROV-DM]]:
-<a class="rule-text" href="#mention-specialization"><span>TBD</span></a> and
+<a class="rule-text" href="#mention-specialization-inference"><span>TBD</span></a> and
<a class="rule-text" href="#mention-unique"><span>TBD</span></a>.
These might be removed from PROV-CONSTRAINTS.</p>
@@ -767,7 +767,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="#specialization-attributes-inference"><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>
@@ -787,7 +787,7 @@
<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="#derivation-use-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#influence-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>
@@ -885,8 +885,8 @@
<tr class="component2-color">
<td class="essential"><a>Derivation</a></td>
- <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>
+ <td><a class="rule-text" href="#derivation-generation-use-inference"><span>TBD</span></a><br>
+ <a class="rule-text" href="#derivation-use-inference"><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="#key-properties"><span>TBD</span></a><br>
@@ -898,7 +898,7 @@
</tr>
<tr class="component2-color">
<td class="provType"><a>Revision</a></td>
- <td><a class="rule-text" href="#revision-is-alternate"><span>TBD</span></a><br></td>
+ <td><a class="rule-text" href="#revision-is-alternate-inference"><span>TBD</span></a><br></td>
</tr>
<tr class="component2-color">
<td class="provType"><a>Quotation</a></td>
@@ -981,8 +981,8 @@
<tr class="component5-color">
<td><a>Specialization</a></td>
<td><a class="rule-text" href="#specialization-transitive"><span>TBD</span></a><br>
- <a class="rule-text" href="#specialization-alternate"><span>TBD</span></a><br>
- <a class="rule-text" href="#specialization-attributes"><span>TBD</span></a><br>
+ <a class="rule-text" href="#specialization-alternate-inference"><span>TBD</span></a><br>
+ <a class="rule-text" href="#specialization-attributes-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#specialization-generation-ordering"><span>TBD</span></a><br>
<a class="rule-text" href="#specialization-invalidation-ordering"><span>TBD</span></a><br>
<a class="rule-text" href="#impossible-specialization-reflexive"><span>TBD</span></a><br>
@@ -991,7 +991,7 @@
</tr>
<tr class="component5-color">
<td><a>Mention</a></td>
- <td><a class="rule-text" href="#mention-specialization"><span>TBD</span></a><br>
+ <td><a class="rule-text" href="#mention-specialization-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#mention-unique"><span>TBD</span></a><br>
<a class="rule-text" href="#typing"><span>TBD</span></a><br>
</td>
@@ -1611,10 +1611,10 @@
<hr>
-<p id='derivation-generation-use_text'>Derivations with explicit
+<p id='derivation-generation-use-inference_text'>Derivations with explicit
activity, generation, and usage admit the following inference: </p>
-<div class='inference' id='derivation-generation-use'>
+<div class='inference' id='derivation-generation-use-inference'>
<p>
<!--
@@ -1644,11 +1644,11 @@
<p>
<hr>
-<p id='derivation-use_text'>According to <a class="rule-text"
+<p id='derivation-use-inference_text'>According to <a class="rule-text"
href="#optional-placeholders"><span>TBD</span></a>, optional generation and usage in a derivation are not expandable. However, derivations with an explicit activity and
no specified generation and usage admit the following inference: </p>
-<div class='inference' id='derivation-use'>
+<div class='inference' id='derivation-use-inference'>
<p>
<span class='conditional'>IF</span> <span class="name">wasDerivedFrom(id; e2,e1,a,-,-,attrs)</span> and <span class="name">wasGeneratedBy(gen; e2,a,_t2,_attrs2)</span> hold, <span
class='conditional'>THEN</span> there exist <span
@@ -1661,9 +1661,9 @@
</p>
-<div class="remark" id="derivation-generation-use-remark">
+<div class="remark" id="derivation-generation-use-inference-remark">
<p>
- <a class="rule-text" href="#derivation-use"><span>TBD</span></a> allows "-" to be replaced by existential variables in a <span
+ <a class="rule-text" href="#derivation-use-inference"><span>TBD</span></a> allows "-" to be replaced by existential variables in a <span
class="name">wasDerivedFrom</span>, when an activity is explict, and a generation known.</p>
<p> However, a derivation without explicit generation and usage cannot be normalized even when a generation and usage hold.
@@ -1703,10 +1703,10 @@
<hr />
-<p id="revision-is-alternate_text">A revision admits the following inference, stating that the two entities
+<p id="revision-is-alternate-inference_text">A revision admits the following inference, stating that the two entities
linked by a revision are also alternates.</p>
-<div class='inference' id='revision-is-alternate'>
+<div class='inference' id='revision-is-alternate-inference'>
<p>
<span class='conditional'>IF</span> <span
class="name">wasDerivedFrom(_id; e2,e1,[prov:type='prov:Revision'])</span>
@@ -1929,21 +1929,21 @@
<hr>
- <p id="specialization-alternate_text">If one entity specializes another, then they are also
+ <p id="specialization-alternate-inference_text">If one entity specializes another, then they are also
alternates:</p>
- <div class='inference' id="specialization-alternate">
+ <div class='inference' id="specialization-alternate-inference">
<p>
<!-- For any entities <span class='name'>e1</span>, <span class='name'>e2</span>, -->
<span class='conditional'>IF</span> <span class='name'>specializationOf(e1,e2)</span> <span class='conditional'>THEN</span> <span class='name'>alternateOf(e1,e2)</span>.</p>
</div>
<hr />
-<p id="specialization-attributes_text">
+<p id="specialization-attributes-inference_text">
If one entity specializes another then all attributes of the more
general entity are also attributes of the more specific one.
</p>
-<div class="inference" id="specialization-attributes">
+<div class="inference" id="specialization-attributes-inference">
<p>
<!-- For any entities <span class='name'>e1</span>, <span class='name'>e2</span>,-->
<span class='conditional'>IF</span> <span class='name'>entity(e1, attrs)</span> holds for some
@@ -1960,9 +1960,9 @@
</div>
- <p id="mention-specialization_text">If one entity is a mention of another in a bundle, then the former is also a specialization of the latter:</p>
+ <p id="mention-specialization-inference_text">If one entity is a mention of another in a bundle, then the former is also a specialization of the latter:</p>
- <div class='inference' id="mention-specialization">
+ <div class='inference' id="mention-specialization-inference">
<p>
<span class='conditional'>IF</span> <span class='name'>mentionOf(e2,e1,b)</span> <span class='conditional'>THEN</span> <span class='name'>specializationOf(e2,e1)</span>.</p>
</div>