--- a/mention/prov-mention.html Sat Nov 10 06:13:56 2012 -0500
+++ b/mention/prov-mention.html Sat Nov 10 06:24:00 2012 -0500
@@ -733,6 +733,34 @@
<section id="mention-constraints">
<h2>Constraints associated for Mention</h2>
+
+
+
+
+
+ <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-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>
+
+
+
+
+<div id='unique-mention_text'>
+<p>An entity can be the subject of at most one mention relation.</p>
+</div>
+
+
+<div class='constraint' id='unique-mention'>
+<p>
+<span class='conditional'>IF</span> <span class="name">mentionOf(e, e1, b1)</span> and <span class="name">mentionOf(e, e2, b2)</span>,
+<span class='conditional'>THEN</span> <span class="name">e1</span>=<span class="name">e2</span> and <span class="name">b1</span>=<span class="name">b2</span>.</p>
+</div>
+
+
+
</section>
<section id="mention-xml">
--- a/model/prov-constraints.html Sat Nov 10 06:13:56 2012 -0500
+++ b/model/prov-constraints.html Sat Nov 10 06:24:00 2012 -0500
@@ -447,12 +447,14 @@
<p>This is the second public release of the PROV-CONSTRAINTS document.
This is a Last Call Working Draft. The design is not expected to change significantly, going forward, and now is the key time for external review.</p>
+<!--
<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-inference"><span>TBD</span></a> and
<a class="rule-text" href="#unique-mention"><span>TBD</span></a>.
These might be removed from PROV-CONSTRAINTS.</p>
+-->
<h4>PROV Family of Specifications</h4>
This document is part of the PROV family of specifications, a set of specifications defining various aspects that are necessary to achieve the vision of inter-operable
@@ -972,11 +974,13 @@
<td class="name">e2</td>
<td class="name">'entity'</td>
</tr>
+<!--
<tr style="text-align: center; ">
<td rowspan="3" class="name">mentionOf(e1,e2,b)</td>
<td class="name">e1</td>
<td class="name">'entity'</td>
</tr>
+-->
<tr style="text-align: center; ">
<td class="name">e2</td>
<td class="name">'entity'</td>
@@ -1752,6 +1756,7 @@
<a class="rule-text" href="#typing"><span>TBD</span></a><br>
</td>
</tr>
+<!--
<tr class="component5-color">
<td><a>Mention</a></td>
<td><a class="rule-text" href="#mention-specialization-inference"><span>TBD</span></a><br>
@@ -1759,6 +1764,7 @@
<a class="rule-text" href="#typing"><span>TBD</span></a><br>
</td>
</tr>
+-->
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr class="component6-color">
@@ -2032,7 +2038,7 @@
<div class="remark">
<p>Definitions <a class="rule-ref" href="#optional-identifiers"><span>TBD</span></a> and <a class="rule-ref" href="#optional-attributes"><span>TBD</span></a>.
-do not apply to <span class="name">alternateOf</span>, <span class="name">specializationOf</span>, and <span class="name">mentionOf</span>, which do not have identifiers and attributes.
+do not apply to <span class="name">alternateOf</span> and <span class="name">specializationOf</span>, which do not have identifiers and attributes.
</p>
</div>
@@ -2081,7 +2087,7 @@
<p>
There are no expansion rules for entity, agent, communication,
- attribution, influence, alternate, specialization, or mention
+ attribution, influence, alternate, or specialization
relations, because these
have no optional parameters aside from the identifier and attributes,
which are expanded by the rules in <a class="rule-ref" href="#optional-identifiers"><span>TBD</span></a> and <a class="rule-ref" href="#optional-attributes"><span>TBD</span></a>. </p>
@@ -2849,6 +2855,7 @@
+<!--
<hr />
<div class="note">
@@ -2863,7 +2870,7 @@
<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>
-
+-->
</section>
@@ -3248,6 +3255,7 @@
</div>
+<!--
<div id='unique-mention_text'>
<p>An entity can be the subject of at most one mention relation.</p>
</div>
@@ -3259,7 +3267,7 @@
<span class='conditional'>THEN</span> <span class="name">e1</span>=<span class="name">e2</span> and <span class="name">b1</span>=<span class="name">b2</span>.</p>
</div>
-
+-->
@@ -4079,7 +4087,7 @@
class="name">'prov:Collection'</span>) or because certain types are not
disjoint (such as <span class="name">'agent'</span> and <span class="name">'entity'</span>). The set of types
does not reflect all of the distinctions among objects, only those
- relevant for checking validity. In particular, subtypes such as <span class="name">'plan'</span> and <span class="name">'bundle'</span> are omitted, and statements such as <span class="name">wasAssociatedWith</span> and <span class="name">mentionOf</span> that have plan or bundle parameters only check that these parameters are entities.
+ relevant for checking validity. In particular, a subtype such as <span class="name">'plan'</span> is omitted, and statements such as <span class="name">wasAssociatedWith</span> that have plan parameters only check that these parameters are entities.
</p>
<p>To check if a PROV instance satisfies type constraints, one obtains the types of identifiers by application of
@@ -4238,6 +4246,7 @@
<span class="name">'entity' ∈ typeOf(e1)</span>.
+<!--
<li>
<span class='conditional'>IF</span>
<span class='name'>mentionOf(e2,e1,b)</span>
@@ -4245,7 +4254,7 @@
<span class="name">'entity' ∈ typeOf(e2)</span> AND
<span class="name">'entity' ∈ typeOf(e1)</span> AND
<span class="name">'entity' ∈ typeOf(b)</span>.
-
+-->
<li>
@@ -4783,7 +4792,7 @@
<tr>
<td>1</td>
<td>19, 20, 21, 22</td>
- <td class="name">specializationOf, mentionOf</td>
+ <td class="name">specializationOf, mentionOf</td> <!-- TODO remove mention -->
<td class="name">specializationOf, entity</td>
</tr>
<tr>
--- a/model/prov-n.html Sat Nov 10 06:13:56 2012 -0500
+++ b/model/prov-n.html Sat Nov 10 06:24:00 2012 -0500
@@ -2501,7 +2501,7 @@
<li> <a href="http://www.w3.org/2011/prov/track/issues/496">ISSUE-496</a>: For each prov-n term, added a cross-reference to corresponding prov-dm term (see table following each production). Rephrased text related to scope of a namespace declaration. Added an informative file with all productions.
<li> <a href="http://www.w3.org/2011/prov/track/issues/573">ISSUE-573</a>: Updated Media Type section.
<li> <a href="http://www.w3.org/2011/prov/track/issues/589">ISSUE-589</a>: Updated scoping rule for prefix-namespace declaration. Also refrained from saying bundles are self-contained.
-
+<li> Moved feature at Risk mention into a separate note.
</ul>
</section>