prov: changeset 3279:76597427d41d

--- a/model/diff.html	Mon Jun 11 22:54:20 2012 +0100
+++ b/model/diff.html	Mon Jun 11 22:56:11 2012 +0100
@@ -955,7 +955,7 @@
     font-weight:    bold;
 }
 </span></style><link href="./extra-dm.css" rel="stylesheet" type="text/css" charset="utf-8"><link href="http://www.w3.org/StyleSheets/TR/W3C-ED" rel="stylesheet" type="text/css" charset="utf-8"></head> 
-  <body style="display: inherit; "><div class="head"><p><a href="http://www.w3.org/"><img width="72" height="48" src="http://www.w3.org/Icons/w3c_home" alt="W3C"></a></p><h1 class="title" id="title">PROV-DM: The PROV Data Model</h1><h2 id="subtitle"><span class="insert">working towards WD6 (</span><a href="diff.html"><span class="insert">Diffs since last release</span></a><span class="insert">)</span></h2><h2 id="w3c-editor-s-draft-30-may-2012"><acronym title="World Wide Web Consortium">W3C</acronym> <span class="delete">Working</span><span class="insert">Editor's</span> Draft <span class="delete">03</span><span class="insert">30</span> May 2012</h2><dl><dt>This version:</dt><dd><span class="delete">http://www.w3.org/TR/2012/WD-prov-dm-20120503/</span><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html"><span class="insert">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html</span></a></dd><dt>Latest published version:</dt><dd><a href="http://www.w3.org/TR/prov-dm/">http://www.w3.org/TR/prov-dm/</a></dd><dt>Latest editor's draft:</dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html</a></dd><dt>Previous version:</dt><dd><span class="delete">http://www.w3.org/TR/2012/WD-prov-dm-20120202/</span><a href="http://www.w3.org/TR/2012/WD-prov-dm-20120503/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-dm-20120503/</span></a></dd><dt>Editors:</dt><dd><a href="http://www.ecs.soton.ac.uk/~lavm/">Luc Moreau</a>, University of Southampton</dd>
+  <body style="display: inherit; "><div class="head"><p><a href="http://www.w3.org/"><img width="72" height="48" src="http://www.w3.org/Icons/w3c_home" alt="W3C"></a></p><h1 class="title" id="title">PROV-DM: The PROV Data Model</h1><h2 id="subtitle"><span class="insert">preparing for internal release (WD6) (</span><a href="diff.html"><span class="insert">Diffs since last release</span></a><span class="insert">)</span></h2><h2 id="w3c-editor-s-draft-11-june-2012"><acronym title="World Wide Web Consortium">W3C</acronym> <span class="delete">Working</span><span class="insert">Editor's</span> Draft <span class="delete">03 May</span><span class="insert">11 June</span> 2012</h2><dl><dt>This version:</dt><dd><span class="delete">http://www.w3.org/TR/2012/WD-prov-dm-20120503/</span><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html"><span class="insert">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html</span></a></dd><dt>Latest published version:</dt><dd><a href="http://www.w3.org/TR/prov-dm/">http://www.w3.org/TR/prov-dm/</a></dd><dt>Latest editor's draft:</dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html</a></dd><dt>Previous version:</dt><dd><span class="delete">http://www.w3.org/TR/2012/WD-prov-dm-20120202/</span><a href="http://www.w3.org/TR/2012/WD-prov-dm-20120503/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-dm-20120503/</span></a></dd><dt>Editors:</dt><dd><a href="http://www.ecs.soton.ac.uk/~lavm/">Luc Moreau</a>, University of Southampton</dd>
 <dd><a href="http://www.cs.ncl.ac.uk/people/Paolo.Missier">Paolo Missier</a>, Newcastle University</dd>
 <dt><span class="delete">Contributors:</span><span class="insert">Authors:</span></dt><dd><a href="http://semanticweb.org/wiki/Khalid_Belhajjame">Khalid Belhajjame</a>, University of Manchester</dd>
 <dd><span>Reza B'Far</span>, Oracle Corporation</dd>
@@ -1040,7 +1040,7 @@
 <span class="delete">Fourth Public Working Draft</span>
 <p>This <span class="delete">is the fourth public release of the PROV-DM document. Following feedback, the Working Group has decided to reorganize this document substantially, separating the data model from its contraints and the notation used to illustrate it. The PROV-DM release is synchronized with the release of the PROV-O, PROV-PRIMER, PROV-N, and PROV-CONSTRAINTS documents. We are now clarifying the entry path to the PROV family of specifications.</span>
 <span class="delete">This </span>document was published by the <a href="http://www.w3.org/2011/prov/">Provenance Working Group</a> as <span class="delete">a Working</span><span class="insert">an Editor's</span> Draft. <span class="delete">This document is intended</span><span class="insert">If you wish</span> to <span class="delete">become a </span><span class="delete">W3C</span><span class="delete"> Recommendation. If you wish</span><span class="insert">make comments regarding this document, please send them</span> to <span class="delete">make comments regarding this document, please send them to </span><span class="delete">public-prov-wg@w3.org</span><a href="mailto:public-prov-comments@w3.org"><span class="insert">public-prov-comments@w3.org</span></a> (<a href="mailto:public-prov-comments-request@w3.org?subject=subscribe">subscribe</a>, <a href="http://lists.w3.org/Archives/Public/public-prov-comments/">archives</a>). All feedback is welcome.</p><p>Publication as <span class="delete">a Working</span><span class="insert">an Editor's</span> Draft does not imply endorsement by the <acronym title="World Wide Web Consortium">W3C</acronym> Membership. This is a draft document and may be updated, replaced or obsoleted by other documents at any time. It is inappropriate to cite this document as other than work in progress.</p><p>This document was produced by a group operating under the <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/">5 February 2004 <acronym title="World Wide Web Consortium">W3C</acronym> Patent Policy</a>. <acronym title="World Wide Web Consortium">W3C</acronym> maintains a <a href="http://www.w3.org/2004/01/pp-impl/46974/status" rel="disclosure">public list of any patent disclosures</a> made in connection with the deliverables of the group; that page also includes instructions for disclosing a patent. An individual who has actual knowledge of a patent which the individual believes contains <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#def-essential">Essential Claim(s)</a> must disclose the information in accordance with <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#sec-Disclosure">section 6 of the <acronym title="World Wide Web Consortium">W3C</acronym> Patent Policy</a>.</p></div><div id="toc" class="section"><h2 class="introductory">Table of Contents</h2><ul class="toc"><li class="tocline"><a href="#introduction" class="tocxref"><span class="secno">1. </span>Introduction<br>
-</a><ul class="toc"><li class="tocline"><a href="#structure-of-this-document" class="tocxref"><span class="secno">1.1 </span>Structure of this Document</a></li><li class="tocline"><a href="#conventions" class="tocxref"><span class="secno">1.2 </span>Notational Conventions</a></li></ul></li><li class="tocline"><a href="#section-prov-overview" class="tocxref"><span class="secno">2. </span>PROV <span class="delete">Starting Points</span><span class="insert">Overview</span></a><ul class="toc"><li class="tocline"><a href="#core-structures" class="tocxref"><span class="secno"><span class="insert">2.1 </span></span><span class="insert">PROV Core Structures</span></a><ul class="toc"><li class="tocline"><a href="#section-entity-activity" class="tocxref"><span class="secno"><span class="delete">2.1</span><span class="insert">2.1.1</span> </span>Entity and Activity</a></li><li class="tocline"><a href="#section-derivation" class="tocxref"><span class="secno"><span class="delete">2.2 </span><span class="delete">Generation, Usage, </span><span class="insert">2.1.2 </span></span>Derivation</a></li><li class="tocline"><a href="#section-agents-attribution-association-delegation" class="tocxref"><span class="secno"><span class="delete">2.3 </span><span class="delete">Agents, Attribution, Association,</span><span class="insert">2.1.3 </span></span><span class="insert">Agents</span> and Responsibility<span class="delete">2.4 </span><span class="delete">Further Entities: Collections and Accounts</span><span class="delete">2.5 </span><span class="delete">Simplified Overview Diagram</span><span class="delete">2.6 </span><span class="delete">PROV-N: The Provenance Notation</span></a></li></ul></li><li class="tocline"><a href="#section-extended-structures" class="tocxref"><span class="secno"><span class="insert">2.2 </span></span><span class="insert">PROV Extended Structures</span></a><ul class="toc"><li class="tocline"><a href="#section-prov-extended-mechanisms" class="tocxref"><span class="secno"><span class="insert">2.2.1 </span></span><span class="insert">Mechanisms to Define Extended Structures</span></a><ul class="toc"><li class="tocline"><a href="#section-prov-extended-approach-subtyping" class="tocxref"><span class="secno"><span class="insert">2.2.1.1 </span></span><span class="insert">Subtyping</span></a></li><li class="tocline"><a href="#section-prov-extended-approach-expanded-relation" class="tocxref"><span class="secno"><span class="insert">2.2.1.2 </span></span><span class="insert">Expanded Relations</span></a></li><li class="tocline"><a href="#section-prov-extended-approach-optional-identification" class="tocxref"><span class="secno"><span class="insert">2.2.1.3 </span></span><span class="insert">Optional Identification</span></a></li><li class="tocline"><a href="#section-prov-extended-approach-further-relations" class="tocxref"><span class="secno"><span class="insert">2.2.1.4 </span></span><span class="insert">Further Relations</span></a></li></ul></li><li class="tocline"><a href="#section-provenance-of-provnance" class="tocxref"><span class="secno"><span class="insert">2.2.2 </span></span><span class="insert">Provenance of Provenance</span></a></li><li class="tocline"><a href="#section-collections" class="tocxref"><span class="secno"><span class="insert">2.2.3 </span></span><span class="insert">Collections</span></a></li></ul></li><li class="tocline"><a href="#section-overview-components" class="tocxref"><span class="secno"><span class="insert">2.3 </span></span><span class="insert">Modular Organization</span></a></li></ul></li><li class="tocline"><a href="#prov-notation" class="tocxref"><span class="secno"><span class="insert">3. </span></span><span class="insert">The Provenance Notation</span></a></li><li class="tocline"><a href="#prov-dm-example" class="tocxref"><span class="secno"><span class="delete">3.</span><span class="insert">4.</span> </span>Illustration of PROV-DM by an Example</a><ul class="toc"><li class="tocline"><a href="#section-example-one" class="tocxref"><span class="secno"><span class="delete">3.1</span><span class="insert">4.1</span> </span>The Authors View</a></li><li class="tocline"><a href="#section-example-two" class="tocxref"><span class="secno"><span class="delete">3.2</span><span class="insert">4.2</span> </span>The Process View</a></li><li class="tocline"><a href="#section-example-c" class="tocxref"><span class="secno"><span class="delete">3.3</span><span class="insert">4.3</span> </span>Attribution of Provenance</a></li></ul></li><li class="tocline"><a href="#data-model-components" class="tocxref"><span class="secno"><span class="delete">4.</span><span class="insert">5.</span> </span>PROV-DM Types and Relations</a><ul class="toc"><li class="tocline"><a href="#component1" class="tocxref"><span class="secno"><span class="delete">4.1</span><span class="insert">5.1</span> </span>Component 1: Entities and Activities</a><ul class="toc"><li class="tocline"><a href="#term-entity" class="tocxref"><span class="secno"><span class="delete">4.1.1</span><span class="insert">5.1.1</span> </span>Entity</a></li><li class="tocline"><a href="#term-Activity" class="tocxref"><span class="secno"><span class="delete">4.1.2</span><span class="insert">5.1.2</span> </span>Activity</a></li><li class="tocline"><a href="#term-Generation" class="tocxref"><span class="secno"><span class="delete">4.1.3</span><span class="insert">5.1.3</span> </span>Generation</a></li><li class="tocline"><a href="#term-Usage" class="tocxref"><span class="secno"><span class="delete">4.1.4</span><span class="insert">5.1.4</span> </span>Usage</a></li><li class="tocline"><a href="#term-wasInformedBy" class="tocxref"><span class="secno"><span class="insert">5.1.5 </span></span><span class="insert">Communication</span></a></li><li class="tocline"><a href="#term-Start" class="tocxref"><span class="secno"><span class="delete">4.1.5</span><span class="insert">5.1.6</span> </span>Start</a></li><li class="tocline"><a href="#term-End" class="tocxref"><span class="secno"><span class="delete">4.1.6</span><span class="insert">5.1.7</span> </span>End</a></li><li class="tocline"><a href="#term-Invalidation" class="tocxref"><span class="secno"><span class="delete">4.1.7</span><span class="insert">5.1.8</span> </span>Invalidation<span class="delete">4.1.8 </span><span class="delete">Communication</span><span class="delete">4.1.9 </span><span class="delete">Start by Activity</span></a></li></ul></li><li class="tocline"><a href="#component2" class="tocxref"><span class="secno"><span class="delete">4.2</span><span class="insert">5.2</span> </span>Component 2: <span class="delete">Agents and Responsibility</span><span class="insert">Derivations</span></a><ul class="toc"><li class="tocline"><a href="#term-derivation" class="tocxref"><span class="secno"><span class="delete">4.2.1 </span><span class="delete">Agent</span><span class="insert">5.2.1 </span></span><span class="insert">Derivation</span></a></li><li class="tocline"><a href="#term-revision" class="tocxref"><span class="secno"><span class="delete">4.2.2 </span><span class="delete">Attribution</span><span class="insert">5.2.2 </span></span><span class="insert">Revision</span></a></li><li class="tocline"><a href="#term-quotation" class="tocxref"><span class="secno"><span class="delete">4.2.3 </span><span class="delete">Association</span><span class="insert">5.2.3 </span></span><span class="insert">Quotation</span></a></li><li class="tocline"><a href="#term-original-source" class="tocxref"><span class="secno"><span class="delete">4.2.4 </span><span class="delete">Responsibility</span><span class="insert">5.2.4 </span></span><span class="insert">Original Source</span></a></li></ul></li><li class="tocline"><a href="#component3" class="tocxref"><span class="secno"><span class="delete">4.3</span><span class="insert">5.3</span> </span>Component 3: <span class="delete">Derivations</span><span class="insert">Agents and Responsibility</span></a><ul class="toc"><li class="tocline"><a href="#term-agent" class="tocxref"><span class="secno"><span class="delete">4.3.1 </span><span class="delete">Derivation</span><span class="insert">5.3.1 </span></span><span class="insert">Agent</span></a></li><li class="tocline"><a href="#term-attribution" class="tocxref"><span class="secno"><span class="delete">4.3.2 </span><span class="delete">Revision</span><span class="insert">5.3.2 </span></span><span class="insert">Attribution</span></a></li><li class="tocline"><a href="#term-ActivityAssociation" class="tocxref"><span class="secno"><span class="delete">4.3.3 </span><span class="delete">Quotation</span><span class="insert">5.3.3 </span></span><span class="insert">Association</span></a></li><li class="tocline"><a href="#term-delegation" class="tocxref"><span class="secno"><span class="delete">4.3.4 </span><span class="delete">Original Source</span><span class="insert">5.3.4 </span></span><span class="insert">Delegation</span></a></li><li class="tocline"><a href="#term-trace" class="tocxref"><span class="secno"><span class="delete">4.3.5</span><span class="insert">5.3.5</span> </span>Trace</a></li></ul></li><li class="tocline"><a href="#component4" class="tocxref"><span class="secno"><span class="delete">4.4</span><span class="insert">5.4</span> </span>Component 4: Alternate Entities</a><ul class="toc"><li class="tocline"><a href="#term-specialization" class="tocxref"><span class="secno"><span class="delete">4.4.1</span><span class="insert">5.4.1</span> </span>Specialization</a></li><li class="tocline"><a href="#term-alternate" class="tocxref"><span class="secno"><span class="delete">4.4.2</span><span class="insert">5.4.2</span> </span>Alternate</a></li></ul></li><li class="tocline"><a href="#component5" class="tocxref"><span class="secno"><span class="delete">4.5</span><span class="insert">5.5</span> </span>Component 5: <span class="delete">Collections</span><span class="insert">Bundles</span></a><ul class="toc"><li class="tocline"><a href="#term-bundle" class="tocxref"><span class="secno"><span class="delete">4.5.1 </span><span class="delete">Collection</span><span class="insert">5.5.1 </span></span><span class="insert">Bundle constructor</span></a></li><li class="tocline"><a href="#term-bundle-entity" class="tocxref"><span class="secno"><span class="delete">4.5.2 </span><span class="delete">Dictionary</span><span class="insert">5.5.2 </span></span><span class="insert">Bundle Type</span></a></li><li class="tocline"><a href="#term-hasProvenanceIn" class="tocxref"><span class="secno"><span class="delete">4.5.3 </span><span class="delete">Insertion</span><span class="delete">4.5.4 </span><span class="delete">Removal</span><span class="delete">4.5.5 </span><span class="delete">Membership</span><span class="insert">5.5.3 </span></span><span class="insert">Provenance Locator</span></a></li></ul></li><li class="tocline"><a href="#component6" class="tocxref"><span class="secno"><span class="delete">4.6</span><span class="insert">5.6</span> </span>Component 6: <span class="delete">Annotations</span><span class="insert">Collections</span></a><ul class="toc"><li class="tocline"><a href="#term-collection" class="tocxref"><span class="secno"><span class="delete">4.6.1 </span><span class="delete">Note</span><span class="insert">5.6.1 </span></span><span class="insert">Collection</span></a></li><li class="tocline"><a href="#term-dictionary" class="tocxref"><span class="secno"><span class="delete">4.6.2 </span><span class="delete">Annotation</span><span class="insert">5.6.2 </span></span><span class="insert">Dictionary</span></a></li><li class="tocline"><a href="#term-dictionary-insertion" class="tocxref"><span class="secno"><span class="insert">5.6.3 </span></span><span class="insert">Insertion</span></a></li><li class="tocline"><a href="#term-dictionary-removal" class="tocxref"><span class="secno"><span class="insert">5.6.4 </span></span><span class="insert">Removal</span></a></li><li class="tocline"><a href="#term-dictionary-membership" class="tocxref"><span class="secno"><span class="insert">5.6.5 </span></span><span class="insert">Membership</span></a></li></ul></li><li class="tocline"><a href="#second-class-elements" class="tocxref"><span class="secno"><span class="delete">4.7</span><span class="insert">5.7</span> </span>Further Elements of PROV-DM</a><ul class="toc"><span class="delete">4.7.1 </span><span class="delete">Namespace Declaration</span><span class="delete">4.7.2 </span><span class="delete">Qualified Name</span><li class="tocline"><a href="#term-identifier" class="tocxref"><span class="secno"><span class="delete">4.7.3</span><span class="insert">5.7.1</span> </span>Identifier</a></li><li class="tocline"><a href="#term-attribute" class="tocxref"><span class="secno"><span class="delete">4.7.4</span><span class="insert">5.7.2</span> </span>Attribute</a><ul class="toc"><li class="tocline"><a href="#term-attribute-label" class="tocxref"><span class="secno"><span class="delete">4.7.4.1</span><span class="insert">5.7.2.1</span> </span>prov:label</a></li><li class="tocline"><a href="#term-attribute-location" class="tocxref"><span class="secno"><span class="delete">4.7.4.2</span><span class="insert">5.7.2.2</span> </span>prov:location</a></li><li class="tocline"><a href="#term-attribute-role" class="tocxref"><span class="secno"><span class="delete">4.7.4.3</span><span class="insert">5.7.2.3</span> </span>prov:role</a></li><li class="tocline"><a href="#term-attribute-type" class="tocxref"><span class="secno"><span class="delete">4.7.4.4</span><span class="insert">5.7.2.4</span> </span>prov:type</a></li><li class="tocline"><a href="#term-attribute-value" class="tocxref"><span class="secno"><span class="delete">4.7.4.5</span><span class="insert">5.7.2.5</span> </span>prov:value</a></li><li class="tocline"><a href="#term-attribute-provenance-uri" class="tocxref"><span class="secno"><span class="insert">5.7.2.6 </span></span><span class="insert">prov:provenance-uri</span></a></li><li class="tocline"><a href="#term-attribute-service-uri" class="tocxref"><span class="secno"><span class="insert">5.7.2.7 </span></span><span class="insert">prov:service-uri</span></a></li></ul></li><li class="tocline"><a href="#term-value" class="tocxref"><span class="secno"><span class="delete">4.7.5</span><span class="insert">5.7.3</span> </span>Value</a></li><li class="tocline"><a href="#term-NamespaceDeclaration" class="tocxref"><span class="secno"><span class="insert">5.7.4 </span></span><span class="insert">Namespace Declaration</span></a></li><li class="tocline"><a href="#term-qualified-name" class="tocxref"><span class="secno"><span class="insert">5.7.5 </span></span><span class="insert">Qualified Name</span></a></li></ul></li></ul></li><li class="tocline"><a href="#extensibility-section" class="tocxref"><span class="secno"><span class="delete">5.</span><span class="insert">6.</span> </span>PROV-DM Extensibility Points</a></li><li class="tocline"><a href="#valid-provenance" class="tocxref"><span class="secno"><span class="delete">6.</span><span class="insert">7.</span> </span>Creating Valid Provenance</a></li><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno">A. </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno">B. </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno">B.1 </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno">B.2 </span>Informative references</a></li></ul></li></ul></div> 
+</a><ul class="toc"><li class="tocline"><a href="#structure-of-this-document" class="tocxref"><span class="secno">1.1 </span>Structure of this Document</a></li><li class="tocline"><a href="#conventions" class="tocxref"><span class="secno">1.2 </span>Notational Conventions</a></li></ul></li><li class="tocline"><a href="#section-prov-overview" class="tocxref"><span class="secno">2. </span>PROV <span class="delete">Starting Points</span><span class="insert">Overview</span></a><ul class="toc"><li class="tocline"><a href="#core-structures" class="tocxref"><span class="secno"><span class="insert">2.1 </span></span><span class="insert">PROV Core Structures</span></a><ul class="toc"><li class="tocline"><a href="#section-entity-activity" class="tocxref"><span class="secno"><span class="delete">2.1</span><span class="insert">2.1.1</span> </span>Entity and Activity</a></li><li class="tocline"><a href="#section-derivation" class="tocxref"><span class="secno"><span class="delete">2.2 </span><span class="delete">Generation, Usage, </span><span class="insert">2.1.2 </span></span>Derivation</a></li><li class="tocline"><a href="#section-agents-attribution-association-delegation" class="tocxref"><span class="secno"><span class="delete">2.3 </span><span class="delete">Agents, Attribution, Association,</span><span class="insert">2.1.3 </span></span><span class="insert">Agents</span> and Responsibility<span class="delete">2.4 </span><span class="delete">Further Entities: Collections and Accounts</span><span class="delete">2.5 </span><span class="delete">Simplified Overview Diagram</span><span class="delete">2.6 </span><span class="delete">PROV-N: The Provenance Notation</span></a></li></ul></li><li class="tocline"><a href="#section-extended-structures" class="tocxref"><span class="secno"><span class="insert">2.2 </span></span><span class="insert">PROV Extended Structures</span></a><ul class="toc"><li class="tocline"><a href="#section-prov-extended-mechanisms" class="tocxref"><span class="secno"><span class="insert">2.2.1 </span></span><span class="insert">Mechanisms to Define Extended Structures</span></a><ul class="toc"><li class="tocline"><a href="#section-prov-extended-approach-subtyping" class="tocxref"><span class="secno"><span class="insert">2.2.1.1 </span></span><span class="insert">Subtyping</span></a></li><li class="tocline"><a href="#section-prov-extended-approach-expanded-relation" class="tocxref"><span class="secno"><span class="insert">2.2.1.2 </span></span><span class="insert">Expanded Relations</span></a></li><li class="tocline"><a href="#section-prov-extended-approach-optional-identification" class="tocxref"><span class="secno"><span class="insert">2.2.1.3 </span></span><span class="insert">Optional Identification</span></a></li><li class="tocline"><a href="#section-prov-extended-approach-further-relations" class="tocxref"><span class="secno"><span class="insert">2.2.1.4 </span></span><span class="insert">Further Relations</span></a></li></ul></li><li class="tocline"><a href="#section-provenance-of-provnance" class="tocxref"><span class="secno"><span class="insert">2.2.2 </span></span><span class="insert">Provenance of Provenance</span></a></li><li class="tocline"><a href="#section-collections" class="tocxref"><span class="secno"><span class="insert">2.2.3 </span></span><span class="insert">Collections</span></a></li></ul></li><li class="tocline"><a href="#section-overview-components" class="tocxref"><span class="secno"><span class="insert">2.3 </span></span><span class="insert">Modular Organization</span></a></li></ul></li><li class="tocline"><a href="#prov-notation" class="tocxref"><span class="secno"><span class="insert">3. </span></span><span class="insert">The Provenance Notation</span></a></li><li class="tocline"><a href="#prov-dm-example" class="tocxref"><span class="secno"><span class="delete">3.</span><span class="insert">4.</span> </span>Illustration of PROV-DM by an Example</a><ul class="toc"><li class="tocline"><a href="#section-example-one" class="tocxref"><span class="secno"><span class="delete">3.1</span><span class="insert">4.1</span> </span>The Authors View</a></li><li class="tocline"><a href="#section-example-two" class="tocxref"><span class="secno"><span class="delete">3.2</span><span class="insert">4.2</span> </span>The Process View</a></li><li class="tocline"><a href="#section-example-c" class="tocxref"><span class="secno"><span class="delete">3.3</span><span class="insert">4.3</span> </span>Attribution of Provenance</a></li></ul></li><li class="tocline"><a href="#data-model-components" class="tocxref"><span class="secno"><span class="delete">4.</span><span class="insert">5.</span> </span>PROV-DM Types and Relations</a><ul class="toc"><li class="tocline"><a href="#component1" class="tocxref"><span class="secno"><span class="delete">4.1</span><span class="insert">5.1</span> </span>Component 1: Entities and Activities</a><ul class="toc"><li class="tocline"><a href="#term-entity" class="tocxref"><span class="secno"><span class="delete">4.1.1</span><span class="insert">5.1.1</span> </span>Entity</a></li><li class="tocline"><a href="#term-Activity" class="tocxref"><span class="secno"><span class="delete">4.1.2</span><span class="insert">5.1.2</span> </span>Activity</a></li><li class="tocline"><a href="#term-Generation" class="tocxref"><span class="secno"><span class="delete">4.1.3</span><span class="insert">5.1.3</span> </span>Generation</a></li><li class="tocline"><a href="#term-Usage" class="tocxref"><span class="secno"><span class="delete">4.1.4</span><span class="insert">5.1.4</span> </span>Usage</a></li><li class="tocline"><a href="#term-Communication" class="tocxref"><span class="secno"><span class="insert">5.1.5 </span></span><span class="insert">Communication</span></a></li><li class="tocline"><a href="#term-Start" class="tocxref"><span class="secno"><span class="delete">4.1.5</span><span class="insert">5.1.6</span> </span>Start</a></li><li class="tocline"><a href="#term-End" class="tocxref"><span class="secno"><span class="delete">4.1.6</span><span class="insert">5.1.7</span> </span>End</a></li><li class="tocline"><a href="#term-Invalidation" class="tocxref"><span class="secno"><span class="delete">4.1.7</span><span class="insert">5.1.8</span> </span>Invalidation<span class="delete">4.1.8 </span><span class="delete">Communication</span><span class="delete">4.1.9 </span><span class="delete">Start by Activity</span></a></li></ul></li><li class="tocline"><a href="#component2" class="tocxref"><span class="secno"><span class="delete">4.2</span><span class="insert">5.2</span> </span>Component 2: <span class="delete">Agents and Responsibility</span><span class="insert">Derivations</span></a><ul class="toc"><li class="tocline"><a href="#term-Derivation" class="tocxref"><span class="secno"><span class="delete">4.2.1 </span><span class="delete">Agent</span><span class="insert">5.2.1 </span></span><span class="insert">Derivation</span></a></li><li class="tocline"><a href="#term-revision" class="tocxref"><span class="secno"><span class="delete">4.2.2 </span><span class="delete">Attribution</span><span class="insert">5.2.2 </span></span><span class="insert">Revision</span></a></li><li class="tocline"><a href="#term-quotation" class="tocxref"><span class="secno"><span class="delete">4.2.3 </span><span class="delete">Association</span><span class="insert">5.2.3 </span></span><span class="insert">Quotation</span></a></li><li class="tocline"><a href="#term-primary-source" class="tocxref"><span class="secno"><span class="delete">4.2.4 </span><span class="delete">Responsibility</span><span class="insert">5.2.4 </span></span><span class="insert">Primary Source</span></a></li></ul></li><li class="tocline"><a href="#component3" class="tocxref"><span class="secno"><span class="delete">4.3</span><span class="insert">5.3</span> </span>Component 3: <span class="delete">Derivations</span><span class="insert">Agents and Responsibility</span></a><ul class="toc"><li class="tocline"><a href="#term-agent" class="tocxref"><span class="secno"><span class="delete">4.3.1 </span><span class="delete">Derivation</span><span class="insert">5.3.1 </span></span><span class="insert">Agent</span></a></li><li class="tocline"><a href="#term-attribution" class="tocxref"><span class="secno"><span class="delete">4.3.2 </span><span class="delete">Revision</span><span class="insert">5.3.2 </span></span><span class="insert">Attribution</span></a></li><li class="tocline"><a href="#term-Association" class="tocxref"><span class="secno"><span class="delete">4.3.3 </span><span class="delete">Quotation</span><span class="insert">5.3.3 </span></span><span class="insert">Association</span></a></li><li class="tocline"><a href="#term-delegation" class="tocxref"><span class="secno"><span class="delete">4.3.4 </span><span class="delete">Original Source</span><span class="insert">5.3.4 </span></span><span class="insert">Delegation</span></a></li><li class="tocline"><a href="#term-trace" class="tocxref"><span class="secno"><span class="delete">4.3.5</span><span class="insert">5.3.5</span> </span>Trace</a></li></ul></li><li class="tocline"><a href="#component4" class="tocxref"><span class="secno"><span class="delete">4.4</span><span class="insert">5.4</span> </span>Component 4: <span class="delete">Alternate Entities</span><span class="insert">Bundles</span></a><ul class="toc"><li class="tocline"><a href="#term-bundle" class="tocxref"><span class="secno"><span class="delete">4.4.1 </span><span class="delete">Specialization</span><span class="insert">5.4.1 </span></span><span class="insert">Bundle constructor</span></a></li><li class="tocline"><a href="#term-bundle-entity" class="tocxref"><span class="secno"><span class="delete">4.4.2 </span><span class="delete">Alternate</span><span class="insert">5.4.2 </span></span><span class="insert">Bundle Type</span></a></li></ul></li><li class="tocline"><a href="#component5" class="tocxref"><span class="secno"><span class="delete">4.5</span><span class="insert">5.5</span> </span>Component 5: <span class="delete">Collections</span><span class="insert">Alternate Entities</span></a><ul class="toc"><li class="tocline"><a href="#term-specialization" class="tocxref"><span class="secno"><span class="delete">4.5.1 </span><span class="delete">Collection</span><span class="insert">5.5.1 </span></span><span class="insert">Specialization</span></a></li><li class="tocline"><a href="#term-alternate" class="tocxref"><span class="secno"><span class="delete">4.5.2 </span><span class="delete">Dictionary</span><span class="insert">5.5.2 </span></span><span class="insert">Alternate</span></a></li><li class="tocline"><a href="#term-contextualization" class="tocxref"><span class="secno"><span class="delete">4.5.3 </span><span class="delete">Insertion</span><span class="delete">4.5.4 </span><span class="delete">Removal</span><span class="delete">4.5.5 </span><span class="delete">Membership</span><span class="insert">5.5.3 </span></span><span class="insert">Contextualization</span></a></li></ul></li><li class="tocline"><a href="#component6" class="tocxref"><span class="secno"><span class="delete">4.6</span><span class="insert">5.6</span> </span>Component 6: <span class="delete">Annotations</span><span class="insert">Collections</span></a><ul class="toc"><li class="tocline"><a href="#term-collection" class="tocxref"><span class="secno"><span class="delete">4.6.1 </span><span class="delete">Note</span><span class="insert">5.6.1 </span></span><span class="insert">Collection</span></a></li><li class="tocline"><a href="#term-dictionary" class="tocxref"><span class="secno"><span class="delete">4.6.2 </span><span class="delete">Annotation</span><span class="insert">5.6.2 </span></span><span class="insert">Dictionary</span></a></li><li class="tocline"><a href="#term-dictionary-membership" class="tocxref"><span class="secno"><span class="insert">5.6.3 </span></span><span class="insert">Dictionary Membership</span></a></li><li class="tocline"><a href="#term-dictionary-insertion" class="tocxref"><span class="secno"><span class="insert">5.6.4 </span></span><span class="insert">Dictionary Insertion</span></a></li><li class="tocline"><a href="#term-dictionary-removal" class="tocxref"><span class="secno"><span class="insert">5.6.5 </span></span><span class="insert">Dictionary Removal</span></a></li></ul></li><li class="tocline"><a href="#second-class-elements" class="tocxref"><span class="secno"><span class="delete">4.7</span><span class="insert">5.7</span> </span>Further Elements of PROV-DM</a><ul class="toc"><span class="delete">4.7.1 </span><span class="delete">Namespace Declaration</span><span class="delete">4.7.2 </span><span class="delete">Qualified Name</span><li class="tocline"><a href="#term-identifier" class="tocxref"><span class="secno"><span class="delete">4.7.3</span><span class="insert">5.7.1</span> </span>Identifier</a></li><li class="tocline"><a href="#term-attribute" class="tocxref"><span class="secno"><span class="delete">4.7.4</span><span class="insert">5.7.2</span> </span>Attribute</a><ul class="toc"><li class="tocline"><a href="#term-attribute-label" class="tocxref"><span class="secno"><span class="delete">4.7.4.1</span><span class="insert">5.7.2.1</span> </span>prov:label</a></li><li class="tocline"><a href="#term-attribute-location" class="tocxref"><span class="secno"><span class="delete">4.7.4.2</span><span class="insert">5.7.2.2</span> </span>prov:location</a></li><li class="tocline"><a href="#term-attribute-role" class="tocxref"><span class="secno"><span class="delete">4.7.4.3</span><span class="insert">5.7.2.3</span> </span>prov:role</a></li><li class="tocline"><a href="#term-attribute-type" class="tocxref"><span class="secno"><span class="delete">4.7.4.4</span><span class="insert">5.7.2.4</span> </span>prov:type</a></li><li class="tocline"><a href="#term-attribute-value" class="tocxref"><span class="secno"><span class="delete">4.7.4.5</span><span class="insert">5.7.2.5</span> </span>prov:value</a></li></ul></li><li class="tocline"><a href="#term-value" class="tocxref"><span class="secno"><span class="delete">4.7.5</span><span class="insert">5.7.3</span> </span>Value</a></li><li class="tocline"><a href="#term-NamespaceDeclaration" class="tocxref"><span class="secno"><span class="insert">5.7.4 </span></span><span class="insert">Namespace Declaration</span></a></li><li class="tocline"><a href="#term-qualified-name" class="tocxref"><span class="secno"><span class="insert">5.7.5 </span></span><span class="insert">Qualified Name</span></a></li></ul></li></ul></li><li class="tocline"><a href="#extensibility-section" class="tocxref"><span class="secno"><span class="delete">5.</span><span class="insert">6.</span> </span>PROV-DM Extensibility Points</a></li><li class="tocline"><a href="#valid-provenance" class="tocxref"><span class="secno"><span class="delete">6.</span><span class="insert">7.</span> </span>Creating Valid Provenance</a></li><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno">A. </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno">B. </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno">B.1 </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno">B.2 </span>Informative references</a></li></ul></li></ul></div> 
 
 
 
@@ -1189,7 +1189,7 @@
 <table class="thinborder" style="margin-left: auto; margin-right: auto;">
 <caption id="namespace-table">Table 1: Prefix and Namespaces used in this specification</caption>
 <tbody><tr><td><a><b>prefix</b></a></td><td><b>namespace uri</b></td> <td><b>definition</b></td></tr>
-<tr><td><a>prov</a></td><td>http://www.w3.org/ns/prov#</td><td>The PROV namespace (see Section <a href="#term-NamespaceDeclaration"><span class="delete">4.7.1</span><span class="insert">5.7.1</span></a>)</td></tr>
+<tr><td><a>prov</a></td><td>http://www.w3.org/ns/prov#</td><td>The PROV namespace (see <a class="section-ref" href="#term-NamespaceDeclaration"><span>Section <span class="delete">4.7.1</span><span class="insert">5.7.4</span></span></a>)</td></tr>
 <tr><td><a>xsd</a></td><td>http://www.w3.org/2000/10/XMLSchema#</td><td>XML Schema Namespace [<cite><a class="bibref" rel="biblioentry" href="#bib-XMLSCHEMA-2">XMLSCHEMA-2</a></cite>]</td></tr>
 <tr><td><a>rdf</a></td><td>http://www.w3.org/1999/02/22-rdf-syntax-ns#</td><td>The RDF namespace  [<cite><a class="bibref" rel="biblioentry" href="#bib-RDF-CONCEPTS">RDF-CONCEPTS</a></cite>]</td></tr>
 <tr><td><a>(others)</a></td><td>(various)</td><td>All other namespace prefixes are used in examples only. <br> In particular, URIs starting with "http://example.com" represent<br> some application-dependent URI [<cite><a class="bibref" rel="biblioentry" href="#bib-URI">URI</a></cite>]</td></tr>
@@ -1482,17 +1482,17 @@
 <caption id="overview-types-and-relations">Table 2: Mapping of <span class="delete">Provenance</span><span class="insert">PROV core</span> concepts to  types and relations</caption>
 <tbody><tr><td><a><b>PROV Concepts</b></a></td><td><b>PROV-DM types or relations</b></td><td><b>Name</b></td><td><b><span class="insert">Overview</span></b></td></tr>
 <tr>
-<td><a href="#concept-entity" class="internalDFN">Entity</a></td><td rowspan="3" style="text-align: center;">PROV-DM Types</td><td><a title="dfn-Entity" href="#dfn-entity" class="internalDFN"><span class="delete">entity</span><span class="insert">Entity</span></a></td><td style="text-align: center;"><a href="#section-entity-activity"><span class="insert">2.1.1</span></a></td></tr>
-<tr><td><a href="#concept-activity" class="internalDFN">Activity</a></td><td><a title="dfn-Activity" href="#dfn-activity" class="internalDFN"><span class="delete">activity</span><span class="insert">Activity</span></a></td><td style="text-align: center;"><a href="#section-entity-activity"><span class="insert">2.1.1</span></a></td></tr>
-<tr><td><a href="#concept-agent" class="internalDFN">Agent</a></td><td><a title="dfn-agent" href="#dfn-agent" class="internalDFN"><span class="delete">agent</span><span class="insert">Agent</span></a></td><td style="text-align: center;"><a href="#section-agents-attribution-association-delegation"><span class="insert">2.1.2</span></a></td></tr>
+<td><a href="#concept-entity" class="internalDFN">Entity</a></td><td rowspan="3" style="text-align: center;">PROV-DM Types</td><td><a title="dfn-Entity" href="#dfn-entity" class="internalDFN"><span class="delete">entity</span><span class="insert">Entity</span></a></td><td style="text-align: center;"><a class="section-ref" href="#section-entity-activity"><span><span class="insert">Section 2.1.1</span></span></a></td></tr>
+<tr><td><a href="#concept-activity" class="internalDFN">Activity</a></td><td><a title="dfn-Activity" href="#dfn-activity" class="internalDFN"><span class="delete">activity</span><span class="insert">Activity</span></a></td><td style="text-align: center;"><a class="section-ref" href="#section-entity-activity"><span><span class="insert">Section 2.1.1</span></span></a></td></tr>
+<tr><td><a href="#concept-agent" class="internalDFN">Agent</a></td><td><a title="dfn-agent" href="#dfn-agent" class="internalDFN"><span class="delete">agent</span><span class="insert">Agent</span></a></td><td style="text-align: center;"><a class="section-ref" href="#section-agents-attribution-association-delegation"><span><span class="insert">Section 2.1.3</span></span></a></td></tr>
 <tr>
-<td><a href="#concept-generation" class="internalDFN">Generation</a></td><td rowspan="7" style="text-align: center;">PROV-DM Relations</td><td><a title="wasGeneratedBy" href="#dfn-wasgeneratedby" class="internalDFN">wasGeneratedBy</a></td><td style="text-align: center;"><a href="#section-entity-activity"><span class="insert">2.1.1</span></a></td></tr>
-<tr><td><a href="#concept-usage" class="internalDFN">Usage</a></td><td><a title="used" href="#dfn-used" class="internalDFN"><span class="delete">used</span><span class="insert">Used</span></a></td><td style="text-align: center;"><a href="#section-entity-activity"><span class="insert">2.1.1</span></a></td></tr>
-<tr><td><a href="#concept-communication" class="internalDFN"><span class="insert">Communication</span></a></td><td><a title="wasInformedBy" href="#dfn-wasinformedby" class="internalDFN"><span class="insert">WasInformedBy</span></a></td><td style="text-align: center;"><a href="#section-entity-activity"><span class="insert">2.1.1</span></a></td></tr>
-<tr><td><a href="#concept-derivation" class="internalDFN"><span class="insert">Derivation</span></a></td><td><a title="wasDerivedFrom" href="#dfn-wasderivedfrom" class="internalDFN"><span class="insert">WasDerivedFrom</span></a></td><td style="text-align: center;"><a href="#section-derivation"><span class="insert">2.1.2</span></a></td></tr>
-<tr><td><a href="#concept-attribution" class="internalDFN">Attribution</a></td><td><a title="wasAttributedTo" href="#dfn-wasattributedto" class="internalDFN"><span class="delete">wasAttributedTo</span><span class="insert">WasAttributedTo</span></a></td><td style="text-align: center;"><a href="#section-agents-attribution-association-delegation"><span class="insert">2.1.3</span></a></td></tr>
-<tr><td><a href="#concept-activityAssociation" class="internalDFN">Association</a></td><td><a title="wasAssociatedWith" href="#dfn-wasassociatedwith" class="internalDFN"><span class="delete">wasAssociatedWith</span><span class="insert">WasAssociatedWith</span></a></td><td style="text-align: center;"><a href="#section-agents-attribution-association-delegation"><span class="insert">2.1.3</span></a></td></tr>
-<tr><td><span class="delete">Responsibility</span><a href="#concept-delegation" class="internalDFN"><span class="insert">Delegation</span></a></td><td><a title="actedOnBehalfOf" href="#dfn-actedonbehalfof" class="internalDFN"><span class="delete">actedOnBehalfOf</span><span class="insert">ActedOnBehalfOf</span></a></td><td style="text-align: center;"><a href="#section-agents-attribution-association-delegation"><span class="insert">2.1.3</span></a></td></tr>
+<td><a href="#concept-generation" class="internalDFN">Generation</a></td><td rowspan="7" style="text-align: center;">PROV-DM Relations</td><td><a title="wasGeneratedBy" href="#dfn-wasgeneratedby" class="internalDFN">wasGeneratedBy</a></td><td style="text-align: center;"><a class="section-ref" href="#section-entity-activity"><span><span class="insert">Section 2.1.1</span></span></a></td></tr>
+<tr><td><a href="#concept-usage" class="internalDFN">Usage</a></td><td><a title="used" href="#dfn-used" class="internalDFN"><span class="delete">used</span><span class="insert">Used</span></a></td><td style="text-align: center;"><a class="section-ref" href="#section-entity-activity"><span><span class="insert">Section 2.1.1</span></span></a></td></tr>
+<tr><td><a href="#concept-communication" class="internalDFN"><span class="insert">Communication</span></a></td><td><a title="wasInformedBy" href="#dfn-wasinformedby" class="internalDFN"><span class="insert">WasInformedBy</span></a></td><td style="text-align: center;"><a class="section-ref" href="#section-entity-activity"><span><span class="insert">Section 2.1.1</span></span></a></td></tr>
+<tr><td><a href="#concept-derivation" class="internalDFN"><span class="insert">Derivation</span></a></td><td><a title="wasDerivedFrom" href="#dfn-wasderivedfrom" class="internalDFN"><span class="insert">WasDerivedFrom</span></a></td><td style="text-align: center;"><a class="section-ref" href="#section-derivation"><span><span class="insert">Section 2.1.2</span></span></a></td></tr>
+<tr><td><a href="#concept-attribution" class="internalDFN">Attribution</a></td><td><a title="wasAttributedTo" href="#dfn-wasattributedto" class="internalDFN"><span class="delete">wasAttributedTo</span><span class="insert">WasAttributedTo</span></a></td><td style="text-align: center;"><a class="section-ref" href="#section-agents-attribution-association-delegation"><span><span class="insert">Section 2.1.3</span></span></a></td></tr>
+<tr><td><a href="#concept-activityAssociation" class="internalDFN">Association</a></td><td><a title="wasAssociatedWith" href="#dfn-wasassociatedwith" class="internalDFN"><span class="delete">wasAssociatedWith</span><span class="insert">WasAssociatedWith</span></a></td><td style="text-align: center;"><a class="section-ref" href="#section-agents-attribution-association-delegation"><span><span class="insert">Section 2.1.3</span></span></a></td></tr>
+<tr><td><span class="delete">Responsibility</span><a href="#concept-delegation" class="internalDFN"><span class="insert">Delegation</span></a></td><td><a title="actedOnBehalfOf" href="#dfn-actedonbehalfof" class="internalDFN"><span class="delete">actedOnBehalfOf</span><span class="insert">ActedOnBehalfOf</span></a></td><td style="text-align: center;"><a class="section-ref" href="#section-agents-attribution-association-delegation"><span><span class="insert">Section 2.1.3</span></span></a></td></tr>
 <span class="delete">Derivation</span><span class="delete">wasDerivedFrom</span>
 </tbody></table>
 </div>
@@ -1530,14 +1530,14 @@
 
 
 
-<div class="anexample conceptexample" id="entity-example" data-count="1"><div class="anexampleTitle"><a href="#entity-example"><span class="insert">Example 1</span></a></div>
+<div class="anexample conceptexample" id="entity-example" data-count="1"><div class="anexampleTitle"><a class="internalDFN" href="#entity-example"><span class="insert">Example 1</span></a></div>
 <p><span class="insert">An entity may be the document at URI </span><a href="http://www.bbc.co.uk/news/science-environment-17526723"><span class="insert">http://www.bbc.co.uk/news/science-environment-17526723</span></a><span class="insert">, a file in a file system, a car, or an idea.</span></p>
 </div>
 
 
 
 <p>
-<span class="glossary-ref"><span class="insert">   An </span><span class="dfn"><span class="insert">activity</span></span><span class="insert">  is something that occurs over a period of time and acts upon or with entities;  it may include consuming, processing, transforming, modifying, relocating, using, or generating entities.  </span></span><span class="insert"> [</span><a href="#term-activity"><span class="insert">Detailed specification</span></a><span class="insert">]
+<span class="glossary-ref"><span class="insert">   An </span><span class="dfn"><span class="insert">activity</span></span><span class="insert">  is something that occurs over a period of time and acts upon or with entities;  it may include consuming, processing, transforming, modifying, relocating, using, or generating entities.  </span></span><span class="insert"> [</span><a href="#term-Activity"><span class="insert">Detailed specification</span></a><span class="insert">]
 Just as entities cover a broad range of notions, 
 activities can cover a broad range of
 notions:
@@ -1549,26 +1549,25 @@
 
 
 
-<div class="anexample conceptexample" id="activity-example" data-count="2"><div class="anexampleTitle"><a href="#activity-example"><span class="insert">Example 2</span></a></div>
+<div class="anexample conceptexample" id="activity-example" data-count="2"><div class="anexampleTitle"><a class="internalDFN" href="#activity-example"><span class="insert">Example 2</span></a></div>
 <p><span class="insert">An activity may be the publishing of a document on the Web, sending a twitter message, extracting metadata embedded in a file, driving a car from Boston to Cambridge, assembling a data set based on a set of measurements, performing a statistical analysis over a data set, sorting news items according to some criteria, running a SPARQL query over a triple store, or editing a file.</span></p>
 </div>
 
 <p><span class="delete">Figure 1</span><span class="delete"> illustrates the three types (entity, activity,</span><span class="insert">Activities</span> and <span class="delete">agent)</span><span class="insert">entities are associated with each other in two different ways: activities utilize entities</span> and <span class="delete">how they relate</span><span class="insert">activities  produce entities. The act of utilizing or producing an entity may have a duration.  
- The term 'generation' refers</span> to <span class="delete">each other.  At</span><span class="insert">the completion of the act of producing; likewise, the term 'usage' refers to the beginning of the act of utilizing entities. Thus, we define the following concepts of generation and usage. </span></p>
+ The term 'generation' refers</span> to <span class="delete">each other.</span><span class="insert">the completion of the act of producing; likewise, the term 'usage' refers to the beginning of the act of utilizing entities. Thus, we define the following concepts of generation and usage. </span></p>
 
 <p>
-</p><div class="glossary-ref">
-   <span class="dfn"><span class="insert">Generation</span></span><span class="insert"> is the completion of production of a new entity by an activity. This entity did not exist before generation and becomes available for usage after</span> this <span class="delete">stage, all relations</span><span class="insert">generation. </span></div>
-
+<span class="glossary-ref">
+   <span class="dfn"><span class="insert">Generation</span></span><span class="insert"> is the completion of production of a new entity by an activity. This entity did not exist before generation and becomes available for usage after this generation. </span></span><span class="insert"> [</span><a href="#term-Generation"><span class="insert">Detailed specification</span></a><span class="insert">]</span></p>
 
 <p>
-</p><div class="glossary-ref">
-   <span class="dfn"><span class="insert">Usage</span></span><span class="insert"> is the beginning of utilizing an entity by an activity. Before usage, the activity had not begun to utilize this entity and could not have been affected by the entity. </span></div>
-
-
-
-
-<div class="anexample conceptexample" id="generation-example" data-count="3"><div class="anexampleTitle"><a href="#generation-example"><span class="insert">Example 3</span></a></div>
+<span class="glossary-ref">
+   <span class="dfn"><span class="insert">Usage</span></span><span class="insert"> is the beginning of utilizing an entity by an activity. Before usage, the activity had not begun to utilize this entity and could not have been affected by the entity. </span></span>  <span class="delete">At this stage, all relations</span><span class="insert">[</span><a href="#term-Usage"><span class="insert">Detailed specification</span></a><span class="insert">]</span></p>
+
+
+
+
+<div class="anexample conceptexample" id="generation-example" data-count="3"><div class="anexampleTitle"><a class="internalDFN" href="#generation-example"><span class="insert">Example 3</span></a></div>
 <p><span class="insert">Examples of generation</span> are <span class="delete">shown to be binary.  Definitions of </span><span class="delete">Section 4</span><span class="delete"> reveal that some relations, while  involving two primary elements, are n-ary. </span><span class="insert">the completed creation of a file by a
 program, the completed creation of a linked data set, and the completed
 publication of a new version of a document.
@@ -1605,7 +1604,7 @@
 
 
 
-<div class="anexample conceptexample" id="usage-example" data-count="4"><div class="anexampleTitle"><a href="#usage-example"><span class="insert">Example 4</span></a></div>
+<div class="anexample conceptexample" id="usage-example" data-count="4"><div class="anexampleTitle"><a class="internalDFN" href="#usage-example"><span class="insert">Example 4</span></a></div>
 <p><span class="insert">Usage examples include a procedure beginning to consume an argument, a service starting to read a value on a port, a program beginning to read a configuration
 file, or the point at which an ingredient, such as eggs, is being added in a baking activity. Usage may entirely consume an entity (e.g. eggs are no longer available after being added to
 the mix); in contrast, the same entity may be used multiple times, possibly by different activities (e.g. a file on a file system can be read indefinitely).
@@ -1615,14 +1614,14 @@
 <p><span class="insert">The generation of an entity by an activity and its subsequent usage by another activity is termed communication.</span></p>
 
 <p>
-</p><div class="glossary-ref">
-   <span class="dfn"><span class="insert">Communication</span></span><span class="insert"> is the exchange of an unspecified entity by two activities, one activity using some entity generated by the other. </span></div>
-
-
-
-
-
-<div class="anexample conceptexample" id="communication-example" data-count="5"><div class="anexampleTitle"><a href="#communication-example"><span class="insert">Example 5</span></a></div>
+<span class="glossary-ref">
+   <span class="dfn"><span class="insert">Communication</span></span><span class="insert"> is the exchange of an unspecified entity by two activities, one activity using some entity generated by the other. </span></span><span class="insert">   [</span><a href="#term-Communication"><span class="insert">Detailed specification</span></a><span class="insert">]</span></p>
+
+
+
+
+
+<div class="anexample conceptexample" id="communication-example" data-count="5"><div class="anexampleTitle"><a class="internalDFN" href="#communication-example"><span class="insert">Example 5</span></a></div>
 <p><span class="insert">
 The activity of writing a celebrity article was informed by (a
 communication instance) the activity of intercepting voicemails.
@@ -1641,13 +1640,14 @@
 </span></p>
 
 <p>
-<span class="glossary-ref"><span class="insert">   A </span><span class="dfn"><span class="insert">derivation</span></span><span class="insert">  is a transformation of an entity into another, an update of an entity resulting in a new one, or the construction of a new entity based on a pre-exisiting entity.</span></span>
-
-
-
-
-
-</p><div class="anexample conceptexample" id="derivation-example" data-count="6"><div class="anexampleTitle"><a href="#derivation-example"><span class="insert">Example 6</span></a></div>
+<span class="glossary-ref"><span class="insert">   A </span><span class="dfn"><span class="insert">derivation</span></span><span class="insert">  is a transformation of an entity into another, an update of an entity resulting in a new one, or the construction of a new entity based on a pre-exisiting entity.</span></span><span class="insert">
+   [</span><a href="#term-Derivation"><span class="insert">Detailed specification</span></a><span class="insert">]</span></p>
+
+
+
+
+
+<div class="anexample conceptexample" id="derivation-example" data-count="6"><div class="anexampleTitle"><a class="internalDFN" href="#derivation-example"><span class="insert">Example 6</span></a></div>
 <p><span class="insert">Examples of derivation include  the transformation of a relational table into a
 linked data set, the transformation of a canvas into a painting, the transportation of a work of art from London to New York, and a physical transformation such as the melting of ice into water.</span></p>
 </div>
@@ -1690,7 +1690,8 @@
 
 <p>
 <span class="glossary-ref"><span class="insert">
-   An </span><span class="dfn"><span class="insert">agent</span></span><span class="insert"> is something that bears some form of responsibility for an activity taking place or for the existence of an entity. </span></span><span class="insert"> An agent </span><em class="rfc2119" title="may"><span class="insert">may</span></em><span class="insert"> be a particular type of entity or activity. This means that the model can be
+   An </span><span class="dfn"><span class="insert">agent</span></span><span class="insert"> is something that bears some form of responsibility for an activity taking place or for the existence of an entity. </span></span><span class="insert">   [</span><a href="#term-agent"><span class="insert">Detailed specification</span></a><span class="insert">]
+ An agent </span><em class="rfc2119" title="may"><span class="insert">may</span></em><span class="insert"> be a particular type of entity or activity. This means that the model can be
  used to express provenance of the agents themselves.  
 </span></p>
 
@@ -1699,7 +1700,7 @@
 
 
 
-<div class="anexample conceptexample" id="agent-example" data-count="7"><div class="anexampleTitle"><a href="#agent-example"><span class="insert">Example 7</span></a></div>
+<div class="anexample conceptexample" id="agent-example" data-count="7"><div class="anexampleTitle"><a class="internalDFN" href="#agent-example"><span class="insert">Example 7</span></a></div>
 <p><span class="insert">
 Software for checking the use of grammar in a document may be defined as an agent of a document preparation activity;  one can also describe its provenance, including for instance the vendor and the version history. 
 A site selling books on the Web, the services involved in the processing of orders, and the companies hosting them are also agents.
@@ -1711,9 +1712,10 @@
 
 <p><span class="insert">Agents can be related to entities, activities, and other agents.</span></p>  
 
-<div class="glossary-ref">   <span class="dfn"><span class="insert">Attribution</span></span><span class="insert"> is the ascribing of an entity to an agent. </span></div>
-
-<div class="anexample conceptexample" id="attribution-example" data-count="8"><div class="anexampleTitle"><a href="#attribution-example"><span class="insert">Example 8</span></a></div>
+<p><span class="glossary-ref">   <span class="dfn"><span class="insert">Attribution</span></span><span class="insert"> is the ascribing of an entity to an agent. </span></span><span class="insert">
+[</span><a href="#term-attribution"><span class="insert">Detailed specification</span></a><span class="insert">]</span></p>
+
+<div class="anexample conceptexample" id="attribution-example" data-count="8"><div class="anexampleTitle"><a class="internalDFN" href="#attribution-example"><span class="insert">Example 8</span></a></div>
 <p><span class="insert">A blog post can be attributed to an author, a mobile phone to its manufacturer.</span></p>
 </div>
 
@@ -1724,10 +1726,11 @@
 
 
 <p>
-<span class="glossary-ref"><span class="insert">   An activity </span><span class="dfn"><span class="insert">association</span></span><span class="insert"> is an assignment of responsibility to an agent for an activity, indicating that the agent had a role in the activity.  </span></span>
-</p>
-
-<div class="anexample conceptexample" id="association-example" data-count="9"><div class="anexampleTitle"><a href="#association-example"><span class="insert">Example 9</span></a></div>
+<span class="glossary-ref"><span class="insert">   An activity </span><span class="dfn"><span class="insert">association</span></span><span class="insert"> is an assignment of responsibility to an agent for an activity, indicating that the agent had a role in the activity.  </span></span><span class="insert">
+[</span><a href="#term-Association"><span class="insert">Detailed specification</span></a><span class="insert">]</span></p>
+
+
+<div class="anexample conceptexample" id="association-example" data-count="9"><div class="anexampleTitle"><a class="internalDFN" href="#association-example"><span class="insert">Example 9</span></a></div>
 <p><span class="insert">Examples of association between an activity and an agent are:
 </span></p><ul>
 <li><span class="insert">creation of a web page under the guidance of a designer;</span></li>
@@ -1740,12 +1743,14 @@
 
 <p>
 <span class="glossary-ref">
-   <span class="dfn"><span class="insert">Delegation</span></span><span class="insert"> is the assignment of authority to an agent (by itself or by another agent)  to carry out a specific activity as a delegate or representative, while the agent that it represents remains responsible for the outcome of the delegated work. </span></span><span class="insert"> The nature of this relation is </span>intended to be <span class="delete">complete:</span><span class="insert">broad,  including contractual relation, but also altruistic initiative by the representative agent. </span></p>
-
-
-
-
-<div class="anexample conceptexample" id="responsibility-example" data-count="10"><div class="anexampleTitle"><a href="#responsibility-example"><span class="insert">Example 10</span></a></div>
+   <span class="dfn"><span class="insert">Delegation</span></span><span class="insert"> is the assignment of authority and responsibility to an agent (by itself or by another agent)  to carry out a specific activity as a delegate or representative, while the agent it acts on behalf of retains some responsibility for the outcome of the delegated work. </span></span><span class="insert">
+[</span><a href="#term-delegation"><span class="insert">Detailed specification</span></a><span class="insert">]
+ The nature of this relation is </span>intended to be <span class="delete">complete:</span><span class="insert">broad,  including contractual relation, but also altruistic initiative by the representative agent. </span></p>
+
+
+
+
+<div class="anexample conceptexample" id="delegation-example" data-count="10"><div class="anexampleTitle"><a class="internalDFN" href="#delegation-example"><span class="insert">Example 10</span></a></div>
 <p><span class="insert">A student publishing a web page describing an academic
 department could result in both the student and the department being
 agents associated with the activity.  It may not matter which actual
@@ -1797,13 +1802,12 @@
 <div id="section-prov-extended-approach-expanded-relation" class="section"> 
 <h5><span class="secno"><span class="insert">2.2.1.2 </span></span><span class="insert">Expanded Relations</span></h5>
 
-<p><a href="#core-structures"><span class="insert">Section 2.1</span></a><span class="insert"> shows that seven concepts are mapped to binary relations in the core of PROV.  However, some advanced uses of these concepts cannot be captured by a binary relation, but require relations to be expanded to n-ary relations.</span></p>
+<p><a class="section-ref" href="#core-structures"><span><span class="insert">Section 2.1 2.1.1 2.1.2 2.1.3</span></span></a><span class="insert"> shows that seven concepts are mapped to binary relations in the core of PROV.  However, some advanced uses of these concepts cannot be captured by a binary relation, but require relations to be expanded to n-ary relations.</span></p>
 
 
 <p><span class="insert">To illustrate expanded relations, we consider the concept of
 association, described
-in </span><a href="#section-agents-attribution-association-delegation"><span class="insert">section
-2.1.3</span></a>.<span class="delete"> These names</span><span class="insert">  Agents may adopt </span><em><span class="insert">plans</span></em><span class="insert">, i.e.  sets of actions or steps, to achieve their
+in </span><a class="section-ref" href="#section-agents-attribution-association-delegation"><span><span class="insert">Section 2.1.3</span></span></a>.<span class="delete"> These names</span><span class="insert">  Agents may adopt </span><em><span class="insert">plans</span></em><span class="insert">, i.e.  sets of actions or steps, to achieve their
 goals in the context of an activity.
 Hence, an expanded form of
 association relation allows for a plan to be specified. Plan is defined by subtyping and 
@@ -1828,7 +1832,7 @@
 manage expectation failures, or to provide explanations.</span></p>
 
 
-<div class="anexample conceptexample" id="association-example2" data-count="11"><div class="anexampleTitle"><a href="#association-example2"><span class="insert">Example 11</span></a></div>
+<div class="anexample conceptexample" id="association-example2" data-count="11"><div class="anexampleTitle"><a class="internalDFN" href="#association-example2"><span class="insert">Example 11</span></a></div>
 <p><span class="insert">An example of association between an activity and an agent involving a plan is:
 an XSLT transform (an activity) launched by a user (an agent) based on an XSL style sheet (a plan).
 
@@ -1849,7 +1853,7 @@
 more elements.  This optional identifier can then be used to refer to
 an instance as</span> part of <span class="delete">a textual notation</span><span class="insert">other concepts.</span></p>
 
-<div class="anexample conceptexample" id="identifier-example" data-count="12"><div class="anexampleTitle"><a href="#identifier-example"><span class="insert">Example 12</span></a></div>
+<div class="anexample conceptexample" id="identifier-example" data-count="12"><div class="anexampleTitle"><a class="internalDFN" href="#identifier-example"><span class="insert">Example 12</span></a></div>
 <p><span class="insert">A service may read a same configuration file on two different occasions. Each  usage can be identifed by its own identifier, allowing them</span> to <span class="delete">write instances of the PROV data model, which we introduce in the next section. </span><span class="insert">be distinguished. 
 </span></p></div>
 
@@ -1879,7 +1883,7 @@
 <span class="glossary-ref"><span class="insert">
  A </span><span class="dfn"><span class="insert">bundle</span></span><span class="insert"> is a named set of provenance descriptions, and is itself an entity, so allowing provenance of provenance to be expressed.  </span></span>
 
-</p><div class="anexample conceptexample" id="bundle-example" data-count="13"><div class="anexampleTitle"><a href="#bundle-example"><span class="insert">Example 13</span></a></div>
+</p><div class="anexample conceptexample" id="bundle-example" data-count="13"><div class="anexampleTitle"><a class="internalDFN" href="#bundle-example"><span class="insert">Example 13</span></a></div>
 <p><span class="insert">
 For users to decide whether they can place their trust in
 a resource, they may want to analyze the resource's provenance, but also determine
@@ -1896,9 +1900,10 @@
 <h4><span class="secno"><span class="insert">2.2.3 </span></span><span class="insert">Collections</span></h4>
 
 <p>
-<span class="glossary-ref"><span class="insert">   A </span><span class="dfn"><span class="insert">collection</span></span><span class="insert"> is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be </span><span class="dfn"><span class="insert">member of</span></span><span class="insert"> the collections.  </span></span><span class="insert"> This concept allows for the provenance of the collection itself to be expressed in addition to that of the members.  Many different types of collections exist, such as a </span><em><span class="insert">sets</span></em><span class="insert">, </span><em><span class="insert">dictionaries</span></em><span class="insert">, or </span><em><span class="insert">lists</span></em><span class="insert">, all of which involve a membership relationship between the constituents and the collection. </span></p>
-
-<div class="anexample conceptexample" id="collection-example" data-count="14"><div class="anexampleTitle"><a href="#collection-example"><span class="insert">Example 14</span></a></div>
+<span class="glossary-ref"><span class="insert">   A </span><span class="dfn"><span class="insert">collection</span></span><span class="insert"> is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be </span><span class="dfn"><span class="insert">member of</span></span><span class="insert"> the collections.  </span></span><span class="insert"> Many different types of collections exist, such as a </span><em><span class="insert">sets</span></em><span class="insert">, </span><em><span class="insert">dictionaries</span></em><span class="insert">, or </span><em><span class="insert">lists</span></em><span class="insert">. 
+Using Collections, one can express the provenance of the collection itself in addition to that of the members. The provenance of the collection is the history of all insertions into and deletions from the collection. This may be complemented by explicit membership statements which enumerate the contents of the collection. </span></p>
+
+<div class="anexample conceptexample" id="collection-example" data-count="14"><div class="anexampleTitle"><a class="internalDFN" href="#collection-example"><span class="insert">Example 14</span></a></div>
 <p><span class="insert">
 An example of collection is an archive of documents. Each document has its own provenance, but the archive itself also has some provenance: who maintained it, which documents it contained at which point in time, how it was assembled, etc. 
 </span></p></div>
@@ -1928,7 +1933,7 @@
 <table class="thinborder" style="margin-left: auto; margin-right: auto;">
 <caption id="components-overview"><span class="insert">Table 3: Components Overview</span></caption>
 <tbody><tr><td style="border-width: 0px; "></td><td><span class="insert">Component</span></td><td><span class="insert">Core </span><br><span class="insert">Structures</span></td><td><span class="insert">Overview</span></td><td><span class="insert">Specification</span></td><td><span class="insert">Description</span></td></tr> 
-<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
 <tr><td style="	padding: 8px;"><span class="insert">1</span></td><td style="text-align: left;"><span class="insert">Entities and Activities</span></td><td><span class="insert">✔</span></td><td><a href="#section-entity-activity"><span class="insert">2.1.1</span></a></td><td><a href="#component1"><span class="insert">5.1</span></a></td><td style="text-align: left;"><span class="insert">about entities and activities, and their interrelations</span></td></tr> 
 <tr><td><span class="insert">2</span></td><td style="text-align: left;"><span class="insert">Derivation</span></td><td><span class="insert">✔</span></td><td><a href="#section-derivation"><span class="insert">2.1.2</span></a></td><td><a href="#component3"><span class="insert">5.2</span></a></td><td style="text-align: left;"><span class="insert">about derivations and its subtypes</span></td></tr> 
 <tr><td><span class="insert">3</span></td><td style="text-align: left;"><span class="insert">Agent and Responsibility</span></td><td><span class="insert">✔</span></td><td><a href="#section-agents-attribution-association-delegation"><span class="insert">2.1.3</span></a></td><td><a href="#component2"><span class="insert">5.3</span></a></td><td style="text-align: left;"><span class="insert">about agents and concepts ascribing responsibility </span>to <span class="delete">a concrete example (see </span><span class="delete">Section 3</span><span class="delete">)</span><span class="insert">them</span></td></tr> 
@@ -2004,7 +2009,7 @@
 </span></li>
 </ul>
 
-<div class="anexample" id="anexample-prov-n" data-count="15"><div class="anexampleTitle"><a href="#anexample-prov-n"><span class="insert">Example 15</span></a></div>
+<div class="anexample" id="anexample-prov-n" data-count="15"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-prov-n"><span class="insert">Example 15</span></a></div>
 <p><span class="insert">
 An activity with identifier </span><span class="name"><span class="insert">a1</span></span><span class="insert"> and an attribute </span><span class="name"><span class="insert">type</span></span><span class="insert"> with value </span><span class="name"><span class="insert">createFile</span></span><span class="insert">.
 </span></p><pre class="codeexample"><span class="insert">activity(a1, [prov:type="createFile"])
@@ -2319,7 +2324,7 @@
 
 <p>
 While  not all PROV-DM relations are binary, they all involve two primary elements. Hence, <a href="#relations-at-a-glance">Table <span class="delete">3</span><span class="insert">4</span></a> indexes all relations according to their two primary <span class="delete">elements.</span><span class="insert">elements (referred to as subject and object).</span>  The table adopts the same color scheme as <a href="#prov-dm-components">Figure 4</a>, allowing components to be readily identified.
-Note that for simplicity, this table  does not include <span class="insert">bundle-oriented and </span>collection-oriented relations.
+Note that for simplicity, this table  does not include collection-oriented relations.
 <span class="insert">Relation names appearing in bold correspond to the core structures introduced
 in </span><a href="#core-structures"><span class="insert">Section 2.1</span></a><span class="insert">.</span></p>
 
@@ -2331,7 +2336,7 @@
 <caption id="relations-at-a-glance">Table <span class="delete">3:</span><span class="insert">4:</span> PROV-DM Relations At a Glance</caption>
 <tbody><tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td colspan="3"><span class="insert">Object</span></td></tr> 
 <tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td>Entity</td><td>Activity</td><td>Agent</td><span class="delete">Note</span></tr> 
-<tr><td rowspan="3"><span class="insert">Subject</span></td><td>Entity</td><td><span class="delete">wasDerivedFrom</span><div class="component2-color"><a class="essential internalDFN" href="#dfn-wasderivedfrom"><span class="insert">WasDerivedFrom</span></a><br><span class="delete">wasRevisionOf</span><a><span class="insert">WasRevisionOf</span></a><br><span class="delete">wasQuotedFrom</span><a><span class="insert">WasQuotedFrom</span></a><br><span class="delete">hadOriginalSource</span><a><span class="insert">HadOriginalSource</span></a></div><div class="component4-color"><a href="#dfn-alternateof" class="internalDFN"><span class="delete">alternateOf</span><span class="insert">AlternateOf</span></a><br><a href="#dfn-specializationof" class="internalDFN"><span class="delete">specializationOf</span><span class="insert">SpecializationOf</span></a></div></td><td class="component1-color"><span class="delete">wasGeneratedBy</span><a class="essential internalDFN" title="wasGeneratedBy" href="#dfn-wasgeneratedby"><span class="insert">WasGeneratedBy</span></a><br><a title="wasInvalidatedBy" href="#dfn-wasinvalidatedby" class="internalDFN"><span class="delete">wasInvalidatedBy</span><span class="insert">WasInvalidatedBy</span></a></td><span class="delete">wasAttributedTo</span><span class="delete">hasAnnotation</span><td class="component3-color"><a class="essential internalDFN" href="#dfn-wasattributedto"><span class="insert">WasAttributedTo</span></a></td></tr>
+<tr><td rowspan="3"><span class="insert">Subject</span></td><td>Entity</td><td><span class="delete">wasDerivedFrom</span><div class="component2-color"><a class="essential internalDFN" href="#dfn-wasderivedfrom"><span class="insert">WasDerivedFrom</span></a><br><a href="#dfn-wasrevisionof" class="internalDFN"><span class="delete">wasRevisionOf</span><span class="insert">WasRevisionOf</span></a><br><a href="#dfn-wasquotedfrom" class="internalDFN"><span class="delete">wasQuotedFrom</span><span class="insert">WasQuotedFrom</span></a><br><span class="delete">hadOriginalSource</span><a href="#dfn-hadprimarysource" class="internalDFN"><span class="insert">HadPrimarySource</span></a></div><div class="component5-color"><a href="#dfn-alternateof" class="internalDFN"><span class="delete">alternateOf</span><span class="insert">AlternateOf</span></a><br><a href="#dfn-specializationof" class="internalDFN"><span class="delete">specializationOf</span><span class="insert">SpecializationOf</span></a><br><a href="#dfn-contextualizationof" class="internalDFN"><span class="insert">ContextualizationOf</span></a></div></td><td class="component1-color"><span class="delete">wasGeneratedBy</span><a class="essential internalDFN" title="wasGeneratedBy" href="#dfn-wasgeneratedby"><span class="insert">WasGeneratedBy</span></a><br><a title="wasInvalidatedBy" href="#dfn-wasinvalidatedby" class="internalDFN"><span class="delete">wasInvalidatedBy</span><span class="insert">WasInvalidatedBy</span></a></td><span class="delete">wasAttributedTo</span><span class="delete">hasAnnotation</span><td class="component3-color"><a class="essential internalDFN" href="#dfn-wasattributedto"><span class="insert">WasAttributedTo</span></a></td></tr>
 <tr><td>Activity</td><td><div class="component1-color"><span class="delete">used</span><a class="essential internalDFN" href="#dfn-used"><span class="insert">Used</span></a><br><a href="#dfn-wasstartedby" class="internalDFN"><span class="delete">wasStartedBy</span><span class="insert">WasStartedBy</span></a><br><a href="#dfn-wasendedby" class="internalDFN"><span class="delete">wasEndedBy</span><span class="insert">WasEndedBy</span></a></div></td><td class="component1-color"><span class="delete">wasStartedByActivity</span><span class="delete">wasInformedBy</span><a class="essential internalDFN" href="#dfn-wasinformedby"><span class="insert">WasInformedBy</span></a></td><span class="delete">wasAssociatedWith</span><span class="delete">hasAnnotation</span><td class="component3-color"><a class="essential internalDFN" href="#dfn-wasassociatedwith"><span class="insert">WasAssociatedWith</span></a></td></tr>
 <tr><td>Agent</td><td>—</td><td>—</td><span class="delete">actedOnBehalfOf</span><span class="delete">hasAnnotation</span>
 <span class="delete">Note</span><span class="delete">—</span><span class="delete">—</span><span class="delete">—</span><span class="delete">hasAnnotation</span><td class="component3-color"><a class="essential internalDFN" href="#dfn-actedonbehalfof"><span class="insert">ActedOnBehalfOf</span></a></td></tr>
@@ -2349,7 +2354,7 @@
 
 <tr class="component1-color"><td class="essential"><a href="#concept-entity" class="internalDFN">Entity</a></td><td><a title="dfn-Entity" class="essential internalDFN" href="#dfn-entity">entity(id, [ attr1=val1, ...])</a></td><td rowspan="8"><a href="#component1"><span class="insert">Component 1: Entities/Activities</span></a></td></tr>
 <tr class="component1-color"><td class="essential"><a href="#concept-activity" class="internalDFN">Activity</a></td><td><a title="dfn-Activity" class="essential internalDFN" href="#dfn-activity">activity(id, st, et, [ attr1=val1, ...])</a></td></tr>
-<tr class="component1-color"><td class="essential"><a href="#concept-generation" class="internalDFN">Generation</a></td><td><a title="wasGeneratedBy" href="#dfn-wasgeneratedby" class="internalDFN"><span class="delete">wasGeneratedBy(id,e,a,t,attrs)</span><span class="essential"><span class="insert">wasGeneratedBy(</span></span><span class="insert">id;</span><span class="essential"><span class="insert">e,a</span></span><span class="insert">,t,attrs</span><span class="essential"><span class="insert">)</span></span></a></td></tr>
+<tr class="component1-color"><td class="essential"><a href="#concept-generation" class="internalDFN">Generation</a></td><td><span class="delete">wasGeneratedBy(id,e,a,t,attrs)</span><a title="WasGeneratedBy" href="#dfn-wasgeneratedby" class="internalDFN"><span class="essential"><span class="insert">wasGeneratedBy(</span></span><span class="insert">id;</span><span class="essential"><span class="insert">e,a</span></span><span class="insert">,t,attrs</span><span class="essential"><span class="insert">)</span></span></a></td></tr>
 <tr class="component1-color"><td class="essential"><a href="#concept-usage" class="internalDFN">Usage</a></td><td><a title="used" href="#dfn-used" class="internalDFN"><span class="delete">used(id,a,e,t,attrs)</span><span class="essential"><span class="insert">used(</span></span><span class="insert">id;</span><span class="essential"><span class="insert">a,e</span></span><span class="insert">,t,attrs</span><span class="essential"><span class="insert">)</span></span></a></td></tr>
 <tr class="component1-color"><td class="essential"><a href="#concept-communication" class="internalDFN"><span class="insert">Communication</span></a></td><td><a title="wasInformedBy" href="#dfn-wasinformedby" class="internalDFN"><span class="insert">wasInformedBy(id;a2,a1,attrs)</span></a></td></tr>
 <tr class="component1-color"><td><a href="#concept-start" class="internalDFN">Start</a></td><td><a title="wasStartedBy" href="#dfn-wasstartedby" class="internalDFN"><span class="delete">wasStartedBy(id,a,e,t,attrs)</span><span class="insert">wasStartedBy(id;a2,e,a1,t,attrs)</span></a></td></tr>
@@ -2359,9 +2364,9 @@
 
 
 <tr class="component2-color"><td class="essential"><a href="#concept-derivation" class="internalDFN"><span class="insert">Derivation</span></a></td><td><span class="delete">wasInformedBy(id,a2,a1,attrs)</span><a title="wasDerivedFrom" href="#dfn-wasderivedfrom" class="internalDFN"><span class="essential"><span class="insert">wasDerivedFrom(</span></span><span class="insert">id; </span><span class="essential"><span class="insert">e2, e1</span></span><span class="insert">, a, g2, u1, attrs</span><span class="essential"><span class="insert">)</span></span></a></td><td rowspan="5"><a href="#component2"><span class="insert">Component 2: Derivations</span></a></td></tr>
-<span class="delete">Start by Activity</span><tr class="component2-color"><td class="provType"><a href="#concept-revision" class="internalDFN"><span class="insert">Revision</span></a></td><td><span class="delete">wasStartedByActivity(id, a2, a1, attrs)</span><a title="revision" href="#concept-revision" class="internalDFN"><span class="insert">... prov:type='prov:WasRevisionOf' ...</span></a></td></tr>
-<tr class="component2-color"><td class="provType"><a href="#concept-quotation" class="internalDFN"><span class="insert">Quotation</span></a></td><td><a title="quotation" href="#concept-quotation" class="internalDFN"><span class="insert">... prov:type='prov:WasQuotedFrom' ...</span></a></td></tr>
-<tr class="component2-color"><td class="provType"><a href="#concept-original-source" class="internalDFN"><span class="insert">Original Source</span></a></td><td><a title="Original Source" href="#concept-original-source" class="internalDFN"><span class="insert">... prov:type='prov:HadOriginalSource' ...</span></a></td></tr>
+<span class="delete">Start by Activity</span><tr class="component2-color"><td class="provType"><a href="#concept-revision" class="internalDFN"><span class="insert">Revision</span></a></td><td><span class="delete">wasStartedByActivity(id, a2, a1, attrs)</span><a title="WasRevisionOf" href="#dfn-wasrevisionof" class="internalDFN"><span class="insert">... prov:type='prov:WasRevisionOf' ...</span></a></td></tr>
+<tr class="component2-color"><td class="provType"><a href="#concept-quotation" class="internalDFN"><span class="insert">Quotation</span></a></td><td><a title="WasQuotedFrom" href="#dfn-wasquotedfrom" class="internalDFN"><span class="insert">... prov:type='prov:WasQuotedFrom' ...</span></a></td></tr>
+<tr class="component2-color"><td class="provType"><a href="#concept-primary-source" class="internalDFN"><span class="insert">Primary Source</span></a></td><td><a title="HadPrimarySource" href="#dfn-hadprimarysource" class="internalDFN"><span class="insert">... prov:type='prov:HadPrimarySource' ...</span></a></td></tr>
 <tr class="component2-color"><td><a href="#concept-trace" class="internalDFN"><span class="insert">Trace</span></a></td><td><a title="tracedTo" href="#dfn-tracedto" class="internalDFN"><span class="insert">tracedTo(id;e2,e1,attrs)</span></a></td></tr>
 <tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
 
@@ -2369,35 +2374,33 @@
 <tr class="component3-color"><td class="essential"><a href="#concept-attribution" class="internalDFN">Attribution</a></td><td><a title="wasAttributedTo" href="#dfn-wasattributedto" class="internalDFN"><span class="delete">wasAttributedTo(id,e,ag,attr)</span><span class="essential"><span class="insert">wasAttributedTo(</span></span><span class="insert">id;</span><span class="essential"><span class="insert">e,ag</span></span><span class="insert">,attr</span><span class="essential"><span class="insert">)</span></span></a></td></tr>
 <tr class="component3-color"><td class="essential"><a href="#concept-activityAssociation" class="internalDFN">Association</a></td><td><a title="wasAssociatedWith" href="#dfn-wasassociatedwith" class="internalDFN"><span class="delete">wasAssociatedWith(id,a,ag,pl,attrs)</span><span class="essential"><span class="insert">wasAssociatedWith(</span></span><span class="insert">id;</span><span class="essential"><span class="insert">a,ag</span></span><span class="insert">,pl,attrs</span><span class="essential"><span class="insert">)</span></span></a></td></tr>
 <span class="delete">Responsibility</span><tr class="component3-color"><td class="essential"><a href="#concept-delegation" class="internalDFN"><span class="insert">Delegation</span></a></td><td><a title="actedOnBehalfOf" href="#dfn-actedonbehalfof" class="internalDFN"><span class="delete">actedOnBehalfOf(id,ag2,ag1,a,attrs)</span><span class="essential"><span class="insert">actedOnBehalfOf(</span></span><span class="insert">id;</span><span class="essential"><span class="insert">ag2,ag1</span></span><span class="insert">,a,attrs</span><span class="essential"><span class="insert">)</span></span></a></td></tr>
-<tr class="component3-color"><span class="delete">Derivation</span><td class="provType"><a href="#concept-plan" class="internalDFN"><span class="insert">Plan</span></a></td><td><span class="delete">wasDerivedFrom(id, e2, e1, a, g2, u1, attrs)</span><a title="plan" href="#concept-plan" class="internalDFN"><span class="insert">... prov:type='prov:Plan' ...</span></a></td>
-</tr><tr class="component3-color"><td class="provType"><a href="#concept-person" class="internalDFN"><span class="insert">Person</span></a></td><td><a title="person" href="#concept-person" class="internalDFN"><span class="insert">... prov:type='prov:Person' ...</span></a></td>
-</tr><tr class="component3-color"><td class="provType"><a href="#concept-organization" class="internalDFN"><span class="insert">Organization</span></a></td><td><a title="organization" href="#concept-organization" class="internalDFN"><span class="insert">... prov:type='prov:Organization' ...</span></a></td>
-</tr><tr class="component3-color"><td class="provType"><a title="software-agent" href="#concept-software-agent" class="internalDFN"><span class="insert">SoftwareAgent</span></a></td><td><a title="software-agent" href="#concept-software-agent" class="internalDFN"><span class="insert">... prov:type='prov:SoftwareAgent' ...</span></a></td>
-</tr><tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
-<span class="delete">Revision</span><span class="delete">wasRevisionOf(id,e2,e1,ag,attrs)</span>
-<span class="delete">Quotation</span><span class="delete">wasQuotedFrom(id,e2,e1,ag2,ag1,attrs)</span>
-<span class="delete">Original Source</span><span class="delete">hadOriginalSource(id,e2,e1,attrs)</span>
-<span class="delete">Trace</span><span class="delete">tracedTo(id,e2,e1,attrs)</span>
-
-
-
-<tr class="component4-color"><td><a href="#concept-alternate" class="internalDFN">Alternate</a></td><td><a title="alternateOf" href="#dfn-alternateof" class="internalDFN">alternateOf(alt1, alt2)</a></td><td rowspan="2"><a href="#component4"><span class="insert">Component 4: Alternate</span></a></td></tr>
-<tr class="component4-color"><td><a href="#concept-specialization" class="internalDFN">Specialization</a></td><td><a title="specializationOf" href="#dfn-specializationof" class="internalDFN">specializationOf(sub, super)</a></td></tr>
+<tr class="component3-color"><span class="delete">Derivation</span><td class="provType"><a href="#concept-plan" class="internalDFN"><span class="insert">Plan</span></a></td><td><span class="delete">wasDerivedFrom(id, e2, e1, a, g2, u1, attrs)</span><a title="plan" href="#concept-plan" class="internalDFN"><span class="insert">... prov:type='prov:Plan' ...</span></a></td></tr>
+<tr class="component3-color"><span class="delete">Revision</span><td class="provType"><a href="#concept-person" class="internalDFN"><span class="insert">Person</span></a></td><td><span class="delete">wasRevisionOf(id,e2,e1,ag,attrs)</span><a title="person" href="#concept-person" class="internalDFN"><span class="insert">... prov:type='prov:Person' ...</span></a></td></tr>
+<tr class="component3-color"><span class="delete">Quotation</span><td class="provType"><a href="#concept-organization" class="internalDFN"><span class="insert">Organization</span></a></td><td><span class="delete">wasQuotedFrom(id,e2,e1,ag2,ag1,attrs)</span><a title="organization" href="#concept-organization" class="internalDFN"><span class="insert">... prov:type='prov:Organization' ...</span></a></td></tr>
+<tr class="component3-color"><span class="delete">Original Source</span><td class="provType"><a title="software-agent" href="#concept-software-agent" class="internalDFN"><span class="insert">SoftwareAgent</span></a></td><td><span class="delete">hadOriginalSource(id,e2,e1,attrs)</span><a title="software-agent" href="#concept-software-agent" class="internalDFN"><span class="insert">... prov:type='prov:SoftwareAgent' ...</span></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="component5-color"><td><a title="bundle" href="#concept-bundle" class="internalDFN"><span class="insert">Bundle constructor</span></a></td><td><a title="dfn-bundle" href="#dfn-bundle-declaration" class="internalDFN"><span class="insert">bundle id description_1 ... description_n endBundle</span></a></td><td rowspan="3"><a href="#component5"><span class="insert">Component 5: Bundles</span></a></td></tr>
-<tr class="component5-color"><td class="provType"><a title="bundle" href="#concept-bundle" class="internalDFN"><span class="insert">Bundle type</span></a></td><td><a><span class="insert">... prov:type='prov:Bundle' ...</span></a></td></tr>
-<tr class="component5-color"><td><a href="#concept-provenance-locator" class="internalDFN"><span class="insert">Provenance Locator</span></a></td><td><a title="hasProvenanceIn" href="#dfn-hasprovenancein" class="internalDFN"><span class="insert">hasProvenanceIn(id, subject, bundle, target, service, prov, attrs)</span></a></td></tr>
+
+<tr class="component4-color"><td><span class="delete">Trace</span><a title="bundle" href="#concept-bundle" class="internalDFN"><span class="insert">Bundle constructor</span></a></td><td><span class="delete">tracedTo(id,e2,e1,attrs)</span><a title="dfn-bundle" href="#dfn-bundle-declaration" class="internalDFN"><span class="insert">bundle id description_1 ... description_n endBundle</span></a></td><td rowspan="2"><a href="#component5"><span class="insert">Component 4: Bundles</span></a></td></tr>
+<tr class="component4-color"><td class="provType"><a title="bundle" href="#concept-bundle" class="internalDFN"><span class="insert">Bundle type</span></a></td><td><a title="bundle" href="#concept-bundle" class="internalDFN"><span class="insert">... prov:type='prov:Bundle' ...</span></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="component6-color"><td class="provType"><a href="#concept-collection" class="internalDFN">Collection</a></td><td><span class="delete">Collection</span><a title="collection" href="#concept-collection" class="internalDFN"><span class="insert">... prov:type='prov:Collection' ...</span></a></td><td rowspan="6"><a href="#component6"><span class="insert">Component 6: Collections</span></a></td></tr>
-<tr class="component6-color"><td class="provType"><a href="#concept-dictionary" class="internalDFN">Dictionary</a></td><td><span class="delete">Dictionary</span><a title="dictionary" href="#concept-dictionary" class="internalDFN"><span class="insert">... prov:type='prov:Dictionary' ...</span></a></td></tr>
-<tr class="component6-color"><td class="provType"><a title="empty dictionary" href="#concept-empty-dictionary" class="internalDFN"><span class="insert">EmptyDictionary</span></a></td><td><a title="empty dictionary" href="#concept-empty-dictionary" class="internalDFN"><span class="insert">... prov:type='prov:EmptyDictionary' ...</span></a></td></tr>
-<tr class="component6-color"><td><a href="#concept-insertion" class="internalDFN">Insertion</a></td><td><a title="derivedByInsertionFrom" href="#dfn-derivedbyinsertionfrom" class="internalDFN"><span class="delete">derivedByInsertionFrom(id,</span><span class="insert">derivedByInsertionFrom(id;</span> c2, c1, {(key_1, e_1), ..., (key_n, e_n)}, attrs)</a></td></tr>
-<tr class="component6-color"><td><a href="#concept-removal" class="internalDFN">Removal</a></td><td><a title="derivedByRemovalFrom" href="#dfn-derivedbyremovalfrom" class="internalDFN"><span class="delete">derivedByRemovalFrom(id,</span><span class="insert">derivedByRemovalFrom(id;</span> c2, c1, {key_1, ... key_n}, attrs)</a></td></tr>
-<tr class="component6-color"><td><a href="#concept-membership" class="internalDFN">Membership</a></td><td><a title="memberOf" href="#dfn-memberof" class="internalDFN">memberOf(c, {(key_1, e_1), ..., (key_n, e_n)})
-<span class="delete">Note</span><span class="delete">note(id, [ attr1=val1, ...])</span>
-<span class="delete">Annotation</span><span class="delete">hasAnnotation(r,n)</span></a></td></tr>
+<tr class="component5-color"><td><a href="#concept-alternate" class="internalDFN">Alternate</a></td><td><a title="alternateOf" href="#dfn-alternateof" class="internalDFN">alternateOf(alt1, alt2)</a></td><td rowspan="3"><a href="#component4"><span class="insert">Component 5: Alternate</span></a></td></tr>
+<tr class="component5-color"><td><a href="#concept-specialization" class="internalDFN">Specialization</a></td><td><a title="specializationOf" href="#dfn-specializationof" class="internalDFN">specializationOf(sub, super)</a></td></tr>
+<tr class="component5-color"><td><a href="#concept-contextualiation2" class="internalDFN"><span class="insert">Contextualization</span></a></td><td><a title="contextualizationOf" href="#dfn-contextualizationof" class="internalDFN"><span class="insert">contextualizationOf(i2, i1,bundle)</span></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="component6-color"><td class="provType"><a href="#concept-collection" class="internalDFN">Collection</a></td><td><span class="delete">Collection</span><a title="collection" href="#concept-collection" class="internalDFN"><span class="insert">... prov:type='prov:Collection' ...</span></a></td><td rowspan="7"><a href="#component6"><span class="insert">Component 6: Collections</span></a></td></tr>
+<tr class="component6-color"><td><span class="delete">Dictionary</span><span class="delete">Dictionary</span>
+<span class="delete">Insertion</span><span class="delete">derivedByInsertionFrom(id, c2, c1, {(key_1, e_1), ..., (key_n, e_n)}, attrs)</span>
+<span class="delete">Removal</span><span class="delete">derivedByRemovalFrom(id, c2, c1, {key_1, ... key_n}, attrs)</span>
+<a><span class="insert">Collection </span>Membership</a></td><td><a title="memberOf" href="#dfn-memberof" class="internalDFN">memberOf(c, <span class="delete">{(key_1, e_1),</span><span class="insert">{e_1,</span> ..., <span class="delete">(key_n, e_n)})</span><span class="insert">e_n})</span></a></td></tr>
+<tr class="component6-color"><span class="delete">Note</span><td class="provType"><a href="#concept-dictionary" class="internalDFN"><span class="insert">Dictionary</span></a></td><td><span class="delete">note(id, [ attr1=val1, ...])</span><a title="dictionary" href="#concept-dictionary" class="internalDFN"><span class="insert">... prov:type='prov:Dictionary' ...</span></a></td></tr>
+<tr class="component6-color"><span class="delete">Annotation</span><td class="provType"><a title="empty dictionary" href="#concept-empty-dictionary" class="internalDFN"><span class="insert">EmptyDictionary</span></a></td><td><span class="delete">hasAnnotation(r,n)</span><a title="empty dictionary" href="#concept-empty-dictionary" class="internalDFN"><span class="insert">... prov:type='prov:EmptyDictionary' ...</span></a></td></tr>
+<tr class="component6-color"><td><a href="#concept-insertion" class="internalDFN"><span class="insert">Insertion</span></a></td><td><a title="derivedByInsertionFrom" href="#dfn-derivedbyinsertionfrom" class="internalDFN"><span class="insert">derivedByInsertionFrom(id; c2, c1, {(key_1, e_1), ..., (key_n, e_n)}, attrs)</span></a></td></tr>
+<tr class="component6-color"><td><a href="#concept-removal" class="internalDFN"><span class="insert">Removal</span></a></td><td><a title="derivedByRemovalFrom" href="#dfn-derivedbyremovalfrom" class="internalDFN"><span class="insert">derivedByRemovalFrom(id; c2, c1, {key_1, ... key_n}, attrs)</span></a></td></tr>
+<tr class="component6-color"><td><a><span class="insert">Dictionary Membership</span></a></td><td><a title="memberOf" href="#dfn-memberof" class="internalDFN"><span class="insert">memberOf(d, {(key_1, e_1), ..., (key_n, e_n)})</span></a></td></tr>
 </tbody></table>
 </div>
 
@@ -2411,7 +2414,7 @@
 <h3><span class="secno"><span class="delete">4.1</span><span class="insert">5.1</span> </span>Component 1: Entities and Activities</h3>
 
 <p>The first component of PROV-DM is concerned with <a title="entity" href="#concept-entity" class="internalDFN">entities</a> and <a title="activity" href="#concept-activity" class="internalDFN">activities</a>, and their interrelations: <a href="#concept-usage" class="internalDFN">Usage</a>, <a href="#concept-generation" class="internalDFN">Generation</a>, <a href="#concept-start" class="internalDFN">Start</a>, <a href="#concept-end" class="internalDFN">End</a>, <a href="#concept-invalidation" class="internalDFN">Invalidation</a>, <span class="insert">and </span><a href="#concept-communication" class="internalDFN">Communication<span class="delete">, and </span><span class="delete">Start by Activity</span></a>.  <a href="#figure-component1">Figure 5</a> uses UML to depict the first <span class="delete">component, with</span><span class="insert">component.
-Core structures are displayed in the yellow area, consisting of</span> two classes <span class="insert">(</span><a href="#concept-entity" class="internalDFN"><span class="insert">Entity</span></a><span class="insert">, </span><a href="#concept-activity" class="internalDFN"><span class="insert">Activity</span></a><span class="insert">) </span>and <span class="insert">three </span>binary associations between <span class="delete">them. Associations are not just binary: indeed, </span><span class="insert">them (</span><a href="#concept-usage" class="internalDFN">Usage</a>, <a href="#concept-generation" class="internalDFN">Generation</a>, <span class="insert">and </span><a href="#concept-communication" class="internalDFN"><span class="insert">Communication</span></a><span class="insert">). The rest of the figure displays extended structures, including UML association classes (see [</span><cite><a class="bibref" rel="biblioentry" href="#bib-UML"><span class="insert">UML</span></a></cite><span class="insert">], section 7.3.4, p. 42), represented in gray, to express expanded n-ary relations (for </span><a href="#concept-usage" class="internalDFN"><span class="insert">Usage</span></a><span class="insert">, </span><a href="#concept-generation" class="internalDFN"><span class="insert">Generation</span></a><span class="insert">, </span><a href="#concept-invalidation" class="internalDFN"><span class="insert">Invalidation</span></a><span class="insert">, </span><a href="#concept-start" class="internalDFN">Start</a>, <a href="#concept-end" class="internalDFN">End</a><span class="insert">). The figure</span> also <span class="delete">include</span><span class="insert">makes explicit associations with</span> <em>time</em> <span class="delete">attributes.</span><span class="insert">for these concepts (time being marked with the primitive stereotype).</span>
+Core structures are displayed in the yellow area, consisting of</span> two classes <span class="insert">(</span><a href="#concept-entity" class="internalDFN"><span class="insert">Entity</span></a><span class="insert">, </span><a href="#concept-activity" class="internalDFN"><span class="insert">Activity</span></a><span class="insert">) </span>and <span class="insert">three </span>binary associations between <span class="delete">them. Associations are not just binary: indeed, </span><span class="insert">them (</span><a href="#concept-usage" class="internalDFN">Usage</a>, <a href="#concept-generation" class="internalDFN">Generation</a>, <span class="insert">and </span><a href="#concept-communication" class="internalDFN"><span class="insert">Communication</span></a><span class="insert">). The rest of the figure displays extended structures, including UML association classes (see [</span><cite><a class="bibref" rel="biblioentry" href="#bib-UML"><span class="insert">UML</span></a></cite><span class="insert">], section 7.3.4, p. 42), represented in gray, to express expanded n-ary relations (for </span><a href="#concept-usage" class="internalDFN"><span class="insert">Usage</span></a><span class="insert">, </span><a href="#concept-generation" class="internalDFN"><span class="insert">Generation</span></a><span class="insert">, </span><a href="#concept-invalidation" class="internalDFN"><span class="insert">Invalidation</span></a><span class="insert">, </span><a href="#concept-start" class="internalDFN">Start</a>, <a href="#concept-end" class="internalDFN">End</a><span class="insert">). The figure</span> also <span class="delete">include</span><span class="insert">makes explicit associations with</span> <em>time</em> <span class="delete">attributes.</span><span class="insert">for these concepts (time being marked with the primitive stereotype).   When not specified, cardinality is assumed to be 0..*.</span>
 </p>
 
 <div style="text-align: center;">
@@ -2441,7 +2444,7 @@
 <li><span class="attribute" id="entity.attributes">attributes</span>: an <em class="rfc2119" title="optional">optional</em> set of attribute-value  pairs ((<span class="name">attr1</span>, <span class="name">val1</span>), ...) representing additional information about this entity.</li>
 </ul></div>
 
-<div class="anexample" id="anexample-entity" data-count="16"><div class="anexampleTitle"><a href="#anexample-entity"><span class="insert">Example 16</span></a></div>
+<div class="anexample" id="anexample-entity" data-count="16"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-entity"><span class="insert">Example 16</span></a></div>
 <p>
 The following expression</p>
 <pre class="codeexample">entity(tr:WD-prov-dm-20111215, [ prov:type="document", ex:version="2" ])
@@ -2469,7 +2472,7 @@
 <li><span class="attribute" id="activity.attributes">attributes</span>:  an <em class="rfc2119" title="optional">optional</em> set of attribute-value pairs ((<span class="name">attr1</span>, <span class="name">val1</span>), ...) representing additional information about this activity.</li>
 </ul></div>
 
-<div class="anexample" id="anexample-activity" data-count="17"><div class="anexampleTitle"><a href="#anexample-activity"><span class="insert">Example 17</span></a></div>
+<div class="anexample" id="anexample-activity" data-count="17"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-activity"><span class="insert">Example 17</span></a></div>
 <p>
 The following expression</p>
 <pre class="codeexample">activity(a1,2011-11-16T16:05:00,2011-11-16T16:06:00,
@@ -2512,7 +2515,7 @@
 
 
 
-<div class="anexample" id="anexample-generation1" data-count="18"><div class="anexampleTitle"><a href="#anexample-generation1"><span class="insert">Example 18</span></a></div>
+<div class="anexample" id="anexample-generation1" data-count="18"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-generation1"><span class="insert">Example 18</span></a></div>
 <p>
 The following expressions</p>
 <pre class="codeexample">  <span class="delete">wasGeneratedBy(e1,a1,</span><span class="insert">wasGeneratedBy(e1, a1,</span> 2001-10-26T21:32:52, <span class="delete">[ex:port="p1"])</span><span class="insert">[ ex:port="p1" ])</span>
@@ -2525,7 +2528,7 @@
 </div>
 
 
-<div class="anexample" id="anexample-generation2" data-count="19"><div class="anexampleTitle"><a href="#anexample-generation2"><span class="insert">Example 19</span></a></div>
+<div class="anexample" id="anexample-generation2" data-count="19"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-generation2"><span class="insert">Example 19</span></a></div>
 <p>
 In some cases, we may want to record the time at which an entity was generated without having to specify the activity that generated it. To support this requirement, the activity element in generation is optional. Hence,  the following expression indicates the time at which an entity is generated, without naming the activity that did it.</p>
 <pre class="codeexample">  <span class="delete">wasGeneratedBy(e,-,2001-10-26T21:32:52)</span><span class="insert">wasGeneratedBy(e, -, 2001-10-26T21:32:52)</span>
@@ -2559,7 +2562,7 @@
 </p>
 
 
-<div class="anexample" id="anexample-usage" data-count="20"><div class="anexampleTitle"><a href="#anexample-usage"><span class="insert">Example 20</span></a></div>
+<div class="anexample" id="anexample-usage" data-count="20"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-usage"><span class="insert">Example 20</span></a></div>
 <p>The following usages</p>
 <pre class="codeexample">  <span class="delete">used(a1,e1,2011-11-16T16:00:00,[ex:parameter="p1"])</span><span class="insert">used(a1, e1, 2011-11-16T16:00:00, [ ex:parameter="p1" ])</span>
   <span class="delete">used(a1,e2,2011-11-16T16:00:01,[ex:parameter="p2"])</span><span class="insert">used(a1, e2, 2011-11-16T16:00:01, [ ex:parameter="p2" ])</span>
@@ -2578,7 +2581,7 @@
 
 
 
-<div id="term-wasInformedBy" class="section">
+<div id="term-Communication" class="section">
 <h4><span class="secno"><span class="delete">4.1.5</span><span class="insert">5.1.5 </span></span><span class="insert">Communication</span></h4>
 
 <div class="glossary-ref">   <dfn id="concept-communication"><span class="insert">Communication</span></dfn><span class="insert"> is the exchange of an unspecified entity by two activities, one activity using some entity generated by the other. </span></div>
@@ -2602,7 +2605,7 @@
 
 
 
-<div class="anexample" id="anexample-communication" data-count="21"><div class="anexampleTitle"><a href="#anexample-communication"><span class="insert">Example 21</span></a></div>
+<div class="anexample" id="anexample-communication" data-count="21"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-communication"><span class="insert">Example 21</span></a></div>
 <p><span class="insert">
 Consider two activities  </span><span class="name"><span class="insert">a1</span></span><span class="insert"> and </span><span class="name"><span class="insert">a2</span></span><span class="insert">, the former performed by a government agency, and the latter by a driver caught speeding. 
 </span></p><pre class="codeexample"><span class="insert">activity(a1, [ prov:type="traffic regulations enforcing" ])
@@ -2633,7 +2636,7 @@
 <p><span class="insert">While each of </span><a href="#start.id"><span class="attribute"><span class="insert">id</span></span></a><span class="insert">, </span><a href="#start.trigger"><span class="attribute"><span class="insert">trigger</span></span></a><span class="insert">, </span><a href="#start.starter"><span class="attribute"><span class="insert">starter</span></span></a><span class="insert">, </span><a href="#start.time"><span class="attribute"><span class="insert">time</span></span></a><span class="insert">, and  </span><a href="#start.attributes"><span class="attribute"><span class="insert">attributes</span></span></a><span class="insert"> is </span><em class="rfc2119" title="optional"><span class="insert">optional</span></em><span class="insert">, at least one of them </span><em class="rfc2119" title="must"><span class="insert">must</span></em><span class="insert"> be present.</span></p>
 
 
-<div class="anexample" id="anexample-start1" data-count="22"><div class="anexampleTitle"><a href="#anexample-start1"><span class="insert">Example 22</span></a></div>
+<div class="anexample" id="anexample-start1" data-count="22"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-start1"><span class="insert">Example 22</span></a></div>
 <p>
 The following example contains the description of an activity <span class="name">a1</span> (a discussion), which was started at a specific time, and was triggered by an email message <span class="name">e1</span>.</p>
 <pre class="codeexample"><span class="delete">entity(e1,[prov:type="email message"])
@@ -2655,7 +2658,7 @@
 </pre>
 </div>
 
-<div class="anexample" id="anexample-start2" data-count="23"><div class="anexampleTitle"><a href="#anexample-start2"><span class="insert">Example 23</span></a></div>
+<div class="anexample" id="anexample-start2" data-count="23"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-start2"><span class="insert">Example 23</span></a></div>
 <p>
 In the following example, a race is started by a bang, and responsibility for this trigger is attributed to an agent 
  <span class="name">ex:Bob</span>.
@@ -2668,7 +2671,7 @@
 </pre>
 </div>
 
-<div class="anexample" id="anexample-start3" data-count="24"><div class="anexampleTitle"><a href="#anexample-start3"><span class="insert">Example 24</span></a></div>
+<div class="anexample" id="anexample-start3" data-count="24"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-start3"><span class="insert">Example 24</span></a></div>
 <p><span class="insert">
 In this example, filling fuel was started as a consequence of
 observing low fuel. The trigger entity is unspecified, it could
@@ -2711,7 +2714,7 @@
 <p><span class="insert">While each of </span><a href="#end.id"><span class="attribute"><span class="insert">id</span></span></a><span class="insert">, </span><a href="#end.trigger"><span class="attribute"><span class="insert">trigger</span></span></a><span class="insert">, </span><a href="#end.ender"><span class="attribute"><span class="insert">ender</span></span></a><span class="insert">, </span><a href="#end.time"><span class="attribute"><span class="insert">time</span></span></a><span class="insert">, and  </span><a href="#end.attributes"><span class="attribute"><span class="insert">attributes</span></span></a><span class="insert"> is </span><em class="rfc2119" title="optional"><span class="insert">optional</span></em><span class="insert">, at least one of them </span><em class="rfc2119" title="must"><span class="insert">must</span></em><span class="insert"> be present.</span></p>
 
 
-<div class="anexample" id="anexample-end" data-count="25"><div class="anexampleTitle"><a href="#anexample-end"><span class="insert">Example 25</span></a></div>
+<div class="anexample" id="anexample-end" data-count="25"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-end"><span class="insert">Example 25</span></a></div>
 <p>
 The following example is a description of an activity <span class="name">a1</span> (editing) that was ended following an approval document <span class="name">e1</span>.</p>
 <pre class="codeexample"><span class="delete">entity(e1,[prov:type="approval document"])
@@ -2764,7 +2767,7 @@
 
 
 
-<div class="anexample" id="anexample-invalidation1" data-count="26"><div class="anexampleTitle"><a href="#anexample-invalidation1"><span class="insert">Example 26</span></a></div>
+<div class="anexample" id="anexample-invalidation1" data-count="26"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-invalidation1"><span class="insert">Example 26</span></a></div>
 <p>
 <em>The <span class="delete">Painter,</span><span class="insert">Painter</span></em><span class="insert">,</span> a Picasso painting, is known to have been destroyed in a <a href="http://en.wikipedia.org/wiki/Lost_artworks#20th_century">plane accident</a>.
 
@@ -2776,7 +2779,7 @@
 </pre>
 </div>
 
-<div class="anexample" id="anexample-invalidation2" data-count="27"><div class="anexampleTitle"><a href="#anexample-invalidation2"><span class="insert">Example 27</span></a></div>
+<div class="anexample" id="anexample-invalidation2" data-count="27"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-invalidation2"><span class="insert">Example 27</span></a></div>
 <p>
 The BBC news home page on 2012-04-03 <span class="name">ex:bbcNews2012-04-03</span>
 contained a reference to a given news item
@@ -2791,12 +2794,12 @@
 
 
 We refer to example <span class="delete">anexample-specialization</span> 
-<a href="#anexample-specialization" class="anexample-ref"><span><span class="insert">Example 40</span></span></a>
+<a href="#anexample-specialization" class="anexample-ref"><span><span class="insert">Example 42</span></span></a>
  for further descriptions of the BBC Web site, and to   <a href="#term-dictionary-membership">Section <span class="delete">Membership</span><span class="insert">5.6.5</span></a> for a description of the relation <a href="#dfn-memberof" class="internalDFN">memberOf</a>.
 </div>
 
 
-<div class="anexample" id="anexample-invalidation3" data-count="28"><div class="anexampleTitle"><a href="#anexample-invalidation3"><span class="insert">Example 28</span></a></div>
+<div class="anexample" id="anexample-invalidation3" data-count="28"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-invalidation3"><span class="insert">Example 28</span></a></div>
 <p>
 In this example, the  "buy one beer, get one free" offer expired at the end of the happy hour.</p>
 <pre class="codeexample">entity(buy_one_beer_get_one_free_offer_during_happy_hour)
@@ -2836,7 +2839,7 @@
 
 
 
-<p><span class="insert">The third component of PROV-DM is concerned with: </span><a title="derivation" href="#concept-derivation" class="internalDFN"><span class="insert">derivations</span></a><span class="insert"> of </span><a title="entity" href="#concept-entity" class="internalDFN"><span class="insert">entities</span></a><span class="insert"> from others; derivation subtypes </span><a href="#concept-revision" class="internalDFN"><span class="insert">Revision</span></a><span class="insert">, </span><a href="#concept-quotation" class="internalDFN"><span class="insert">Quotation</span></a><span class="insert">, and </span><a href="#concept-original-source" class="internalDFN"><span class="insert">Original Source</span></a><span class="insert">; derivation-related </span><a href="#concept-trace" class="internalDFN"><span class="insert">Trace</span></a><span class="insert">. 
+<p><span class="insert">The third component of PROV-DM is concerned with: </span><a title="derivation" href="#concept-derivation" class="internalDFN"><span class="insert">derivations</span></a><span class="insert"> of </span><a title="entity" href="#concept-entity" class="internalDFN"><span class="insert">entities</span></a><span class="insert"> from others; derivation subtypes </span><a href="#concept-revision" class="internalDFN"><span class="insert">Revision</span></a><span class="insert">, </span><a href="#concept-quotation" class="internalDFN"><span class="insert">Quotation</span></a><span class="insert">, and </span><a href="#concept-primary-source" class="internalDFN"><span class="insert">Primary Source</span></a><span class="insert">; derivation-related </span><a href="#concept-trace" class="internalDFN"><span class="insert">Trace</span></a><span class="insert">. 
  </span><a href="#figure-component2"><span class="insert">Figure 6</span></a><span class="insert"> depicts the third component
 with PROV core structures in the yellow area, including two classes
 (</span><a href="#concept-entity" class="internalDFN"><span class="insert">Entity</span></a><span class="insert">, </span><a href="#concept-activity" class="internalDFN"><span class="insert">Activity</span></a><span class="insert">) and binary association
@@ -2853,7 +2856,7 @@
 </figure>
 </div>
 
-<div id="term-derivation" class="section">
+<div id="term-Derivation" class="section">
 <h4><span class="secno"><span class="delete">4.1.8 </span><span class="delete">Communication</span><span class="insert">5.2.1 </span></span><span class="insert">Derivation</span></h4>
 
 
@@ -2886,7 +2889,7 @@
 
 
 
-<div class="anexample" id="anexample-derivation" data-count="29"><div class="anexampleTitle"><a href="#anexample-derivation"><span class="insert">Example 29</span></a></div>
+<div class="anexample" id="anexample-derivation" data-count="29"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-derivation"><span class="insert">Example 29</span></a></div>
 <p><span class="insert">The following descriptions are about derivations between  </span><span class="name"><span class="insert">e2</span></span><span class="insert"> and  </span><span class="name"><span class="insert">e1</span></span><span class="insert">, but no information is provided as to the identity of the activity (and usage and generation) underpinning the derivation. In the second line, a type attribute is also provided.</span></p>
 <pre class="codeexample"><span class="insert">wasDerivedFrom(e2, e1)
 wasDerivedFrom(e2, e1, [ prov:type="physical transform" ])
@@ -2914,16 +2917,20 @@
 <p><span class="glossary-ref"><span class="insert">   A </span><dfn id="concept-revision"><span class="insert">revision</span></dfn><span class="insert">   is a derivation for which the resulting entity is a revised version of some original. </span></span></p><span class="delete">
 A </span><span class="delete">communication</span>
 
+
 <p><span class="insert">
   The implication here is that
      the resulting entity contains substantial content from the
      original.
-Revision is a particular case of </span><a href="#concept-derivation" class="internalDFN"><span class="insert">derivation</span></a><span class="insert"> of an entity into its revised version.</span></p>
-
-
-
-
-<div class="anexample" id="anexample-revision" data-count="30"><div class="anexampleTitle"><a href="#anexample-revision"><span class="insert">Example 30</span></a></div>
+Revision is a particular case of </span><a href="#concept-derivation" class="internalDFN"><span class="insert">derivation</span></a><span class="insert"> of an entity into its revised version.
+The type is of a revision derivation is denoted by:
+</span><dfn title="WasRevisionOf" id="dfn-wasrevisionof"><span class="name"><span class="insert">prov:WasRevisionOf</span></span></dfn><span class="insert">.
+</span></p>
+
+
+
+
+<div class="anexample" id="anexample-revision" data-count="30"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-revision"><span class="insert">Example 30</span></a></div>
 <p><span class="insert">
 Revisiting the example of </span><a href="#section-example-two"><span class="insert">Section 4.2</span></a>,<span class="delete"> written as 
 </span><span class="delete">wasInformedBy(id,a2,a1,attrs)</span><span class="delete"> in PROV-N,</span><span class="delete"> has: 
@@ -2961,34 +2968,37 @@
 <h4><span class="secno"><span class="delete">4.1.9 </span><span class="delete">Start by Activity</span><span class="insert">5.2.3 </span></span><span class="insert">Quotation</span></h4>
 
 <p> 
-<span class="glossary-ref">   <span class="delete">Start</span><span class="insert">A </span><dfn id="concept-quotation"><span class="insert">quotation</span></dfn><span class="insert">  is the repeat of (some or all of) an entity, such as text or image,</span> by <span class="delete">Activity</span> <span class="insert">someone who may or may not be its original author. </span></span>
+<span class="glossary-ref">   <span class="delete">Start</span><span class="insert">A </span><dfn id="concept-quotation"><span class="insert">quotation</span></dfn><span class="insert">  is the repeat of (some or all of) an entity, such as text or image,</span> by <span class="delete">Activity</span><span class="insert">someone who may or may not be its original author. </span></span>
 </p>
 
 <p><span class="insert">Quotation
- </span>is <span class="delete">the start of</span><span class="insert">a particular case of  </span><a href="#concept-derivation" class="internalDFN"><span class="insert">derivation</span></a><span class="insert"> in which</span> an <span class="delete">activity with</span><span class="insert">entity is derived from</span> an <span class="delete">implicit trigger generated</span><span class="insert">original entity</span> by <span class="delete">another activity. </span><span class="insert">copying, or "quoting", some or all of it.</span></p>
-
-
-
-
-<div class="anexample" id="anexample-quotation" data-count="31"><div class="anexampleTitle"><a href="#anexample-quotation"><span class="insert">Example 31</span></a></div>
-
-
-
-
+ is a particular case of  </span><a href="#concept-derivation" class="internalDFN"><span class="insert">derivation</span></a><span class="insert"> 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:
+</span><dfn title="WasQuotedFrom" id="dfn-wasquotedfrom"><span class="name"><span class="insert">prov:WasQuotedFrom</span></span></dfn><span class="insert">.
+</span></p>
+
+
+
+
+<div class="anexample" id="anexample-quotation" data-count="31"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-quotation"><span class="insert">Example 31</span></a></div>
 <p><span class="insert">
-The following paragraph is a quote from one of  </span><a href="http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/"><span class="insert">the author's blogs</span></a><span class="insert">.
-</span></p><span class="delete">
-A </span><span class="delete">start</span><blockquote id="bl-dagstuhl"><em><span class="insert">
+The following paragraph</span> is <span class="delete">the start of an activity with an implicit trigger generated</span><span class="insert">a quote from one of  </span><a href="http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/"><span class="insert">the author's blogs</span></a><span class="insert">.
+</span></p><blockquote id="bl-dagstuhl"><em><span class="insert">
 "During the workshop, it became clear to me that the consensus based models (which are often graphical in nature) can not only be formalized but also be directly connected to these database focused formalizations. I just needed to get over the differences in syntax.  This could imply that we could have nice way to trace provenance across systems and through databases and be able to understand the mathematical properties of this interconnection."</span></em>
 </blockquote>
-<p><span class="insert">If </span><a href="http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/"><span class="name"><span class="insert">wp:thoughts-from-the-dagstuhl-principles-of-provenance-workshop/</span></span></a><span class="insert"> denotes the original blog</span> by <span class="delete">activity</span><span class="insert">agent </span><span class="name"><span class="insert">ex:Paul</span></span>, <span class="delete">written as 
+<p><span class="insert">If </span><a href="http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/"><span class="name"><span class="insert">wp:thoughts-from-the-dagstuhl-principles-of-provenance-workshop/</span></span></a><span class="insert"> denotes the original blog</span> by <span class="delete">another activity. </span>
+
+
+
+<span class="insert">agent </span><span class="name"><span class="insert">ex:Paul</span></span><span class="insert">, and 
+ </span><a href="#bl-dagstuhl"><span class="name"><span class="insert">dm:bl-dagstuhl</span></span></a><span class="insert"> denotes the above paragraph, then the following descriptions express that the above paragraph was copied by agent </span><span class="name"><span class="insert">ex:Luc</span></span><span class="insert"> from a part of the blog, attributed to the agent </span><span class="name"><span class="insert">ex:Paul</span></span><span class="insert">.</span></p><span class="delete">
+A </span><span class="delete">start by activity</span><span class="delete">, written as 
 </span><span class="delete">wasStartedByActivity(id, a2, a1, attrs)</span><span class="delete"> in PROV-N,</span><span class="delete"> has:
 </span>
 <span class="delete">id</span><span class="delete">:  an </span><span class="delete">optional</span><span class="delete"> identifier of the relation;</span> 
-<span class="delete">started</span><span class="delete">: the identifier (</span><span class="insert">and 
- </span><a href="#bl-dagstuhl"><span class="name"><span class="delete">a2</span><span class="delete">) of  the started activity;
-</span><span class="delete">starter</span><span class="delete">: the identifier (</span><span class="insert">dm:bl-dagstuhl</span></span></a><span class="insert"> denotes the above paragraph, then the following descriptions express that the above paragraph was copied by agent </span><span class="name"><span class="delete">a1</span><span class="delete">) of the activity that started the other;</span>
-<span class="delete">attributes</span><span class="delete">: an </span><span class="delete">optional</span><span class="delete"> set (</span><span class="insert">ex:Luc</span></span><span class="insert"> from a part of the blog, attributed to the agent </span><span class="name"><span class="delete">attrs</span><span class="delete">) of attribute-value pairs representing additional information about this start by activity.</span>
+<span class="delete">started</span><span class="delete">: the identifier (</span><span class="delete">a2</span><span class="delete">) of  the started activity;
+</span><span class="delete">starter</span><span class="delete">: the identifier (</span><span class="delete">a1</span><span class="delete">) of the activity that started the other;</span>
+<span class="delete">attributes</span><span class="delete">: an </span><span class="delete">optional</span><span class="delete"> set (</span><span class="delete">attrs</span><span class="delete">) of attribute-value pairs representing additional information about this start by activity.</span>
 
 
 
@@ -2996,7 +3006,7 @@
 
 
 <span class="delete">
-Suppose activities </span><span class="delete">a1</span><span class="delete"> and </span><span class="delete">a2</span><span class="delete"> are computer processes that are executed on different hosts, and that </span><span class="delete">a1</span><span class="delete"> started </span><span class="delete">a2</span><span class="insert">ex:Paul</span></span>.<span class="delete"> This can be expressed as in the following fragment:</span></p>
+Suppose activities </span><span class="delete">a1</span><span class="delete"> and </span><span class="delete">a2</span><span class="delete"> are computer processes that are executed on different hosts, and that </span><span class="delete">a1</span><span class="delete"> started </span><span class="delete">a2</span><span class="delete">. This can be expressed as in the following fragment:</span>
 <pre class="codeexample"><span class="delete">activity(a1,t1,t2,[ex:host="server1.example.org",prov:type="workflow"])
 activity(a2,t3,t4,[ex:host="server2.example.org",prov:type="subworkflow"])
 wasStartedByActivity(a2,a1)</span><span class="insert">entity(wp:thoughts-from-the-dagstuhl-principles-of-provenance-workshop/)
@@ -3018,33 +3028,49 @@
 </div>  
 
 
-<div id="term-original-source" class="section">
-<h4><span class="secno"><span class="insert">5.2.4 </span></span><span class="insert">Original Source</span></h4>
+<div id="term-primary-source" class="section">
+<h4><span class="secno"><span class="insert">5.2.4 </span></span><span class="insert">Primary Source</span></h4>
 
 <p>
-<span class="glossary-ref"><span class="insert">   An </span><dfn id="concept-original-source"><span class="insert">original source</span></dfn><span class="insert"> refers to the source material that is closest to the person, information, period, or idea being studied. </span></span>
+<span class="glossary-ref"><span class="insert">   A </span><dfn id="concept-primary-source"><span class="insert">primary source</span></dfn><span class="insert">  for a topic refers to something produced by some agent with direct experience and knowledge about the topic, at the time of the topic's study, without benefit from hindsight. </span></span>
 </p>
 
-<p><span class="insert">An </span><dfn id="dfn-original-source"><span class="insert">original source</span></dfn><span class="insert"> relation is a particular case of </span><a href="#concept-derivation" class="internalDFN"><span class="insert">derivation</span></a><span class="insert"> 
-that aims to give
-credit to the source that originated some information. It is recognized that it may be
-hard to determine which entity constitutes an original source. This definition is inspired by
-</span><span class="name"><span class="insert">original-source</span></span><span class="insert"> as defined in
-</span><a href="http://googlenewsblog.blogspot.com/2010/11/credit-where-credit-is-due.html"><span class="insert">http://googlenewsblog.blogspot.com/2010/11/credit-where-credit-is-due.html</span></a><span class="insert">.</span></p>
-
-
-<div class="anexample" data-count="32"><div class="anexampleTitle"><a href="#undefined"><span class="insert">Example 32</span></a></div>
+<p><span class="insert">Because of the directness of primary sources, they "speak for
+themselves" in ways that cannot be captured through the filter of
+secondary sources. As such, it is important for secondary sources to
+reference those primary sources from which they were derived, so that
+their reliability can be investigated.</span></p>
+
+
+<p><span class="insert">A </span><dfn id="dfn-primary-source"><span class="insert">primary source</span></dfn><span class="insert"> relation is a particular case of </span><a href="#concept-derivation" class="internalDFN"><span class="insert">derivation</span></a><span class="insert"> of
+secondary materials from their primary sources. It is recognized that
+the determination of primary sources can be up to interpretation, and
+should be done according to conventions accepted within the
+application's domain. 
+The type is of a  primary source derivation is denoted by:
+</span><dfn title="HadPrimarySource" id="dfn-hadprimarysource"><span class="name"><span class="insert">prov:HadPrimarySource</span></span></dfn><span class="insert">.
+</span></p>
+
+
+
+<div class="anexample" id="anexample-primary-source1" data-count="32"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-primary-source1"><span class="insert">Example 32</span></a></div>
 <p><span class="insert">
-Let us consider the concept introduced in the current section, identified as </span><a title="original source" href="#concept-original-source" class="internalDFN"><span class="name"><span class="insert">dm:concept-original-source</span></span></a><span class="insert">, and
-the Google page </span><a href="http://googlenewsblog.blogspot.com/2010/11/credit-where-credit-is-due.html"><span class="name"><span class="insert">go:credit-where-credit-is-due.html</span></span></a><span class="insert">, where the notion original-source was originally described (to the knowledge of the authors).
-</span></p><pre class="codeexample"><span class="insert">entity(dm:concept-original-source)
-entity(go:credit-where-credit-is-due.html)
-wasDerivedFrom(dm:concept-original-source, go:credit-where-credit-is-due.html, 
-               [ prov:type='prov:HadOriginalSource' ])
+Let us consider Charles Joseph Minard's flow map of Napoleon's March in
+1812, which was published in 1869. Although the map is not a primary source,
+Minard probably used the journal of Pierre-Irénée Jacob, pharmacist
+to Napoleon's army during the Russian campaign. This primary source relation
+can be encoded as follows.</span></p>
+
+<pre class="codeexample"><span class="insert">entity(ex:la-campagne-de-Russie-1812-1813)
+entity(ex:revue-d-Histoire-de-la-Pharmacie-t-XVIII)
+wasDerivedFrom(ex:la-campagne-de-Russie-1812-1813,
+               ex:revue-d-Histoire-de-la-Pharmacie-t-XVIII,
+               [ prov:type='prov:HadPrimarySource' ])
 </span></pre>
 </div>
 
 
+
 </div>  
 
 
@@ -3109,7 +3135,7 @@
 
 
 
-<div class="anexample" data-count="33"><div class="anexampleTitle"><a href="#undefined"><span class="insert">Example 33</span></a></div>
+<div class="anexample" id="example_33" data-count="33"><div class="anexampleTitle"><a class="internalDFN" href="#example_33"><span class="insert">Example 33</span></a></div>
 <p>The following expression is about an agent identified by <span class="name">e1</span>, which is a person, named Alice, with employee number 1234.</p>
 <pre class="codeexample">agent(e1, [ex:employee="1234", ex:name="Alice", <span class="delete">prov:type="prov:Person" %% xsd:QName])</span><span class="insert">prov:type='prov:Person' ])</span>
 </pre>
@@ -3134,22 +3160,23 @@
 </ul>
 </div>
 
-<div class="anexample" id="anexample-attribution" data-count="34"><div class="anexampleTitle"><a href="#anexample-attribution"><span class="insert">Example 34</span></a></div>
+<div class="anexample" id="anexample-attribution" data-count="34"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-attribution"><span class="insert">Example 34</span></a></div>
 <p>
-Revisiting the example of <a href="#section-example-one">Section <span class="delete">3.1</span><span class="insert">4.1</span></a>,
-we can ascribe <span class="name">tr:WD-prov-dm-20111215</span> to some agents without an explicit activity. The reserved attribute <span class="name">role</span> (see <a href="#term-attribute-role">Section <span class="delete">4.7.4.3</span><span class="insert">5.7.4.3</span></a>) allows for role of the agent in the attribution to be specified.
+Revisiting the example of  
+<a class="section-ref" href="#section-example-one"><span>Section <span class="delete">3.1</span><span class="insert">4.1</span></span></a>,
+we can ascribe <span class="name">tr:WD-prov-dm-20111215</span> to some agents without an explicit activity. The reserved attribute <span class="name">role</span> (see <a class="section-ref" href="#term-attribute-role"><span>Section <span class="delete">4.7.4.3</span><span class="insert">5.7.2.3</span></span></a>) allows for role of the agent in the attribution to be specified.
 </p><pre class="codeexample">agent(ex:Paolo, [ prov:type="Person" ])
 agent(ex:Simon, [ prov:type="Person" ])
 entity(tr:WD-prov-dm-20111215, [ <span class="delete">prov:type="process:RecsWD" %% xsd:QName</span><span class="insert">prov:type='rec54:WD'</span> ])
-wasAttributedTo(tr:WD-prov-dm-20111215, ex:Paolo, <span class="delete">[prov:role="editor"])</span><span class="insert">[ prov:role="editor" ])</span>
-wasAttributedTo(tr:WD-prov-dm-20111215, ex:Simon, <span class="delete">[prov:role="contributor"])</span><span class="insert">[ prov:role="contributor" ])</span>
+wasAttributedTo(tr:WD-prov-dm-20111215, ex:Paolo, <span class="delete">[prov:role="editor"])</span><span class="insert">[ prov:type="editorship" ])</span>
+wasAttributedTo(tr:WD-prov-dm-20111215, ex:Simon, <span class="delete">[prov:role="contributor"])</span><span class="insert">[ prov:type="authorship" ])</span>
 </pre>
 </div>
 
 </div>  
 
 
-<div id="term-ActivityAssociation" class="section">
+<div id="term-Association" class="section">
 <h4><span class="secno"><span class="delete">4.2.3</span><span class="insert">5.3.3</span> </span>Association</h4>
 
 <div class="glossary-ref">   An activity <dfn id="concept-activityAssociation">association</dfn> is an assignment of responsibility to an agent for an activity, indicating that the agent had a role in the activity. It further allows for a plan to be specified, which is the plan intended by the agent to achieve some goals in the context of this activity. </div>
@@ -3172,7 +3199,7 @@
 <p><span class="insert">While each of </span><a href="#association.id"><span class="attribute"><span class="insert">id</span></span></a><span class="insert">, </span><a href="#association.agent"><span class="attribute"><span class="insert">agent</span></span></a><span class="insert">,  </span><a href="#association.plan"><span class="attribute"><span class="insert">plan</span></span></a><span class="insert">, and  </span><a href="#association.attributes"><span class="attribute"><span class="insert">attributes</span></span></a><span class="insert"> is </span><em class="rfc2119" title="optional"><span class="insert">optional</span></em><span class="insert">, at least one of them </span><em class="rfc2119" title="must"><span class="insert">must</span></em><span class="insert"> be present.</span></p>
 
 
-<div class="anexample" id="anexample-wasAssociatedWith" data-count="35"><div class="anexampleTitle"><a href="#anexample-wasAssociatedWith"><span class="insert">Example 35</span></a></div>
+<div class="anexample" id="anexample-wasAssociatedWith" data-count="35"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-wasAssociatedWith"><span class="insert">Example 35</span></a></div>
 <p>In the following example, a designer <span class="insert">agent </span>and an operator <span class="delete">agents</span><span class="insert">agent</span> are associated with an activity. The designer's goals are achieved by a workflow <span class="name">ex:wf</span>, described as an an entity of type <span class="name"><a href="#concept-plan" class="internalDFN">plan</a></span>.   </p>
 <pre class="codeexample">activity(ex:a, <span class="delete">[prov:type="workflow execution"])</span><span class="insert">[ prov:type="workflow execution" ])</span>
 agent(ex:ag1,<span class="delete"> [prov:type="operator"])</span><span class="insert">  [ prov:type="operator" ])</span>
@@ -3188,7 +3215,7 @@
 for instance.
 </div>
 
-<div class="anexample" id="anexample-wasAssociatedWith-2" data-count="36"><div class="anexampleTitle"><a href="#anexample-wasAssociatedWith-2"><span class="insert">Example 36</span></a></div>
+<div class="anexample" id="anexample-wasAssociatedWith-2" data-count="36"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-wasAssociatedWith-2"><span class="insert">Example 36</span></a></div>
 <p>In some cases, one wants to indicate a plan was followed, without having to specify which agent was involved.</p>
 <pre class="codeexample"><span class="delete">activity(ex:a,[prov:type="workflow execution"])
 wasAssociatedWith(ex:a,-,ex:wf)
@@ -3211,7 +3238,7 @@
 
 <h4><span class="secno"><span class="delete">4.2.4 </span><span class="delete">Responsibility</span><span class="insert">5.3.4 </span></span><span class="insert">Delegation</span></h4>
 
-<div class="glossary-ref">    <span class="delete">Responsibility</span>   <dfn id="concept-delegation"><span class="insert">Delegation</span></dfn> is the <span class="delete">fact</span><span class="insert">assignment of authority to an agent (by itself or by another agent)  to carry out a specific activity as a delegate or representative, while the agent</span> that <span class="delete">an agent is accountable</span><span class="insert">it represents remains responsible</span> for the <span class="delete">actions of a "subordinate" agent, in the context of an activity.  </span><span class="insert">outcome of the delegated work. </span></div>
+<div class="glossary-ref">    <span class="delete">Responsibility</span>   <dfn id="concept-delegation"><span class="insert">Delegation</span></dfn> is the <span class="delete">fact that</span><span class="insert">assignment of authority and responsibility to</span> an agent <span class="delete">is accountable</span><span class="insert">(by itself or by another agent)  to carry out a specific activity as a delegate or representative, while the agent it acts on behalf of retains some responsibility</span> for the <span class="delete">actions of a "subordinate" agent, in the context of an activity.  </span><span class="insert">outcome of the delegated work. </span></div>
 
 <p><span class="delete">PROV offers a mild version of responsibility
 in the form of a relation to represent when an agent acted on another
@@ -3239,7 +3266,7 @@
 </ul></div>
 
 
-<div class="anexample" data-count="37"><div class="anexampleTitle"><a href="#undefined"><span class="insert">Example 37</span></a></div>
+<div class="anexample" id="example_37" data-count="37"><div class="anexampleTitle"><a class="internalDFN" href="#example_37"><span class="insert">Example 37</span></a></div>
 <p>The following fragment describes three agents: a programmer, a researcher, and a funder.  The programmer and researcher are associated with a workflow activity.  The programmer acts on behalf
 of the researcher <span class="delete">(delegation)</span><span class="insert">(line-management)</span> encoding the commands specified by the researcher; the researcher acts on behalf of the funder, who has a contractual agreement with the researcher. The terms
 <span class="delete">'delegation'</span><span class="insert">'line-management'</span> and <span class="delete">'contact'</span><span class="insert">'contract'</span> used in this example are domain specific.</p>
@@ -3480,8 +3507,8 @@
 <a href="#concept-derivation" class="internalDFN">Derivation</a> and <a href="#concept-attribution" class="internalDFN">attribution</a> are particular cases of  trace.
 </p>
 
-<div class="anexample" data-count="38"><div class="anexampleTitle"><a href="#undefined"><span class="insert">Example 38</span></a></div>
-<p>We refer to the example of <a href="#section-example-two">Section <span class="delete">3.1</span><span class="insert">4.2</span></a>, and specifically to <a href="#prov-a-document2-top">Figure 3</a>. We can see that there is a path from 
+<div class="anexample" id="example_38" data-count="38"><div class="anexampleTitle"><a class="internalDFN" href="#example_38"><span class="insert">Example 38</span></a></div>
+<p>We refer to the example of <a class="section-ref" href="#section-example-two"><span>Section <span class="delete">3.1</span><span class="insert">4.2</span></span></a>, and specifically to <a href="#prov-a-document2-top">Figure 3</a>. We can see that there is a path from 
 <span class="name">tr:WD-prov-dm-20111215</span> to 
 <span class="name">w3:Consortium</span> and to
 <span class="name">process:rec-advance</span>. This is expressed as follows.
@@ -3500,151 +3527,31 @@
 
 </div>
 
+
+
+
+
 <div id="component4" class="section"> 
-<h3><span class="secno"><span class="delete">4.4</span><span class="insert">5.4</span> </span>Component 4: Alternate Entities</h3>
-
-
-<p>The fourth component of PROV-DM is concerned with
-relations <a href="#concept-specialization" class="internalDFN">specialization</a> and <a href="#concept-alternate" class="internalDFN">alternate</a> between entities.
-
- <a href="#figure-component4">Figure <span class="delete">figure-component4</span><span class="insert">8</span></a> depicts
-the fourth component with a single class and two<span class="insert"> binary</span> associations.
-</p>
-
-
-<div style="text-align: center;">
-
-<figure>
-
-<img src="uml/component4.png" alt="alternates">
-<div class="figcaption" id="figure-component4">Figure 8: Alternates Component Overview</div>
-</figure>
-</div>
-
-
-
-<p><span class="delete">Wherever two people describe the</span><span class="insert">Two</span> provenance <span class="delete">of a</span><span class="insert">descriptions about the</span> same <span class="delete">thing, 
-one cannot expect them to coordinate and agree on the identifiers to use to denote</span><span class="insert">thing may emphasize differents aspects of</span> that thing.</p>
-<div class="anexample" id="entity-example1" data-count="39"><div class="anexampleTitle"><a href="#entity-example1"><span class="insert">Example 39</span></a></div>
-<p>User Alice writes an article. In its provenance, she wishes to refer to the precise version of the article with a date-specific <span class="delete">URI,</span><span class="insert">IRI,</span> 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>
-<span class="delete">To allow for identifiers to be chosen freely</span><span class="insert">The PROV data model introduces relations, called specialization</span> and <span class="delete">independently by each  user, the PROV data model introduces relations</span><span class="insert">alternate,</span>
-that allow entities  to be linked together.<span class="delete">
-The following two relations</span><span class="insert"> They</span> are <span class="delete">introduced for expressing  specialized or alternate entities.</span><span class="insert">defined as follows.</span> </p>
-
-
-<div id="term-specialization" class="section">
-
-<h4><span class="secno"><span class="delete">4.4.1</span><span class="insert">5.4.1</span> </span>Specialization</h4>
-
-
-<span class="glossary-ref">   An entity <span class="insert">that </span>is a <dfn id="concept-specialization">specialization</dfn> of another <span class="delete">if they refer to some common</span><span class="insert">shares all aspects of the latter, and additionally presents more specific aspects of the same</span> thing <span class="delete">but the former is a more constrained</span><span class="insert">as the latter. In particular, the lifetime of the specialized</span> entity <span class="delete">than the latter. The common thing does not need to be identified. </span><span class="insert">contains that of any specialization.  </span></span> 
-
-
-<p>
-Examples of <span class="delete">constraints  </span><span class="insert">aspects </span>include a time period, an abstraction, and a context associated with the entity.</p>
-
-
-
-
-<p>
-</p><div class="attributes" id="attributes-specialization">A <dfn title="specializationOf" id="dfn-specializationof">specialization</dfn>  relation<span class="withPn">, written <span class="pnExpression"><span class="delete">specializationOf(sub, super)</span><span class="insert">specializationOf(infra, supra)</span></span> in PROV-N,</span> has:
-
-<ul>
-<li><span class="delete">specializedEntity</span><span class="attribute" id="specialization.specialization"><span class="insert">specialization</span></span>: an identifier (<span class="name"><span class="delete">sub</span><span class="insert">infra</span></span>) of the specialized entity;</li>
-<li><span class="attribute" id="specialization.generalEntity">generalEntity</span>: an identifier (<span class="name"><span class="delete">super</span><span class="insert">supra</span></span>) of the entity that is being specialized.</li>
-</ul>
-</div>
-
-<div class="anexample" id="anexample-specialization" data-count="40"><div class="anexampleTitle"><a href="#anexample-specialization"><span class="insert">Example 40</span></a></div>
-<p>
-The BBC news home page on 2012-03-23 <span class="name">ex:bbcNews2012-03-23</span>
-is a specialization of the BBC news page in general
- <a href="http://www.bbc.co.uk/news/">bbc:news/</a>. This can be expressed as follows.
-</p><pre class="codeexample">specializationOf(ex:bbcNews2012-03-23, bbc:news/)
-</pre>
-We have created a new qualified name,  <span class="name">ex:bbcNews2012-03-23</span>, in the namespace <span class="name">ex</span>, to identify the specific page carrying this day's news, which would otherwise be the generic  <span class="name">bbc:news/</span> page.
-</div>
-
-
-
-
-
-
-
-
-</div>
-
-<div id="term-alternate" class="section">
-
-<h4><span class="secno"><span class="delete">4.4.2</span><span class="insert">5.4.2</span> </span>Alternate</h4>
-
-
-<span class="glossary-ref">   <span class="delete">An entity is</span><span class="insert">Two</span> <dfn id="concept-alternate">alternate</dfn> <span class="delete">of another if they are both a specialization of some common entity. The common entity does</span><span class="insert">entities present aspects of the same thing. These aspects may be the same or different, and the alternate entities may or may</span> not <span class="delete">need to be identified. </span><span class="insert">overlap in time.  </span></span>
-
-
-  
-
-<p></p><div class="attributes" id="attributes-alternate">An <dfn title="alternateOf" id="dfn-alternateof">alternate</dfn> relation<span class="withPn">, written <span class="pnExpression">alternateOf(e1, e2)</span> in PROV-N,</span> has:
-<ul>
-<li><span class="attribute" id="alternate.alternate1">alternate1</span>: an identifier (<span class="name">e1</span>) of the first of the two entities;</li>
-<li><span class="attribute" id="alternate.alternate2">alternate2</span>: an identifier (<span class="name">e2</span>) of the second of the two entities.</li>
-</ul>
-</div>
-
-<div class="anexample" id="anexample-alternate" data-count="41"><div class="anexampleTitle"><a href="#anexample-alternate"><span class="insert">Example 41</span></a></div>
-<p>
-A given news item on the BBC News site 
- <a href="http://www.bbc.co.uk/news/science-environment-17526723">bbc:news/science-environment-17526723</a> for desktop
-is an alternate of a 
- <a href="http://www.bbc.co.uk/news/mobile/science-environment-17526723">bbc:news/mobile/science-environment-17526723</a> for mobile devices.</p>
-<pre class="codeexample">entity(bbc:news/science-environment-17526723, [ prov:type="a news item for desktop"])
-entity(bbc:news/mobile/science-environment-17526723, [ prov:type="a news item for mobile devices"])
-alternateOf(bbc:news/science-environment-17526723, bbc:news/mobile/science-environment-17526723)
-</pre>
-<span class="delete">They are both specialization of an (unspecified) entity. </span>
-</div>
-
-
-<div class="anexample" id="anexample-alternate2" data-count="42"><div class="anexampleTitle"><a href="#anexample-alternate2"><span class="insert">Example 42</span></a></div>
-<p>
-Considering again the two versions of the technical report <span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111215">tr:WD-prov-dm-20111215</a></span> (second working draft) and <span class="name"><span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018">tr:WD-prov-dm-20111018</a></span></span> (first working draft). They are alternate of each other.
-</p><pre class="codeexample">entity(tr:WD-prov-dm-20111018)
-entity(tr:WD-prov-dm-20111215)
-alternateOf(tr:WD-prov-dm-20111018,tr:WD-prov-dm-20111215)
-</pre>
-<p>They are both specialization of the page <a href="http://www.w3.org/TR/prov-dm/">http://www.w3.org/TR/prov-dm/</a>.</p>
-</div>
-
-</div>
-
-
-</div>
-
-
-<div id="component5" class="section"> 
-<h3><span class="secno"><span class="delete">4.5</span><span class="insert">5.5</span> </span>Component 5:<span class="insert"> Bundles</span></h3>
-
-
-<p><span class="insert">The fifth component of PROV-DM is concerned with bundles, a mechanism to support provenance of provenance. 
-</span><a href="#figure-component5"><span class="insert">Figure 9</span></a><span class="insert">  depicts a UML class diagram for the fifth component.  It comprises a </span><a href="#concept-bundle" class="internalDFN"><span class="insert">Bundle</span></a><span class="insert"> class, a subclass of </span><a href="#concept-entity" class="internalDFN"><span class="insert">Entity</span></a><span class="insert"> and a novel n-ary relation, </span><a href="#concept-provenance-locator" class="internalDFN"><span class="insert">Provenance Locator</span></a><span class="insert">.
+<h3><span class="secno"><span class="delete">4.4</span><span class="insert">5.4</span> </span>Component 4:<span class="insert"> Bundles</span></h3>
+
+
+<p><span class="insert">The fourth component of PROV-DM is concerned with bundles, a mechanism to support provenance of provenance. 
+</span><a href="#figure-component4"><span class="insert">Figure 8</span></a><span class="insert">  depicts a UML class diagram for the fourth component.  It comprises a </span><a href="#concept-bundle" class="internalDFN"><span class="insert">Bundle</span></a><span class="insert"> class and a subclass of </span><a href="#concept-entity" class="internalDFN"><span class="insert">Entity</span></a><span class="insert">.
 </span></p>
 
 <div style="text-align: center;">
 <figure>
 
-<img src="uml/component5.png" alt="bundles">
-<div class="figcaption" id="figure-component5"><span class="insert">Figure 9: Bundle Component Overview</span></div>
+<img src="uml/component4.png" alt="bundles">
+<div class="figcaption" id="figure-component4"><span class="insert">Figure 8: Bundle Component Overview</span></div>
 </figure>
 </div>
 
 
 
-
 <div id="term-bundle" class="section"> 
 
-<h4><span class="secno"><span class="insert">5.5.1 </span></span><span class="insert">Bundle constructor</span></h4>
+<h4><span class="secno"><span class="insert">5.4.1 </span></span><span class="insert">Bundle constructor</span></h4>
 
 
 <p>
@@ -3673,7 +3580,7 @@
 
 <div id="term-bundle-entity" class="section"> 
 
-<h4><span class="secno"><span class="insert">5.5.2 </span></span><span class="insert">Bundle Type</span></h4>
+<h4><span class="secno"><span class="insert">5.4.2 </span></span><span class="insert">Bundle Type</span></h4>
 
 <p><span class="insert">A  bundle is a named set of descriptions, but it is also an entity so that its provenance can be described.  </span></p><span class="insert">
 
@@ -3692,11 +3599,11 @@
 
 
 <p><span class="insert">The provenance of provenance can then be described using PROV constructs, as illustrated by
-</span><a href="#anexample-provenance-of-provenance" class="anexample-ref"><span><span class="insert">Example 43</span></span></a><span class="insert">
+</span><a href="#anexample-provenance-of-provenance" class="anexample-ref"><span><span class="insert">Example 39</span></span></a><span class="insert">
 and
-</span><a href="#anexample-provenance-aggregation" class="anexample-ref"><span><span class="insert">Example 44</span></span></a><span class="insert">.</span></p>
-
-<div class="anexample" id="anexample-provenance-of-provenance" data-count="43"><div class="anexampleTitle"><a href="#anexample-provenance-of-provenance"><span class="insert">Example 43</span></a></div>
+</span><a href="#anexample-provenance-aggregation" class="anexample-ref"><span><span class="insert">Example 40</span></span></a><span class="insert">.</span></p>
+
+<div class="anexample" id="anexample-provenance-of-provenance" data-count="39"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-provenance-of-provenance"><span class="insert">Example 39</span></a></div>
 <p><span class="insert">Let us consider two entities </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert"> and </span><span class="name"><span class="insert">ex:report2</span></span><span class="insert">.</span></p>
 <pre class="codeexample"><span class="insert"> 
 entity(ex:report1, [ prov:type="report", ex:version=1 ])
@@ -3743,7 +3650,7 @@
 </span></pre>
 </div>
 
-<div class="anexample" id="anexample-provenance-aggregation" data-count="44"><div class="anexampleTitle"><a href="#anexample-provenance-aggregation"><span class="insert">Example 44</span></a></div>
+<div class="anexample" id="anexample-provenance-aggregation" data-count="40"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-provenance-aggregation"><span class="insert">Example 40</span></a></div>
 <p><span class="insert">A provenance aggregator could merge two bundles, resulting in a novel bundle, whose provenance is described as follows.</span></p>
 <pre class="codeexample"><span class="insert"> 
 bundle agg:bundle3
@@ -3767,154 +3674,244 @@
 
 </div>
 
-<div id="term-hasProvenanceIn" class="section"> 
-
-<h4><span class="secno"><span class="insert">5.5.3 </span></span><span class="insert">Provenance Locator</span></h4><span class="insert">
-
-
-In </span><a href="#anexample-provenance-of-provenance" class="anexample-ref"><span><span class="insert">Example 43</span></span></a><span class="insert">, we initially presented a scenario involving two entities </span><span class="name"><span class="insert">report1</span></span><span class="insert"> and </span><span class="name"><span class="insert">report2</span></span><span class="insert">, and showed how their descriptions can be organized into two bundles.  There is no explicit indication that the second bundle "is a continuation" of the description offered by the first bundle.  Given that bundles may be retrieved separately [</span><cite><a class="bibref" rel="biblioentry" href="#bib-PROV-AQ"><span class="insert">PROV-AQ</span></a></cite><span class="insert">], it is not obvious for a provenance consumer to navigate descriptions across bundles.  To aid consumers,
- Alice may wish to express that there is further provenance information about </span><span class="name"><span class="insert">report1</span></span><span class="insert"> in bundle </span><span class="name"><span class="insert">bob:bundle1</span></span><span class="insert">.  To this end, PROV introduces the notion of provenance locator, inspired by [</span><cite><a class="bibref" rel="biblioentry" href="#bib-PROV-AQ"><span class="insert">PROV-AQ</span></a></cite><span class="insert">].
-
-
-</span><p></p><div class="glossary-ref"><span class="insert">   A </span><dfn id="concept-provenance-locator"><span class="insert">provenance locator</span></dfn><span class="insert"> is information that helps locate provenance descriptions.  It can identify a bundle within which provenance descriptions can be found.      It may further identify a service, or may offer a IRI where provenance descriptions can be found. </span></div>
+
+
+</div> 
+
+
+<div id="component5" class="section"> 
+<h3><span class="secno"><span class="insert">5.5 </span></span><span class="insert">Component 5:</span> Alternate Entities</h3>
+
+
+<p>The <span class="delete">fourth</span><span class="insert">fifth</span> component of PROV-DM is concerned with
+relations <a href="#concept-specialization" class="internalDFN">specialization</a><span class="delete"> and</span><span class="insert">,</span> <a href="#concept-alternate" class="internalDFN">alternate</a> <span class="insert">and </span><a href="#concept-contextualiation2" class="internalDFN"><span class="insert">contextualization</span></a> between entities.
+
+ <a href="#figure-component5">Figure <span class="delete">figure-component4</span><span class="insert">9</span></a> depicts
+the <span class="delete">fourth</span><span class="insert">fifth</span> component with a single <span class="delete">class</span><span class="insert">class,  two binary associations,</span> and <span class="delete">two associations.</span><span class="insert">a ternary association.</span>
+</p>
+
+
+<div style="text-align: center;">
+
+
+<figure>
+
+<img src="uml/component5.png" alt="alternates">
+<div class="figcaption" id="figure-component5">Figure <span class="delete">8:</span><span class="insert">9:</span> Alternates Component Overview</div>
+</figure>
+</div>
+
+
+
+
+
+
+
+<p><span class="delete">Wherever two people describe the</span><span class="insert">Two</span> provenance <span class="delete">of a</span><span class="insert">descriptions about the</span> same <span class="delete">thing, 
+one cannot expect them to coordinate and agree on the identifiers to use to denote</span><span class="insert">thing may emphasize differents aspects of</span> that thing.</p>
+<div class="anexample" id="entity-example1" data-count="41"><div class="anexampleTitle"><a class="internalDFN" href="#entity-example1"><span class="insert">Example 41</span></a></div>
+<p>User Alice writes an article. In its provenance, she wishes to refer to the precise version of the article with a date-specific <span class="delete">URI,</span><span class="insert">IRI,</span> 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>
+<span class="delete">To allow for identifiers to be chosen freely</span><span class="insert">The PROV data model introduces relations, called specialization, alternate,</span> and <span class="delete">independently by each  user, the PROV data model introduces relations</span><span class="insert">contextualization,</span>
+that allow entities  to be linked together.<span class="delete">
+The following two relations</span><span class="insert"> They</span> are <span class="delete">introduced for expressing  specialized or alternate entities.</span><span class="insert">defined as follows.</span> </p>
+
+
+<div id="term-specialization" class="section">
+
+<h4><span class="secno"><span class="delete">4.4.1</span><span class="insert">5.5.1</span> </span>Specialization</h4>
+
+
+<span class="glossary-ref">   An entity <span class="insert">that </span>is a <dfn id="concept-specialization">specialization</dfn> of another <span class="delete">if they refer to some common</span><span class="insert">shares all aspects of the latter, and additionally presents more specific aspects of the same</span> thing <span class="delete">but the former is a more constrained</span><span class="insert">as the latter. In particular, the lifetime of the specialized</span> entity <span class="delete">than the latter. The common thing does not need to be identified. </span><span class="insert">contains that of any specialization.  </span></span> 
+
 
 <p>
-
-
-</p><div class="attributes" id="attributes-hasProvenanceIn"><span class="insert">
-A </span><dfn title="hasProvenanceIn" id="dfn-hasprovenancein"><span class="insert">provenance locator</span></dfn><span class="insert">,
-written
-</span><span class="pnExpression"><span class="insert">hasProvenanceIn(id, subject, bundle, target, attrs)</span></span><span class="insert">, has:
+Examples of <span class="delete">constraints  </span><span class="insert">aspects </span>include a time period, an abstraction, and a context associated with the entity.</p>
+
+
+
+
+<p>
+</p><div class="attributes" id="attributes-specialization">A <dfn title="specializationOf" id="dfn-specializationof">specialization</dfn>  relation<span class="withPn">, written <span class="pnExpression"><span class="delete">specializationOf(sub, super)</span><span class="insert">specializationOf(infra, supra)</span></span> in PROV-N,</span> has:
+
+<ul>
+<li><span class="delete">specializedEntity</span><span class="attribute" id="specialization.specificEntity"><span class="insert">specificEntity</span></span>: an identifier (<span class="name"><span class="delete">sub</span><span class="insert">infra</span></span>) of the specialized entity;</li>
+<li><span class="attribute" id="specialization.generalEntity">generalEntity</span>: an identifier (<span class="name"><span class="delete">super</span><span class="insert">supra</span></span>) of the entity that is being specialized.</li>
+</ul>
+</div>
+
+<div class="anexample" id="anexample-specialization" data-count="42"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-specialization"><span class="insert">Example 42</span></a></div>
+<p>
+The BBC news home page on 2012-03-23 <span class="name">ex:bbcNews2012-03-23</span>
+is a specialization of the BBC news page in general
+ <a href="http://www.bbc.co.uk/news/">bbc:news/</a>. This can be expressed as follows.
+</p><pre class="codeexample">specializationOf(ex:bbcNews2012-03-23, bbc:news/)
+</pre>
+We have created a new qualified name,  <span class="name">ex:bbcNews2012-03-23</span>, in the namespace <span class="name">ex</span>, to identify the specific page carrying this day's news, which would otherwise be the generic  <span class="name">bbc:news/</span> page.
+</div>
+
+
+
+
+
+
+
+
+</div>
+
+<div id="term-alternate" class="section">
+
+<h4><span class="secno"><span class="delete">4.4.2</span><span class="insert">5.5.2</span> </span>Alternate</h4>
+
+
+<span class="glossary-ref">   <span class="delete">An entity is</span><span class="insert">Two</span> <dfn id="concept-alternate">alternate</dfn> <span class="delete">of another if they are both a specialization of some common entity. The common entity does</span><span class="insert">entities present aspects of the same thing. These aspects may be the same or different, and the alternate entities may or may</span> not <span class="delete">need to be identified. </span><span class="insert">overlap in time.  </span></span>
+
+
+  
+
+<p></p><div class="attributes" id="attributes-alternate">An <dfn title="alternateOf" id="dfn-alternateof">alternate</dfn> relation<span class="withPn">, written <span class="pnExpression">alternateOf(e1, e2)</span> in PROV-N,</span> has:
+<ul>
+<li><span class="attribute" id="alternate.alternate1">alternate1</span>: an identifier (<span class="name">e1</span>) of the first of the two entities;</li>
+<li><span class="attribute" id="alternate.alternate2">alternate2</span>: an identifier (<span class="name">e2</span>) of the second of the two entities.</li>
+</ul>
+</div>
+
+<div class="anexample" id="anexample-alternate" data-count="43"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-alternate"><span class="insert">Example 43</span></a></div>
+<p>
+A given news item on the BBC News site 
+ <a href="http://www.bbc.co.uk/news/science-environment-17526723">bbc:news/science-environment-17526723</a> for desktop
+is an alternate of a 
+ <a href="http://www.bbc.co.uk/news/mobile/science-environment-17526723">bbc:news/mobile/science-environment-17526723</a> for mobile devices.</p>
+<pre class="codeexample">entity(bbc:news/science-environment-17526723, [ prov:type="a news item for desktop"])
+entity(bbc:news/mobile/science-environment-17526723, [ prov:type="a news item for mobile devices"])
+alternateOf(bbc:news/science-environment-17526723, bbc:news/mobile/science-environment-17526723)
+</pre>
+<span class="delete">They are both specialization of an (unspecified) entity. </span>
+</div>
+
+
+<div class="anexample" id="anexample-alternate2" data-count="44"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-alternate2"><span class="insert">Example 44</span></a></div>
+<p>
+Considering again the two versions of the technical report <span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111215">tr:WD-prov-dm-20111215</a></span> (second working draft) and <span class="name"><span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018">tr:WD-prov-dm-20111018</a></span></span> (first working draft). They are alternate of each other.
+</p><pre class="codeexample">entity(tr:WD-prov-dm-20111018)
+entity(tr:WD-prov-dm-20111215)
+alternateOf(tr:WD-prov-dm-20111018,tr:WD-prov-dm-20111215)
+</pre>
+<p>They are both specialization of the page <a href="http://www.w3.org/TR/prov-dm/">http://www.w3.org/TR/prov-dm/</a>.</p>
+</div>
+
+</div>
+
+<div id="term-contextualization" class="section">
+
+<h4><span class="secno"><span class="insert">5.5.3 </span></span><span class="insert">Contextualization</span></h4>
+
+<p><span class="insert">The following notion is a relation between two entities with regard to a bundle (referred to as remote bundle). In contrast, the bundle in which this relation occurs is referred to as local bundle.</span></p> 
+
+
+<span class="glossary-ref"><span class="insert">    An entity that is a </span><dfn id="concept-contextualiation"><span class="insert">contextualization</span></dfn><span class="insert"> of another entity presents all aspects of the latter as per the latter's description in another bundle (referred to as remote bundle), and therefore constitutes a particular case of </span><a href="#concept-specialization" class="internalDFN"><span class="insert">specialization</span></a><span class="insert"> of the latter entity. </span></span>
+
+
+<p><span class="insert">A bundle's
+descriptions provide a context in which to interpret an entity in a
+domain-specific manner.  The contextualization of this entity with respect to this bundle offers the opportunity to specialize it according to some domain-specific interpretation.
+</span></p>
+
+
+
+
+<p><span class="insert">A contextualization of an entity in a remote bundle results in a specialization of this entity with extra fixed aspects, including the remote bundle that it is described in. 
+</span></p>
+
+<p></p><div class="attributes" id="attributes-contextualization"><span class="insert">A </span><dfn title="contextualizationOf" id="dfn-contextualizationof"><span class="insert">contextualization</span></dfn><span class="insert"> relation</span><span class="withPn"><span class="insert">, written </span><span class="pnExpression"><span class="insert">contextualizationOf(l, e, b)</span></span><span class="insert"> in PROV-N,</span></span><span class="insert"> has:
 </span><ul>
-<li><span class="attribute" id="prov.locator.id"><span class="insert">id</span></span><span class="insert">: an identifier for a provenance locator; </span></li>
-<li><span class="attribute" id="prov.locator.subject"><span class="insert">subject</span></span><span class="insert">:  an identifier denoting something (entity, activity, agent, or relation instance);</span></li>
-<li><span class="attribute" id="prov.locator.bundle"><span class="insert">bundle</span></span><span class="insert">:  an </span><em class="rfc2119" title="optional"><span class="insert">optional</span></em><span class="insert"> identifier (</span><span class="name"><span class="insert">bundle</span></span><span class="insert">) for a bundle;
-</span></li><li><span class="attribute" id="prov.locator.target"><span class="insert">target</span></span><span class="insert">:  an </span><em class="rfc2119" title="optional"><span class="insert">optional</span></em><span class="insert"> identifier (</span><span class="name"><span class="insert">target</span></span><span class="insert">) denoting  something described in another set of descriptions (referred to as </span><a href="http://www.w3.org/TR/prov-aq/#dfn-target-uri"><span class="insert">Target-URI</span></a><span class="insert"> in [</span><cite><a class="bibref" rel="biblioentry" href="#bib-PROV-AQ"><span class="insert">PROV-AQ</span></a></cite><span class="insert">]);
-</span></li><li><span class="attribute" id="prov.locator.attributes"><span class="insert">attributes</span></span><span class="insert">: an </span><em class="rfc2119" title="optional"><span class="insert">optional</span></em><span class="insert"> set (</span><span class="name"><span class="insert">attrs</span></span><span class="insert">) of attribute-value pairs representing additional information about this locator; it optionally includes
-</span><a href="#term-attribute-service-uri"><span class="name"><span class="insert">prov:service-uri</span></span></a><span class="insert"> 
-or
-</span><a href="#term-attribute-provenance-uri"><span class="name"><span class="insert">prov:provenance-uri</span></span></a><span class="insert">.</span></li>
+<li><span class="attribute" id="contextualization.local"><span class="insert">local</span></span><span class="insert">: an identifier (</span><span class="name"><span class="insert">l</span></span><span class="insert">) for an entity in the local bundle (not explicitly identified) presenting the aspects of </span><span class="name"><span class="insert">e</span></span><span class="insert"> in remote bundle </span><span class="name"><span class="insert">b</span></span><span class="insert"> ;</span></li>
+<li><span class="attribute" id="contextualization.contextualized"><span class="insert">contextualized</span></span><span class="insert">: an identifier (</span><span class="name"><span class="insert">e</span></span><span class="insert">) of an entity in some remote bundle </span><span class="name"><span class="insert">b</span></span><span class="insert">;</span></li>
+<li><span class="attribute" id="contextualization.context"><span class="insert">bundle</span></span><span class="insert">: an identifier (</span><span class="name"><span class="insert">b</span></span><span class="insert">) for a remote bundle.</span></li>
 </ul>
-<p><span class="insert">If the target is not specified, it is assumed that target is the same identifier as subject.
-</span></p></div>
-
-<p><span class="insert">When the subject and optional target denote entities,
-a provenance locator not only provides a </span><em><span class="insert">located context</span></em><span class="insert">, but it also expresses an </span><a href="#concept-alternate" class="internalDFN"><span class="insert">alternate</span></a><span class="insert"> relation between the entity denoted by </span><span class="name"><span class="insert">subject</span></span><span class="insert"> and the  entity described in the located context. This is an alternate since the entity denoted by </span><span class="name"><span class="insert">subject</span></span><span class="insert"> in the current context presents other aspects than the entity in the located one.</span></p>
-
-<div class="anexample" id="anexample-provenance-locator" data-count="45"><div class="anexampleTitle"><a href="#anexample-provenance-locator"><span class="insert">Example 45</span></a></div>
-<p><span class="insert">According to the following provenance locator, provenance descriptions about </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert"> can be found in bundle </span><span class="name"><span class="insert">bob:bundle1</span></span><span class="insert">.</span></p>
-<pre class="codeexample"><span class="insert"> 
-hasProvenanceIn(ex:report1, bob:bundle1, -)
-</span></pre>
-<p><span class="insert">According to the following provenance locator, provenance descriptions about </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert"> can be found in bundle </span><span class="name"><span class="insert">bob:bundle1</span></span><span class="insert">, which is available from the provenance service identified by the provided URI.</span></p>
-<pre class="codeexample"><span class="insert"> 
-hasProvenanceIn(ex:report1, bob:bundle1, -, [ prov:service-uri="http://example.com/service" %% xsd:anyURI ])
+</div>
+
+
+<div class="anexample" id="anexample-contextualization1" data-count="45"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-contextualization1"><span class="insert">Example 45</span></a></div>
+<p><span class="insert">In the following example, two bundles </span><span class="name"><span class="insert">ex:run1</span></span><span class="insert"> and </span><span class="name"><span class="insert">ex:run2</span></span><span class="insert"> refer to an agent </span><span class="name"><span class="insert">ex:Bob</span></span><span class="insert"> that controlled two activities </span><span class="name"><span class="insert">ex:a1</span></span><span class="insert"> and </span><span class="name"><span class="insert">ex:a2</span></span><span class="insert">. </span></p>
+
+<pre class="codeexample"><span class="insert">bundle ex:run1
+    activity(ex:a1, 2011-11-16T16:00:00,2011-11-16T17:00:00)  //duration: 1hour
+    wasAssociatedWith(ex:a1,ex:Bob,[prov:role="controller"])
+endBundle
+
+bundle ex:run2
+    activity(ex:a2, 2011-11-17T10:00:00,2011-11-17T17:00:00)  //duration: 7hours
+    wasAssociatedWith(ex:a2,ex:Bob,[prov:role="controller"])
+endBundle
+</span></pre> 
+<p><span class="insert">A performance rating tool reads these bundles, and rates the performance of the agent described in these bundles. The performance rating tool creates a new bundle </span><span class="name"><span class="insert">tool:analysis01</span></span><span class="insert"> containing the following. A new agent </span><span class="name"><span class="insert">tool:Bob-2011-11-16</span></span><span class="insert"> is declared as a contextualization of </span><span class="name"><span class="insert">ex:Bob</span></span><span class="insert"> as described in remote bundle </span><span class="name"><span class="insert">ex:run1</span></span><span class="insert">, and likewise for  </span><span class="name"><span class="insert">tool:Bob-2011-11-17</span></span><span class="insert"> with respect to </span><span class="name"><span class="insert">ex:run2</span></span><span class="insert">. The tool adds a domain-specific performance attribute to each of these specialized entities as follows: the performance of the agent in the first bundle is judged to be good since the duration of </span><span class="name"><span class="insert">ex:a1</span></span><span class="insert"> is one hour, whereas it is judged to be bad in the second bundle since </span><span class="name"><span class="insert">ex:a2</span></span><span class="insert">'s duration is seven hours.
+
+</span></p><pre class="codeexample"><span class="insert">bundle tool:analysis01
+    agent(tool:Bob-2011-11-16, [perf:rating="good"])
+    contextualizationOf(tool:Bob-2011-11-16, ex:Bob, ex:run1)
+
+    agent(tool:Bob-2011-11-17, [perf:rating="bad"])
+    contextualizationOf(tool:Bob-2011-11-17, ex:Bob, ex:run2)
+endBundle
 </span></pre>
 </div>
 
 
-<div class="anexample" id="anexample-provenance-locator2" data-count="46"><div class="anexampleTitle"><a href="#anexample-provenance-locator2"><span class="insert">Example 46</span></a></div>
-<p><span class="insert">Let us again consider the same scenario involving two entities </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert"> and </span><span class="name"><span class="insert">ex:report2</span></span><span class="insert">.</span></p>
-<p><span class="insert">The first bundle can be expressed with all Bob's observations about the creation of </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert">.
-</span></p>
-<pre class="codeexample"><span class="insert"> 
-bundle bob:bundle4
-  entity(ex:report1, [ prov:type="report", ex:version=1 ])
-  wasGeneratedBy(ex:report1, -, 2012-05-24T10:00:01)
-endBundle
-</span></pre>
-
-<p><span class="insert">Likewise, Alice's observation about the derivation of  </span><span class="name"><span class="insert">ex:report2</span></span><span class="insert">  from </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert">, is expressed in a separate bundle.</span></p>
-<pre class="codeexample"><span class="insert"> 
-bundle alice:bundle5
-  entity(ex:report1)
-  hasProvenanceIn(ex:report1, bob:bundle4, -)
-  entity(ex:report2, [ prov:type="report", ex:version=2 ])
-  wasGeneratedBy(ex:report2, -, 2012-05-25T11:00:01)
-  wasDerivedFrom(ex:report2, ex:report1)
-endBundle
-</span></pre>
-<p><span class="insert">In bundle </span><span class="name"><span class="insert">alice:bundle5</span></span><span class="insert">, there is a description for entity </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert">, and 
-a provenance locator pointing to bundle </span><span class="name"><span class="insert">bob:bundle4</span></span><span class="insert">.  
-The locator indicates that some provenance description for </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert"> can be found in bundle </span><span class="name"><span class="insert">bob:bundle4</span></span><span class="insert">. The purpose of the locator is twofold. First, it allows for </span><a href="http://www.w3.org/TR/prov-aq/#incremental-provenance-retrieval"><span class="insert">incremental navigation</span></a><span class="insert"> of provenance [</span><cite><a class="bibref" rel="biblioentry" href="#bib-PROV-AQ"><span class="insert">PROV-AQ</span></a></cite><span class="insert">].  Second, it makes entity </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert"> described in </span><span class="name"><span class="insert">alice:bundle5</span></span><span class="insert"> an </span><a href="#concept-alternate" class="internalDFN"><span class="insert">alternate</span></a><span class="insert"> of </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert"> described in </span><span class="name"><span class="insert">bob:bundle4</span></span><span class="insert">.
-</span></p>
-</div>
-
-
-<div class="anexample" id="anexample-provenance-locator3" data-count="47"><div class="anexampleTitle"><a href="#anexample-provenance-locator3"><span class="insert">Example 47</span></a></div>
-<p><span class="insert">Alternatively, Alice may have decided to use a different identifier for </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert">.</span></p>
-<pre class="codeexample"><span class="insert"> 
-bundle alice:bundle6
-  entity(alice:report1)
-  hasProvenanceIn(alice:report1, bob:bundle4, ex:report1)
-  entity(ex:report2, [ prov:type="report", ex:version=2 ])
-  wasGeneratedBy(ex:report2, -, 2012-05-25T11:00:01)
-  wasDerivedFrom(ex:report2, alice:report1)
-endBundle
-</span></pre>
-<p><span class="insert">Alice can specify the </span><a href="#prov.locator.target"><span class="insert">target</span></a><span class="insert"> in the provenance locator to be  </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert">.
-With such a statement, Alice states that provenance information about </span><span class="name"><span class="insert">alice:report1</span></span><span class="insert"> can be found in bundle
-</span><span class="name"><span class="insert">bob:bundle4</span></span><span class="insert"> under the name </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert">.  In effect, </span><span class="name"><span class="insert">alice:report1</span></span><span class="insert"> and </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert"> are declared to be alternate.</span></p>
-</div>
-
-<div class="anexample" id="aexample-note" data-count="48"><div class="anexampleTitle"><a href="#aexample-note"><span class="insert">Example 48</span></a></div>
+<div class="anexample" id="aexample-contextualization-viz" data-count="46"><div class="anexampleTitle"><a class="internalDFN" href="#aexample-contextualization-viz"><span class="insert">Example 46</span></a></div>
 <p><span class="insert">Consider the following bundle of descriptions, in which derivation and generations have been identified.
 </span></p><pre class="codeexample"><span class="insert"> 
-bundle obs:bundle7
+bundle obs:bundle1
   entity(ex:report1, [prov:type="report", ex:version=1])
   wasGeneratedBy(ex:g1; ex:report1,-,2012-05-24T10:00:01)
   entity(ex:report2, [prov:type="report", ex:version=2])
   wasGeneratedBy(ex:g2; ex:report2,-,2012-05-25T11:00:01)
-  wasDerivedFrom(ex:d; ex:report2, ex:report1)
+  wasDerivedFrom(ex:report2, ex:report1)
 endBundle
-entity(obs:bundle7, [ prov:type='prov:Bundle' ])
-wasAttributedTo(obs:bundle7, ex:observer01)
+entity(obs:bundle1, [ prov:type='prov:Bundle' ])
+wasAttributedTo(obs:bundle1, ex:observer01)
 </span></pre><span class="insert">
-Bundle </span><span class="name"><span class="insert">obs:bundle7</span></span><span class="insert"> is rendered by a visualisation tool.  It may useful for the tool configuration for this bundle to be shared along with the provenance descriptions, so that other users can render provenance as it was originally rendered.  The original  bundle obviously cannot be changed. However, one can create a new bundle, as follows.
+Bundle </span><span class="name"><span class="insert">obs:bundle1</span></span><span class="insert"> is rendered by a visualisation tool.  It may useful for the tool configuration for this bundle to be shared along with the provenance descriptions, so that other users can render provenance as it was originally rendered.  The original  bundle obviously cannot be changed. However, one can create a new bundle, as follows.
 </span><pre class="codeexample"><span class="insert"> 
-bundle tool:bundle8
-  entity(tool:bundle8, [ prov:type='viz:Configuration', prov:type='prov:Bundle' ])
-  wasAttributedTo(tool:bundle8, viz:Visualizer)
-
-  entity(ex:report1, [viz:color="orange"])              // ex:report1 is a reused identifier
-  hasProvenanceIn(ex:report1, obs:bundle7, -)
-
-  entity(tool:r2, [viz:color="blue"])                   // tool:r2  is a new identifier
-  hasProvenanceIn(tool:r2, obs:bundle7, ex:report2)
-
-  wasDerivedBy(ex:d; ex:report2, ex:report1, [viz:style="dotted"])
-  hasProvenanceIn(ex:d, obs:bundle7, -)
+bundle tool:bundle2
+  entity(tool:bundle2, [ prov:type='viz:Configuration', prov:type='prov:Bundle' ])
+  wasAttributedTo(tool:bundle2, viz:Visualizer)
+
+  entity(tool:report1, [viz:color="orange"])
+  contextualizationOf(tool:report1, obs:bundle1, ex:report1)
+
+  entity(tool:report2, [viz:color="blue"])              
+  contextualizationOf(tool:report2, obs:bundle1, ex:report2)
 endBundle
 </span></pre>
 
-<p><span class="insert">In bundle </span><span class="name"><span class="insert">tool:bundle8</span></span><span class="insert">, the prefix </span><span class="name"><span class="insert">viz</span></span><span class="insert"> is used for naming visualisation-specific attributes, types or values.</span></p>
-
-<p><span class="insert">Bundle </span><span class="name"><span class="insert">tool:bundle8</span></span><span class="insert"> is given type </span><span class="name"><span class="insert">viz:Configuration</span></span><span class="insert"> to indicate that it consists of descriptions that pertain to the configuration of the visualisation tool. This type attribute can be used for searching bundles containing visualization-related descriptions.
+<p><span class="insert">In bundle </span><span class="name"><span class="insert">tool:bundle2</span></span><span class="insert">, the prefix </span><span class="name"><span class="insert">viz</span></span><span class="insert"> is used for naming visualisation-specific attributes, types or values.</span></p>
+
+<p><span class="insert">Bundle </span><span class="name"><span class="insert">tool:bundle2</span></span><span class="insert"> is given type </span><span class="name"><span class="insert">viz:Configuration</span></span><span class="insert"> to indicate that it consists of descriptions that pertain to the configuration of the visualisation tool. This type attribute can be used for searching bundles containing visualization-related descriptions.
 </span></p>
 
-<p><span class="insert">For the purpose of illustration, we show that the visualisation tool
-reused identifier </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert">, but created a new identifier </span><span class="name"><span class="insert">tool:r2</span></span><span class="insert">.
-They denote entities which are alternates of with </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert"> and </span><span class="name"><span class="insert">ex:report2</span></span><span class="insert">, described in bundle </span><span class="name"><span class="insert">obs:bundle7</span></span><span class="insert">, with visualization attribute for the color to be used when rendering these entities.  
-Likewise, the derivation has a style attribute. </span></p>
-
-<p><span class="insert">According to their definition,
-derivations have an </span><a href="#derivation.id"><span class="insert">optional identifier</span></a><span class="insert">. 
-To express an alternate for a derivation, we need to be able to reference it, by means of an identifier. Hence, it is necessary for it to have an identifier in the first place (</span><span class="name"><span class="insert">ex:d</span></span><span class="insert">).</span></p>
+<p><span class="insert">The visualisation tool
+ created  new identifiers </span><span class="name"><span class="insert">tool:report1</span></span><span class="insert"> and
+</span><span class="name"><span class="insert">tool:report2</span></span><span class="insert">.
+They denote entities which are specializations of </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert"> and </span><span class="name"><span class="insert">ex:report2</span></span><span class="insert">, described in bundle </span><span class="name"><span class="insert">obs:bundle1</span></span><span class="insert">, with visualization attribute for the color to be used when rendering these entities.   </span></p>
+
+</div>
+
+
+
 </div>
 
 </div>
-</div> 
-
-
 
 <div id="component6" class="section"> 
-<h3><span class="secno"><span class="insert">5.6 </span></span><span class="insert">Component 6:</span> Collections</h3>
+<h3><span class="secno"><span class="delete">4.5</span><span class="insert">5.6</span> </span>Component <span class="delete">5:</span><span class="insert">6:</span> Collections</h3>
 
 <p>The <span class="delete">fifth</span><span class="insert">sixth</span> component of PROV-DM is concerned with the notion of collections. 
-A collection is an entity that has some members. The members are themselves entities, and therefore their provenance can be expressed. Some applications need to be able to express the provenance of the collection  itself: e.g. who maintains the collection, which members it contains as it evolves, and how it was assembled. The purpose of Component <span class="delete">5</span><span class="insert">6</span> is to define the types and relations that are useful to express the provenance of collections. In PROV, the concept of Collection is implemented by means of dictionaries, which we introduce in this section. </p>
+A collection is an entity that has some members. The members are themselves entities, and therefore their provenance can be expressed. Some applications need to be able to express the provenance of the collection  itself: e.g. who maintains the <span class="delete">collection,</span><span class="insert">collection (attribution),</span> which members it contains as it evolves, and how it was assembled. The purpose of Component <span class="delete">5</span><span class="insert">6</span> is to define the types and relations that are useful to express the provenance of collections. In PROV, the concept of Collection is implemented by means of dictionaries, which we introduce in this section. </p>
 
 <p><a href="#figure-component6">Figure <span class="delete">figure-component5</span><span class="insert">10</span></a> depicts
-the <span class="delete">fifth</span><span class="insert">sixth</span> component with <span class="delete">four</span><span class="insert">three</span> new classes <span class="insert">(Collection, Dictionary, </span>and <span class="insert">Pair) and </span>three <span class="delete">associations.</span><span class="insert">associations (insertion, removal, and memberOf).</span>
+the <span class="delete">fifth</span><span class="insert">sixth</span> component with four new classes <span class="insert">(Collection, Dictionary, EmptyDictionary, </span>and <span class="insert">Pair) and </span>three <span class="delete">associations.</span><span class="insert">associations (insertion, removal, and memberOf).</span>
 </p>
 
 
@@ -3930,16 +3927,64 @@
 </div>
 
 
-<p>The intent of these relations and types is to express the <em>history of changes that occurred to a <span class="delete">collection</span><span class="insert">dictionary</span></em>. 
-Changes to <span class="delete">collections</span><span class="insert">dictionaries</span> are about the insertion of entities in <span class="delete">collections</span><span class="insert">dictionaries</span> and the removal of members from <span class="delete">collections.</span><span class="insert">dictionaries.</span>
-Indirectly, such history provides a way to reconstruct the contents of a <span class="delete">collection.</span><span class="insert">dictionary.</span></p>
+<p>The intent of these relations and types is to express the <em>history of changes that occurred to a collection</em>. 
+Changes to collections are about the insertion of entities <span class="delete">in collections</span><span class="insert">into,</span> and the removal of <span class="delete">members</span><span class="insert">entities</span> from <span class="delete">collections.</span><span class="insert">the collection.</span>
+Indirectly, such history provides a way to reconstruct the contents of <span class="delete">a</span><span class="insert">the</span> collection.</p>
 
 <div id="term-collection" class="section">
 <h4><span class="secno"><span class="delete">4.5.1</span><span class="insert">5.6.1</span> </span>Collection</h4>
 
 <span class="glossary-ref">   A <dfn id="concept-collection">collection</dfn> is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be <dfn id="dfn-member-of">member of</dfn> the collections.  </span>
 
-<p>In PROV, the concept of Collection is  provided as an extensibility point for other kinds of collections. Collections are implemented by means of dictionaries, which are introduced next. </p>
+<p><span class="insert">A collection is a multiset of entities (it is a multiset, rather than a set, because it may not be possible to verify that two distinct entity identitifiers do not denote, in fact, the same entity).
+
+</span><span class="glossary-ref"><span class="insert">   An </span><dfn id="concept-empty-collection"><span class="insert">empty collection</span></dfn><span class="insert"> is a collection without members.  </span></span>
+
+
+</p><p><span class="insert">PROV-DM defines the following types related to collections:</span></p>
+
+<ul>
+  <li> <span class="name"><span class="insert">prov:Collection</span></span><span class="insert">  denotes an entity of type Collection, i.e. an entity that  can participate in  relations amongst collections;
+
+  </span></li><li><span class="name"><span class="insert">prov:EmptyCollection</span></span><span class="insert"> denotes an empty collection.
+</span></li></ul>
+
+
+<div class="anexample" id="example_47" data-count="47"><div class="anexampleTitle"><a class="internalDFN" href="#example_47"><span class="insert">Example 47</span></a></div>
+<pre class="codeexample"><span class="insert">entity(c0, [prov:type='prov:EmptyCollection' ])  // c0 is an empty collection
+entity(c1, [prov:type='prov:Collection'  ])      // c1 is a collection, with unknown content
+</span></pre>
+</div><span class="insert">
+
+A </span><strong><span class="insert">collection membership</span></strong><span class="insert"> relation is defined, to allow stating the  members of a Collection. </span><p>
+
+<span class="glossary-ref"> <dfn id="concept-membership"><span class="insert">Membership</span></dfn><span class="insert"> is the belonging of an entity  to a collection. </span></span>
+
+
+</p><p>
+</p><div class="attributes" id="attributes-memberOf"><span class="insert">
+ A </span><dfn title="memberOf" id="dfn-memberof"><span class="insert">membership</span></dfn><span class="insert"> relation, written </span><span class="pnExpression"><span class="insert">memberOf(id; c, {e_1, ..., e_n}, cplt, attrs)</span></span><span class="insert">, has:
+</span><ul>
+<li><span class="attribute" id="membership.id"><span class="insert">id</span></span><span class="insert">:  an </span><em class="rfc2119" title="optional"><span class="insert">optional</span></em><span class="insert"> identifier identifying the relation;</span></li>
+<li><span class="attribute" id="membership.collection"><span class="insert">collection</span></span><span class="insert">: an identifier (</span><span class="name"><span class="insert">c</span></span><span class="insert">) for the collection whose members are asserted; </span></li>
+<li><span class="attribute" id="membership.entity-set"><span class="insert">entity-set</span></span><span class="insert">: a set of entities  </span><span class="name"><span class="insert">e_1</span></span><span class="insert">, ..., </span><span class="name"><span class="insert">e_n</span></span><span class="insert"> that are members of the collection;</span></li>
+<li><span class="attribute" id="membership.complete"><span class="insert">complete</span></span><span class="insert">: an </span><em class="rfc2119" title="optional"><span class="insert">optional</span></em><span class="insert"> boolean 
+</span><a title="value" href="#concept-value" class="internalDFN"><span class="insert">Value</span></a><span class="insert"> (</span><span class="name"><span class="insert">cplt</span></span><span class="insert">). It is interpreted as follows:
+</span><ul>
+<li><span class="insert">if it is present and set to true, then c is believed to include all and only the members specified in the entity-set;
+</span></li><li><span class="insert">if it is present and set to false, then c is believed to include more members in addition to those specified in the entity-set;
+</span></li><li><span class="insert">if it is not present, then c is believed to include all the members specified in the entity-set, and it </span><em class="rfc2119" title="may"><span class="insert">may</span></em><span class="insert"> include more.
+</span></li></ul>
+
+</li><li><span class="attribute" id="membership.attributes"><span class="insert">attributes</span></span><span class="insert">: an </span><em class="rfc2119" title="optional"><span class="insert">optional</span></em><span class="insert"> set (</span><span class="name"><span class="insert">attrs</span></span><span class="insert">) of attribute-value pairs representing additional information about this relation.</span></li>
+</ul>
+
+</div>
+
+<p id="complete-attribute-note"><span class="insert">
+Note that the attribute </span><a href="#membership.complete"><span class="insert">complete</span></a><span class="insert"> indicates that the </span><a title="memberOf" href="#dfn-memberof" class="internalDFN"><span class="insert">membership</span></a><span class="insert"> relation provides a complete description of the collection membership. It is possible for  different provenance descriptions to provide different membership statements regarding the same collection. The resolution of any potential conflict amongst such membership statements is defined by applications.</span></p>
+
+<p>In PROV, the concept of Collection is  provided as an extensibility point for <span class="delete">other</span><span class="insert">specialized</span> kinds of collections. <span class="delete">Collections are implemented by means of dictionaries, which are introduced</span><span class="insert">One of these, Dictionary, is defined</span> next. </p>
 
 </div>
 
@@ -3947,7 +3992,9 @@
 <h4><span class="secno"><span class="delete">4.5.2</span><span class="insert">5.6.2</span> </span>Dictionary</h4>
 
 
-<p>PROV-DM defines a specific type of <span class="delete">collection:</span><span class="insert">collection,</span> a dictionary, specified as follows.</p>
+
+
+<p>PROV-DM defines a specific type of <span class="delete">collection: a dictionary,</span><span class="insert">collection,</span> specified as follows.</p>
 
 
 <span class="glossary-ref">     A <dfn id="concept-dictionary">dictionary</dfn> is a collection whose members are indexed by keys.   </span>
@@ -3955,18 +4002,20 @@
 <p>Conceptually, a dictionary has a logical structure consisting of key-entity pairs. This structure is often referred to as a <em>map</em>, and is a generic indexing mechanism that can abstract commonly used data structures, including associative <span class="delete">lists (also known as "dictionaries" in some programming languages),</span><span class="insert">lists,</span> relational tables, ordered lists, and more. The specification of such specialized structures in terms of key-value pairs is out of the scope of this document.</p>
 
 <p>A given dictionary forms a given structure for its members.  A different structure (obtained either by insertion or removal of members) constitutes a different dictionary. Hence,
- for the purpose of provenance, a dictionary entity is viewed as a snapshot of a structure. Insertion and removal operations result in new snapshots, each snapshot forming an identifiable dictionary entity.<span class="insert">  It is also useful to describe a dictionary as empty.</span></p>
-
-
-<span class="glossary-ref"><span class="insert">   An </span><dfn id="concept-empty-dictionary"><span class="insert">empty dictionary</span></dfn><span class="insert"> is a dictionary without member.  </span></span>
-
-
-<p>PROV-DM defines the following types related to dictionaries:</p>
+ for the purpose of provenance, a dictionary entity is viewed as a snapshot of a structure. Insertion and removal operations result in new snapshots, each snapshot forming an identifiable dictionary entity.</p>
+
+
+
+
+
+
+
+<p><span class="insert">Following the earlier definition for generic collections,  </span>PROV-DM defines the following types related to dictionaries:</p>
 
 <ul>
-  <li> <span class="name">prov:Dictionary</span>  denotes an entity of type dictionary, i.e. an entity that  can participate in  relations amongst dictionaries;
-
-  </li><li><span class="name">prov:EmptyDictionary</span> denotes an empty dictionary.
+  <li> <span class="name">prov:Dictionary</span>  <span class="insert"> is a subtype of </span><span class="name"><span class="insert">prov:Collection</span></span><span class="insert">. It </span>denotes an entity of type dictionary, i.e. an entity that  can participate in  relations amongst dictionaries;
+
+  </li><li><span class="name">prov:EmptyDictionary</span> <span class="insert">is a subtype of </span><span class="name"><span class="insert">prov:EmptyCollection</span></span><span class="insert">. It </span>denotes an empty dictionary.
 </li></ul>
 
 
@@ -3975,19 +4024,75 @@
 
 
 
-<div class="anexample" data-count="49"><div class="anexampleTitle"><a href="#undefined"><span class="insert">Example 49</span></a></div>
+
+
+
+<div class="anexample" id="example_48" data-count="48"><div class="anexampleTitle"><a class="internalDFN" href="#example_48"><span class="insert">Example 48</span></a></div>
 <pre class="codeexample">entity(d0, <span class="delete">[prov:type="prov:EmptyDictionary" %% xsd:QName])</span><span class="insert">[prov:type='prov:EmptyDictionary' ])</span>  // d0 is an empty dictionary
 entity(d1, <span class="delete">[prov:type="prov:Dictionary"</span><span class="insert">[prov:type='prov:Dictionary'</span>  <span class="delete">%% xsd:QName])</span><span class="insert">])</span>      // d1 is a dictionary, with unknown content
 </pre>
 </div>
 
-
+</div>  
+
+<div id="term-dictionary-membership" class="section">
+<h4><span class="secno"><span class="insert">5.6.3 </span></span><span class="insert">Dictionary Membership</span></h4>
+
+
+<span class="glossary-ref"> <dfn id="concept-membership"><span class="insert">Membership</span></dfn><span class="insert"> is the belonging of a key-entity pair to a dictionary. </span></span><span class="insert">
+
+The </span><strong><span class="insert">dictionary  membership</span></strong><span class="insert"> is a specialization of the </span><a href="#term-collection"><span class="insert">collection membership</span></a><span class="insert"> relation, which applies to entities having </span><span class="name"><span class="insert">prov:type = "prov:Dictionary"</span></span><span class="insert">. It allows stating the members of a Dictionary.</span>
+
+
+
+<p>
+</p><div class="attributes" id="attributes-memberOf"><span class="insert">
+ A </span><dfn title="memberOf-d" id="dfn-memberof-d"><span class="insert">membership</span></dfn><span class="insert"> relation, written </span><span class="pnExpression"><span class="insert">memberOf(id; c, {(key_1, e_1), ..., (key_n, e_n)}, cplt, attrs)</span></span><span class="insert">, has:
+</span><ul>
+<li><span class="attribute" id="membership-d.id"><span class="insert">id</span></span><span class="insert">:  an </span><em class="rfc2119" title="optional"><span class="insert">optional</span></em><span class="insert"> identifier identifying the relation;</span></li>
+<li><span class="attribute" id="membership-d.collection"><span class="insert">collection</span></span><span class="insert">: an identifier (</span><span class="name"><span class="insert">c</span></span><span class="insert">) for the dictionary whose members are asserted; </span></li>
+<li><span class="attribute" id="membership-d.key-entity-set"><span class="insert">key-entity-set</span></span><span class="insert">: a set of key-entity pairs </span><span class="name"><span class="insert">(key_1, e_1)</span></span><span class="insert">, ..., </span><span class="name"><span class="insert">(key_n, e_n)</span></span><span class="insert"> that are members of the dictionary;</span></li>
+<li><span class="attribute" id="membership-d.complete"><span class="insert">complete</span></span><span class="insert">: an </span><em class="rfc2119" title="optional"><span class="insert">optional</span></em><span class="insert"> boolean 
+</span><a title="value" href="#concept-value" class="internalDFN"><span class="insert">Value</span></a><span class="insert"> (</span><span class="name"><span class="insert">cplt</span></span><span class="insert">). It is interpreted as follows:
+</span><ul>
+<li><span class="insert">if it is present and set to true, then c is believed to include all and only the members specified in the key-entity-set;
+</span></li><li><span class="insert">if it is present and set to false, then c is believed to include more members in addition to those specified in the key-entity-set;
+</span></li><li><span class="insert">if it is not present, then c is believed to include all the members specified in the key-entity-set, and it </span><em class="rfc2119" title="may"><span class="insert">may</span></em><span class="insert"> include more.
+</span></li></ul>
+
+
+</li><li><span class="attribute" id="membership-d.attributes"><span class="insert">attributes</span></span><span class="insert">: an </span><em class="rfc2119" title="optional"><span class="insert">optional</span></em><span class="insert"> set (</span><span class="name"><span class="insert">attrs</span></span><span class="insert">) of attribute-value pairs representing additional information about this relation.</span></li>
+</ul>
+
+</div>
+
+<p id="complete-attribute-note"><span class="insert">
+The attribute </span><a href="#membership.complete"><span class="insert">complete</span></a><span class="insert"> is interpreted as for  the general </span><a href="#term-collection"><span class="insert">collection membership</span></a><span class="insert"> relation. 
+
+</span></p><div class="anexample" id="example_49" data-count="49"><div class="anexampleTitle"><a class="internalDFN" href="#example_49"><span class="insert">Example 49</span></a></div>
+<pre class="codeexample"><span class="insert">entity(d1, [prov:type='prov:Dictionary' ])    // d1 is a dictionary, with unknown content
+entity(d2, [prov:type='prov:Dictionary' ])    // d2 is a dictionary, with unknown content
+
+entity(e1)
+entity(e2)
+
+memberOf(d1, {("k1", e1), ("k2", e2)} )  
+memberOf(d2, {("k1", e1), ("k2", e2)}, true)  
+
+</span></pre><span class="insert">
+From these descriptions, we conclude:
+</span><ul>
+<li> <span class="name"><span class="insert">d1</span></span><span class="insert">  has  the following pairs as members: </span><span class="name"><span class="insert">("k1", e1), ("k2", e2)</span></span><span class="insert">, and may contain others.
+</span></li><li> <span class="name"><span class="insert">d2</span></span><span class="insert">  exactly has  the following pairs as members: </span><span class="name"><span class="insert">("k1", e1), ("k2", e2)</span></span><span class="insert">, and does not contain any other.
+</span></li></ul>
+<p><span class="insert"> Thus, the membership of </span><span class="name"><span class="insert">d1</span></span><span class="insert"> is only partially known.</span></p>
+</div>
 
 </div>  
 
 
 <div id="term-dictionary-insertion" class="section">
-<h4><span class="secno"><span class="delete">4.5.3</span><span class="insert">5.6.3</span> </span>Insertion</h4>
+<h4><span class="secno"><span class="delete">4.5.3 </span><span class="insert">5.6.4 </span></span><span class="insert">Dictionary </span>Insertion</h4>
 
 <span class="glossary-ref">  <dfn id="concept-insertion">Insertion</dfn> is a derivation that transforms a dictionary into another, by insertion of one or more key-entity pairs. </span>
 
@@ -3995,21 +4100,23 @@
 
 
 
+
+
 <p></p><div class="attributes" id="attributes-derivedByInsertionFrom">
 <p>An <dfn title="derivedByInsertionFrom" id="dfn-derivedbyinsertionfrom">Insertion</dfn> relation<span class="withPn">, written <span class="pnExpression"><span class="delete">derivedByInsertionFrom(id,</span><span class="insert">derivedByInsertionFrom(id;</span> d2, d1, {(key_1, e_1), ..., (key_n, e_n)}, attrs)</span>,</span> has:</p>
 <ul>
-<li><span class="attribute" id="derivedByInsertionFrom.id">id</span>:  an <em class="rfc2119" title="optional">optional</em> identifier identifying the relation;</li>
-<li><span class="attribute" id="derivedByInsertionFrom.after">after</span>: an identifier (<span class="name">d2</span>) for the dictionary <em>after</em> insertion; </li>
-<li><span class="attribute" id="derivedByInsertionFrom.before">before</span>: an identifier (<span class="name">d1</span>) for the dictionary <em>before</em> insertion;</li>
-<li><span class="attribute" id="derivedByInsertionFrom.key-entity-set">key-entity-set</span>: the inserted key-entity pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span> in which each <span class="name">key_i</span> is a <a href="#concept-value" class="internalDFN">value</a>, and <span class="name">e_i</span> is an identifier  for the entity that has been inserted with the key;
+<li><span class="attribute" id="insertion.id">id</span>:  an <em class="rfc2119" title="optional">optional</em> identifier identifying the relation;</li>
+<li><span class="attribute" id="insertion.after">after</span>: an identifier (<span class="name">d2</span>) for the dictionary <em>after</em> insertion; </li>
+<li><span class="attribute" id="insertion.before">before</span>: an identifier (<span class="name">d1</span>) for the dictionary <em>before</em> insertion;</li>
+<li><span class="attribute" id="insertion.key-entity-set">key-entity-set</span>: the inserted key-entity pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span> in which each <span class="name">key_i</span> is a <a href="#concept-value" class="internalDFN">value</a>, and <span class="name">e_i</span> is an identifier  for the entity that has been inserted with the key;
  each <span class="name">key_i</span> is expected to be unique for the key-entity-set;
 </li>
-<li><span class="attribute" id="derivedByInsertionFrom.attributes">attributes</span>: an <em class="rfc2119" title="optional">optional</em> set (<span class="name">attrs</span>) of attribute-value pairs representing additional information about this relation.</li>
+<li><span class="attribute" id="insertion.attributes">attributes</span>: an <em class="rfc2119" title="optional">optional</em> set (<span class="name">attrs</span>) of attribute-value pairs representing additional information about this relation.</li>
 </ul>
 </div>
 
 <p>
-An Insertion relation <span class="name"><span class="delete">derivedByInsertionFrom(id,</span><span class="insert">derivedByInsertionFrom(id;</span> d2, d1,  {(key_1, e_1), ..., (key_n, e_n)})</span> states that  <span class="name">d2</span> is the state of the dictionary
+An Insertion relation <span class="name"><span class="delete">derivedByInsertionFrom(id,</span><span class="insert">derivedByInsertionFrom(id;</span> d2, d1,  {(key_1, e_1), ..., (key_n, e_n)})</span> states that  <span class="name">d2</span> is the <span class="delete">state of the </span>dictionary
 following the insertion of pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span> into dictionary  <span class="name">d1</span>.</p>
 
 
@@ -4017,7 +4124,10 @@
 
 
 
-<div class="anexample" data-count="50"><div class="anexampleTitle"><a href="#undefined"><span class="insert">Example 50</span></a></div>
+
+
+
+<div class="anexample" id="example_50" data-count="50"><div class="anexampleTitle"><a class="internalDFN" href="#example_50"><span class="insert">Example 50</span></a></div>
 <pre class="codeexample">entity(d0, <span class="delete">[prov:type="prov:EmptyDictionary" %% xsd:QName])</span><span class="insert">[prov:type='prov:EmptyDictionary' ])</span>    // d0 is an empty dictionary
 entity(e1)
 entity(e2)
@@ -4039,7 +4149,7 @@
 <p>Insertion provides an "update semantics" for the keys that are already present in a dictionary,
 since a new pair replaces an existing pair with the same key in the new dictionary. This is illustrated by the following example.</p>
 
-<div class="anexample" data-count="51"><div class="anexampleTitle"><a href="#undefined"><span class="insert">Example 51</span></a></div>
+<div class="anexample" id="example_51" data-count="51"><div class="anexampleTitle"><a class="internalDFN" href="#example_51"><span class="insert">Example 51</span></a></div>
 <pre class="codeexample">entity(d0, <span class="delete">[prov:type="prov:EmptyDictionary" %% xsd:QName])</span><span class="insert">[prov:type='prov:EmptyDictionary' ])</span>    // d0 is an empty dictionary
 entity(e1)
 entity(e2)
@@ -4063,28 +4173,31 @@
 
 
 <div id="term-dictionary-removal" class="section">
-<h4><span class="secno"><span class="delete">4.5.4</span><span class="insert">5.6.4</span> </span>Removal</h4>
+<h4><span class="secno"><span class="delete">4.5.4 </span><span class="insert">5.6.5 </span></span><span class="insert">Dictionary </span>Removal</h4>
 
 <span class="glossary-ref">  <dfn id="concept-removal">Removal</dfn> is a derivation that transforms a dictionary into another, by removing one or more key-entity pairs. </span>
 
 
 
 
+
+
+
 <p>
 </p><div class="attributes" id="attributes-derivedByRemovalFrom">
 <p> A <dfn title="derivedByRemovalFrom" id="dfn-derivedbyremovalfrom">Removal</dfn> relation, written <span class="pnExpression"><span class="delete">derivedByRemovalFrom(id,</span><span class="insert">derivedByRemovalFrom(id;</span> d2, d1, {key_1, ... key_n}, attrs)</span>, has:</p>
 <ul>
-<li><span class="attribute" id="derivedByRemovalFrom.id">id</span>:  an <em class="rfc2119" title="optional">optional</em> identifier identifying the relation;</li>
-<li><span class="attribute" id="derivedByRemovalFrom.after">after</span>: an identifier (<span class="name">d2</span>) for the dictionary  <em>after</em> the deletion; </li>
-<li><span class="attribute" id="derivedByRemovalFrom.before">before</span>: an identifier (<span class="name">d1</span>)  for the dictionary <em>before</em> the deletion;</li>
-<li><span class="attribute" id="derivedByRemovalFrom.key-set">key-set</span>: a set of deleted keys  <span class="name">key_1</span>, ..., <span class="name">key_n</span>, for which each <span class="name">key_i</span> is a <a href="#concept-value" class="internalDFN">value</a>;</li>
-<li><span class="attribute" id="derivedByRemovalFrom.attributes">attributes</span>: an <em class="rfc2119" title="optional">optional</em> set (<span class="name">attrs</span>) of attribute-value pairs representing additional information about this relation.</li>
+<li><span class="attribute" id="removal.id">id</span>:  an <em class="rfc2119" title="optional">optional</em> identifier identifying the relation;</li>
+<li><span class="attribute" id="removal.after">after</span>: an identifier (<span class="name">d2</span>) for the dictionary  <em>after</em> the deletion; </li>
+<li><span class="attribute" id="removal.before">before</span>: an identifier (<span class="name">d1</span>)  for the dictionary <em>before</em> the deletion;</li>
+<li><span class="attribute" id="removal.key-set">key-set</span>: a set of deleted keys  <span class="name">key_1</span>, ..., <span class="name">key_n</span>, for which each <span class="name">key_i</span> is a <a href="#concept-value" class="internalDFN">value</a>;</li>
+<li><span class="attribute" id="removal.attributes">attributes</span>: an <em class="rfc2119" title="optional">optional</em> set (<span class="name">attrs</span>) of attribute-value pairs representing additional information about this relation.</li>
 </ul>
 </div>
 
-<p>A Removal relation <span class="name"><span class="delete">derivedByRemovalFrom(id,</span><span class="insert">derivedByRemovalFrom(id;</span> d2,d1, {key_1, ..., key_n})</span> states that  <span class="name">d2</span> is  the  state of the dictionary following the removal of the set of pairs corresponding to keys  <span class="name">key_1...key_n</span> from  <span class="name">d1</span>.
-
-</p><div class="anexample" data-count="52"><div class="anexampleTitle"><a href="#undefined"><span class="insert">Example 52</span></a></div>
+<p>A Removal relation <span class="name"><span class="delete">derivedByRemovalFrom(id,</span><span class="insert">derivedByRemovalFrom(id;</span> d2,d1, {key_1, ..., key_n})</span> states that  <span class="name">d2</span> is  the  <span class="delete">state of the </span>dictionary following the removal of the set of pairs corresponding to keys  <span class="name">key_1...key_n</span> from  <span class="name">d1</span>.
+
+</p><div class="anexample" id="example_52" data-count="52"><div class="anexampleTitle"><a class="internalDFN" href="#example_52"><span class="insert">Example 52</span></a></div>
 <pre class="codeexample">entity(d0, [prov:type="prov:EmptyDictionary"])    // d0 is an empty dictionary
 entity(e1)
 entity(e2)
@@ -4110,36 +4223,36 @@
 </div>  
 
 
-<div id="term-dictionary-membership" class="section">
-<h4><span class="secno"><span class="delete">4.5.5</span><span class="insert">5.6.5</span> </span>Membership</h4>
-
-
-<span class="glossary-ref"> <dfn id="concept-membership">Membership</dfn> is the belonging of a key-entity pair to dictionary. </span>
-
-<p>
-The insertion and removal  relations make insertions and removals explicit as part of the history of a dictionary. This, however, requires explicit mention of the state of the dictionary prior to each operation. The membership relation removes this <span class="delete">needs,</span><span class="insert">need,</span> allowing the state of a dictionary <span class="delete">c</span> to be expressed without having to introduce a prior state.</p>
-
-<p>
-</p><div class="attributes" id="attributes-memberOf">
- A <dfn title="memberOf" id="dfn-memberof">membership</dfn> relation, written <span class="pnExpression"><span class="delete">memberOf(id,</span><span class="insert">memberOf(id;</span> c, {(key_1, e_1), ..., (key_n, e_n)}, cplt, attrs)</span>, has:
-<ul>
-<li><span class="attribute" id="memberOf.id">id</span>:  an <em class="rfc2119" title="optional">optional</em> identifier identifying the relation;</li>
-<li><span class="attribute" id="memberOf.after">after</span>: an identifier (<span class="name">c</span>) for the dictionary whose members are asserted; </li>
-<li><span class="attribute" id="memberOf.key-entity-set">key-entity-set</span>: a set of key-entity pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span> that are members of the dictionary;</li>
-<li><span class="attribute" id="memberOf.complete">complete</span>: an <em class="rfc2119" title="optional">optional</em> boolean 
-<a title="value" href="#concept-value" class="internalDFN">Value</a> (<span class="name">cplt</span>); if true, it indicates that no other member belongs to the dictionary;  if false, it indicates that other members belong to the dictionary; if unspecified, other members <em class="rfc2119" title="may">may</em> belong to the dictionary.
-</li><li><span class="attribute" id="memberOf.attributes">attributes</span>: an <em class="rfc2119" title="optional">optional</em> set (<span class="name">attrs</span>) of attribute-value pairs representing additional information about this relation.</li>
-</ul>
-</div>
-
-
-
-
-<p>The description <span class="name">memberOf(c, {(key_1, e_1), ..., (key_n, e_n)})</span> states that  <span class="name">c</span> is known to include <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)}</span>, without having to introduce a previous state. </p>
-
-<div class="anexample" data-count="53"><div class="anexampleTitle"><a href="#undefined"><span class="insert">Example 53</span></a></div>
-<pre class="codeexample">entity(d1, <span class="delete">[prov:type="prov:Dictionary"</span><span class="insert">[prov:type='prov:Dictionary'</span>  <span class="delete">%% xsd:QName])</span><span class="insert">])</span>    // d1 is a dictionary, with unknown content
-entity(d2, <span class="delete">[prov:type="prov:Dictionary"</span><span class="insert">[prov:type='prov:Dictionary'</span>  <span class="delete">%% xsd:QName])</span><span class="insert">])</span>    // d2 is a dictionary, with unknown content
+
+<span class="delete">4.5.5 </span><span class="delete">Membership</span>
+
+
+ <span class="delete">Membership</span><span class="delete"> is the belonging of a key-entity pair to dictionary. </span>
+
+<span class="delete">
+The insertion and removal  relations make insertions and removals explicit as part of the history of a dictionary. This, however, requires explicit mention of the state of the dictionary prior to each operation. The membership relation removes this needs, allowing the state of a dictionary </span><span class="delete">c</span><span class="delete"> to be expressed without having to introduce a prior state.</span>
+
+
+<span class="delete">
+ A </span><span class="delete">membership</span><span class="delete"> relation, written </span><span class="delete">memberOf(id, c, {(key_1, e_1), ..., (key_n, e_n)}, cplt, attrs)</span><span class="delete">, has:
+</span>
+<span class="delete">id</span><span class="delete">:  an </span><span class="delete">optional</span><span class="delete"> identifier identifying the relation;</span>
+<span class="delete">after</span><span class="delete">: an identifier (</span><span class="delete">c</span><span class="delete">) for the dictionary whose members are asserted; </span>
+<span class="delete">key-entity-set</span><span class="delete">: a set of key-entity pairs </span><span class="delete">(key_1, e_1)</span><span class="delete">, ..., </span><span class="delete">(key_n, e_n)</span><span class="delete"> that are members of the dictionary;</span>
+<span class="delete">complete</span><span class="delete">: an </span><span class="delete">optional</span><span class="delete"> boolean 
+</span><span class="delete">Value</span><span class="delete"> (</span><span class="delete">cplt</span><span class="delete">); if true, it indicates that no other member belongs to the dictionary;  if false, it indicates that other members belong to the dictionary; if unspecified, other members </span><span class="delete">may</span><span class="delete"> belong to the dictionary.
+</span><span class="delete">attributes</span><span class="delete">: an </span><span class="delete">optional</span><span class="delete"> set (</span><span class="delete">attrs</span><span class="delete">) of attribute-value pairs representing additional information about this relation.</span>
+
+
+
+
+
+
+<span class="delete">The description </span><span class="delete">memberOf(c, {(key_1, e_1), ..., (key_n, e_n)})</span><span class="delete"> states that  </span><span class="delete">c</span><span class="delete"> is known to include </span><span class="delete">(key_1, e_1)</span><span class="delete">, ..., </span><span class="delete">(key_n, e_n)}</span><span class="delete">, without having to introduce a previous state. </span>
+
+
+<span class="delete">entity(d1, [prov:type="prov:Dictionary"  %% xsd:QName])    // d1 is a dictionary, with unknown content
+entity(d2, [prov:type="prov:Dictionary"  %% xsd:QName])    // d2 is a dictionary, with unknown content
 
 entity(e1)
 entity(e2)
@@ -4148,22 +4261,22 @@
 memberOf(d2, {("k1", e1), ("k2", e2)}, true)  
 
 entity(e3)
-entity(d3, <span class="delete">[prov:type="prov:Dictionary"</span><span class="insert">[prov:type='prov:Dictionary'</span>  <span class="delete">%% xsd:QName])</span><span class="insert">])</span>
+entity(d3, [prov:type="prov:Dictionary"  %% xsd:QName])
 
 derivedByInsertionFrom(d3, d1, {("k3", e3)})     
-</pre>
+</span><span class="delete">
 From these descriptions, we conclude:
-<ul>
-<li> <span class="name">d1</span>  has  the following pairs as members: <span class="name">("k1", e1), ("k2", e2)</span>, and may contain others.
-</li><li> <span class="name">d2</span>  exactly has  the following pairs as members: <span class="name">("k1", e1), ("k2", e2)</span>, and does not contain any other.
-</li><li> <span class="name">d3</span> has  the following pairs as members: <span class="name">("k1", e1), ("k2", e2), ("k3", v3)</span>, and may contain others.
-</li></ul>
-<p> Thus, the states of <span class="name">d1</span> and <span class="name">d3</span> are only partially known.</p>
-</div>
-
-
-
-</div>  
+</span>
+ <span class="delete">d1</span><span class="delete">  has  the following pairs as members: </span><span class="delete">("k1", e1), ("k2", e2)</span><span class="delete">, and may contain others.
+</span> <span class="delete">d2</span><span class="delete">  exactly has  the following pairs as members: </span><span class="delete">("k1", e1), ("k2", e2)</span><span class="delete">, and does not contain any other.
+</span> <span class="delete">d3</span><span class="delete"> has  the following pairs as members: </span><span class="delete">("k1", e1), ("k2", e2), ("k3", v3)</span><span class="delete">, and may contain others.
+</span>
+<span class="delete"> Thus, the states of </span><span class="delete">d1</span><span class="delete"> and </span><span class="delete">d3</span><span class="delete"> are only partially known.</span>
+
+
+
+
+  
 
 
 
@@ -4368,14 +4481,11 @@
 <caption id="attributes-at-a-glance">Table <span class="delete">5:</span><span class="insert">6:</span> PROV-DM Attributes At a Glance</caption>
 <tbody><tr><td><b>Attribute</b></td><td><b><span class="insert">Allowed In</span></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><td style="border-width: 0px; "></td></tr>
-<tr><td><a title="label" href="#concept-label" class="internalDFN">prov:label</a></td><td><em><span class="insert">any construct</span></em></td><td><span class="insert">A </span><a href="#concept-value" class="internalDFN"><span class="insert">Value</span></a><span class="insert"> of type </span><a href="http://www.w3.org/TR/xmlschema-2/#string">xsd:string</a></td><td>Section <a href="#term-attribute-label"><span class="delete">4.7.4.1</span><span class="insert">5.7.4.1</span></a> </td></tr>
-<tr><td><a title="location" href="#concept-location" class="internalDFN">prov:location</a></td><td><a href="#concept-entity" class="internalDFN"><span class="insert">Entity</span></a><span class="insert">, </span><a href="#concept-activity" class="internalDFN"><span class="insert">Activity</span></a><span class="insert">, </span><a href="#concept-usage" class="internalDFN"><span class="insert">Usage</span></a><span class="insert">, and </span><a href="#concept-generation" class="internalDFN"><span class="insert">Generation</span></a><span class="insert">.</span></td><td><span class="insert">A </span><a title="value" href="#concept-value" class="internalDFN">Value</a></td><td>Section <a href="#term-attribute-location"><span class="delete">4.7.4.2</span><span class="insert">5.7.4.2</span></a> </td></tr>
-<tr><td><a title="role" href="#concept-role" class="internalDFN">prov:role</a></td><td><a href="#concept-usage" class="internalDFN"><span class="insert">Usage</span></a><span class="insert">, </span><a href="#concept-generation" class="internalDFN"><span class="insert">Generation</span></a><span class="insert">, </span><a href="#concept-activityAssociation" class="internalDFN"><span class="insert">Association</span></a><span class="insert">, </span><a href="#concept-start" class="internalDFN"><span class="insert">Start</span></a><span class="insert">, and </span><a href="#concept-end" class="internalDFN"><span class="insert">End</span></a></td><td><span class="insert">A </span><a title="value" href="#concept-value" class="internalDFN">Value</a></td><td>Section <a href="#term-attribute-role"><span class="delete">4.7.4.3</span><span class="insert">5.7.4.3</span></a> </td></tr>
-<tr><td><a title="type" href="#concept-type" class="internalDFN">prov:type</a></td><td><em><span class="insert">any construct</span></em></td><td><span class="insert">A </span><a title="value" href="#concept-value" class="internalDFN">Value</a></td><td>Section <a href="#term-attribute-type"><span class="delete">4.7.4.4</span><span class="insert">5.7.4.4</span></a> </td></tr>
-<tr><td><a title="value-attribute" href="#concept-value-attribute" class="internalDFN">prov:value</a></td><td><a href="#concept-entity" class="internalDFN"><span class="insert">Entity</span></a></td><td><span class="insert">A </span><a title="value" href="#concept-value" class="internalDFN">Value</a></td><td>Section <a href="#term-attribute-value"><span class="delete">4.7.4.5</span><span class="insert">5.7.4.5</span></a> </td></tr>
-
-<tr><td><a title="provenance-uri-attribute" href="#dfn-provenance-uri-attribute" class="internalDFN"><span class="insert">prov:provenance-uri</span></a></td><td><a href="#concept-provenance-locator" class="internalDFN"><span class="insert">Provenance Locator</span></a></td><td><span class="insert">A </span><a href="#concept-value" class="internalDFN"><span class="insert">Value</span></a><span class="insert"> of type </span><a href="http://www.w3.org/TR/xmlschema-2/#anyURI"><span class="insert">xsd:anyURI</span></a></td><td><span class="insert">Section </span><a href="#term-attribute-provenance-uri"><span class="insert">5.7.4.6</span></a> </td></tr>
-<tr><td><a title="service-uri-attribute" href="#dfn-service-uri-attribute" class="internalDFN"><span class="insert">prov:service-uri</span></a></td><td><a href="#concept-provenance-locator" class="internalDFN"><span class="insert">Provenance Locator</span></a></td><td><span class="insert">A </span><a href="#concept-value" class="internalDFN"><span class="insert">Value</span></a><span class="insert"> of type </span><a href="http://www.w3.org/TR/xmlschema-2/#anyURI"><span class="insert">xsd:anyURI</span></a></td><td><span class="insert">Section </span><a href="#term-attribute-service-uri"><span class="insert">5.7.4.7</span></a> </td></tr>
+<tr><td><a title="label" href="#concept-label" class="internalDFN">prov:label</a></td><td><span class="delete">xsd:string</span><em><span class="insert">any construct</span></em></td><td><span class="insert">A </span><a href="#concept-value" class="internalDFN"><span class="insert">Value</span></a><span class="insert"> of type </span><a class="section-ref" href="http://www.w3.org/TR/xmlschema-2/#string"><span class="insert">xsd:string</span></a></td><td><a class="section-ref" href="#term-attribute-label"><span>Section <span class="delete">4.7.4.1</span><span class="insert">5.7.2.1</span></span></a> </td></tr>
+<tr><td><a title="location" href="#concept-location" class="internalDFN">prov:location</a></td><td><span class="delete">Value</span><a href="#concept-entity" class="internalDFN"><span class="insert">Entity</span></a><span class="insert">, </span><a href="#concept-activity" class="internalDFN"><span class="insert">Activity</span></a><span class="insert">, </span><a href="#concept-usage" class="internalDFN"><span class="insert">Usage</span></a><span class="insert">, and </span><a href="#concept-generation" class="internalDFN"><span class="insert">Generation</span></a><span class="insert">.</span></td><td><span class="insert">A </span><a title="value" href="#concept-value" class="internalDFN"><span class="insert">Value</span></a></td><td><a class="section-ref" href="#term-attribute-location"><span>Section <span class="delete">4.7.4.2</span><span class="insert">5.7.2.2</span></span></a> </td></tr>
+<tr><td><a title="role" href="#concept-role" class="internalDFN">prov:role</a></td><td><span class="delete">Value</span><a href="#concept-usage" class="internalDFN"><span class="insert">Usage</span></a><span class="insert">, </span><a href="#concept-generation" class="internalDFN"><span class="insert">Generation</span></a><span class="insert">, </span><a href="#concept-invalidation" class="internalDFN"><span class="insert">Invalidation</span></a><span class="insert">, </span><a href="#concept-activityAssociation" class="internalDFN"><span class="insert">Association</span></a><span class="insert">, </span><a href="#concept-start" class="internalDFN"><span class="insert">Start</span></a><span class="insert">, and </span><a href="#concept-end" class="internalDFN"><span class="insert">End</span></a></td><td><span class="insert">A </span><a title="value" href="#concept-value" class="internalDFN"><span class="insert">Value</span></a></td><td><a class="section-ref" href="#term-attribute-role"><span>Section <span class="delete">4.7.4.3</span><span class="insert">5.7.2.3</span></span></a> </td></tr>
+<tr><td><a title="type" href="#concept-type" class="internalDFN">prov:type</a></td><td><span class="delete">Value</span><em><span class="insert">any construct</span></em></td><td><span class="insert">A </span><a title="value" href="#concept-value" class="internalDFN"><span class="insert">Value</span></a></td><td><a class="section-ref" href="#term-attribute-type"><span>Section <span class="delete">4.7.4.4</span><span class="insert">5.7.2.4</span></span></a> </td></tr>
+<tr><td><a title="value-attribute" href="#concept-value-attribute" class="internalDFN">prov:value</a></td><td><span class="delete">Value</span><a href="#concept-entity" class="internalDFN"><span class="insert">Entity</span></a></td><td><span class="insert">A </span><a title="value" href="#concept-value" class="internalDFN"><span class="insert">Value</span></a></td><td><a class="section-ref" href="#term-attribute-value"><span>Section <span class="delete">4.7.4.5</span><span class="insert">5.7.2.5</span></span></a> </td></tr>
 </tbody></table>
 </div>
 
@@ -4393,7 +4503,7 @@
 <span class="glossary-ref">    The attribute <dfn id="concept-label" title="label"><span class="name">prov:label</span></dfn> provides a human-readable representation of <span class="insert">an instance of </span>a PROV-DM <span class="delete">element</span><span class="insert">type</span> or relation.     </span>
 The value associated with the attribute <span class="name">prov:label</span> <em class="rfc2119" title="must">must</em> be a string.</p>
 
-<div class="anexample" data-count="54"><div class="anexampleTitle"><a href="#undefined"><span class="insert">Example 54</span></a></div>
+<div class="anexample" id="example_53" data-count="53"><div class="anexampleTitle"><a class="internalDFN" href="#example_53"><span class="insert">Example 53</span></a></div>
 <p>The following entity is provided with a label attribute.</p>
 <pre class="codeexample"> entity(ex:e1, <span class="delete">[prov:label="This</span><span class="insert">[ prov:label="This</span> is a <span class="delete">label"])</span><span class="insert">human-readable label" ])</span>
 </pre>
@@ -4416,7 +4526,7 @@
 The attribute <span class="name">prov:location</span> is an <em class="rfc2119" title="optional">optional</em> attribute of entity, activity, usage, and generation.  The value associated with the  attribute <span class="name">prov:location</span> <em class="rfc2119" title="must">must</em> be a PROV-DM <a title="value" href="#concept-value" class="internalDFN">Value</a>, expected to denote a location.
 </p>
 
-<div class="anexample" id="example-location" data-count="55"><div class="anexampleTitle"><a href="#example-location"><span class="insert">Example 55</span></a></div>
+<div class="anexample" id="example-location" data-count="54"><div class="anexampleTitle"><a class="internalDFN" href="#example-location"><span class="insert">Example 54</span></a></div>
 <p>The following expression describes entity Mona Lisa, a painting, with a location attribute. </p>
 <pre class="codeexample"> entity(ex:MonaLisa, <span class="delete">[prov:location="Le</span><span class="insert">[ prov:location="Le</span> Louvres, Paris", <span class="delete">prov:type="StillImage"])</span><span class="insert">prov:type="StillImage" ])</span>
 </pre>
@@ -4435,13 +4545,13 @@
 <h5><span class="secno"><span class="delete">4.7.4.3</span><span class="insert">5.7.2.3</span> </span>prov:role</h5>
 
 
-<p><span class="glossary-ref"><span class="insert">   A </span><dfn id="concept-role"><span class="insert">role</span></dfn><span class="insert"> is the function of an entity with respect to an activity, in the context of a </span><a href="#concept-usage" class="internalDFN"><span class="insert">usage</span></a><span class="insert">, </span><a href="#concept-generation" class="internalDFN"><span class="insert">generation</span></a><span class="insert">, </span><a href="#concept-activityAssociation" class="internalDFN"><span class="insert">association</span></a><span class="insert">,  </span><a href="#concept-start" class="internalDFN"><span class="insert">start</span></a><span class="insert">, and  </span><a href="#concept-end" class="internalDFN"><span class="insert">end</span></a><span class="insert">. </span></span></p>
+<p><span class="glossary-ref"><span class="insert">   A </span><dfn id="concept-role"><span class="insert">role</span></dfn><span class="insert"> is the function of an entity or agent with respect to an activity, in the context of a </span><a href="#concept-usage" class="internalDFN"><span class="insert">usage</span></a><span class="insert">, </span><a href="#concept-generation" class="internalDFN"><span class="insert">generation</span></a><span class="insert">, </span><a href="#concept-invalidation" class="internalDFN"><span class="insert">invalidation</span></a><span class="insert">,  </span><a href="#concept-activityAssociation" class="internalDFN"><span class="insert">association</span></a><span class="insert">, </span><a href="#concept-start" class="internalDFN"><span class="insert">start</span></a><span class="insert">, and  </span><a href="#concept-end" class="internalDFN"><span class="insert">end</span></a><span class="insert">. </span></span></p>
 
 <p><span class="delete">The attribute </span><span class="delete">prov:role</span><span class="delete">  denotes the function of an entity with respect to an activity, in the context of a usage, generation,
  association,  start, and  end. </span>
 The attribute <span class="name">prov:role</span> is allowed to occur multiple times in a list of attribute-value pairs. The value associated with a <span class="name">prov:role</span> attribute <em class="rfc2119" title="must">must</em> be a PROV-DM <a title="value" href="#concept-value" class="internalDFN">Value</a>.</p>
 
-<div class="anexample" id="anexample-role" data-count="56"><div class="anexampleTitle"><a href="#anexample-role"><span class="insert">Example 56</span></a></div>
+<div class="anexample" id="anexample-role" data-count="55"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-role"><span class="insert">Example 55</span></a></div>
 <p>The following activity is associated with an agent acting as the operator. </p>
 <pre class="codeexample"> wasAssociatedWith(a, ag, <span class="delete">[prov:role="operator"])</span><span class="insert">[ prov:role="operator" ])
 </span></pre>
@@ -4462,7 +4572,7 @@
 the value associated with a <span class="name">prov:type</span> attribute <em class="rfc2119" title="must">must</em> be a PROV-DM <a title="value" href="#concept-value" class="internalDFN">Value.</a> The attribute <span class="name">prov:type</span>
 is allowed to occur multiple times.</p>
 
-<div class="anexample" data-count="57"><div class="anexampleTitle"><a href="#undefined"><span class="insert">Example 57</span></a></div>
+<div class="anexample" id="example_56" data-count="56"><div class="anexampleTitle"><a class="internalDFN" href="#example_56"><span class="insert">Example 56</span></a></div>
 <p>The following describes an agent of type software agent.</p>
 <pre class="codeexample">   agent(ag, <span class="delete">[prov:type="prov:SoftwareAgent" %% xsd:QName])</span><span class="insert">[ prov:type='prov:SoftwareAgent' ])</span>
 </pre>
@@ -4477,24 +4587,24 @@
 <caption id="prov-dm-predefined-types"><span class="insert">Table 7: PROV-DM Predefined Types</span></caption>
 <tbody><tr><td><b><span class="insert">Type</span></b></td><td><b><span class="insert">Specification</span></b></td><td><b><span class="insert">Core concept</span></b></td></tr>
 <tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
-<tr><td><a title="bundle" href="#concept-bundle" class="internalDFN"><span class="name"><span class="insert">prov:Bundle</span></span></a></td><td><a href="#term-bundle"><span class="insert">Section 5.5.1</span></a></td><td><a href="#concept-entity" class="internalDFN"><span class="insert">Entity</span></a></td></tr>
-<tr><td><a title="collection" href="#concept-collection" class="internalDFN"><span class="name"><span class="insert">prov:Collection</span></span></a></td><td><a href="#term-collection"><span class="insert">Section 5.6.1</span></a></td><td><a href="#concept-entity" class="internalDFN"><span class="insert">Entity</span></a></td></tr>
-<tr><td><a title="dictionary" href="#concept-dictionary" class="internalDFN"><span class="name"><span class="insert">prov:Dictionary</span></span></a></td><td><a href="#term-dictionary"><span class="insert">Section 5.6.2</span></a></td><td><a href="#concept-entity" class="internalDFN"><span class="insert">Entity</span></a></td></tr>
-<tr><td><a title="empty dictionary" href="#concept-empty-dictionary" class="internalDFN"><span class="name"><span class="insert">prov:EmptyDictionary</span></span></a></td><td><a href="#term-dictionary"><span class="insert">Section 5.6.2</span></a></td><td><a href="#concept-entity" class="internalDFN"><span class="insert">Entity</span></a></td></tr>
-<tr><td><a title="original source" href="#concept-original-source" class="internalDFN"><span class="name"><span class="insert">prov:HadOriginalSource</span></span></a></td><td><a href="#term-original-source"><span class="insert">Section 5.2.4</span></a></td><td><a href="#concept-derivation" class="internalDFN"><span class="insert">Derivation</span></a></td></tr>
-<tr><td><a title="organization" href="#concept-organization" class="internalDFN"><span class="name"><span class="insert">prov:Organization</span></span></a></td><td><a href="#term-agent"><span class="insert">Section 5.3.1</span></a></td><td><a href="#concept-agent" class="internalDFN"><span class="insert">Agent</span></a></td></tr>
-<tr><td><a title="person" href="#concept-person" class="internalDFN"><span class="name"><span class="insert">prov:Person</span></span></a></td><td><a href="#term-agent"><span class="insert">Section 5.3.1</span></a></td><td><a href="#concept-agent" class="internalDFN"><span class="insert">Agent</span></a></td></tr>
+<tr><td><a title="bundle" href="#concept-bundle" class="internalDFN"><span class="name"><span class="insert">prov:Bundle</span></span></a></td><td><a class="section-ref" href="#term-bundle"><span><span class="insert">Section 5.4.1</span></span></a></td><td><a href="#concept-entity" class="internalDFN"><span class="insert">Entity</span></a></td></tr>
+<tr><td><a title="collection" href="#concept-collection" class="internalDFN"><span class="name"><span class="insert">prov:Collection</span></span></a></td><td><a class="section-ref" href="#term-collection"><span><span class="insert">Section 5.6.1</span></span></a></td><td><a href="#concept-entity" class="internalDFN"><span class="insert">Entity</span></a></td></tr>
+<tr><td><a title="dictionary" href="#concept-dictionary" class="internalDFN"><span class="name"><span class="insert">prov:Dictionary</span></span></a></td><td><a class="section-ref" href="#term-dictionary"><span><span class="insert">Section 5.6.2</span></span></a></td><td><a href="#concept-entity" class="internalDFN"><span class="insert">Entity</span></a></td></tr>
+<tr><td><a title="empty dictionary" href="#concept-empty-dictionary" class="internalDFN"><span class="name"><span class="insert">prov:EmptyDictionary</span></span></a></td><td><a class="section-ref" href="#term-dictionary"><span><span class="insert">Section 5.6.2</span></span></a></td><td><a href="#concept-entity" class="internalDFN"><span class="insert">Entity</span></a></td></tr>
+<tr><td><a title="primary source" href="#concept-primary-source" class="internalDFN"><span class="name"><span class="insert">prov:HadPrimarySource</span></span></a></td><td><a class="section-ref" href="#term-primary-source"><span><span class="insert">Section 5.2.4</span></span></a></td><td><a href="#concept-derivation" class="internalDFN"><span class="insert">Derivation</span></a></td></tr>
+<tr><td><a title="organization" href="#concept-organization" class="internalDFN"><span class="name"><span class="insert">prov:Organization</span></span></a></td><td><a class="section-ref" href="#term-agent"><span><span class="insert">Section 5.3.1</span></span></a></td><td><a href="#concept-agent" class="internalDFN"><span class="insert">Agent</span></a></td></tr>
+<tr><td><a title="person" href="#concept-person" class="internalDFN"><span class="name"><span class="insert">prov:Person</span></span></a></td><td><a class="section-ref" href="#term-agent"><span><span class="insert">Section 5.3.1</span></span></a></td><td><a href="#concept-agent" class="internalDFN"><span class="insert">Agent</span></a></td></tr>
 <tr><td><a title="plan" href="#concept-plan" class="internalDFN"><span class="name">prov:Plan</span>
 
 <span class="delete">prov:Account</span>
 
-</a></td> <td><a href="#term-entity"><span class="insert">Section 5.3.3</span></a></td><td><a href="#concept-entity" class="internalDFN"><span class="insert">Entity</span></a></td></tr>
+</a></td> <td><a class="section-ref" href="#term-entity"><span><span class="insert">Section 5.1.1</span></span></a></td><td><a href="#concept-entity" class="internalDFN"><span class="insert">Entity</span></a></td></tr>
 <tr><td><a title="software-agent" href="#concept-software-agent" class="internalDFN"><span class="name">prov:SoftwareAgent</span>
 
-</a></td><td><a href="#term-agent"><span class="insert">Section 5.3.1</span></a></td><td><a href="#concept-agent" class="internalDFN"><span class="insert">Agent</span></a></td></tr>
+</a></td><td><a class="section-ref" href="#term-agent"><span><span class="insert">Section 5.3.1</span></span></a></td><td><a href="#concept-agent" class="internalDFN"><span class="insert">Agent</span></a></td></tr>
 <tr><td><a title="Quotation" href="#concept-quotation" class="internalDFN"><span class="name"><span class="delete">prov:Organization</span>
 
-<span class="insert">prov:WasQuotedFrom</span></span></a></td><td><a href="#term-quotation"><span class="insert">Section 5.2.3</span></a></td><td><a href="#concept-derivation" class="internalDFN"><span class="insert">Derivation</span></a></td></tr>
+<span class="insert">prov:WasQuotedFrom</span></span></a></td><td><a class="section-ref" href="#term-quotation"><span><span class="insert">Section 5.2.3</span></span></a></td><td><a href="#concept-derivation" class="internalDFN"><span class="insert">Derivation</span></a></td></tr>
 <tr><td><a title="Revision" href="#concept-revision" class="internalDFN"><span class="name"><span class="delete">prov:Person</span>
 
 <span class="delete">prov:Collection</span>
@@ -4503,7 +4613,7 @@
 
 <span class="delete">prov:EmptyDictionary</span>
 
-<span class="insert">prov:WasRevisionOf</span></span></a></td><td><a href="#term-revision"><span class="insert">Section 5.2.2</span></a></td><td><a href="#concept-derivation" class="internalDFN"><span class="insert">Derivation</span></a></td></tr>
+<span class="insert">prov:WasRevisionOf</span></span></a></td><td><a class="section-ref" href="#term-revision"><span><span class="insert">Section 5.2.2</span></span></a></td><td><a href="#concept-derivation" class="internalDFN"><span class="insert">Derivation</span></a></td></tr>
 </tbody></table>
 
 </div>
@@ -4512,89 +4622,32 @@
 <div id="term-attribute-value" class="section">
 <h5><span class="secno"><span class="delete">4.7.4.5</span><span class="insert">5.7.2.5</span> </span>prov:value</h5>
 
-<p><span class="glossary-ref">   The attribute <dfn id="concept-value-attribute" title="value-attribute"><span class="name">prov:value</span></dfn>  provides a <a href="#concept-value" class="internalDFN">Value</a> <span class="insert">for an entity. </span></span></p>
-
-
-
-<p><span class="insert">The attribute </span><span class="name"><span class="insert">prov:value</span></span><span class="insert"> is an </span><em class="rfc2119" title="optional"><span class="insert">optional</span></em><span class="insert"> attribute of entity.  The value </span>associated with <span class="insert">the  attribute </span><span class="name"><span class="insert">prov:value</span></span> <em class="rfc2119" title="must"><span class="insert">must</span></em><span class="insert"> be a PROV-DM </span><a title="value" href="#concept-value" class="internalDFN"><span class="insert">Value</span></a><span class="insert">. The attribute </span><span class="name"><span class="insert">prov:value</span></span> <em class="rfc2119" title="may"><span class="insert">may</span></em><span class="insert"> occur at most once in a set of attribute-value pairs.</span></p>
-
-<div class="anexample" data-count="58"><div class="anexampleTitle"><a href="#undefined"><span class="insert">Example 58</span></a></div>
-<p><span class="insert">The following example illustrates the provenance of the number </span><span class="name"><span class="insert">4</span></span><span class="insert"> obtained by </span>an <span class="delete">entity.</span><span class="insert">activity that computed the length of an input string </span><span class="name"><span class="insert">"abcd"</span></span><span class="insert">.
-The input and the output are expressed as entities </span><span class="name"><span class="insert">ex:in</span></span><span class="insert"> and </span><span class="name"><span class="insert">ex:out</span></span><span class="insert">, respectively. They each have a </span><span class="name"><span class="insert">prov:value</span></span><span class="insert"> attribute associated with the corresponding value.
-</span></p>
-<pre class="codeexample"><span class="insert">entity(ex:in, [ prov:value="abcd" ]) 
-entity(ex:out, [ prov:value=4 ]) 
-activity(ex:len, [ prov:type="string-length" ])
+<p><span class="glossary-ref">   The attribute <dfn id="concept-value-attribute" title="value-attribute"><span class="name">prov:value</span></dfn>  provides a <a href="#concept-value" class="internalDFN">Value</a> <span class="delete">associated with</span><span class="insert">for</span> an entity. </span></p>
+
+
+
+
+
+
+<p>The attribute <span class="name">prov:value</span> is an <em class="rfc2119" title="optional">optional</em> attribute of entity.  The value associated with the  attribute <span class="name">prov:value</span> <em class="rfc2119" title="must">must</em> be a PROV-DM <a title="value" href="#concept-value" class="internalDFN">Value</a>. The attribute <span class="name">prov:value</span> <em class="rfc2119" title="may">may</em> occur at most once in a set of attribute-value pairs.</p>
+
+<div class="anexample" id="example_57" data-count="57"><div class="anexampleTitle"><a class="internalDFN" href="#example_57"><span class="insert">Example 57</span></a></div>
+<p>The following example illustrates the provenance of the number <span class="name">4</span> obtained by an activity that computed the length of an input string <span class="name">"abcd"</span>.
+The input and the output are expressed as entities <span class="name">ex:in</span> and <span class="name">ex:out</span>, respectively. They each have a <span class="name">prov:value</span> attribute associated with the corresponding value.
+</p>
+<pre class="codeexample">entity(ex:in, <span class="delete">[prov:value="abcd"])</span><span class="insert">[ prov:value="abcd" ])</span> 
+entity(ex:out, <span class="delete">[prov:value=4])</span><span class="insert">[ prov:value=4 ])</span> 
+activity(ex:len, <span class="delete">[prov:type="string-length"])
+used(ex:len,ex:in)
+wasGeneratedBy(ex:out,ex:len)
+wasDerivedFrom(ex:out,ex:in)</span><span class="insert">[ prov:type="string-length" ])
 used(ex:len, ex:in)
 wasGeneratedBy(ex:out, ex:len)
-wasDerivedFrom(ex:out, ex:in)
-</span></pre>
-</div>
-
-<div class="note"><span class="insert">Should we also have prov:encoding?</span></div>
-
-</div>
-
-<div id="term-attribute-provenance-uri" class="section">
-<h5><span class="secno"><span class="insert">5.7.2.6 </span></span><span class="insert">prov:provenance-uri</span></h5>
-
-<p><span class="glossary-ref"><span class="insert">   A </span><dfn id="concept-provenance-uri"><span class="insert">provenance-URI</span></dfn><span class="insert"> is the IRI denoting some provenance information. </span></span><span class="insert"> (See  </span><a href="http://www.w3.org/TR/prov-aq/#dfn-provenance-uri"><span class="insert">Provenance-URI</span></a><span class="insert"> in [</span><cite><a class="bibref" rel="biblioentry" href="#bib-PROV-AQ"><span class="insert">PROV-AQ</span></a></cite><span class="insert">].) </span></p>
-
-<p><span class="insert"> The attribute </span><dfn title="provenance-uri-attribute" id="dfn-provenance-uri-attribute"><span class="name"><span class="insert">prov:provenance-uri</span></span></dfn><span class="insert"> provides
-  an </span><em class="rfc2119" title="optional"><span class="insert">optional</span></em> <a href="#concept-provenance-uri" class="internalDFN"><span class="insert">provenance-URI</span></a><span class="insert">.</span></p>
-
-
-<p>The <span class="insert">attributes </span><a href="#term-attribute-service-uri"><span class="name"><span class="insert">prov:service-uri</span></span></a><span class="insert"> 
-and
-</span><a href="#term-attribute-provenance-uri"><span class="name"><span class="insert">prov:provenance-uri</span></span></a><span class="insert"> are mutually exclusive.</span></p>
-
-
-<div class="anexample" id="anexample-provenance-uri" data-count="59"><div class="anexampleTitle"><a href="#anexample-provenance-uri"><span class="insert">Example 59</span></a></div>
-<p><span class="insert">According to the following provenance locator, provenance descriptions about </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert"> can be found in bundle </span><span class="name"><span class="insert">bob:bundle1</span></span><span class="insert">, which is available from the provenance service identified by the provided URI.</span></p>
-<pre class="codeexample"><span class="insert"> 
-hasProvenanceIn(ex:report1, bob:bundle1, -, [ prov:provenance-uri="http://example.com/service" %% xsd:anyURI ])
-</span></pre>
-</div>
-
-
-
+wasDerivedFrom(ex:out, ex:in)</span>
+</pre>
 </div>
 
-
-<div id="term-attribute-service-uri" class="section">
-<h5><span class="secno"><span class="insert">5.7.2.7 </span></span><span class="insert">prov:service-uri</span></h5>
-
-<p><span class="glossary-ref"><span class="insert">   A </span><dfn id="concept-provenance-service"><span class="insert">provenance service</span></dfn><span class="insert">   is a service that provides provenance information or a </span><a href="#concept-provenance-uri" class="internalDFN"><span class="insert">provenance-URI</span></a><span class="insert"> given an </span><a href="#dfn-identifier" class="internalDFN"><span class="insert">identifier</span></a><span class="insert">. </span></span><span class="insert"> (See </span><a href="http://www.w3.org/TR/prov-aq/#dfn-provenance-service"><span class="insert">provenance service</span></a><span class="insert"> in [</span><cite><a class="bibref" rel="biblioentry" href="#bib-PROV-AQ"><span class="insert">PROV-AQ</span></a></cite><span class="insert">].)</span></p>
-
-<p><span class="glossary-ref"><span class="insert">   A </span><dfn id="concept-service-uri"><span class="insert">service-URI</span></dfn><span class="insert"> is the IRI of a </span><a href="#concept-provenance-service" class="internalDFN"><span class="insert">provenance service</span></a><span class="insert">. </span></span><span class="insert"> (See </span><a href="http://www.w3.org/TR/prov-aq/#dfn-service-uri"><span class="insert">Service-URI</span></a><span class="insert"> in [</span><cite><a class="bibref" rel="biblioentry" href="#bib-PROV-AQ"><span class="insert">PROV-AQ</span></a></cite><span class="insert">].)</span></p>
-
-
-<p><span class="insert"> The </span>attribute <dfn title="service-uri-attribute" id="dfn-service-uri-attribute"><span class="name"><span class="delete">prov:value</span><span class="delete"> is </span><span class="insert">prov:service-uri</span></span></dfn><span class="insert"> provides
-  </span>an <em class="rfc2119" title="optional">optional</em> <span class="delete">attribute of entity.  The value associated with the  attribute </span><span class="delete">prov:value</span> <span class="delete">must</span><span class="delete"> be a PROV-DM </span><span class="delete">Value</span><span class="delete">. The attribute </span><span class="delete">prov:value</span> <span class="delete">may</span><span class="delete"> occur at most once in a set of attribute-value pairs.</span><a href="#concept-service-uri" class="internalDFN"><span class="insert">service-URI</span></a> </p>
-
-
-
-
-
-<p>The <span class="insert">attributes </span><a href="#term-attribute-service-uri"><span class="name"><span class="insert">prov:service-uri</span></span></a><span class="insert"> 
-and
-</span><a href="#term-attribute-provenance-uri"><span class="name"><span class="insert">prov:provenance-uri</span></span></a><span class="insert"> are mutually exclusive.</span></p>
-
-
-<div class="anexample" id="anexample-service-uri" data-count="60"><div class="anexampleTitle"><a href="#anexample-service-uri"><span class="insert">Example 60</span></a></div>
-<p><span class="insert">According to the </span>following <span class="delete">example illustrates the </span>provenance <span class="delete">of the number</span><span class="insert">locator, provenance descriptions about</span> <span class="name"><span class="delete">4</span><span class="delete"> obtained</span><span class="insert">ex:report1</span></span><span class="insert"> can be found in the resource identified</span> by <span class="delete">an activity that computed the length of an input string </span><span class="delete">"abcd"</span><span class="delete">.
-The input and the output are expressed as entities </span><span class="delete">ex:in</span><span class="delete"> and </span><span class="delete">ex:out</span><span class="delete">, respectively. They each have a </span><span class="delete">prov:value</span><span class="delete"> attribute associated with the corresponding value.
-</span><span class="insert">the provided URI.</span></p>
-<pre class="codeexample"><span class="delete">entity(ex:in, [prov:value="abcd"])</span> 
-<span class="delete">entity(ex:out, [prov:value=4]) 
-activity(ex:len, [prov:type="string-length"])
-used(ex:len,ex:in)
-wasGeneratedBy(ex:out,ex:len)
-wasDerivedFrom(ex:out,ex:in)</span><span class="insert">hasProvenanceIn(ex:report1, [ prov:service=uri="http://example.com/some-provenance.pn" %% xsd:anyURI ])</span>
-</pre>
-
-
-<span class="delete">Should we also have prov:encoding?</span></div>
+<div class="note">Should we also have prov:encoding?</div>
 
 </div>
 
@@ -4654,7 +4707,7 @@
 
 
 
-<div class="anexample" id="anexample-value" data-count="61"><div class="anexampleTitle"><a href="#anexample-value"><span class="insert">Example 61</span></a></div>
+<div class="anexample" id="anexample-value" data-count="58"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-value"><span class="insert">Example 58</span></a></div>
 <p>
 The following examples respectively are the string "abc", the integer number 1, and the IRI "http://example.org/foo".
 </p><pre class="codeexample">  "abc"
@@ -4671,7 +4724,7 @@
 
 
 
-<div class="anexample" id="anexample-time" data-count="62"><div class="anexampleTitle"><a href="#anexample-time"><span class="insert">Example 62</span></a></div>
+<div class="anexample" id="anexample-time" data-count="59"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-time"><span class="insert">Example 59</span></a></div>
 <p>
 In the following example, the generation time of entity <span class="name">e1</span> is expressed according to 
 <a href="http://www.w3.org/TR/xmlschema-2/#dateTime">xsd:dateTime</a>  [<cite><a class="bibref" rel="biblioentry" href="#bib-XMLSCHEMA-2">XMLSCHEMA-2</a></cite>].</p>
@@ -4730,18 +4783,22 @@
 <h2><span class="secno"><span class="delete">5.</span><span class="insert">6.</span> </span>PROV-DM Extensibility Points</h2>
 
 
-<p>The PROV data model provides extensibility points that allow designers to specialize it <span class="delete">to</span><span class="insert">for</span> specific applications or domains. We summarize these extensibility points here:
-
-</p><ul>
-<li> Attribute-value lists occur in all types and<span class="insert"> most</span> relations of the data model.  Applications designers are free to introduce further application-specific attributes. Attributes for a given application can be distinguished by qualifying them with a prefix denoting a namespace
+<p>The PROV data model provides extensibility points that allow designers to specialize it <span class="delete">to</span><span class="insert">for</span> specific applications or domains. We summarize these extensibility points <span class="delete">here:
+
+</span><span class="insert">here. </span></p>
+<span class="delete"> Attribute-value lists occur in all types and relations of the data model.  Applications designers are free to introduce further application-specific attributes. Attributes for a given application can be distinguished by qualifying them with a prefix denoting a namespace
 declared in a namespace declaration.
 
-<p>The <a title="prov-namespace" href="#dfn-prov-namespace" class="internalDFN">PROV namespace</a> declares a set of reserved attributes catering for extensibility: <a href="#term-attribute-type"><span class="name">prov:type</span></a>, <a href="#term-attribute-role"><span class="name">prov:role</span></a>, <a href="#term-attribute-location"><span class="name">prov:location</span></a>.</p></li>
-
+</span>
+
+
+<p>The <a title="prov-namespace" href="#dfn-prov-namespace" class="internalDFN">PROV namespace</a> declares a set of reserved attributes catering for extensibility: <a href="#term-attribute-type"><span class="name">prov:type</span></a>, <a href="#term-attribute-role"><span class="name">prov:role</span></a>, <a href="#term-attribute-location"><span class="name">prov:location</span></a>.</p>
+
+<ul>
 <li>Sub-types and sub-relations can be expressed by means of the reserved attribute 
 <a href="#term-attribute-type"><span class="name">prov:type</span></a>.
 
-<div class="anexample" id="anexample-sub-relation" data-count="63"><div class="anexampleTitle"><a href="#anexample-sub-relation"><span class="insert">Example 63</span></a></div>
+<div class="anexample" id="anexample-sub-relation" data-count="60"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-sub-relation"><span class="insert">Example 60</span></a></div>
 <p>
 In the following example,  <span class="name">e2</span> is a translation of <span class="name">e1</span>,
 expressed as a sub-type of derivation.
@@ -4750,7 +4807,7 @@
 </pre>
 </div>
 
-<div class="anexample" id="anexample-sub-type" data-count="64"><div class="anexampleTitle"><a href="#anexample-sub-type"><span class="insert">Example 64</span></a></div>
+<div class="anexample" id="anexample-sub-type" data-count="61"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-sub-type"><span class="insert">Example 61</span></a></div>
 <p>
 In the following example,  <span class="name">e</span> is described as a Car, a type of entity.
 </p><pre class="codeexample"> 
@@ -4767,10 +4824,33 @@
 
 
 
-<li>New namespaces and associated prefixes can be declared, allowing attributes and names to be qualified. </li>
-
-<li>Notes allow arbitrary metadata to be associated with anything identifiable in PROV-DM. Notes consist of attribute-value pairs.  Attributes are qualified by a
-namespace.</li>
+<span class="delete">New namespaces and associated prefixes can be declared, allowing attributes and names to be qualified. </span>
+
+<li><span class="delete">Notes allow arbitrary metadata</span><span class="insert">Application and domain specific roles can be expressed by means of the reserved attribute 
+</span><a href="#term-attribute-role"><span class="name"><span class="insert">prov:role</span></span></a><span class="insert">.
+
+</span><div class="anexample" id="anexample-usage-with-role" data-count="62"><div class="anexampleTitle"><a class="internalDFN" href="#anexample-usage-with-role"><span class="insert">Example 62</span></a></div>
+<p><span class="insert">
+In the following example,  two computers  </span><span class="name"><span class="insert">ex:laptop4</span></span><span class="insert"> and </span><span class="name"><span class="insert">ex:desktop9</span></span><span class="insert"> are used in different roles in a work activity.
+</span></p><pre class="codeexample"><span class="insert"> 
+  activity(ex:work)
+  entity(ex:laptop4)
+  entity(ex:desktop9)
+  used(ex:work, ex:laptop4,  [prov:role="day-to-day machine"])
+  used(ex:work, ex:desktop9, [prov:role="backup machine"])
+</span></pre>
+</div>
+</li>
+
+
+<li><span class="insert"> Attribute-value lists occur in all types and most relations of the data model.  Applications designers are free</span> to <span class="insert">introduce further application-specific attributes. Attributes for a given application can </span>be <span class="insert">distinguished by qualifying them with a prefix denoting a namespace
+declared in a namespace declaration. New namespaces and </span>associated <span class="delete">with anything identifiable in PROV-DM. Notes consist of attribute-value pairs.  Attributes are qualified by a
+namespace.</span><span class="insert">prefixes can be declared, allowing attributes and names to be qualified. 
+</span></li>
+
+
+
+
 
 </ul>
 
@@ -4841,8 +4921,7 @@
 </dd><dt id="bib-URI">[URI]</dt><dd>T. Berners-Lee; R. Fielding; L. Masinter. <a href="http://www.ietf.org/rfc/rfc3986.txt"><cite>Uniform Resource Identifiers (URI): generic syntax.</cite></a> January 2005. Internet RFC 3986. URL: <a href="http://www.ietf.org/rfc/rfc3986.txt">http://www.ietf.org/rfc/rfc3986.txt</a> 
 </dd><dt id="bib-XMLSCHEMA-2">[XMLSCHEMA-2]</dt><dd>Paul V. Biron; Ashok Malhotra. <a href="http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/"><cite>XML Schema Part 2: Datatypes Second Edition.</cite></a> 28 October 2004. W3C Recommendation. URL: <a href="http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/">http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/</a> 
 </dd></dl></div><div id="informative-references" class="section"><h3><span class="secno">B.2 </span>Informative references</h3><dl class="bibliography"><dt id="bib-Logic">[Logic]</dt><dd>W. E. Johnson <a href="http://www.ditext.com/johnson/intro-3.html"><cite>Logic: Part III</cite></a>.1924. URL: <a href="http://www.ditext.com/johnson/intro-3.html">http://www.ditext.com/johnson/intro-3.html</a>
-</dd><dt id="bib-Mappings"><span class="insert">[Mappings]</span></dt><dd><span class="insert">Satya Sahoo and Paul Groth and Olaf Hartig and Simon Miles and Sam Coppens and James Myers and Yolanda Gil and Luc Moreau and Jun Zhao and Michael Panzer and Daniel Garijo </span><a href="http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings"><cite><span class="insert">Provenance Vocabulary Mappings</span></cite></a><span class="insert">. August 2010 URL: </span><a href="http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings"><span class="insert">http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings</span></a>
-</dd><dt id="bib-PROV-AQ">[PROV-AQ]</dt><dd>Graham Klyne and Paul Groth (eds.) Luc Moreau, Olaf Hartig, Yogesh Simmhan, James Meyers, Timothy Lebo, Khalid Belhajjame, and Simon Miles <a href="http://www.w3.org/TR/prov-aq/"><cite>Provenance Access and Query</cite></a>. 2011, Working Draft. URL: <a href="http://www.w3.org/TR/prov-aq/">http://www.w3.org/TR/prov-aq/</a>
+</dd><span class="delete">[PROV-AQ]</span><dt id="bib-Mappings"><span class="insert">[Mappings]</span></dt><dd><span class="delete">Graham Klyne</span><span class="insert">Satya Sahoo</span> and Paul Groth <span class="delete">(eds.)</span><span class="insert">and Olaf Hartig and Simon Miles and Sam Coppens and James Myers and Yolanda Gil and</span> Luc <span class="delete">Moreau, Olaf Hartig, Yogesh Simmhan, James Meyers, Timothy Lebo, Khalid Belhajjame,</span><span class="insert">Moreau</span> and <span class="delete">Simon Miles </span><span class="insert">Jun Zhao and Michael Panzer and Daniel Garijo </span><a href="http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings"><cite>Provenance <span class="delete">Access and Query</span><span class="insert">Vocabulary Mappings</span></cite></a>. <span class="delete">2011, Working Draft.</span><span class="insert">August 2010</span> URL: <span class="delete">http://www.w3.org/TR/prov-aq/</span><a href="http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings"><span class="insert">http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings</span></a>
 </dd><dt id="bib-PROV-CONSTRAINTS">[PROV-CONSTRAINTS]</dt><dd>James Cheney, Paolo Missier, and Luc Moreau (eds.) <a href="http://www.w3.org/TR/prov-constraints/"><cite>Constraints of the PROV Data Model</cite></a>. 2011, Working Draft. URL: <a href="http://www.w3.org/TR/prov-constraints/">http://www.w3.org/TR/prov-constraints/</a>
 </dd><dt id="bib-PROV-N">[PROV-N]</dt><dd>Luc Moreau and Paolo Missier (eds.) <a href="http://www.w3.org/TR/prov-n/"><cite>PROV-N: The Provenance Notation</cite></a>. 2011, Working Draft. URL: <a href="http://www.w3.org/TR/prov-n/">http://www.w3.org/TR/prov-n/
 <span class="delete">[PROV-O]</span><span class="delete">Satya Sahoo and Deborah McGuinness (eds.) Khalid Belhajjame, James Cheney, Daniel Garijo, Timothy Lebo, Stian Soiland-Reyes, and Stephan Zednik </span><span class="delete">Provenance Formal Model</span><span class="delete">. 2011, Working Draft. URL: </span><span class="delete">http://www.w3.org/TR/prov-o/</span>
author	Luc Moreau <l.moreau@ecs.soton.ac.uk>
	Mon, 11 Jun 2012 22:56:11 +0100
changeset 3279	76597427d41d
parent 3278	00e08f20e20d
child 3280	bc2eb3469e32