proposals for wd5
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Thu, 08 Mar 2012 15:24:32 +0000
changeset 1808 9fe73a8d9c2c
parent 1807 aafcfd38e6bd
child 1809 c589a3c58b29
proposals for wd5
model/working-copy/wd5-prov-dm-misc.html
--- a/model/working-copy/wd5-prov-dm-misc.html	Thu Mar 08 12:02:30 2012 +0000
+++ b/model/working-copy/wd5-prov-dm-misc.html	Thu Mar 08 15:24:32 2012 +0000
@@ -216,7 +216,7 @@
 
 <p>It is proposed to  introduce an explicit event that marks the end of an entity characterization interval. Some suggested that it could be a "destruction" event, others felt the term destruction is too strong, but no alternate term has been proposed so far.</p>
 
-<p id="proposal1"><b>PROPOSED</b>: to introduce a prov-dm concept that marks the end of an entity lifetime. Its name remains to be determined (e.g. destruction, final usage, ...). </p>
+<p id="proposal1"><b>PROPOSED</b>: to introduce a prov-dm concept that marks the end of an entity lifetime. Its name remains to be determined (e.g. destruction, final usage, invalidate/invalidation ...). </p>
 
 <p>For now, DESTRUCTION is used as placeholder name</p>
 
@@ -306,6 +306,16 @@
 <li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs describing modalities according to which the activity was started.
 </ul>
 
+<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"])
+activity(a1,[prov:type="Discuss"])
+wasStartedBy(a1,e1,2011-11-16T16:05:00)
+</pre>
+</div>
+
 <p>An activity end<span class="withAsn">, written <span class="pnExpression">wasEndedBy(id,a,e,attrs)</span> in PROV-ASN,</span> contains:</p>
 <ul>
 <li><span class='attribute'>id</span>:  an OPTIONAL identifier for the activity end;</li> 
@@ -314,6 +324,15 @@
 <li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs describing modalities according to which the activity was ended.
 </ul>
 
+<div class="anexample">
+<p>
+The following example is a description of an activity <span class="name">a1</span> (oil exploration) that was ended following an order <span class="name">e1</span>.</p>
+<pre class="codeexample">
+entity(e1,[prov:type="order"])
+activity(a1,[prov:type="Oil Explore"])
+wasEndedBy(a1,e1)
+</pre>
+</div>
 
 
 </section>