Mercurial > hg > prov / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset
replaced %%xsd:QNAme by single quote notation
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Tue, 15 May 2012 17:00:00 +0100
changeset 2836 6939b99444f1
parent 2835 10f19a7229d6
child 2837 c041b4a6e911
replaced %%xsd:QNAme by single quote notation
model/diff.html 
--- a/model/diff.html	Tue May 15 16:59:04 2012 +0100
+++ b/model/diff.html	Tue May 15 17:00:00 2012 +0100
@@ -1,3 +1,4 @@
+
 <!DOCTYPE html PUBLIC '-//W3C//DTD HTML 4.01 Transitional//EN' 'http://www.w3.org/TR/html4/loose.dtd'>
 <html lang="en" dir="ltr">
 <head><style type="text/css"><!--
@@ -917,7 +918,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-08-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">08</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">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-15-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">15</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>
 <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>
@@ -986,7 +987,7 @@
 <h4 id="fourth-public-working-draft">Fourth Public Working Draft</h4>
 <p>This 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.</p>
 <p>This 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 to become a </span><span class="delete">W3C</span><span class="delete"> Recommendation.</span> If you wish to make comments regarding this document, please send them to <a href="mailto:public-prov-wg@w3.org">public-prov-wg@w3.org</a> (<a href="mailto:public-prov-wg-request@w3.org?subject=subscribe">subscribe</a>, <a href="http://lists.w3.org/Archives/Public/public-prov-wg/">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="#starting-points" class="tocxref"><span class="secno">2. </span>PROV Starting Points</a><ul class="toc"><li class="tocline"><a href="#section-entity-activity" class="tocxref"><span class="secno">2.1 </span>Entity and Activity</a></li><li class="tocline"><a href="#section-generation-usage-derivation" class="tocxref"><span class="secno">2.2 </span>Generation, Usage, Derivation</a></li><li class="tocline"><a href="#section-agents-attribution-association-responsibility" class="tocxref"><span class="secno">2.3 </span>Agents, Attribution, Association, and Responsibility</a></li><li class="tocline"><a href="#section-types-entities-agents" class="tocxref"><span class="secno">2.4 </span>Further Entities: Collections and Accounts</a></li><li class="tocline"><a href="#section-UML" class="tocxref"><span class="secno">2.5 </span>Simplified Overview Diagram</a></li><li class="tocline"><a href="#prov-n" class="tocxref"><span class="secno">2.6 </span>PROV-N: The Provenance Notation</a></li></ul></li><li class="tocline"><a href="#prov-dm-example" class="tocxref"><span class="secno">3. </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">3.1 </span>The Authors View</a></li><li class="tocline"><a href="#section-example-two" class="tocxref"><span class="secno">3.2 </span>The Process View</a></li><li class="tocline"><a href="#section-example-c" class="tocxref"><span class="secno">3.3 </span>Attribution of Provenance</a></li></ul></li><li class="tocline"><a href="#data-model-components" class="tocxref"><span class="secno">4. </span>PROV-DM Types and Relations</a><ul class="toc"><li class="tocline"><a href="#component1" class="tocxref"><span class="secno">4.1 </span>Component 1: Entities and Activities</a><ul class="toc"><li class="tocline"><a href="#term-Entity" class="tocxref"><span class="secno">4.1.1 </span>Entity</a></li><li class="tocline"><a href="#term-Activity" class="tocxref"><span class="secno">4.1.2 </span>Activity</a></li><li class="tocline"><a href="#term-Generation" class="tocxref"><span class="secno">4.1.3 </span>Generation</a></li><li class="tocline"><a href="#term-Usage" class="tocxref"><span class="secno">4.1.4 </span>Usage</a></li><li class="tocline"><a href="#term-Start" class="tocxref"><span class="secno">4.1.5 </span>Start</a></li><li class="tocline"><a href="#term-End" class="tocxref"><span class="secno">4.1.6 </span>End</a></li><li class="tocline"><a href="#term-Invalidation" class="tocxref"><span class="secno">4.1.7 </span>Invalidation</a></li><li class="tocline"><a href="#term-wasInformedBy" class="tocxref"><span class="secno">4.1.8 </span>Communication</a></li><li class="tocline"><a href="#term-wasStartedByActivity" class="tocxref"><span class="secno">4.1.9 </span>Start by Activity</a></li></ul></li><li class="tocline"><a href="#component2" class="tocxref"><span class="secno">4.2 </span>Component 2: Agents and Responsibility</a><ul class="toc"><li class="tocline"><a href="#term-Agent" class="tocxref"><span class="secno">4.2.1 </span>Agent</a></li><li class="tocline"><a href="#term-attribution" class="tocxref"><span class="secno">4.2.2 </span>Attribution</a></li><li class="tocline"><a href="#term-ActivityAssociation" class="tocxref"><span class="secno">4.2.3 </span>Association</a></li><li class="tocline"><a href="#term-responsibility" class="tocxref"><span class="secno">4.2.4 </span>Responsibility</a></li></ul></li><li class="tocline"><a href="#component3" class="tocxref"><span class="secno">4.3 </span>Component 3: Derivations</a><ul class="toc"><li class="tocline"><a href="#Derivation-Relation" class="tocxref"><span class="secno">4.3.1 </span>Derivation</a></li><li class="tocline"><a href="#term-Revision" class="tocxref"><span class="secno">4.3.2 </span>Revision</a></li><li class="tocline"><a href="#term-quotation" class="tocxref"><span class="secno">4.3.3 </span>Quotation</a></li><li class="tocline"><a href="#term-original-source" class="tocxref"><span class="secno">4.3.4 </span>Original Source</a></li><li class="tocline"><a href="#term-trace" class="tocxref"><span class="secno">4.3.5 </span>Trace</a></li></ul></li><li class="tocline"><a href="#component4" class="tocxref"><span class="secno">4.4 </span>Component 4: Alternate Entities</a><ul class="toc"><li class="tocline"><a href="#term-specialization" class="tocxref"><span class="secno">4.4.1 </span>Specialization</a></li><li class="tocline"><a href="#term-alternate" class="tocxref"><span class="secno">4.4.2 </span>Alternate</a></li></ul></li><li class="tocline"><a href="#component5" class="tocxref"><span class="secno">4.5 </span>Component 5: Collections</a><ul class="toc"><li class="tocline"><a href="#term-collection" class="tocxref"><span class="secno">4.5.1 </span>Collection</a></li><li class="tocline"><a href="#term-dictinonary" class="tocxref"><span class="secno">4.5.2 </span>Dictionary</a></li><li class="tocline"><a href="#term-dictionary-insertion" class="tocxref"><span class="secno">4.5.3 </span>Insertion</a></li><li class="tocline"><a href="#term-dictionary-removal" class="tocxref"><span class="secno">4.5.4 </span>Removal</a></li><li class="tocline"><a href="#term-dictionary-membership" class="tocxref"><span class="secno">4.5.5 </span>Membership</a></li></ul></li><li class="tocline"><a href="#component6" class="tocxref"><span class="secno">4.6 </span>Component 6: Annotations</a><ul class="toc"><li class="tocline"><a href="#term-note" class="tocxref"><span class="secno">4.6.1 </span>Note</a></li><li class="tocline"><a href="#term-annotation" class="tocxref"><span class="secno">4.6.2 </span>Annotation</a></li></ul></li><li class="tocline"><a href="#second-class-elements" class="tocxref"><span class="secno">4.7 </span>Further Elements of PROV-DM</a><ul class="toc"><li class="tocline"><a href="#term-NamespaceDeclaration" class="tocxref"><span class="secno">4.7.1 </span>Namespace Declaration</a></li><li class="tocline"><a href="#term-qualified-name" class="tocxref"><span class="secno">4.7.2 </span>Qualified Name</a></li><li class="tocline"><a href="#term-identifier" class="tocxref"><span class="secno">4.7.3 </span>Identifier</a></li><li class="tocline"><a href="#term-attribute" class="tocxref"><span class="secno">4.7.4 </span>Attribute</a><ul class="toc"><li class="tocline"><a href="#term-attribute-label" class="tocxref"><span class="secno">4.7.4.1 </span>prov:label</a></li><li class="tocline"><a href="#term-attribute-location" class="tocxref"><span class="secno">4.7.4.2 </span>prov:location</a></li><li class="tocline"><a href="#term-attribute-role" class="tocxref"><span class="secno">4.7.4.3 </span>prov:role</a></li><li class="tocline"><a href="#term-attribute-type" class="tocxref"><span class="secno">4.7.4.4 </span>prov:type</a></li><li class="tocline"><a href="#term-attribute-value" class="tocxref"><span class="secno">4.7.4.5 </span>prov:value</a></li></ul></li><li class="tocline"><a href="#term-value" class="tocxref"><span class="secno">4.7.5 </span>Value</a></li></ul></li></ul></li><li class="tocline"><a href="#extensibility-section" class="tocxref"><span class="secno">5. </span>PROV-DM Extensibility Points</a></li><li class="tocline"><a href="#valid-provenance" class="tocxref"><span class="secno">6. </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="#starting-points" class="tocxref"><span class="secno">2. </span>PROV Starting Points</a><ul class="toc"><li class="tocline"><a href="#section-entity-activity" class="tocxref"><span class="secno">2.1 </span>Entity and Activity</a></li><li class="tocline"><a href="#section-generation-usage-derivation" class="tocxref"><span class="secno">2.2 </span>Generation, Usage, Derivation</a></li><li class="tocline"><a href="#section-agents-attribution-association-responsibility" class="tocxref"><span class="secno">2.3 </span>Agents, Attribution, Association, and Responsibility</a></li><li class="tocline"><a href="#section-types-entities-agents" class="tocxref"><span class="secno">2.4 </span>Further Entities: Collections and Accounts</a></li><li class="tocline"><a href="#section-UML" class="tocxref"><span class="secno">2.5 </span>Simplified Overview Diagram</a></li><li class="tocline"><a href="#prov-n" class="tocxref"><span class="secno">2.6 </span>PROV-N: The Provenance Notation</a></li></ul></li><li class="tocline"><a href="#prov-dm-example" class="tocxref"><span class="secno">3. </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">3.1 </span>The Authors View</a></li><li class="tocline"><a href="#section-example-two" class="tocxref"><span class="secno">3.2 </span>The Process View</a></li><li class="tocline"><a href="#section-example-c" class="tocxref"><span class="secno">3.3 </span>Attribution of Provenance</a></li></ul></li><li class="tocline"><a href="#data-model-components" class="tocxref"><span class="secno">4. </span>PROV-DM Types and Relations</a><ul class="toc"><li class="tocline"><a href="#component1" class="tocxref"><span class="secno">4.1 </span>Component 1: Entities and Activities</a><ul class="toc"><li class="tocline"><a href="#term-Entity" class="tocxref"><span class="secno">4.1.1 </span>Entity</a></li><li class="tocline"><a href="#term-Activity" class="tocxref"><span class="secno">4.1.2 </span>Activity</a></li><li class="tocline"><a href="#term-Generation" class="tocxref"><span class="secno">4.1.3 </span>Generation</a></li><li class="tocline"><a href="#term-Usage" class="tocxref"><span class="secno">4.1.4 </span>Usage</a></li><li class="tocline"><a href="#term-Start" class="tocxref"><span class="secno">4.1.5 </span>Start</a></li><li class="tocline"><a href="#term-End" class="tocxref"><span class="secno">4.1.6 </span>End</a></li><li class="tocline"><a href="#term-Invalidation" class="tocxref"><span class="secno">4.1.7 </span>Invalidation</a></li><li class="tocline"><a href="#term-wasInformedBy" class="tocxref"><span class="secno">4.1.8 </span>Communication<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">4.2 </span>Component 2: Agents and Responsibility</a><ul class="toc"><li class="tocline"><a href="#term-Agent" class="tocxref"><span class="secno">4.2.1 </span>Agent</a></li><li class="tocline"><a href="#term-attribution" class="tocxref"><span class="secno">4.2.2 </span>Attribution</a></li><li class="tocline"><a href="#term-ActivityAssociation" class="tocxref"><span class="secno">4.2.3 </span>Association</a></li><li class="tocline"><a href="#term-responsibility" class="tocxref"><span class="secno">4.2.4 </span>Responsibility</a></li></ul></li><li class="tocline"><a href="#component3" class="tocxref"><span class="secno">4.3 </span>Component 3: Derivations</a><ul class="toc"><li class="tocline"><a href="#Derivation-Relation" class="tocxref"><span class="secno">4.3.1 </span>Derivation</a></li><li class="tocline"><a href="#term-Revision" class="tocxref"><span class="secno">4.3.2 </span>Revision</a></li><li class="tocline"><a href="#term-quotation" class="tocxref"><span class="secno">4.3.3 </span>Quotation</a></li><li class="tocline"><a href="#term-original-source" class="tocxref"><span class="secno">4.3.4 </span>Original Source</a></li><li class="tocline"><a href="#term-trace" class="tocxref"><span class="secno">4.3.5 </span>Trace</a></li></ul></li><li class="tocline"><a href="#component4" class="tocxref"><span class="secno">4.4 </span>Component 4: Alternate Entities</a><ul class="toc"><li class="tocline"><a href="#term-specialization" class="tocxref"><span class="secno">4.4.1 </span>Specialization</a></li><li class="tocline"><a href="#term-alternate" class="tocxref"><span class="secno">4.4.2 </span>Alternate</a></li></ul></li><li class="tocline"><a href="#component5" class="tocxref"><span class="secno">4.5 </span>Component 5: Collections</a><ul class="toc"><li class="tocline"><a href="#term-collection" class="tocxref"><span class="secno">4.5.1 </span>Collection</a></li><li class="tocline"><a href="#term-dictinonary" class="tocxref"><span class="secno">4.5.2 </span>Dictionary</a></li><li class="tocline"><a href="#term-dictionary-insertion" class="tocxref"><span class="secno">4.5.3 </span>Insertion</a></li><li class="tocline"><a href="#term-dictionary-removal" class="tocxref"><span class="secno">4.5.4 </span>Removal</a></li><li class="tocline"><a href="#term-dictionary-membership" class="tocxref"><span class="secno">4.5.5 </span>Membership</a></li></ul></li><li class="tocline"><a href="#component6" class="tocxref"><span class="secno">4.6 </span>Component 6: Annotations</a><ul class="toc"><li class="tocline"><a href="#term-note" class="tocxref"><span class="secno">4.6.1 </span>Note</a></li><li class="tocline"><a href="#term-annotation" class="tocxref"><span class="secno">4.6.2 </span>Annotation</a></li></ul></li><li class="tocline"><a href="#second-class-elements" class="tocxref"><span class="secno">4.7 </span>Further Elements of PROV-DM</a><ul class="toc"><li class="tocline"><a href="#term-NamespaceDeclaration" class="tocxref"><span class="secno">4.7.1 </span>Namespace Declaration</a></li><li class="tocline"><a href="#term-qualified-name" class="tocxref"><span class="secno">4.7.2 </span>Qualified Name</a></li><li class="tocline"><a href="#term-identifier" class="tocxref"><span class="secno">4.7.3 </span>Identifier</a></li><li class="tocline"><a href="#term-attribute" class="tocxref"><span class="secno">4.7.4 </span>Attribute</a><ul class="toc"><li class="tocline"><a href="#term-attribute-label" class="tocxref"><span class="secno">4.7.4.1 </span>prov:label</a></li><li class="tocline"><a href="#term-attribute-location" class="tocxref"><span class="secno">4.7.4.2 </span>prov:location</a></li><li class="tocline"><a href="#term-attribute-role" class="tocxref"><span class="secno">4.7.4.3 </span>prov:role</a></li><li class="tocline"><a href="#term-attribute-type" class="tocxref"><span class="secno">4.7.4.4 </span>prov:type</a></li><li class="tocline"><a href="#term-attribute-value" class="tocxref"><span class="secno">4.7.4.5 </span>prov:value</a></li></ul></li><li class="tocline"><a href="#term-value" class="tocxref"><span class="secno">4.7.5 </span>Value</a></li></ul></li></ul></li><li class="tocline"><a href="#extensibility-section" class="tocxref"><span class="secno">5. </span>PROV-DM Extensibility Points</a></li><li class="tocline"><a href="#valid-provenance" class="tocxref"><span class="secno">6. </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> 
 
 
 
@@ -1141,7 +1142,7 @@
 
 
 <p><span class="delete">Things</span><span class="insert">In PROV, things</span> we want to describe   the provenance of are called <em>entities</em> <span class="delete">in PROV.</span><span class="insert">and have some fixed aspect.</span> The term "things" encompasses a broad diversity of notions, including digital objects such as a file or web page, 
-physical things such as a building or a printed book, or a car as well as abstract concepts and ideas.  
+physical things such as a <span class="delete">building</span><span class="insert">mountain, a building, a printed book,</span> or a <span class="delete">printed book, or a </span>car as well as abstract concepts and ideas.  
 </p>
 
 <p>
@@ -1222,7 +1223,7 @@
 
 <p>
 <span class="glossary-ref">
-   An <span class="dfn">agent</span> is something that bears some form of responsibility for an activity taking place or for the existence of an entity. </span> An agent <em class="rfc2119" title="may">may</em> be a particular type of entity. This means that the model can be
+   An <span class="dfn">agent</span> is something that bears some form of responsibility for an activity taking place or for the existence of an entity. </span> An agent <em class="rfc2119" title="may">may</em> be a particular type of <span class="delete">entity.</span><span class="insert">entity or activity.</span> This means that the model can be
  used to express provenance of the agents themselves.  
 </p>
 
@@ -1431,8 +1432,9 @@
 wasGeneratedBy(e2,a1)
 </pre>
 The same description, but with an explicit identifier <span class="name">u1</span> for the usage, and the syntactic marker <span class="name">-</span> to mark the absence of identifier in the generation.
-<pre class="codeexample">used(u1,a1,e1)
-wasGeneratedBy(-,e2,a1)
+<pre class="codeexample"><span class="delete">used(u1,a1,e1)
+wasGeneratedBy(-,e2,a1)</span><span class="insert">used(u1;a1,e1)
+wasGeneratedBy(-;e2,a1)</span>
 </pre>
 </div>
 
@@ -1559,7 +1561,7 @@
 
 </p><ul>
 <li>There was a document, a working draft <span class="delete">on the recommendation track </span>(<span class="delete">process:RecsWD</span><a href="http://www.w3.org/2001/02pd/rec54#WD"><span class="insert">rec54:WD</span></a>), which is an entity so that we can describe its provenance. Similar descriptions exist for all entities.
-<pre>entity(tr:WD-prov-dm-20111215, [ <span class="delete">prov:type="process:RecsWD"</span><span class="insert">prov:type="rec54:WD"</span> %% xsd:QName ])
+<pre>entity(tr:WD-prov-dm-20111215, [ <span class="delete">prov:type="process:RecsWD" %% xsd:QName</span><span class="insert">prov:type='rec54:WD'</span> ])
 </pre>
 </li>
 <li>There was a publication activity.
@@ -1618,10 +1620,10 @@
 
 <p>No new mechanism is required to support this requirement.  PROV-DM makes the assumption that provenance statements have been bundled up, and named, by some mechanism outside the scope of PROV-DM. For instance, in this case, provenance statements were put in a file and exposed on the Web, respectively at <a href="examples/w3c-publication1.pn">ex:w3c-publication1.pn</a> and <a href="examples/w3c-publication3.pn">ex:w3c-publication3.pn</a>.   To express their respective provenance, these resources must be seen as entities, and all the constructs of PROV-DM are now available to characterize their provenance. In the example below, <span class="name">ex:w3c-publication1.pn</span> is attributed to the agent <span class="name">w3:Consortium</span>, whereas <span class="name">ex:w3c-publication3.pn</span> to <span class="name">ex:Simon</span>.
 
-</p><pre>entity(ex:w3c-publication1.pn, [prov:type="prov:Account" %% xsd:QName ])
+</p><pre>entity(ex:w3c-publication1.pn, <span class="delete">[prov:type="prov:Account" %% xsd:QName</span><span class="insert">[prov:type='prov:Account'</span> ])
 wasAttributedTo(ex:w3c-publication1.pn, w3:Consortium)
 
-entity(ex:w3c-publication3.pn, [prov:type="prov:Account" %% xsd:QName ])
+entity(ex:w3c-publication3.pn, <span class="delete">[prov:type="prov:Account" %% xsd:QName </span><span class="insert">[prov:type='prov:Account'  </span>])
 wasAttributedTo(ex:w3c-publication3.pn, ex:Simon)
 </pre>
 
@@ -1678,7 +1680,7 @@
 <caption id="relations-at-a-glance">Table 3: PROV-DM Relations At a Glance</caption>
 <tbody><tr><td></td><td>Entity</td><td>Activity</td><td>Agent</td><td>Note</td></tr> 
 <tr><td>Entity</td><td><div class="component3-color"><a href="#dfn-wasderivedfrom" class="internalDFN">wasDerivedFrom</a><br><a href="#dfn-wasrevisionof" class="internalDFN">wasRevisionOf</a><br><a href="#dfn-wasquotedfrom" class="internalDFN">wasQuotedFrom</a><br><a href="#dfn-hadoriginalsource" class="internalDFN">hadOriginalSource</a></div><div class="component4-color"><a href="#dfn-alternateof" class="internalDFN">alternateOf</a><br><a href="#dfn-specializationof" class="internalDFN">specializationOf</a></div></td><td class="component1-color"><a title="wasGeneratedBy" href="#dfn-wasgeneratedby" class="internalDFN">wasGeneratedBy</a><br><a title="wasInvalidatedBy" href="#dfn-wasinvalidatedby" class="internalDFN">wasInvalidatedBy</a></td><td class="component2-color"><a href="#dfn-wasattributedto" class="internalDFN">wasAttributedTo</a></td><td class="component6-color"><a href="#dfn-hasannotation" class="internalDFN">hasAnnotation</a></td></tr>
-<tr><td>Activity</td><td><div class="component1-color"><a href="#dfn-used" class="internalDFN">used</a><br><a href="#dfn-wasstartedby" class="internalDFN">wasStartedBy</a><br><a href="#dfn-wasendedby" class="internalDFN">wasEndedBy</a></div></td><td class="component1-color"><a href="#dfn-wasstartedbyactivity" class="internalDFN">wasStartedByActivity</a><br><a href="#dfn-wasinformedby" class="internalDFN">wasInformedBy</a></td><td class="component2-color"><a href="#dfn-wasassociatedwith" class="internalDFN">wasAssociatedWith</a></td><td class="component6-color"><a href="#dfn-hasannotation" class="internalDFN">hasAnnotation</a></td></tr>
+<tr><td>Activity</td><td><div class="component1-color"><a href="#dfn-used" class="internalDFN">used</a><br><a href="#dfn-wasstartedby" class="internalDFN">wasStartedBy</a><br><a href="#dfn-wasendedby" class="internalDFN">wasEndedBy</a></div></td><td class="component1-color"><span class="delete">wasStartedByActivity</span><a href="#dfn-wasinformedby" class="internalDFN">wasInformedBy</a></td><td class="component2-color"><a href="#dfn-wasassociatedwith" class="internalDFN">wasAssociatedWith</a></td><td class="component6-color"><a href="#dfn-hasannotation" class="internalDFN">hasAnnotation</a></td></tr>
 <tr><td>Agent</td><td>—</td><td>—</td><td class="component2-color"><a href="#dfn-actedonbehalfof" class="internalDFN">actedOnBehalfOf</a></td><td class="component6-color"><a href="#dfn-hasannotation" class="internalDFN">hasAnnotation</a></td></tr>
 <tr><td>Note</td><td>—</td><td>—</td><td>—</td><td class="component6-color"><a href="#dfn-hasannotation" class="internalDFN">hasAnnotation</a></td></tr>
 </tbody></table>
@@ -1693,28 +1695,28 @@
 <tbody><tr><td><a><b>Type or Relation Name</b></a></td><td><b>Representation in the PROV-N notation</b></td></tr>
 <tr class="component1-color"><td><a href="#concept-entity" class="internalDFN">Entity</a></td><td><a title="dfn-Entity" href="#dfn-entity" class="internalDFN">entity(id, [ attr1=val1, ...])</a></td></tr>
 <tr class="component1-color"><td><a href="#concept-activity" class="internalDFN">Activity</a></td><td><a title="dfn-Activity" href="#dfn-activity" class="internalDFN">activity(id, st, et, [ attr1=val1, ...])</a></td></tr>
-<tr class="component1-color"><td><a href="#concept-generation" class="internalDFN">Generation</a></td><td><a title="wasGeneratedBy" href="#dfn-wasgeneratedby" class="internalDFN">wasGeneratedBy(id,e,a,t,attrs)</a></td></tr>
-<tr class="component1-color"><td><a href="#concept-usage" class="internalDFN">Usage</a></td><td><a title="used" href="#dfn-used" class="internalDFN">used(id,a,e,t,attrs)</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">wasStartedBy(id,a,e,t,attrs)</a></td></tr>
-<tr class="component1-color"><td><a href="#concept-end" class="internalDFN">End</a></td><td><a title="wasEndedBy" href="#dfn-wasendedby" class="internalDFN">wasEndedBy(id,a,e,t,attrs)</a></td></tr>
-<tr class="component1-color"><td><a href="#concept-invalidation" class="internalDFN">Invalidation</a></td><td><a title="wasInvalidatedBy" href="#dfn-wasinvalidatedby" class="internalDFN">wasInvalidatedBy(id,e,a,t,attrs)</a></td></tr>
-<tr class="component1-color"><td><a href="#concept-communication" class="internalDFN">Communication</a></td><td><a title="wasInformedBy" href="#dfn-wasinformedby" class="internalDFN">wasInformedBy(id,a2,a1,attrs)</a></td></tr>
-<tr class="component1-color"><td><a href="#concept-startByActivity" class="internalDFN">Start by Activity</a></td><td><a title="wasStartedByActivity" href="#dfn-wasstartedbyactivity" class="internalDFN">wasStartedByActivity(id, a2, a1, attrs)</a></td></tr>
+<tr class="component1-color"><td><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="insert">wasGeneratedBy(id;e,a,t,attrs)</span></a></td></tr>
+<tr class="component1-color"><td><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="insert">used(id;a,e,t,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>
+<tr class="component1-color"><td><a href="#concept-end" class="internalDFN">End</a></td><td><a title="wasEndedBy" href="#dfn-wasendedby" class="internalDFN"><span class="delete">wasEndedBy(id,a,e,t,attrs)</span><span class="insert">wasEndedBy(id;a2,e,a1,t,attrs)</span></a></td></tr>
+<tr class="component1-color"><td><a href="#concept-invalidation" class="internalDFN">Invalidation</a></td><td><a title="wasInvalidatedBy" href="#dfn-wasinvalidatedby" class="internalDFN"><span class="delete">wasInvalidatedBy(id,e,a,t,attrs)</span><span class="insert">wasInvalidatedBy(id;e,a,t,attrs)</span></a></td></tr>
+<tr class="component1-color"><td><a href="#concept-communication" class="internalDFN">Communication</a></td><td><a title="wasInformedBy" href="#dfn-wasinformedby" class="internalDFN"><span class="delete">wasInformedBy(id,a2,a1,attrs)</span>
+<span class="delete">Start by Activity</span><span class="delete">wasStartedByActivity(id, a2, a1, attrs)</span><span class="insert">wasInformedBy(id;a2,a1,attrs)</span></a></td></tr>
 <tr class="component2-color"><td><a href="#concept-agent" class="internalDFN">Agent</a></td><td><a title="dfn-agent" href="#dfn-agent" class="internalDFN">agent(id, [ attr1=val1, ...])</a></td></tr>
-<tr class="component2-color"><td><a href="#concept-attribution" class="internalDFN">Attribution</a></td><td><a title="wasAttributedTo" href="#dfn-wasattributedto" class="internalDFN">wasAttributedTo(id,e,ag,attr)</a></td></tr>
-<tr class="component2-color"><td><a href="#concept-activityAssociation" class="internalDFN">Association</a></td><td><a title="wasAssociatedWith" href="#dfn-wasassociatedwith" class="internalDFN">wasAssociatedWith(id,a,ag,pl,attrs)</a></td></tr>
-<tr class="component2-color"><td><a href="#concept-responsibility" class="internalDFN">Responsibility</a></td><td><a title="actedOnBehalfOf" href="#dfn-actedonbehalfof" class="internalDFN">actedOnBehalfOf(id,ag2,ag1,a,attrs)</a></td></tr>
-<tr class="component3-color"><td><a href="#concept-derivation" class="internalDFN">Derivation</a></td><td><a title="wasDerivedFrom" href="#dfn-wasderivedfrom" class="internalDFN">wasDerivedFrom(id, e2, e1, a, g2, u1, attrs)</a></td></tr>
-<tr class="component3-color"><td><a href="#concept-revision" class="internalDFN">Revision</a></td><td><a title="wasRevisionOf" href="#dfn-wasrevisionof" class="internalDFN"><span class="delete">wasRevisionOf(id,e2,e1,ag,attrs)</span><span class="insert">wasRevisionOf(id, e2, e1, a, g2, u1, attrs)</span></a></td></tr>
-<tr class="component3-color"><td><a href="#concept-quotation" class="internalDFN">Quotation</a></td><td><a title="wasQuotedFrom" href="#dfn-wasquotedfrom" class="internalDFN"><span class="delete">wasQuotedFrom(id,e2,e1,ag2,ag1,attrs)</span><span class="insert">wasQuotedFrom(id, e2, e1, a, g2, u1, attrs)</span></a></td></tr>
-<tr class="component3-color"><td><a href="#concept-original-source" class="internalDFN">Original Source</a></td><td><a title="hadOriginalSource" href="#dfn-hadoriginalsource" class="internalDFN"><span class="delete">hadOriginalSource(id,e2,e1,attrs)</span><span class="insert">hadOriginalSource(id, e2, e1, a, g2, u1, attrs)</span></a></td></tr>
-<tr class="component3-color"><td><a href="#concept-trace" class="internalDFN">Trace</a></td><td><a title="tracedTo" href="#dfn-tracedto" class="internalDFN">tracedTo(id,e2,e1,attrs)</a></td></tr>
+<tr class="component2-color"><td><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="insert">wasAttributedTo(id;e,ag,attr)</span></a></td></tr>
+<tr class="component2-color"><td><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="insert">wasAssociatedWith(id;a,ag,pl,attrs)</span></a></td></tr>
+<tr class="component2-color"><td><a href="#concept-responsibility" class="internalDFN">Responsibility</a></td><td><a title="actedOnBehalfOf" href="#dfn-actedonbehalfof" class="internalDFN"><span class="delete">actedOnBehalfOf(id,ag2,ag1,a,attrs)</span><span class="insert">actedOnBehalfOf(id;ag2,ag1,a,attrs)</span></a></td></tr>
+<tr class="component3-color"><td><a href="#concept-derivation" class="internalDFN">Derivation</a></td><td><a title="wasDerivedFrom" href="#dfn-wasderivedfrom" class="internalDFN"><span class="delete">wasDerivedFrom(id,</span><span class="insert">wasDerivedFrom(id;</span> e2, e1, a, g2, u1, attrs)</a></td></tr>
+<tr class="component3-color"><td><a href="#concept-revision" class="internalDFN">Revision</a></td><td><a title="wasRevisionOf" href="#dfn-wasrevisionof" class="internalDFN"><span class="delete">wasRevisionOf(id,e2,e1,ag,attrs)</span><span class="insert">wasRevisionOf(id; e2, e1, a, g2, u1, attrs)</span></a></td></tr>
+<tr class="component3-color"><td><a href="#concept-quotation" class="internalDFN">Quotation</a></td><td><a title="wasQuotedFrom" href="#dfn-wasquotedfrom" class="internalDFN"><span class="delete">wasQuotedFrom(id,e2,e1,ag2,ag1,attrs)</span><span class="insert">wasQuotedFrom(id; e2, e1, a, g2, u1, attrs)</span></a></td></tr>
+<tr class="component3-color"><td><a href="#concept-original-source" class="internalDFN">Original Source</a></td><td><a title="hadOriginalSource" href="#dfn-hadoriginalsource" class="internalDFN"><span class="delete">hadOriginalSource(id,e2,e1,attrs)</span><span class="insert">hadOriginalSource(id; e2, e1, a, g2, u1, attrs)</span></a></td></tr>
+<tr class="component3-color"><td><a href="#concept-trace" class="internalDFN">Trace</a></td><td><a title="tracedTo" href="#dfn-tracedto" class="internalDFN"><span class="delete">tracedTo(id,e2,e1,attrs)</span><span class="insert">tracedTo(id;e2,e1,attrs)</span></a></td></tr>
 <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></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="component5-color"><td><a href="#concept-collection" class="internalDFN">Collection</a></td><td><a href="#concept-collection" class="internalDFN">Collection</a></td></tr>
 <tr class="component5-color"><td><a href="#concept-dictionary" class="internalDFN">Dictionary</a></td><td><a href="#concept-dictionary" class="internalDFN">Dictionary</a></td></tr>
-<tr class="component5-color"><td><a href="#concept-insertion" class="internalDFN">Insertion</a></td><td><a title="derivedByInsertionFrom" href="#dfn-derivedbyinsertionfrom" class="internalDFN">derivedByInsertionFrom(id, c2, c1, {(key_1, e_1), ..., (key_n, e_n)}, attrs)</a></td></tr>
-<tr class="component5-color"><td><a href="#concept-removal" class="internalDFN">Removal</a></td><td><a title="derivedByRemovalFrom" href="#dfn-derivedbyremovalfrom" class="internalDFN">derivedByRemovalFrom(id, c2, c1, {key_1, ... key_n}, attrs)</a></td></tr>
+<tr class="component5-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="component5-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="component5-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)})</a></td></tr>
 <tr class="component6-color"><td><a href="#concept-note" class="internalDFN">Note</a></td><td><a title="dfn-note" href="#dfn-note" class="internalDFN">note(id, [ attr1=val1, ...])</a></td></tr>
 <tr class="component6-color"><td><a href="#concept-annotation" class="internalDFN">Annotation</a></td><td><a title="hasAnnotation" href="#dfn-hasannotation" class="internalDFN">hasAnnotation(r,n)</a></td></tr>
@@ -1730,8 +1732,9 @@
 <div id="component1" class="section"> 
 <h3><span class="secno">4.1 </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>, <a href="#concept-communication" class="internalDFN">Communication</a>, and <a href="#concept-startByActivity" class="internalDFN">Start by Activity</a>.  <a href="#figure-component1">Figure 5</a> uses UML to depict the first component, with two classes and binary associations between them. Associations are not just binary: indeed, <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> also include <em>time</em> attributes.
-</p>
+<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 component, with two classes and <span class="delete">binary </span>associations between them.<span class="delete"> Associations are not just binary: indeed, </span>  <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><span class="delete"> also </span>  include <em>time</em> attributes.
+<span class="insert">UML association classes are used to express n-ary relations </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></p>
 
 <div style="text-align: center;">
 <figure>
@@ -1791,7 +1794,7 @@
 <p>
 The following expression</p>
 <pre class="codeexample">activity(a1,2011-11-16T16:05:00,2011-11-16T16:06:00,
-        [ex:host="server.example.org",prov:type="ex:edit" %% xsd:QName])
+        <span class="delete">[ex:host="server.example.org",prov:type="ex:edit" %% xsd:QName])</span><span class="insert">[ ex:host="server.example.org", prov:type='ex:edit' ])</span>
 </pre>
 <p>states the existence of an activity with identifier <span class="name">a1</span>, start time <span class="name">2011-11-16T16:05:00</span>, and end time <span class="name">2011-11-16T16:06:00</span>, running on host <span class="name">server.example.org</span>, and of type <span class="name">edit</span>.  The attribute <span class="name">host</span>  is application specific  (declared in some namespace with prefix <span class="name">ex</span>).  The attribute <span class="name">type</span> is a reserved attribute of PROV-DM, allowing for sub-typing to be expressed  (see <a href="#term-attribute-type">Section 4.7.4.4</a>).</p>
 </div>
@@ -1814,7 +1817,7 @@
 <div class="glossary-ref">   <dfn id="concept-generation">Generation</dfn> 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. </div>
 
 <p>
-</p><div class="attributes" id="attributes-generation"><dfn title="wasGeneratedBy" id="dfn-wasgeneratedby">Generation</dfn><span class="withPn">, written <span class="pnExpression">wasGeneratedBy(id,e,a,t,attrs)</span> in PROV-N,</span> has:
+</p><div class="attributes" id="attributes-generation"><dfn title="wasGeneratedBy" id="dfn-wasgeneratedby">Generation</dfn><span class="withPn">, written <span class="pnExpression"><span class="delete">wasGeneratedBy(id,e,a,t,attrs)</span><span class="insert">wasGeneratedBy(id;e,a,t,attrs)</span></span> in PROV-N,</span> has:
 <ul>
 <li><span class="attribute" id="generation.id">id</span>:  an <em class="rfc2119" title="optional">optional</em> identifier for a generation;</li> 
 <li><span class="attribute" id="generation.entity">entity</span>:  an identifier (<span class="name">e</span>) for a created entity; </li>
@@ -1860,7 +1863,7 @@
 <div class="glossary-ref">   <dfn id="concept-usage">Usage</dfn> 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. </div>
 
 
-<p></p><div class="attributes" id="attributes-usage"><dfn title="used" id="dfn-used">Usage</dfn><span class="withPn">, written <span class="pnExpression">used(id,a,e,t,attrs)</span> in PROV-N,</span> has:
+<p></p><div class="attributes" id="attributes-usage"><dfn title="used" id="dfn-used">Usage</dfn><span class="withPn">, written <span class="pnExpression"><span class="delete">used(id,a,e,t,attrs)</span><span class="insert">used(id;a,e,t,attrs)</span></span> in PROV-N,</span> has:
 <ul>
 <li><span class="attribute" id="usage.id">id</span>:  an <em class="rfc2119" title="optional">optional</em> identifier for a usage;</li> 
 <li><span class="attribute" id="usage.activity">activity</span>: an identifier (<span class="name">a</span>) for the consuming activity;</li>
@@ -1895,14 +1898,15 @@
 <div id="term-Start" class="section">
 <h4><span class="secno">4.1.5 </span>Start</h4>
 
-<div class="glossary-ref">   <dfn id="concept-start">Start</dfn> is when an activity is deemed to have started.  The activity did not exist before its start. Any usage or generation involving an activity follows the activity's start. A start may refer to an entity, known as <dfn id="concept-start-trigger">trigger</dfn>, that initiated the activity. </div>
-
-
-<p></p><div class="attributes" id="attributes-start">An activity <dfn title="wasStartedBy" id="dfn-wasstartedby">start</dfn><span class="withPn">, written <span class="pnExpression">wasStartedBy(id,a,e,t,attrs)</span> in PROV-N,</span> has:
+<div class="glossary-ref">   <dfn id="concept-start">Start</dfn> is when an activity is deemed to have started.  The activity did not exist before its start. Any usage or generation involving an activity follows the activity's start. A start may refer to an entity, known as <dfn id="concept-start-trigger">trigger</dfn>, that initiated the <span class="delete">activity.</span><span class="insert">activity, or to an activity, known as </span><dfn id="concept-start-starter"><span class="insert">starter</span></dfn><span class="insert">, that generated the trigger.</span> </div>
+
+
+<p></p><div class="attributes" id="attributes-start">An activity <dfn title="wasStartedBy" id="dfn-wasstartedby">start</dfn><span class="withPn">, written <span class="pnExpression"><span class="delete">wasStartedBy(id,a,e,t,attrs)</span><span class="insert">wasStartedBy(id; a2, e, a1, t, attrs)</span></span> in PROV-N,</span> has:
 <ul>
 <li><span class="attribute" id="start.id">id</span>:  an <em class="rfc2119" title="optional">optional</em> identifier for the activity start;</li> 
-<li><span class="attribute" id="start.activity">activity</span>: an identifier (<span class="name">a</span>) for the started activity;</li> 
+<li><span class="attribute" id="start.activity">activity</span>: an identifier (<span class="name"><span class="delete">a</span><span class="insert">a2</span></span>) for the started activity;</li> 
 <li><span class="attribute" id="start.trigger">trigger</span>: an <em class="rfc2119" title="optional">optional</em> identifier (<span class="name">e</span>) for the entity triggering the activity;</li> 
+<li><span class="attribute" id="start.starter"><span class="insert">starter</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">a1</span></span><span class="insert">) for the activity that generated the (possibly unspecified) entity (</span><span class="name"><span class="insert">e</span></span><span class="insert">);</span></li> 
 <li><span class="attribute" id="start.time">time</span>: the <em class="rfc2119" title="optional">optional</em> time (<span class="name">t</span>) at which the activity was started; </li> 
 <li><span class="attribute" id="start.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 activity start.
 </li></ul>
@@ -1911,12 +1915,19 @@
 <div class="anexample">
 <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">entity(e1,[prov:type="email message"])
+<pre class="codeexample"><span class="delete">entity(e1,[prov:type="email message"])
 activity(a1,[prov:type="Discuss"])
-wasStartedBy(a1,e1,2011-11-16T16:05:00)
+wasStartedBy(a1,e1,2011-11-16T16:05:00)</span><span class="insert">entity(e1, [prov:type="email message"] )
+activity(a1, [ prov:type="Discuss" ])
+wasStartedBy(a1, e1, -, 2011-11-16T16:05:00)</span>
 </pre>
 Furthermore, if the message is also an input to the activity, this can be described as follows:
-<pre class="codeexample">used(a1,e1,-)
+<pre class="codeexample"><span class="delete">used(a1,e1,-)</span><span class="insert">used(a1, e1, -)
+</span></pre>
+<p><span class="insert">Alternatively, one can also describe the activity that generated the email message.</span></p>
+<pre class="codeexample"><span class="insert">activity(a0, [ prov:type="Write" ])
+wasGeneratedBy(e1, a0)
+wasStartedBy(a1, e1, a0, 2011-11-16T16:05:00)</span>
 </pre>
 </div>
 
@@ -1925,13 +1936,31 @@
 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>.
 </p><pre class="codeexample">activity(ex:foot_race)
-wasStartedBy(ex:foot_race,ex:bang,2012-03-09T08:05:08-05:00)
+<span class="delete">wasStartedBy(ex:foot_race,ex:bang,2012-03-09T08:05:08-05:00)</span><span class="insert">wasStartedBy(ex:foot_race, ex:bang, -, 2012-03-09T08:05:08-05:00)</span>
 entity(ex:bang)
 agent(ex:Bob)
-wasAttributedTo(ex:bang,ex:Bob)
+<span class="delete">wasAttributedTo(ex:bang,ex:Bob)</span><span class="insert">wasAttributedTo(ex:bang, ex:Bob)</span>
 </pre>
 </div>
 
+<div class="anexample">
+<p><span class="insert">
+In this example, filling fuel was started as a consequence of
+observing the low fuel. The trigger entity is unspecified, it could
+for instance have been the low fuel warning light, the fuel tank
+indicator needle position, or the engine not running properly.</span>
+
+
+</p><pre class="codeexample"><span class="insert">activity(ex:filling-fuel)
+activity(ex:observing-low-fuel)
+
+agent(ex:driver, [ prov:type='prov:Person'  )
+wasAssociatedWith(ex:filling-fuel, ex:driver)
+wasAssociatedWith(ex:observing-low-fuel, ex:driver)
+
+wasStartedBy(ex:filling-fuel, -, ex:observing-low-fuel, -)
+</span></pre>
+</div>
 
 <p>The relations wasStartedBy and used are orthogonal, and thus need to be expressed independently, according to the situation being described.</p>
 
@@ -1940,15 +1969,16 @@
 <div id="term-End" class="section">
 <h4><span class="secno">4.1.6 </span>End</h4>
 
-<div class="glossary-ref">   <dfn id="concept-end">End</dfn> is when an activity is deemed to have ended.  The activity no longer exists after its end. Any usage, generation, or invalidation involving an activity precedes the activity's end. An end may refer to an entity, known as <dfn id="concept-end-trigger">trigger</dfn>, that terminated the activity. </div>
-
-
-<p></p><div class="attributes" id="attributes-end">An activity <dfn title="wasEndedBy" id="dfn-wasendedby">end</dfn><span class="withAsn">, written <span class="pnExpression">wasEndedBy(id,a,e,t,attrs)</span> in PROV-N,</span> has:
+<div class="glossary-ref">   <dfn id="concept-end">End</dfn> is when an activity is deemed to have ended.  The activity no longer exists after its end. Any usage, generation, or invalidation involving an activity precedes the activity's end. An end may refer to an entity, known as <dfn id="concept-end-trigger">trigger</dfn>, that terminated the <span class="delete">activity.</span><span class="insert">activity, or to an activity, known as </span><dfn id="concept-end-ender"><span class="insert">ender</span></dfn><span class="insert"> that generated the trigger.</span> </div>
+
+
+<p></p><div class="attributes" id="attributes-end">An activity <dfn title="wasEndedBy" id="dfn-wasendedby">end</dfn><span class="withAsn">, written <span class="pnExpression"><span class="delete">wasEndedBy(id,a,e,t,attrs)</span><span class="insert">wasEndedBy(id;a2,e,a1,t,attrs)</span></span> in PROV-N,</span> has:
 <ul>
 <li><span class="attribute" id="end.id">id</span>:  an <em class="rfc2119" title="optional">optional</em> identifier for the activity end;</li> 
-<li><span class="attribute" id="end.activity">activity</span>: an identifier (<span class="name">a</span>) for the ended activity;
+<li><span class="attribute" id="end.activity">activity</span>: an identifier (<span class="name"><span class="delete">a</span><span class="insert">a2</span></span>) for the ended activity;
 </li><li><span class="attribute" id="end.trigger">trigger</span>: an <em class="rfc2119" title="optional">optional</em> identifier (<span class="name">e</span>) for the entity triggering the activity ending;
-</li><li><span class="attribute" id="end.time">time</span>: the <em class="rfc2119" title="optional">optional</em> time (<span class="name">t</span>) at which the activity was ended; </li> 
+</li><li><span class="attribute" id="end.ender"><span class="insert">ender</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">a1</span></span><span class="insert">) for the activity that generated the (possibly unspecified) entity (</span><span class="name"><span class="insert">e</span></span><span class="insert">);</span></li> 
+<li><span class="attribute" id="end.time">time</span>: the <em class="rfc2119" title="optional">optional</em> time (<span class="name">t</span>) at which the activity was ended; </li> 
 <li><span class="attribute" id="end.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 activity end.
 </li></ul>
 </div>
@@ -1988,7 +2018,7 @@
 
 
 <p>
-</p><div class="attributes" id="attributes-invalidation"><dfn title="wasInvalidatedBy" id="dfn-wasinvalidatedby">Invalidation</dfn><span class="withPn">, written <span class="pnExpression">wasInvalidatedBy(id,e,a,t,attrs)</span> in PROV-N,</span> has:
+</p><div class="attributes" id="attributes-invalidation"><dfn title="wasInvalidatedBy" id="dfn-wasinvalidatedby">Invalidation</dfn><span class="withPn">, written <span class="pnExpression"><span class="delete">wasInvalidatedBy(id,e,a,t,attrs)</span><span class="insert">wasInvalidatedBy(id;e,a,t,attrs)</span></span> in PROV-N,</span> has:
 <ul>
 <li><span class="attribute">id</span>:  an <em class="rfc2119" title="optional">optional</em> identifier for a invalidation;</li> 
 <li><span class="attribute">entity</span>:  an identifier for the invalidated entity; </li>
@@ -2071,7 +2101,7 @@
 
 <p></p><div class="attributes" id="attributes-wasInformedBy">
 A <dfn title="wasInformedBy" id="dfn-wasinformedby">communication</dfn><span class="withPn">, written as 
-<span class="pnExpression">wasInformedBy(id,a2,a1,attrs)</span> in PROV-N,</span> has: 
+<span class="pnExpression"><span class="delete">wasInformedBy(id,a2,a1,attrs)</span><span class="insert">wasInformedBy(id;a2,a1,attrs)</span></span> in PROV-N,</span> has: 
 <ul>
 <li><span class="attribute" id="wasInformedBy.id">id</span>:  an <em class="rfc2119" title="optional">optional</em> identifier  identifying the relation;</li> 
 <li><span class="attribute" id="wasInformedBy.informed">informed</span>: the identifier (<span class="name">a2</span>) of the informed activity;
@@ -2093,37 +2123,37 @@
 </div>
 </div>
 
-<div id="term-wasStartedByActivity" class="section">
-<h4><span class="secno">4.1.9 </span>Start by Activity</h4>
-
-<div class="glossary-ref">   <dfn id="concept-startByActivity">Start by Activity</dfn> is the start of an activity with an implicit trigger generated by another activity. </div>
-
-
-
-<p></p><div class="attributes" id="attributes-startByActivity">
-A <dfn title="wasStartedByActivity" id="dfn-wasstartedbyactivity">start by activity</dfn><span class="withPn">, written as 
-<span class="pnExpression">wasStartedByActivity(id, a2, a1, attrs)</span> in PROV-N,</span> has:
-<ul>
-<li><span class="attribute" id="startByActivity.id">id</span>:  an <em class="rfc2119" title="optional">optional</em> identifier of the relation;</li> 
-<li><span class="attribute" id="startByActivity.started">started</span>: the identifier (<span class="name">a2</span>) of  the started activity;
-</li><li><span class="attribute" id="startByActivity.starter">starter</span>: the identifier (<span class="name">a1</span>) of the activity that started the other;</li>
-<li><span class="attribute" id="startByActivity.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 start by activity.</li>
-</ul>
-</div>
-
-
-
-<div class="anexample">
-<p>
-Suppose activities <span class="name">a1</span> and <span class="name">a2</span> are computer processes that are executed on different hosts, and that <span class="name">a1</span> started <span class="name">a2</span>. This can be expressed as in the following fragment:</p>
-<pre class="codeexample">activity(a1,t1,t2,[ex:host="server1.example.org",prov:type="workflow"])
+
+<span class="delete">4.1.9 </span><span class="delete">Start by Activity</span>
+
+   <span class="delete">Start by Activity</span><span class="delete"> is the start of an activity with an implicit trigger generated by another activity. </span>
+
+
+
+<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="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>
+
+
+
+
+
+
+<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="delete">. This can be expressed as in the following fragment:</span>
+<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)
-</pre>
-It is assumed that the activities <span class="name">a1</span> and <span class="name">a2</span> are of type "workflow" and "subworkflow", respectively; the latter was started by the former.
-</div>
-
-</div>
+</span><span class="delete">
+It is assumed that the activities </span><span class="delete">a1</span><span class="delete"> and </span><span class="delete">a2</span><span class="delete"> are of type "workflow" and "subworkflow", respectively; the latter was started by the former.
+</span>
+
+
 
 
 </div>
@@ -2186,7 +2216,7 @@
 
 <div class="anexample">
 <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", prov:type="prov:Person" %% xsd:QName])
+<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>
 <p>It is optional to specify the type of an agent. When present, it is expressed using the <span class="name">prov:type</span> attribute.</p>
 </div>
@@ -2200,7 +2230,7 @@
 
 <p>When an entity  <span class="name">e</span> is attributed to agent  <span class="name">ag</span>, entity <span class="name">e</span> was generated by some unspecified activity that in turn was associated to agent  <span class="name">ag</span>. Thus, this relation is useful when the activity is not known, or irrelevant.</p>
 
-<p></p><div class="attributes" id="attributes-attribution">An <dfn title="wasAttributedTo" id="dfn-wasattributedto">attribution</dfn> relation<span class="withPn">, written <span class="pnExpression">wasAttributedTo(id,e,ag,attrs)</span> in PROV-N,</span> has:
+<p></p><div class="attributes" id="attributes-attribution">An <dfn title="wasAttributedTo" id="dfn-wasattributedto">attribution</dfn> relation<span class="withPn">, written <span class="pnExpression"><span class="delete">wasAttributedTo(id,e,ag,attrs)</span><span class="insert">wasAttributedTo(id;e,ag,attrs)</span></span> in PROV-N,</span> has:
 <ul>
 <li><span class="attribute" id="attribution.id">id</span>: an <em class="rfc2119" title="optional">optional</em> identifier for the relation;</li> 
 <li><span class="attribute" id="attribution.entity">entity</span>: an entity identifier (<span class="name">e</span>);</li>
@@ -2215,7 +2245,7 @@
 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 4.7.4.3</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"</span><span class="insert">prov:type="rec54:WD"</span> %% xsd:QName ])
+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, [prov:role="editor"])
 wasAttributedTo(tr:WD-prov-dm-20111215, ex:Simon, [prov:role="contributor"])
 </pre>
@@ -2235,7 +2265,7 @@
 
 
 
-<p></p><div class="attributes" id="attributes-activity-association">An <dfn title="wasAssociatedWith" id="dfn-wasassociatedwith">activity association</dfn><span class="withPn">, written <span class="pnExpression">wasAssociatedWith(id,a,ag,pl,attrs)</span> in PROV-N,</span> has:
+<p></p><div class="attributes" id="attributes-activity-association">An <dfn title="wasAssociatedWith" id="dfn-wasassociatedwith">activity association</dfn><span class="withPn">, written <span class="pnExpression"><span class="delete">wasAssociatedWith(id,a,ag,pl,attrs)</span><span class="insert">wasAssociatedWith(id;a,ag,pl,attrs)</span></span> in PROV-N,</span> has:
 <ul>
 <li><span class="attribute" id="association.id">id</span>:  an <em class="rfc2119" title="optional">optional</em> identifier for the association between an activity and an agent;</li> 
 <li><span class="attribute" id="association.activity">activity</span>: an identifier (<span class="name">a</span>) for the activity;</li>
@@ -2251,7 +2281,7 @@
 agent(ex:ag2, [prov:type="designer"])
 wasAssociatedWith(ex:a, ex:ag1, -, [prov:role="loggedInUser", ex:how="webapp"])
 wasAssociatedWith(ex:a, ex:ag2, ex:wf,[prov:role="designer", ex:context="project1"])
-entity(ex:wf, [prov:type="prov:Plan" %% xsd:QName, ex:label="Workflow 1", 
+entity(ex:wf, <span class="delete">[prov:type="prov:Plan" %% xsd:QName,</span><span class="insert">[prov:type='prov:Plan' ,</span> ex:label="Workflow 1", 
               ex:url="http://example.org/workflow1.bpel" %% xsd:anyURI])
 </pre>
 Since the workflow <span class="name">ex:wf</span> is itself an entity, its provenance can also be expressed in PROV-DM: it can be generated by some activity and derived from other entities,
@@ -2262,7 +2292,7 @@
 <p>In some cases, one wants to indicate a plan was followed, without having to specify which agent was involved.</p>
 <pre class="codeexample">activity(ex:a,[prov:type="workflow execution"])
 wasAssociatedWith(ex:a,-,ex:wf)
-entity(ex:wf,[prov:type="prov:Plan"%% xsd:QName, ex:label="Workflow 1", 
+<span class="delete">entity(ex:wf,[prov:type="prov:Plan"%% xsd:QName,</span><span class="insert">entity(ex:wf,[prov:type='prov:Plan',</span> ex:label="Workflow 1", 
               ex:url="http://example.org/workflow1.bpel" %% xsd:anyURI])
 </pre>
 In this case, it is assumed that an agent exists, but it has not been specified.
@@ -2294,7 +2324,7 @@
 
 <p>
 </p><div class="attributes" id="attributes-responsibility">
-A <dfn title="actedOnBehalfOf" id="dfn-actedonbehalfof">responsibility</dfn> link<span class="withPn">, written <span class="pnExpression">actedOnBehalfOf(id,ag2,ag1,a,attrs)</span> in PROV-N,</span> has:
+A <dfn title="actedOnBehalfOf" id="dfn-actedonbehalfof">responsibility</dfn> link<span class="withPn">, written <span class="pnExpression"><span class="delete">actedOnBehalfOf(id,ag2,ag1,a,attrs)</span><span class="insert">actedOnBehalfOf(id;ag2,ag1,a,attrs)</span></span> in PROV-N,</span> has:
 <ul>
 <li><span class="attribute" id="responsibility.id">id</span>:  an <em class="rfc2119" title="optional">optional</em> identifier for the responsibility link between subordinate and responsible;</li> 
 <li><span class="attribute" id="responsibility.subordinate">subordinate</span>: an identifier (<span class="name">ag2</span>) for the agent associated with an activity, acting on behalf of the responsible
@@ -2364,14 +2394,14 @@
 A derivation can be described at various levels of precision. In its simplest form, derivation relates two entities. Optionally, attributes can be added to represent further information about the derivation.  If the derivation is the result of a single known activity, then this activity can also be optionally expressed. To provide a completely accurate description of the derivation, the generation and usage of the generated and used entities, respectively, can be provided.  Optional information such as activity, generation, and usage can be linked to derivations to aid analysis of provenance and to facilitate provenance-based reproducibility. </p>
 
 
-<p></p><div class="attributes" id="attributes-derivation">A <dfn title="wasDerivedFrom" id="dfn-wasderivedfrom">derivation</dfn><span class="withPn">, written <span class="pnExpression" id="pn-wasDerivedFrom">wasDerivedFrom(id, e2, e1, a, g2, u1, attrs)</span> in PROV-N,</span> has:
+<p></p><div class="attributes" id="attributes-derivation">A <dfn title="wasDerivedFrom" id="dfn-wasderivedfrom">derivation</dfn><span class="withPn">, written <span class="pnExpression" id="pn-wasDerivedFrom"><span class="delete">wasDerivedFrom(id,</span><span class="insert">wasDerivedFrom(id;</span> e2, e1, a, g2, u1, attrs)</span> in PROV-N,</span> has:
 <ul>
 <li><span class="attribute" id="derivation.id">id</span>:  an <em class="rfc2119" title="optional">optional</em> identifier  for a derivation;</li> 
 <li><span class="attribute" id="derivation.generatedEntity">generatedEntity</span>: the identifier (<span class="name">ee</span>) of the entity generated by the derivation;</li>
 <li><span class="attribute" id="derivation.usedEntity">usedEntity</span>: the identifier (<span class="name">e1</span>) of the entity used by the derivation;</li>
 <li><span class="attribute" id="derivation.activity">activity</span>: an <em class="rfc2119" title="optional">optional</em> identifier (<span class="name">a</span>) for the activity using and generating the above entities;</li>
 <li><span class="attribute" id="derivation.generation">generation</span>: an <em class="rfc2119" title="optional">optional</em> identifier (<span class="name">g2</span>) for the generation involving the generated entity <span class="insert">(</span><span class="name"><span class="insert">e2</span></span><span class="insert">) </span>and activity;</li> 
-<li><span class="attribute" id="derivation.usage">usage</span>: an <em class="rfc2119" title="optional">optional</em> identifier (<span class="name">u1</span>) for the usage involving the used entity<span class="insert"> (</span><span class="name"><span class="insert">e1</span></span><span class="insert">)</span> and activity;</li> 
+<li><span class="attribute" id="derivation.usage">usage</span>: an <em class="rfc2119" title="optional">optional</em> identifier (<span class="name">u1</span>) for the usage involving the used entity <span class="insert">(</span><span class="name"><span class="insert">e1</span></span><span class="insert">) </span>and activity;</li> 
 <li><span class="attribute" id="derivation.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 derivation.</li>
 </ul>
 </div>
@@ -2389,8 +2419,8 @@
 entity <span class="name">e2</span> and generated it according to generation
  <span class="name">g2</span>. It is followed by descriptions for generation <span class="name">g2</span> and usage <span class="name">u1</span>.</p>
 <pre class="codeexample">wasDerivedFrom(e2, e1, a, g2, u1)
-wasGeneratedBy(g2, e2, a, -)
-used(u1, a, e1, -)
+<span class="delete">wasGeneratedBy(g2,</span><span class="insert">wasGeneratedBy(g2;</span> e2, a, -)
+<span class="delete">used(u1,</span><span class="insert">used(u1;</span> a, e1, -)
 </pre>
 <p>With such a comprehensive description of derivation, a program that analyzes provenance can identify the activity underpinning the derivation, it can identify how the original entity <span class="name">e1</span> was used by  the activity (e.g. for instance, which argument it was passed as, if the activity is the result of a function invocation), and which output the derived entity <span class="name">e2</span> was obtained from (say, for a function returning multiple results).</p>
 </div>
@@ -2409,7 +2439,7 @@
  The agent who is responsible for the revision may optionally be specified.
  </span>Revision is a particular case of <a href="#concept-derivation" class="internalDFN">derivation</a> of an entity into its revised version.</p>
 
-<p> A <dfn title="wasRevisionOf" id="dfn-wasrevisionof">revision</dfn> relation<span class="withPn">, written <span class="pnExpression"><span class="delete">wasRevisionOf(id,e2,e1,ag,attrs)</span><span class="insert">wasRevisionOf(id, e2, e1, a, g2, u1, attrs)</span></span> in PROV-N,</span> has:</p>
+<p> A <dfn title="wasRevisionOf" id="dfn-wasrevisionof">revision</dfn> relation<span class="withPn">, written <span class="pnExpression"><span class="delete">wasRevisionOf(id,e2,e1,ag,attrs)</span><span class="insert">wasRevisionOf(id; e2, e1, a, g2, u1, attrs)</span></span> in PROV-N,</span> has:</p>
 <ul>
 <li><span class="attribute" id="revision.id">id</span>: an <em class="rfc2119" title="optional">optional</em> identifier for the relation;</li> 
 <li><span class="attribute" id="revision.newer">newer</span>: the identifier (<span class="name">e2</span>) of the revised  entity;
@@ -2430,8 +2460,8 @@
  <span class="name">tr:WD-prov-dm-20111215</span> <span class="delete">is</span><span class="insert">was</span> a revision of 
  the report <span class="name">tr:WD-prov-dm-20111018<span class="delete">, approved by
 agent  </span><span class="delete">w3:Consortium</span></span>.
-</p><pre class="codeexample">entity(tr:WD-prov-dm-20111215, [ <span class="delete">prov:type="process:RecsWD"</span><span class="insert">prov:type="rec54:WD"</span> %% xsd:QName ])
-entity(tr:WD-prov-dm-20111018, [ <span class="delete">prov:type="process:RecsWD"</span><span class="insert">prov:type="rec54:WD"</span> %% xsd:QName ])
+</p><pre class="codeexample">entity(tr:WD-prov-dm-20111215, [ <span class="delete">prov:type="process:RecsWD" %% xsd:QName </span><span class="insert">prov:type='rec54:WD'  </span>])
+entity(tr:WD-prov-dm-20111018, [ <span class="delete">prov:type="process:RecsWD" %% xsd:QName </span><span class="insert">prov:type='rec54:WD'  </span>])
 wasRevisionOf(tr:WD-prov-dm-20111215, <span class="delete">tr:WD-prov-dm-20111018, w3:Consortium)</span><span class="insert">tr:WD-prov-dm-20111018)</span>
 </pre>
 </div>
@@ -2449,7 +2479,7 @@
 
 <p>Quotation
  is a particular case of  <a href="#concept-derivation" class="internalDFN">derivation</a> in which entity <span class="name">e2</span> is derived from an original entity <span class="name">e1</span> by copying, or "quoting", some or all of it.
-  A <dfn title="wasQuotedFrom" id="dfn-wasquotedfrom">quotation</dfn> relation<span class="withPn">, written <span class="pnExpression"><span class="delete">wasQuotedFrom(id,e2,e1,ag2,ag1,attrs)</span><span class="insert">wasQuotedFrom(id, e2, e1, a, g2, u1, attrs)</span></span> in PROV-N,</span> has:</p>
+  A <dfn title="wasQuotedFrom" id="dfn-wasquotedfrom">quotation</dfn> relation<span class="withPn">, written <span class="pnExpression"><span class="delete">wasQuotedFrom(id,e2,e1,ag2,ag1,attrs)</span><span class="insert">wasQuotedFrom(id; e2, e1, a, g2, u1, attrs)</span></span> in PROV-N,</span> has:</p>
 <ul>
 <li><span class="attribute" id="quotation.id">id</span>: an <em class="rfc2119" title="optional">optional</em> identifier for the relation;</li> 
 <li><span class="attribute" id="quotation.quote">quote</span>:  an identifier (<span class="name">e2</span>) for the entity that represents the quote (the partial copy);
@@ -2500,7 +2530,7 @@
 <a href="http://googlenewsblog.blogspot.com/2010/11/credit-where-credit-is-due.html">http://googlenewsblog.blogspot.com/2010/11/credit-where-credit-is-due.html</a>.</p>
 
 
-<p> An <dfn title="hadOriginalSource" id="dfn-hadoriginalsource">original source</dfn> relation<span class="withPn">, written <span class="pnExpression"><span class="delete">hadOriginalSource(id,e2,e1,attrs)</span><span class="insert">hadOriginalSource(id, e2, e1, a, g2, u1, attrs)</span></span>,</span> has:</p>
+<p> An <dfn title="hadOriginalSource" id="dfn-hadoriginalsource">original source</dfn> relation<span class="withPn">, written <span class="pnExpression"><span class="delete">hadOriginalSource(id,e2,e1,attrs)</span><span class="insert">hadOriginalSource(id; e2, e1, a, g2, u1, attrs)</span></span>,</span> has:</p>
 <ul>
 <li><span class="attribute" id="originalSource.id">id</span>:  an <em class="rfc2119" title="optional">optional</em> identifier for the relation;</li> 
 <li><span class="attribute" id="originalSource.derived">derived</span>: an identifier (<span class="name">e2</span>) for the derived entity; </li>
@@ -2537,7 +2567,7 @@
 some responsibility for  <span class="name">e2</span>'s existence.
 
 
-</p><p>A <dfn title="tracedTo" id="dfn-tracedto">Trace</dfn> relation <span class="withPn">, written <span class="pnExpression">tracedTo(id,e2,e1,attrs)</span> in PROV-N,</span> has:</p>
+</p><p>A <dfn title="tracedTo" id="dfn-tracedto">Trace</dfn> relation <span class="withPn">, written <span class="pnExpression"><span class="delete">tracedTo(id,e2,e1,attrs)</span><span class="insert">tracedTo(id;e2,e1,attrs)</span></span> in PROV-N,</span> has:</p>
 <ul>
 <li><span class="attribute" id="trace.id">id</span>:  an <em class="rfc2119" title="optional">optional</em> identifier identifying the relation;</li> 
 <li><span class="attribute" id="trace.entity">entity</span>:  an identifier (<span class="name">e2</span>) for an entity;
@@ -2750,8 +2780,8 @@
 
 
 <div class="anexample">
-<pre class="codeexample">entity(d0, [prov:type="prov:EmptyDictionary" %% xsd:QName])  // d0 is an empty dictionary
-entity(d1, [prov:type="prov:Dictionary"  %% xsd:QName])      // d1 is a dictionary, with unknown content
+<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>
 
@@ -2770,7 +2800,7 @@
 
 
 <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">derivedByInsertionFrom(id, d2, d1, {(key_1, e_1), ..., (key_n, e_n)}, attrs)</span>,</span> has:</p>
+<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>
@@ -2783,7 +2813,7 @@
 </div>
 
 <p>
-An Insertion relation <span class="name">derivedByInsertionFrom(id, 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 state of the 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>
 
 
@@ -2792,12 +2822,12 @@
 
 
 <div class="anexample">
-<pre class="codeexample">entity(d0, [prov:type="prov:EmptyDictionary" %% xsd:QName])    // d0 is an empty dictionary
+<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)
 entity(e3)
-entity(d1, [prov:type="prov:Dictionary" %% xsd:QName])
-entity(d2, [prov:type="prov:Dictionary" %% xsd:QName])
+entity(d1, <span class="delete">[prov:type="prov:Dictionary" %% xsd:QName])</span><span class="insert">[prov:type='prov:Dictionary' ])</span>
+entity(d2, <span class="delete">[prov:type="prov:Dictionary" %% xsd:QName])</span><span class="insert">[prov:type='prov:Dictionary' ])</span>
 
 derivedByInsertionFrom(d1, d0, {("k1", e1), ("k2", e2)})       
 derivedByInsertionFrom(d2, d1, {("k3", e3)})    
@@ -2814,12 +2844,12 @@
 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">
-<pre class="codeexample">entity(d0, [prov:type="prov:EmptyDictionary" %% xsd:QName])    // d0 is an empty dictionary
+<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)
 entity(e3)
-entity(d1, [prov:type="prov:Dictionary" %% xsd:QName])
-entity(d2, [prov:type="prov:Dictionary" %% xsd:QName])
+entity(d1, <span class="delete">[prov:type="prov:Dictionary" %% xsd:QName])</span><span class="insert">[prov:type='prov:Dictionary' ])</span>
+entity(d2, <span class="delete">[prov:type="prov:Dictionary" %% xsd:QName])</span><span class="insert">[prov:type='prov:Dictionary' ])</span>
 
 derivedByInsertionFrom(d1, d0, {("k1", e1), ("k2", e2)})       
 derivedByInsertionFrom(d2, d1, {("k1", e3)})    
@@ -2846,7 +2876,7 @@
 
 <p>
 </p><div class="attributes" id="attributes-derivedByRemovalFrom">
-<p> A <dfn title="derivedByRemovalFrom" id="dfn-derivedbyremovalfrom">Removal</dfn> relation, written <span class="pnExpression">derivedByRemovalFrom(id, d2, d1, {key_1, ... key_n}, attrs)</span>, has:</p>
+<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>
@@ -2856,7 +2886,7 @@
 </ul>
 </div>
 
-<p>A Removal relation <span class="name">derivedByRemovalFrom(id, 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>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">
 <pre class="codeexample">entity(d0, [prov:type="prov:EmptyDictionary"])    // d0 is an empty dictionary
@@ -2895,7 +2925,7 @@
 
 <p>
 </p><div class="attributes" id="attributes-memberOf">
- A <dfn title="memberOf" id="dfn-memberof">membership</dfn> relation, written <span class="pnExpression">memberOf(id, c, {(key_1, e_1), ..., (key_n, e_n)}, cplt, attrs)</span>, has:
+ 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>
@@ -2912,8 +2942,8 @@
 <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">
-<pre class="codeexample">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
+<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
 
 entity(e1)
 entity(e2)
@@ -2922,7 +2952,7 @@
 memberOf(d2, {("k1", e1), ("k2", e2)}, true)  
 
 entity(e3)
-entity(d3, [prov:type="prov:Dictionary"  %% xsd:QName])
+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>
 
 derivedByInsertionFrom(d3, d1, {("k3", e3)})     
 </pre>
@@ -3194,7 +3224,7 @@
 
 <div class="anexample">
 <p>The following describes an agent of type software agent.</p>
-<pre class="codeexample">   agent(ag, [prov:type="prov:SoftwareAgent" %% xsd:QName])
+<pre class="codeexample">   agent(ag, <span class="delete">[prov:type="prov:SoftwareAgent" %% xsd:QName])</span><span class="insert">[prov:type='prov:SoftwareAgent' ])</span>
 </pre>
 </div>
 
@@ -3275,8 +3305,8 @@
 <table border="1" style="margin-left: auto; margin-right: auto;">
 <caption id="prov-dm-data-types">Table 6: PROV-DM Data Types</caption>
 <tbody><tr><td><a href="http://www.w3.org/TR/xmlschema-2/#decimal">xsd:decimal</a></td> <td><a href="http://www.w3.org/TR/xmlschema-2/#double">xsd:double</a></td>  <td><a href="http://www.w3.org/TR/xmlschema-2/#dateTime">xsd:dateTime</a></td> </tr>
-<tr><td><a href="http://www.w3.org/TR/xmlschema-2/#integer">xsd:integer</a></td> <td><a href="http://www.w3.org/TR/xmlschema-2/#float">xsd:float</a></td><td></td>  </tr>
-<tr><td><a href="http://www.w3.org/TR/xmlschema-2/#nonNegativeInteger">xsd:nonNegativeInteger</a></td> <td><a href="http://www.w3.org/TR/xmlschema-2/#string">xsd:string</a></td> <td><a href="http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/#section-XMLLiteral">rdf:XMLLiteral</a></td> </tr>
+<tr><td><a href="http://www.w3.org/TR/xmlschema-2/#integer">xsd:integer</a></td> <td><a href="http://www.w3.org/TR/xmlschema-2/#float">xsd:float</a></td><td><a href="http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/#section-XMLLiteral"><span class="insert">rdf:XMLLiteral</span></a></td>  </tr>
+<tr><td><a href="http://www.w3.org/TR/xmlschema-2/#nonNegativeInteger">xsd:nonNegativeInteger</a></td> <td><a href="http://www.w3.org/TR/xmlschema-2/#string">xsd:string</a></td> <td><span class="delete">rdf:XMLLiteral</span><a href="http://www.w3.org/TR/prov-n/#prod-QUALNAME"><span class="insert">prov:QUALNAME</span></a></td> </tr>
 <tr><td><a href="http://www.w3.org/TR/xmlschema-2/#nonPositiveInteger">xsd:nonPositiveInteger</a></td><td><a href="http://www.w3.org/TR/xmlschema-2/#normalizedString">xsd:normalizedString</a></td> <td></td></tr>
 <tr><td><a href="http://www.w3.org/TR/xmlschema-2/#positiveInteger">xsd:positiveInteger</a></td> <td><a href="http://www.w3.org/TR/xmlschema-2/#token">xsd:token</a></td> <td></td></tr>
 <tr><td><a href="http://www.w3.org/TR/xmlschema-2/#negativeInteger">xsd:negativeInteger</a></td> <td><a href="http://www.w3.org/TR/xmlschema-2/#language">xsd:language</a></td> <td></td></tr>
@@ -3354,7 +3384,7 @@
 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.
 </p><pre class="codeexample"> 
-  wasDerivedFrom(e2,e1, [prov:type="ex:Translation" %% xsd:QName])
+  wasDerivedFrom(e2,e1, <span class="delete">[prov:type="ex:Translation" %% xsd:QName])</span><span class="insert">[prov:type='ex:Translation' ])</span>
 </pre>
 </div>
 
@@ -3362,7 +3392,7 @@
 <p>
 In the following example,  <span class="name">e</span> is described as a Car, a type of entity.
 </p><pre class="codeexample"> 
-  entity(e, [prov:type="ex:Car" %% xsd:QName])
+  entity(e, <span class="delete">[prov:type="ex:Car" %% xsd:QName])</span><span class="insert">[prov:type='ex:Car' ])</span>
 </pre>
 </div>
prov

Hosted by W3C Systems Team, please report bugs to sysreq@w3.org