prov-links
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Mon, 26 Nov 2012 13:43:14 +0000
changeset 5073 ead53f8a90ce
parent 5066 4e9046a92f40
child 5074 e54c98d63e5b
prov-links
links/prov-links.html
--- a/links/prov-links.html	Mon Nov 26 13:25:47 2012 +0000
+++ b/links/prov-links.html	Mon Nov 26 13:43:14 2012 +0000
@@ -853,28 +853,30 @@
 </section> 
 
 <section id="mention-dm"> 
-<h2>Data Model Definition</h2> 
+<h2>Conceptual Definition of Mention</h2> 
 
 
 
 <p>An entity <span class="name">e1</span> may be mentioned in a bundle <span class="name">b</span>, which contains some
- descriptions about this entity <span class="name">e1</span>: how <span class="name">e1</span> was generated and used, which activities <span class="name">e1</span> is involved with, the agents <span class="name">e1</span> is attributed to, etc. Other bundles may contain other descriptions about the same entity <span class="name">e1</span>.
-Some applications may want to interpret
-the latter descriptions of entity <span class="name">e1</span> with respect to the descriptions found in the bundle <span class="name">b</span> it occurs in. To this end, PROV allows a new entity <span class="name">e2</span> to be created, which is a specialization of the preceding entity <span class="name">e1</span>, and which presents an additional aspect:  the bundle <span class="name">b</span> containing some descriptions of <span class="name">e1</span>.  With this relation, applications that process <span class="name">e2</span>
-can know that the attributes of <span class="name">e2</span> may have been computed according to the descriptions of <span class="name">e1</span> in <span class="name">b</span>.</p>
-
+ descriptions about this entity <span class="name">e1</span>: how <span class="name">e1</span> was generated and used, which activities <span class="name">e1</span> is involved with, the agents <span class="name">e1</span> is attributed to, etc. 
+Other bundles may contain other descriptions about the same entity <span class="name">e1</span>.
+Some applications may want to augment
+the descriptions of entity <span class="name">e1</span>  found in  bundle <span class="name">b</span> with other information.
+To this end, PROV allows a new entity <span class="name">e2</span> to be created and defined as a specialization of the preceding entity <span class="name">e1</span>, and which presents an additional aspect:  the bundle <span class="name">b</span> containing some descriptions of <span class="name">e1</span>.  With this relation, applications that process <span class="name">e2</span>
+can know that the attributes of <span class="name">e2</span> may have been computed according to the descriptions of <span class="name">e1</span> in <span class="name">b</span>.
+Thus,  the mentionOf relation cannot be inferred from knowing that  <span class="name">e2</span>  is a specialization of <span class="name">e1</span> that appears in bundle <span class="name">b</span>.</p>
 
 
 <p>
  <a href="#figure-component5">Figure 1</a> depicts
-the relation MentionOf (<a>mention</a>).
+the relation MentionOf (<a>mention</a>) as a ternary relation.
 </p>
 
 
 <div style="text-align: center;">
 <figure style="max-width: 95%; ">
 <img src="figures/component5.png" alt="mention"/><br>
-<figcaption id="figure-component5">Mention UML Diagram</figcaption>
+<figcaption id="figure-component5"> UML Diagram for Mention</figcaption>
 </figure>
 </div>
 
@@ -905,12 +907,13 @@
 <ul>
 <li><span class='attribute' id="mention.specificEntity">specificEntity</span>: an identifier (<span class="name">infra</span>)
 of the entity that is a mention of the general entity (<span class="name">supra</span>);</li>
-<li><span class='attribute' id="mention.generalEntity">generalEntity</span>: an identifier (<span class="name">supra</span>) of the entity that is being mentioned.</li>
+<li><span class='attribute' id="mention.generalEntity">generalEntity</span>: an identifier (<span class="name">supra</span>) for an entity that appears in bundle <span class="name">b</span>.</li>
 <li><span class='attribute' id="mention.bundle">bundle</span>: an identifier (<span class="name">b</span>) of a bundle that contains a description of <span class="name">supra</span> and further constitutes one additional aspect presented by <span class="name">infra</span>.</li>
 </ul>
 </div>
 
-<p>A mention is not, as  defined here, as an influence, and therefore does not have an id and attributes.</p>
+<p>A mention is not, as  defined here, an influence, and therefore does not have an id and attributes.
+Its grammar, in the provenance notation, is written as follows.</p>
 
 <table class="grammar">
 <tbody class="prod"> <tr valign="baseline"> <td><a id="prod-mentionExpression" name="prod-mentionExpression"></a><span class="prodNo"></span>&nbsp;&nbsp;&nbsp;</td> <td><code class="production prod">mentionExpression</code></td> <td>&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</td> <td><code class="content">"mentionOf" "(" <span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2012/CR-prov-n-20121211/#prod-eIdentifier">eIdentifier</a></span> "," <span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2012/CR-prov-n-20121211/#prod-eIdentifier">eIdentifier</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-bIdentifier">bIdentifier</a></span> ")"</code></td> </tr> </tbody>
@@ -918,7 +921,7 @@
 </table>
 </table>
 
-<p>The following table summarizes how each constituent of a PROV-DM Mention maps to a PROV-N syntax element.</p>
+<p>The following table summarizes how each constituent of a Mention maps to a syntax element, in the provenance notation.</p>
 <div style="text-align: left; ">
 <table class="thinborder" style="margin-left: auto; margin-right: auto;">
 <tr><td><b><a href="#dfn-mentionof">Mention</a></b></td><td><b>Non-Terminal</b></td></tr>