changeset 4541 f85763972191
parent 4533 434fcd9c8a2b
child 4542 7965e01a1bb3
--- a/model/prov-dm.html	Thu Oct 18 09:46:07 2012 -0600
+++ b/model/prov-dm.html	Fri Oct 19 15:40:16 2012 +0100
@@ -1780,6 +1780,9 @@
 <div class="glossary-ref" data-ref="glossary-generation"></div>
+<p>Given that a generation is the completion of production of an entity, 
+it is instantaneous.</p>
 <div class="attributes" id="attributes-generation"><dfn title="wasGeneratedBy">Generation</dfn><span class="withPn">, written <span class="pnExpression">wasGeneratedBy(id; e, a, t, attrs)</span> in PROV-N,</span> has:
@@ -1829,6 +1832,8 @@
 <p><span class="glossary-ref" data-ref="glossary-usage"></span>  (Note: This definition is formulated for a given usage; it is permitted for an activity to have used a same entity multiple times.)</p>
+<p>Given that a usage  is  the beginning of utilizing an entity, it is 
 <p><div class="attributes" id="attributes-usage"><dfn title="used">Usage</dfn><span class="withPn">, written <span class="pnExpression">used(id; a, e, t, attrs)</span> in PROV-N,</span> has:
@@ -1907,6 +1912,8 @@
 <div class="glossary-ref" data-ref="glossary-start"></div>
+<p>Given that a start is when an activity is deemed to have started, it 
+is instantaneous.</p>
 <p><div class="attributes" id="attributes-start">An activity <dfn title="wasStartedBy">start</dfn><span class="withPn">, written <span class="pnExpression">wasStartedBy(id; a2, e, a1, t, attrs)</span> in PROV-N,</span> has:
@@ -1988,6 +1995,8 @@
 <div class="glossary-ref" data-ref="glossary-end"></div>
+<p>Given that an end is when an activity is deemed to have ended, it is 
 <p><div class="attributes" id="attributes-end">An activity <dfn title="wasEndedBy">end</dfn><span class="withAsn">, written <span class="pnExpression">wasEndedBy(id; a2, e, a1, t, attrs)</span> in PROV-N,</span> has:
@@ -2020,7 +2029,8 @@
 <div class="glossary-ref" data-ref="glossary-invalidation"></div>
+<p>Given that an invalidation is the start  of destruction, cessation, or 
+expiry, it is instantaneous.</p>
 Entities have a duration. Generation marks the beginning of an entity, whereas invalidation marks its end. 
@@ -3292,7 +3302,7 @@
 <p>The attribute <span class="name">prov:value</span> is an OPTIONAL attribute of entity.  The value associated with the  attribute <span class="name">prov:value</span> MUST be a PROV-DM <a title="value">Value</a>. The attribute <span class="name">prov:value</span> MAY occur at most once in a set of attribute-value pairs.</p>
-<div class="anexample">
+<div class="anexample" id="anexample-value1">
 <p>The following example illustrates the provenance of the number <span class="name">4</span> obtained by an activity that computed the length of an input string <span class="name">"abcd"</span>.
 The input and the output are expressed as entities <span class="name">ex:in</span> and <span class="name">ex:out</span>, respectively. They each have a <span class="name">prov:value</span> attribute associated with the corresponding value.
@@ -3306,6 +3316,28 @@
+Two different entities MAY have the same value for the attribute 
+prov:value. For instance,
+when two entities, with the same prov:value, are generated by two 
+different activities, as illustrated
+by the following example.</p>
+<div class="anexample" id="anexample-value2">
+<p><a href="#anexample-value1" class="anexample-ref"><span>Example REF</span></a> illustrates an entity with a given value
+ <span class="name">4</span>. This examples shows that another entity with the same value may be computed differently (by an addition).
+<pre class="codeexample">
+entity(ex:in1, [ prov:value=3 ]) 
+entity(ex:in2, [ prov:value=1 ]) 
+entity(ex:out2, [ prov:value=4 ])      // ex:out2 also has value 4
+activity(ex:add1, [ prov:type="addition" ])
+used(ex:add1, ex:in1)
+used(ex:add1, ex:in2)
+wasGeneratedBy(ex:out2, ex:add1)
@@ -3851,6 +3883,8 @@
 <li> <a href="">ISSUE-519</a>, <a href="">ISSUE-523</a>, <a href="">ISSUE-524</a>, <a href="">ISSUE-529</a>: changed UML diagram of figure 8 by removing explicit inheritance from influence for  usage, start, end, generation, invalidation, communication, derivation, attribution, association, and delegation.  Instead, introduced correspondance table 7.  Furthermore, in response to these issues, it was made clear that PROV defines no attribute specific to subtypes such as SoftwareAgent, ..., Plan, Revision, Bundle, Collection.
 <li> <a href="">ISSUE-495</a>: made explicit which section, figure, table was informative or normative.
 <li> <a href="">ISSUE-521</a>: now states that "an agent relied on a plan" instead of "an agent adopted a plan".
+<li> <a href="">ISSUE-499</a>: Made explicit that generation/usage/invalidation/start/end are implicit.
+<li> <a href="">ISSUE-449</a>: Clarified definition of prov:value attribute and added an example.