mention document
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Fri, 23 Nov 2012 12:49:03 +0000
changeset 4938 60808db195bb
parent 4932 eb463da7ecc7
child 4939 1d28e48de55b
mention document
mention/prov-mention.html
--- a/mention/prov-mention.html	Thu Nov 22 17:40:32 2012 +0000
+++ b/mention/prov-mention.html	Fri Nov 23 12:49:03 2012 +0000
@@ -13,6 +13,32 @@
 <!-- see http://www.somacon.com/p141.php for table configuration -->
     <style type="text/css">
       .note { font-size:small; margin-left:50px }
+
+  .entity {
+          border: 1px solid navy;
+          margin:5px 0px 5px 0px;
+          padding: 5px;    
+      }
+
+    
+
+      .description {
+          border-top: 1px dashed gray;
+          border-bottom: 1px dashed gray;
+          background-color: rgb(242, 243, 244);
+          margin-top:5px;
+          padding-bottom:5px;
+      }
+
+      .description dl {
+          background-color: rgb(242, 243, 244);
+      }
+
+      .description ul {
+          padding-left: 12px;
+          margin-top: 0px;
+      }
+
 code {
     color:  black !important;
 }
@@ -1009,11 +1035,11 @@
 Provenance is information about entities, activities, and people
 involved in producing a piece of data or thing, which can be used to
 form assessments about its quality, reliability or trustworthiness.
-Bundles, defined sets of provenance descriptions, are a mechanism by
-which provenanceof provenance can be expressed.</p>
+Bundles, defined as sets of provenance descriptions, are a mechanism by
+which provenance of provenance can be expressed.</p>
 
 <p>
-In  applications where provenance is created by multiple parties over time, it is useful for provenance descriptions of one party to link to provenance descriptions of another party. To address this issue, this document introduces a relation allowing a description entity to be linked to another entity described in antoher bundle.
+In  applications where provenance is created by multiple parties over time, it is useful for provenance descriptions of one party to link to provenance descriptions of another party. To address this issue, this document introduces a relation allowing an entity description to be linked to another entity description occurring in another bundle.
 </p>
 
 
@@ -1059,9 +1085,6 @@
     <section id="mention-dm"> 
       <h2>Data Model Definition</h2> 
 
-<section id="term-mention">
-
-<h4>Mention</h4>
 
 
 
@@ -1119,7 +1142,32 @@
 </ul>
 </div>
 
-<p>Mention is not  defined as Influence, and therefore does not have an id and attributes.</p>
+<p>A mention is not, as  defined here, as an influence, and therefore does not have an id and attributes.</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>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-bIdentifier" name="prod-bIdentifier"></a>&nbsp;&nbsp;&nbsp;</td> <td><code class="production prod">bIdentifier</code></td> <td>&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</td> <td><code class="content"><span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2012/CR-prov-n-20121211/#prod-identifier">identifier</a></span></code></td> </tr> </tbody>
+</table>
+</table>
+
+<p>The following table summarizes how each constituent of a PROV-DM Mention maps to a PROV-N syntax element.</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>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+
+
+<tr><td><a href="#mention.specificEntity"><span class='attribute' id="mention.specificEntity">specificEntity</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2012/CR-prov-n-20121211/#prod-eIdentifier">eIdentifier</a></code></td></tr>
+
+
+<tr><td><a href="#mention.generalEntity"><span class='attribute' id="mention.generalEntity">generalEntity</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2012/CR-prov-n-20121211/#prod-eIdentifier">eIdentifier</a></code></td></tr>
+
+<tr><td><a href="#mention.bundle"><span class='attribute' id="mention.bundle">bundle</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-bIdentifier">bIdentifier</a></code></td></tr>
+
+</table>
+</div>
+
+
 
 <div class="anexample" id="anexample-mention-rating">
 <p>This example is concerned with a performance rating tool that reads and processes provenance to determine the performance of agents.  To keep the example simple, an agent's performance is determined by the duration of the activities it is associated with. </p>
@@ -1194,108 +1242,182 @@
 </section>
 
 
-<section id="mention-o"> 
-      <h2>Ontological Definition of Mention</h2> 
-<p>
-    <a href="#mentionOf" class="qname">prov:mentionOf</a> is a special type of <span class="repeated">prov:specializationOf</span> whose subject presents as an aspec
-t a particular <span class="repeated">prov:Bundle</span> in which its more general Entity was described (<a href="#asInBundle" class="qname">prov:asInBundle</a> is u
-sed to cite the Bundle in which the generalization was mentioned).
-</p>
-
-</section> 
 
-<section id="mention-n"> 
-      <h2>Provenance Notation</h2> 
+<section id="mention-ontology"> 
+      <h2>Ontological Definition of Mention</h2> 
 
-<section id="expression-mention"> 
-<h4>Mention</h4>
-
+<p>The ternary relation <a>mentionOf</a> is encoded as two properties: 
+<a href="#mentionOf">prov:mentionOf</a> and
+<a href="#asInBundle">prov:asInBundle</a>, defined as follows.</p>
 
+<div class="entity" id="mentionOf">
+    <h3 id="property--prov-mentionof-op-----------------back-to-expanded-properties">
+      Property: <a href="#mentionOf"><span title="http://www.w3.org/ns/prov#mentionOf" class="dotted">prov:mentionOf</span></a> <sup title="object property" class="type-op">op</sup>
 
-<table class="grammar">
-<tbody class="grammar-ref" data-ref="prod-mentionExpression"></tbody>
-</table>
+    </h3>
+    <p><strong class="crossreference">IRI:</strong>http://www.w3.org/ns/prov#mentionOf</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="#prod-eIdentifier">eIdentifier</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-eIdentifier">eIdentifier</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-bIdentifier">bIdentifier</a></span> ")"</code></td> </tr> </tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-bIdentifier" name="prod-bIdentifier"></a>[<span class="prodNo">34</span>]&nbsp;&nbsp;&nbsp;</td> <td><code class="production prod">bIdentifier</code></td> <td>&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-identifier">identifier</a></span></code></td> </tr> </tbody>
-</table>
-</table>
+    <div class="description">
+      <div class="comment "><p>When :x prov:mentionOf :y and :y is described in Bundle :b, the triple :x prov:asInBundle :b is also asserted to cite the Bundle in which :y was described.</p>
+      </div>
+      <div class="comment "><p>prov:asInBundle is used to cite the Bundle in which the generalization was mentioned.</p>
+      </div>
+      <dl>
 
-<p>The following table summarizes how each constituent of a PROV-DM Mention maps to a PROV-N syntax element.</p>
-<div style="text-align: left; ">
-<table class="thinborder" style="margin-left: auto; margin-right: auto;">
-<tr><td><b><a href="http://www.w3.org/TR/prov-dm/#dfn-mentionof">Mention</a></b></td><td><b>Non-Terminal</b></td></tr>
-<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+        <dt>has super-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a class="owlclass" href="#specializationOf" title="http://www.w3.org/ns/prov#specializationOf">prov:specializationOf</a> <sup title="object property" class="type-op">op</sup>
+            </li>
+          </ul>
+        </dd>
 
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a class="owlclass" href="#Entity" title="http://www.w3.org/ns/prov#Entity">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
 
-<tr><td><a href="#mention.specificEntity"><span class='attribute' id="mention.specificEntity">specificEntity</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-eIdentifier">eIdentifier</a></code></td></tr>
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a class="owlclass" href="#Entity" title="http://www.w3.org/ns/prov#Entity">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+      <dt>PROV-DM term</dt>
+      <dd>
+         <a href="http://www.w3.org/TR/2012/WD-prov-dm-20120724/Overview.html#term-mention" title="prov-dm">mention</a>      </dd>
+
+      </dl>
+    </div>
+  </div>
 
 
-<tr><td><a href="#mention.generalEntity"><span class='attribute' id="mention.generalEntity">generalEntity</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-eIdentifier">eIdentifier</a></code></td></tr>
-
-<tr><td><a href="#mention.bundle"><span class='attribute' id="mention.bundle">bundle</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-bIdentifier">bIdentifier</a></code></td></tr>
-
-</table>
-</div>
+<div class="entity" id="asInBundle">
+    <h3 id="property--prov-asinbundle-op-----------------back-to-expanded-properties">
+      Property: <a href="#asInBundle"><span title="http://www.w3.org/ns/prov#asInBundle" class="dotted">prov:asInBundle</span></a> <sup title="object property" class="type-op">op</sup>
+    </h3>
+    <p><strong class="crossreference">IRI:</strong>http://www.w3.org/ns/prov#asInBundle</p>
 
 
-<div class="anexample">
-<pre class="codeexample">
-  mention(ex:report1_as_in_b1, ex:report1, ex:b1)   
+    <div class="description">
+      <div class="comment "><p>When :x prov:mentionOf :y and :y is described in Bundle :b, the triple :x prov:asInBundle :b is also asserted to cite the Bundle in which :y was described.</p>
+      </div>
+      <dl>
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a class="owlclass" href="#Entity" title="http://www.w3.org/ns/prov#Entity">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a class="owlclass" href="#Bundle" title="http://www.w3.org/ns/prov#Bundle">prov:Bundle</a>
+            </li>
+          </ul>
+        </dd>
+
+      <dt>PROV-DM term</dt>
+      <dd>
+         <a href="http://www.w3.org/TR/2012/WD-prov-dm-20120724/Overview.html#term-mention" title="prov-dm">mention</a>      </dd>
+
+      </dl>
+    </div>
+  </div>
+
+    <div class="anexample" typeof="prov:Entity" about="#example-for-property-mentionOf">
+      <span resource="http://www.w3.org/ns/prov#mentionOf" rel="dcterms:subject"></span>
+      <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_mentionOf.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
[email protected] xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
[email protected] owl:  &lt;http://www.w3.org/2002/07/owl#&gt; .
[email protected] prov: &lt;http://www.w3.org/ns/prov#&gt; .
[email protected] tool: &lt;http://example.com/tool/&gt; .
[email protected] perf: &lt;http://example.com/performance/&gt; .
[email protected] :     &lt;http://example.com/&gt; .
+
+:run2 {
+   :activity_2
+      a prov:Activity;
+      prov:startedAtTime "2011-11-17T10:00:00"^^xsd:dateTime;
+      prov:endedAtTime   "2011-11-17T17:00:00"^^xsd:dateTime; 
+      prov:wasAssociatedWith :bob;
+   .
+}
+
+tool:analysis_01 {
+   tool:bob-2011-11-17
+      a prov:Agent;
+      prov:mentionOf  :bob;
+      prov:asInBundle :run2;
+      perf:rating     perf:very-slow;
+   .
+}
+
+# This is inferred from prov:mentionOf
+tool:bob-2011-11-17 prov:specializationOf :bob . 
+
+# This is inferred from prov:specializationOf
+tool:bob-2011-11-17 prov:alternateOf      :bob . 
 </pre>
-<p>  Here
-  <span class="name">ex:report1_as_in_b1</span> is an entity identifier,
-  <span class="name">ex:report1</span> is an entity identifier,
-  <span class="name">ex:b1</span> is the identifier for a bundle
+    </div>
+
+<div class="anexample" typeof="prov:Entity" about="#example-for-property-asInBundle">
+      <span resource="http://www.w3.org/ns/prov#asInBundle" rel="dcterms:subject"></span>
+      <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_asInBundle.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
[email protected] xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
[email protected] owl:  &lt;http://www.w3.org/2002/07/owl#&gt; .
[email protected] prov: &lt;http://www.w3.org/ns/prov#&gt; .
[email protected] tool: &lt;http://example.com/tool/&gt; .
[email protected] perf: &lt;http://example.com/performance/&gt; .
[email protected] :     &lt;http://example.com/&gt; .
+
+:run2 {
+   :activity_2
+      a prov:Activity;
+      prov:startedAtTime "2011-11-17T10:00:00"^^xsd:dateTime;
+      prov:endedAtTime   "2011-11-17T17:00:00"^^xsd:dateTime; 
+      prov:wasAssociatedWith :bob;
+   .
+}
+
+tool:analysis_01 {
+   tool:bob-2011-11-17
+      a prov:Agent;
+      prov:mentionOf  :bob;
+      prov:asInBundle :run2;
+      perf:rating     perf:very-slow;
+   .
+}
+
+# This is inferred from prov:mentionOf
+tool:bob-2011-11-17 prov:specializationOf :bob . 
+
+# This is inferred from prov:specializationOf
+tool:bob-2011-11-17 prov:alternateOf      :bob . 
+</pre>
 </div>
 
-
-
 </section>
 
-</section> 
-
-<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"> 
       <h2>XML Schema for Mention</h2> 
 
 
-<div id="term-Mention" class="section">
-<h4><span class="secno">2.5.3 </span>Mention</h4>
-<div class="glossary-ref">   The <dfn id="concept-mention">mention</dfn> of an entity in a bundle (containing a description of this entity) is another entity that is a specialization of the former and that presents the bundle as a further additional aspect. </div>
+
 <p>Type definition in XML Schema:</p><pre class="schema-type">&lt;xs:complexType xmlns:xs="http://www.w3.org/2001/XMLSchema" name="Mention"&gt;
   &lt;xs:sequence&gt;
     &lt;xs:element name="specificEntity" type="prov:EntityRef"/&gt;
@@ -1306,7 +1428,8 @@
 </pre>
 <p>Usage in XML:</p><pre class="schema-usage">&lt;xs:element xmlns:xs="http://www.w3.org/2001/XMLSchema" name="mentionOf" type="prov:Mention"/&gt;
 </pre>
-<pre class="example">&lt;prov:document
+<div class="anexample">
+<pre>&lt;prov:document
     xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema"
     xmlns:prov="http://www.w3.org/ns/prov#"
@@ -1362,8 +1485,7 @@
     &lt;/prov:mentionOf&gt;</b>
   &lt;/prov:bundle&gt;
 
-&lt;/prov:document&gt;</pre>
-</div>
+&lt;/prov:document&gt;</pre></div>
 </section> 
 
 
@@ -1379,6 +1501,40 @@
 </div>
 
 
+<section id="mention-constraints"> 
+      <h2>Constraints associated with 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 class="appendix"> 
       <h2>Acknowledgements</h2> 
       <p>