updates to prov-dm
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Wed, 27 Jun 2012 10:37:22 +0100
changeset 3453 4995ffaf9b57
parent 3452 060f5a01ccaf
child 3454 15c2fde85974
updates to prov-dm
model/prov-dm.html
model/uml/component5.png
model/uml/component5.svg
--- a/model/prov-dm.html	Wed Jun 27 10:16:22 2012 +0100
+++ b/model/prov-dm.html	Wed Jun 27 10:37:22 2012 +0100
@@ -1418,14 +1418,14 @@
 <h2>PROV-DM Types and Relations</h2>
 
 <p>Provenance concepts, expressed as PROV-DM types and relations, are organized according to six components that are defined in this section.
-The components and their dependencies are illustrated in <a href="#prov-dm-components">Figure 4</a>. A component that relies on concepts defined in another is displayed above it in the figure.  So, for example, component 6 (collections) depends on concepts defined in component 3 (derivation), itself dependen on concepts defined in component 1 (entity and activity).
+The components and their dependencies are illustrated in <a href="#prov-dm-components">Figure 4</a>. A component that relies on concepts defined in another is displayed above it in the figure.  So, for example, component 5 (alternate) depends on concepts defined in component 4 (bundles), itself dependen on concepts defined in component 1 (entity and activity).
 </p>
 
 <div id="prov-dm-components-ul">
 <ul>
 <li><b>Component 1: entities and activities.</b> The first component consists of entities, activities, and concepts linking them, such as generation, usage, start, end. The first component is the only one comprising time-related concepts. </li>
 <li><b>Component 2: derivations.</b>  The second component is formed with derivations and derivation subtypes.</li>
-<li><b>Component 3: agents and responsibility.</b> The third component consists of agents and concepts ascribing responsibility to agents.</li>
+<li><b>Component 3: agents, responsibility, and influence.</b> The third component consists of agents and concepts ascribing responsibility to agents.</li>
 <li><b>Component 4: bundles.</b> The fourth component is concerned with bundles, a mechanism to support provenance of provenance.</li>
 <li><b>Component 5: alternate.</b> The fifth component consists of relations linking entities referring to the same thing. </li>
 <li><b>Component 6: collections.</b> The sixth component is about collections and concepts capturing their transformation, such as insertion and removal. </li>
@@ -1461,7 +1461,7 @@
 <caption id="relations-at-a-glance">Table 4: PROV-DM Relations At a Glance</caption>
 <tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td colspan="6">Object</td></tr> 
 <tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td colspan="2">Entity</td><td colspan="2">Activity</td><td colspan="2">Agent</td></tr> 
-<tr><td rowspan="3">Subject</td><td>Entity</td><td colspan="2"><div class="component2-color"><a class="essential">WasDerivedFrom</a><br><a>WasRevisionOf</a><br><a>WasQuotedFrom</a><br><a>HadPrimarySource</a></div><div class="component5-color"><a>AlternateOf</a><br><a>SpecializationOf</a></div></td><td class="component1-color"><a class="essential"
+<tr><td rowspan="3">Subject</td><td>Entity</td><td colspan="2"><div class="component2-color"><a class="essential">WasDerivedFrom</a><br><a>Revision</a><br><a>Quotation</a><br><a>PrimarySource</a></div><div class="component5-color"><a>AlternateOf</a><br><a>SpecializationOf</a></div></td><td class="component1-color"><a class="essential"
 title="wasGeneratedBy">WasGeneratedBy</a><br><a
 title="wasInvalidatedBy">WasInvalidatedBy</a></td><td class="component1-color" style="font-style: italic; ">R<br>T<br></td><td class="component3-color" colspan="2"><a class="essential">WasAttributedTo</a></td></tr>
 <tr><td>Activity</td><td class="component1-color"><a class="essential">Used</a><br><a>WasStartedBy</a><br><a>WasEndedBy</a></td><td class="component1-color" style="font-style: italic; ">R<br>T<br></td><td colspan="2" class="component1-color"><a class="essential">WasInformedBy</a></td><td class="component3-color"><a class="essential">WasAssociatedWith</a></td><td class="component3-color" style="font-style: italic; ">R<br></td></tr>
@@ -1490,13 +1490,13 @@
 
 
 <tr class="component2-color"><td class="essential"><a>Derivation</a></td><td><a title="wasDerivedFrom"><span class="essential">wasDerivedFrom(</span>id; <span class="essential">e2, e1</span>, a, g2, u1, attrs<span class="essential">)</span></a></td><td  rowspan="5"><a href="#component2">Component 2: Derivations</a></td></tr>
-<tr class="component2-color"><td class="provType"><a>Revision</a></td><td><a title="WasRevisionOf">... prov:type='prov:WasRevisionOf' ...</a></td></tr>
-<tr class="component2-color"><td class="provType"><a>Quotation</a></td><td><a title="WasQuotedFrom">... prov:type='prov:WasQuotedFrom' ...</a></td></tr>
-<tr class="component2-color"><td class="provType"><a>Primary Source</a></td><td><a title="HadPrimarySource">... prov:type='prov:HadPrimarySource' ...</a></td></tr>
+<tr class="component2-color"><td class="provType"><a>Revision</a></td><td><a title="Revision">... prov:type='prov:Revision' ...</a></td></tr>
+<tr class="component2-color"><td class="provType"><a>Quotation</a></td><td><a title="Quotation">... prov:type='prov:Quotation' ...</a></td></tr>
+<tr class="component2-color"><td class="provType"><a>Primary Source</a></td><td><a title="PrimarySource">... prov:type='prov:PrimarySource' ...</a></td></tr>
 <tr class="component2-color"><td><a>Influence</a></td><td><a title="wasInfluencedBy">wasInfluencedBy(id;e2,e1,attrs)</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><a title="dfn-agent" class="essential">agent(id, [ attr1=val1, ...])</a></td><td  rowspan="8"><a href="#component3">Component 3: Agents/Responsibility</a></td></tr>
+<tr class="component3-color" style="border-collapse: collapse; "><td  class="essential"><a>Agent</a></td><td><a title="dfn-agent" class="essential">agent(id, [ attr1=val1, ...])</a></td><td  rowspan="8"><a href="#component3">Component 3: Agents, Responsibility, Influence</a></td></tr>
 <tr class="component3-color"><td class="essential"><a>Attribution</a></td><td><a title="wasAttributedTo"><span class="essential">wasAttributedTo(</span>id;<span class="essential">e,ag</span>,attr<span class="essential">)</span></a></td></tr>
 <tr class="component3-color"><td class="essential"><a>Association</a></td><td><a title="wasAssociatedWith"><span class="essential">wasAssociatedWith(</span>id;<span class="essential">a,ag</span>,pl,attrs<span class="essential">)</span></a></td></tr>
 <tr class="component3-color"><td class="essential"><a>Delegation</a></td><td><a title="actedOnBehalfOf"><span class="essential">actedOnBehalfOf(</span>id;<span class="essential">ag2,ag1</span>,a,attrs<span class="essential">)</span></a></td></tr>
@@ -1979,6 +1979,7 @@
 (<a>Entity</a>, <a>Activity</a>) and binary association
 (<a>Derivation</a>). PROV extended structures are found outside this
 area. UML association classes express expanded n-ary relations.
+The subclasses are marked by the UML stereotype "prov:type" to indicate that that the corresponding types are valid values for the attribute <a href="#term-attribute-type">prov:type</a>.
 </p>
 
 
@@ -2057,7 +2058,7 @@
      original.
 Revision is a particular case of <a>derivation</a> of an entity into its revised version.
 The type is of a revision derivation is denoted by:
-<dfn title="WasRevisionOf"><span class="name">prov:WasRevisionOf</span></dfn>.
+<dfn title="Revision"><span class="name">prov:Revision</span></dfn>.
 </p>
 
 <!-- <p> A <dfn title="wasRevisionOf">revision</dfn> relation<span class="withPn">, written <span class="pnExpression">wasRevisionOf(id; e2, e1, a, g2, u1, attrs)</span> in PROV-N,</span> has:</p>
@@ -2082,7 +2083,7 @@
 <pre class="codeexample">
 entity(tr:WD-prov-dm-20111215, [ prov:type='rec54:WD'  ])
 entity(tr:WD-prov-dm-20111018, [ prov:type='rec54:WD'  ])
-wasDerivedFrom(tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018, [ prov:type='prov:WasRevisionOf' ])
+wasDerivedFrom(tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018, [ prov:type='prov:Revision' ])
 </pre>
 </div>
 
@@ -2100,7 +2101,7 @@
 <p>Quotation
  is a particular case of  <a>derivation</a> in which an entity is derived from an original entity by copying, or "quoting", some or all of it.
 The type is of a quotation derivation is denoted by:
-<dfn title="WasQuotedFrom"><span class="name">prov:WasQuotedFrom</span></dfn>.
+<dfn title="Quotation"><span class="name">prov:Quotation</span></dfn>.
 </p>
 
 
@@ -2135,7 +2136,7 @@
 agent(ex:Paul)
 wasDerivedFrom(dm:bl-dagstuhl,
                wp:thoughts-from-the-dagstuhl-principles-of-provenance-workshop/,
-               [ prov:type='prov:WasQuotedFrom' ])
+               [ prov:type='prov:Quotation' ])
 wasAttributedTo(dm:bl-dagstuhl, ex:Luc)
 wasAttributedTo(wp:thoughts-from-the-dagstuhl-principles-of-provenance-workshop/, ex:Paul)
 </pre>
@@ -2166,7 +2167,7 @@
 should be done according to conventions accepted within the
 application's domain. 
 The type is of a  primary source derivation is denoted by:
-<dfn title="HadPrimarySource"><span class="name">prov:HadPrimarySource</span></dfn>.
+<dfn title="PrimarySource"><span class="name">prov:PrimarySource</span></dfn>.
 </p>
 
 
@@ -2184,7 +2185,7 @@
 entity(ex:revue-d-Histoire-de-la-Pharmacie-t-XVIII, [ prov:type="journal" ])
 wasDerivedFrom(ex:la-campagne-de-Russie-1812-1813,
                ex:revue-d-Histoire-de-la-Pharmacie-t-XVIII,
-               [ prov:type='prov:HadPrimarySource' ])
+               [ prov:type='prov:PrimarySource' ])
 </pre>
 </div>
 
@@ -2196,7 +2197,7 @@
 </section>
 
 <section id="component3"> 
-<h3>Component 3: Agents and Responsibility</h3>
+<h3>Component 3: Agents, Responsibility, and Influence</h3>
 
 <p>The second component of PROV-DM, depicted in  <a href="#figure-component3">Figure 7</a>, is concerned with <a title="agent">agents</a> and the notions of
 <a>Attribution</a>, <a>Association</a>, <a>Delegation</a>, relating agents to entities, activities, and agents, respectively.
@@ -2208,10 +2209,11 @@
 <figure>
 <!-- <img src="images/Agents-Responsibility.png" alt="agents and responsibilities"/> -->
 <img src="uml/component3.png" alt="agents and responsibilities"/>
-<figcaption id="figure-component3">Figure 7: Agents and Responsibility Component Overview</figcaption>
+<figcaption id="figure-component3">Figure 7: Agents and Responsibility Overview</figcaption>
 </figure>
 </div>
 
+<p>Component 3 further defines a general notion of <a>influence</a>, as a super-relation of all relations defined so far. <a href="#figure-component3b">Figure 7b</a> displays one new association class, generalizing previously introduced associations.</p>
 
 
 <div style="text-align: center;">
@@ -2769,7 +2771,7 @@
 <p>User Alice writes an article. In its provenance, she wishes to refer to the precise version of the article with a date-specific IRI, as she might edit the article later. Alternatively, user Bob refers to the article in general, independently of its variants over time.</p>
 </div>
 <p>
-The PROV data model introduces relations, called specialization, alternate, and contextualization,
+The PROV data model introduces relations, called specialization and alternate
 that allow entities  to be linked together. They are defined as follows. </p>
 
 
@@ -2803,7 +2805,7 @@
 If this attribute is removed, then Examples
 <a href="#anexample-specialization-rating" class="anexample-ref"><span>Example REF</span></a> and
 <a href="#aexample-specialization-viz" class="anexample-ref"><span>Example REF</span></a>
-will be removed from the specification.
+will also be removed from the specification. The working seeks feedback about the implementability of this feature.
 </div>
 
 <div class="anexample" id="anexample-specialization">
@@ -2820,7 +2822,7 @@
 
 <p>The following two examples illustrate the use of the <a href="#specialization.bundle">bundle attribute</a> in a <a>specialization</a> relation. The descriptions in a bundle allow
 an entity to be interpreted in
-domain-specific manner.  <a href="#anexample-specialization-rating" class="anexample-ref"><span>Example REF</span></a> illustrates how the performance of an agent can be determined.
+domain-specific manner.  <a href="#anexample-specialization-rating" class="anexample-ref"><span>Example REF</span></a> illustrates how the performance of an agent might be determined.
 </p>
 
 
@@ -3180,7 +3182,7 @@
 <tr><td><b>Attribute</b></td><td><b>Allowed In</b></td><td><b>value</b></td><td><b>Section</b></td></tr> 
 <tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "><td style="border-width: 0px; "></td></tr>
 <tr><td><a title="label">prov:label</a></td><td><em>any construct</em></td><td>A <a>Value</a> of type <a class="section-ref" href="http://www.w3.org/TR/xmlschema11-2/#string">xsd:string</a></td><td><a class="section-ref" href="#term-attribute-label"><span>TBD</span></a> </td></tr>
-<tr><td><a title="location">prov:location</a></td><td><a>Entity</a>, <a>Activity</a>, <a>Usage</a>, and <a>Generation</a>.</td><td>A <a title="value">Value</a></td><td><a class="section-ref" href="#term-attribute-location"><span>TBD</span></a> </td></tr>
+<tr><td><a title="location">prov:location</a></td><td><em>any construct</em></td><td>A <a title="value">Value</a></td><td><a class="section-ref" href="#term-attribute-location"><span>TBD</span></a> </td></tr>
 <tr><td><a title="role">prov:role</a></td><td><a>Usage</a>, <a>Generation</a>, <a>Invalidation</a>, <a>Association</a>, <a>Start</a>, and <a>End</a></td><td>A <a title="value">Value</a></td><td><a class="section-ref" href="#term-attribute-role"><span>TBD</span></a> </td></tr>
 <tr><td><a title="type">prov:type</a></td><td><em>any construct</em></td><td>A <a title="value">Value</a></td><td><a class="section-ref" href="#term-attribute-type"><span>TBD</span></a> </td></tr>
 <tr><td><a title="value-attribute">prov:value</a></td><td><a>Entity</a></td><td>A <a title="value">Value</a></td><td><a  class="section-ref" href="#term-attribute-value"><span>TBD</span></a> </td></tr>
@@ -3217,7 +3219,7 @@
 
 
 <p>
-The attribute <span class="name">prov:location</span> is an OPTIONAL attribute of entity, activity, usage, and generation.  The value associated with the  attribute <span class="name">prov:location</span> MUST be a PROV-DM <a title="value">Value</a>, expected to denote a location.
+The attribute <span class="name">prov:location</span> is an OPTIONAL attribute.  The value associated with the  attribute <span class="name">prov:location</span> MUST be a PROV-DM <a title="value">Value</a>, expected to denote a location.
 </p>
 
 <div class="anexample" id="example-location">
@@ -3284,13 +3286,13 @@
 <tr><td><a title="collection"><span class="name">prov:Collection</span></a></td><td><a class="section-ref" href="#term-collection"><span>TBD</span></a></td><td><a>Entity</a></td></tr>
 <tr><td><a title="dictionary"><span class="name">prov:Dictionary</span></a></td><td><a class="section-ref" href="#term-dictionary"><span>TBD</span></a></td><td><a>Entity</a></td></tr>
 <tr><td><a title="empty dictionary"><span class="name">prov:EmptyDictionary</span></a></td><td><a class="section-ref" href="#term-dictionary"><span>TBD</span></a></td><td><a>Entity</a></td></tr>
-<tr><td><a title="primary source"><span class="name">prov:HadPrimarySource</span></a></td><td><a class="section-ref" href="#term-primary-source"><span>TBD</span></a></td><td><a>Derivation</a></td></tr>
+<tr><td><a title="primary source"><span class="name">prov:PrimarySource</span></a></td><td><a class="section-ref" href="#term-primary-source"><span>TBD</span></a></td><td><a>Derivation</a></td></tr>
 <tr><td><a title="organization"><span class="name">prov:Organization</span></a></td><td><a class="section-ref" href="#term-agent"><span>TBD</span></a></td><td><a>Agent</a></td></tr>
 <tr><td><a title="person"><span class="name">prov:Person</span></a></td><td><a class="section-ref" href="#term-agent"><span>TBD</span></a></td><td><a>Agent</a></td></tr>
 <tr><td><a title="plan"><span class="name">prov:Plan</span></a></td> <td><a class="section-ref" href="#term-entity"><span>TBD</span></a></td><td><a>Entity</a></td></tr>
 <tr><td><a title="software-agent"><span class="name">prov:SoftwareAgent</span></a></td><td><a class="section-ref" href="#term-agent"><span>TBD</span></a></td><td><a>Agent</a></td></tr>
-<tr><td><a title="Quotation"><span class="name">prov:WasQuotedFrom</span></a></td><td><a class="section-ref" href="#term-quotation"><span>TBD</span></a></td><td><a>Derivation</a></td></tr>
-<tr><td><a title="Revision"><span class="name">prov:WasRevisionOf</span></a></td><td><a class="section-ref" href="#term-revision"><span>TBD</span></a></td><td><a>Derivation</a></td></tr>
+<tr><td><a title="Quotation"><span class="name">prov:Quotation</span></a></td><td><a class="section-ref" href="#term-quotation"><span>TBD</span></a></td><td><a>Derivation</a></td></tr>
+<tr><td><a title="Revision"><span class="name">prov:Revision</span></a></td><td><a class="section-ref" href="#term-revision"><span>TBD</span></a></td><td><a>Derivation</a></td></tr>
 </table>
 
 </section>
Binary file model/uml/component5.png has changed
--- a/model/uml/component5.svg	Wed Jun 27 10:16:22 2012 +0100
+++ b/model/uml/component5.svg	Wed Jun 27 10:37:22 2012 +0100
@@ -155,8 +155,6 @@
       >AlternateOf</text
     ></g
     ><g fill="rgb(120,120,120)" text-rendering="geometricPrecision" fill-opacity="1" font-size="8" stroke-opacity="1" stroke="rgb(120,120,120)"
-    ><text x="0" xml:space="preserve" y="10" stroke="none"
-      >Visual Paradigm for UML Standard Edition(University of Southampton)</text
     ></g
   ></g
 ></svg