revision example
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Tue, 14 Feb 2012 04:49:44 +0000
changeset 1546 744ca1b8a7c6
parent 1545 b75d9bcfeb30
child 1547 a6e173af6e5c
revision example
model/working-copy/towards-wd4.html
--- a/model/working-copy/towards-wd4.html	Mon Feb 13 20:57:25 2012 -0500
+++ b/model/working-copy/towards-wd4.html	Tue Feb 14 04:49:44 2012 +0000
@@ -239,7 +239,7 @@
 
 <p>
 The PROV-DM data model for provenance consists of a set of core
-concepts, and a few common relations, based on these core concepts.  PROV-DM is a domain-agnostics model, but with clear extensibility points allowing further domain-specific and
+concepts, and a few common relations, based on these core concepts.  PROV-DM is a domain-agnostic model, but with clear extensibility points allowing further domain-specific and
 application-specific extensions to be defined.</p>
 
 <p>This specification intentionally presents the key concepts of the PROV Data Model, without drilling down into all its subtleties.  Using these key concepts, it becomes possible to write useful provenance assertions very quickly, and publish or embed them along side the data they relate to. </p>
@@ -585,13 +585,20 @@
 </pre>
 </li>
 
+
+<li>The second draft of the technical report was derived from the first draft of the technical report: this is a <a title="concept-Derivation">Derivation</a>.
+<pre>
+wasDerivedFrom(tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018)
+</pre>
+</li>
+
 <li>The activity required a publication request: this is a <a title="concept-Usage">Usage</a>.
 <pre>
 used(ex:pub2,ar3:0111)
 </pre>
 </li>
 
-<li>The activity was associated with the Consortium agent, and proceeded according to its publication policy
+<li>The activity was associated with the Consortium agent, and proceeded according to its publication policy: this is an <a title="concept-activityAssociation">Activity Association</a>.
 <pre>
 wasAssociatedWith(ex:pub2, w3:Consortium  @ pr:rec-advance)
 </pre>
@@ -1786,23 +1793,17 @@
 
 <div class="anexample">
 <p>
- Suppose document <span class="name">e1</span> is subject to revision by a quality controller, <span class="name">ag</span>.
-The following example states that <span class="name">ag</span> has been instrumental in creating a new version <span class="name">e2</span> of document <span class="name">e1</span>:
+Revisiting the example of <a href="#section-example-a">Section 3.1</a>,
+we can now state that the report 
+ <span class="name">tr:WD-prov-dm-20111215</span> is a revision of 
+ the report <span class="name">tr:WD-prov-dm-20111018</span>, approved by
+agent  <span class="name">w3:Consortium</span>.
 <pre class="codeexample">
-agent(ag,[prov:type="QualityController"])
-entity(e1,[prov:type="document"])
-entity(e2,[prov:type="document"])
-wasRevisionOf(e2,e1,ag)
+wasRevisionOf(tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018, w3:Consortium)
 </pre>
 </div>
 
-<!--
-<p>Further considerations:</p>
-
-<ul>
-  <li><span class="name">wasRevisionOf</span> is a particular case of <span class="name">wasDerivedFrom</span>. That is, <span class="name">wasRevisionOf(e2, e1, ag)</span> implies  <span class="name">wasDerivedFrom(e2, e1, ag)</span>.
-  </ul>
--->
+
 
 </section>  <!-- end revision -->