dm minor edits
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Fri, 25 May 2012 07:43:18 +0100
changeset 2974 b2e354aee0a2
parent 2973 45a595d80e4c
child 2975 215fe8c8139d
dm minor edits
model/glossary.html
model/glossary.js
model/prov-dm.html
--- a/model/glossary.html	Thu May 24 21:51:11 2012 -0400
+++ b/model/glossary.html	Fri May 25 07:43:18 2012 +0100
@@ -210,7 +210,7 @@
 <span class="glossary" id="glossary-invalidation">  
 <dfn id="concept-invalidation">Invalidation</dfn>
 is the start of the destruction, cessation, or expiry of an existing entity by an activity.
-The entity is no longer available for use after invalidation. Any generation or usage of an entity precedes its invalidation.</span>
+The entity is no longer available for use (or further invalidation) after invalidation. Any generation or usage of an entity precedes its invalidation.</span>
 
 
 <span class="glossary" id="glossary-bundle">
--- a/model/glossary.js	Thu May 24 21:51:11 2012 -0400
+++ b/model/glossary.js	Fri May 25 07:43:18 2012 +0100
@@ -3,7 +3,7 @@
 //  with <script src="glossary.js" class="remove"></script>
 //Insert glossary definitions with the following 
 // <div class="glossary-ref" ref="glossary-generation"></div>
-glossary_hg='http://dvcs.w3.org/hg/prov/file/5900bd8af80d/model/glossary.html';
+glossary_hg='http://dvcs.w3.org/hg/prov/file/45a595d80e4c/model/glossary.html';
 glossary_string= 
 ' ' + 
 '<html> ' + 
@@ -217,7 +217,7 @@
 '<span class="glossary" id="glossary-invalidation">   ' + 
 '<dfn id="concept-invalidation">Invalidation</dfn> ' + 
 'is the start of the destruction, cessation, or expiry of an existing entity by an activity. ' + 
-'The entity is no longer available for use after invalidation. Any generation or usage of an entity precedes its invalidation.</span> ' + 
+'The entity is no longer available for use (or further invalidation) after invalidation. Any generation or usage of an entity precedes its invalidation.</span> ' + 
 ' ' + 
 ' ' + 
 '<span class="glossary" id="glossary-bundle"> ' + 
--- a/model/prov-dm.html	Thu May 24 21:51:11 2012 -0400
+++ b/model/prov-dm.html	Fri May 25 07:43:18 2012 +0100
@@ -579,6 +579,9 @@
 the mix); in contrast, the same entity may be used multiple times, possibly by different activities (e.g. a file on a file system can be read indefinitely).
 </div>
 
+
+<p>The generation of an entity by an activity and its subsequent usage by another activity is termed communication.</p>
+
 <p>
 <div class="glossary-ref" data-ref="glossary-communication"  data-withspan="true">
 </div>
@@ -586,8 +589,11 @@
 
 
 
+
 <div class="conceptexample" id="communication-example">
-<p>An example of commication is ...
+<p>
+The activity of writing a celebrity article was informed by (a
+communication instance) the activity of intercepting voicemails.
 </div>
 
 
@@ -1367,7 +1373,7 @@
 <div class="glossary-ref" data-ref="glossary-generation"></div>
 
 <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:
+<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:
 <ul>
 <li><span class='attribute' id="generation.id">id</span>:  an OPTIONAL 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>
@@ -1416,7 +1422,7 @@
 <div class="glossary-ref" data-ref="glossary-usage"></div>
 
 
-<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:
+<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:
 <ul>
 <li><span class='attribute' id="usage.id">id</span>:  an OPTIONAL identifier for a usage;</li> 
 <li><span class='attribute' id="usage.activity">activity</span>: an identifier (<span class="name">a</span>) for the activity that used an entity;</li>
@@ -1465,7 +1471,7 @@
 
 <p><div class="attributes" id="attributes-wasInformedBy">
 A <dfn title="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">wasInformedBy(id; a2, a1, attrs)</span> in PROV-N,</span> has: 
 <ul>
 <li><span class='attribute' id="wasInformedBy.id">id</span>:  an OPTIONAL 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;
@@ -1505,11 +1511,14 @@
 </ul>
 </div>
 
+<p>While each of <a href="#start.id"><span class='attribute'>id</span></a>, <a href="#start.trigger"><span class='attribute'>trigger</span></a>, <a href="#start.starter"><span class='attribute'>starter</span></a>, <a href="#start.time"><span class='attribute'>time</span></a>, and  <a href="#start.attributes"><span class='attribute'>attributes</span></a> is OPTIONAL, at least one of them MUST be present.</p>
+
+
 <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"] )
+entity(e1, [ prov:type="email message"] )
 activity(a1, [ prov:type="Discuss" ])
 wasStartedBy(a1, e1, -, 2011-11-16T16:05:00)
 </pre>
@@ -1523,6 +1532,10 @@
 wasGeneratedBy(e1, a0)
 wasStartedBy(a1, e1, a0, 2011-11-16T16:05:00)
 </pre>
+<p>If <span class="name">e1</span> is not known, it would also have valid to write:
+<pre class="codeexample">
+wasStartedBy(a1, -, a0, 2011-11-16T16:05:00)
+</pre>
 </div>
 
 <div class="anexample">
@@ -1541,7 +1554,7 @@
 <div class="anexample">
 <p>
 In this example, filling fuel was started as a consequence of
-observing the low fuel. The trigger entity is unspecified, it could
+observing 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.
 
@@ -1568,7 +1581,7 @@
 <div class="glossary-ref" data-ref="glossary-end"></div>
 
 
-<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:
+<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:
 <ul>
 <li><span class='attribute' id="end.id">id</span>:  an OPTIONAL identifier for the activity end;</li> 
 <li><span class='attribute' id="end.activity">activity</span>: an identifier (<span class="name">a2</span>) for the ended activity;
@@ -1579,17 +1592,18 @@
 </ul>
 </div>
 
+<p>While each of <a href="#end.id"><span class='attribute'>id</span></a>, <a href="#end.trigger"><span class='attribute'>trigger</span></a>, <a href="#end.ender"><span class='attribute'>ender</span></a>, <a href="#end.time"><span class='attribute'>time</span></a>, and  <a href="#end.attributes"><span class='attribute'>attributes</span></a> is OPTIONAL, at least one of them MUST be present.</p>
+
+
 <div class="anexample">
 <p>
 The following example is a description of an activity <span class="name">a1</span> (editing) that was ended following an approval document <span class="name">e1</span>.</p>
 <pre class="codeexample">
-entity(e1,[prov:type="approval document"])
-activity(a1,[prov:type="Editing"])
-wasEndedBy(a1,e1)
+entity(e1, [ prov:type="approval document" ])
+activity(a1, [ prov:type="Editing" ])
+wasEndedBy(a1, e1)
 </pre>
 </div>
-
-
 </section>
 
 <section id="term-Invalidation">
@@ -1601,7 +1615,8 @@
 
 
 <p>
-Entities have a duration. Generation marks the beginning of an entity. An entity's lifetime can end for different reasons:</p>
+Entities have a duration. Generation marks the beginning of an entity, whereas invalidation marks its end. 
+An entity's lifetime can end for different reasons:</p>
 <ul>
 <li> an entity was destroyed: e.g. a painting was destroyed by fire; a Web page is taken out of a site;
 <li> an entity was consumed: e.g. Bob ate all his soup, Alice ran out of gas when driving to work;
@@ -1615,30 +1630,30 @@
 
 
 <p>
-<div class="attributes" id="attributes-invalidation"><dfn title="wasInvalidatedBy">Invalidation</dfn><span class="withPn">, written <span class="pnExpression">wasInvalidatedBy(id;e,a,t,attrs)</span> in PROV-N,</span> has:
+<div class="attributes" id="attributes-invalidation"><dfn title="wasInvalidatedBy">Invalidation</dfn><span class="withPn">, written <span class="pnExpression">wasInvalidatedBy(id; e, a, t, attrs)</span> in PROV-N,</span> has:
 <ul>
-<li><span class='attribute'>id</span>:  an OPTIONAL identifier for a invalidation;</li> 
-<li><span class='attribute'>entity</span>:  an identifier for the invalidated entity; </li>
-<li><span class='attribute'>activity</span>:  an OPTIONAL identifier for the activity that invalidated the entity;</li>
-
-<li><span class='attribute'>time</span>: an OPTIONAL "invalidation time", the time at which the entity began to be invalidated;</li>
-
-<li><span class='attribute'>attributes</span>:  an OPTIONAL set of attribute-value pairs representing additional information about this invalidation.</li>
+<li><span class='attribute' id="invalidation.id">id</span>:  an OPTIONAL identifier for a invalidation;</li> 
+<li><span class='attribute' id="invalidation.entity">entity</span>:  an identifier for the invalidated entity; </li>
+<li><span class='attribute' id="invalidation.activity">activity</span>:  an OPTIONAL identifier for the activity that invalidated the entity;</li>
+
+<li><span class='attribute' id="invalidation.time">time</span>: an OPTIONAL "invalidation time", the time at which the entity began to be invalidated;</li>
+
+<li><span class='attribute' id="invalidation.attributes">attributes</span>:  an OPTIONAL set of attribute-value pairs representing additional information about this invalidation.</li>
 </ul></div>
-<p>While each of <span class='attribute'>id</span>, <span class='attribute'>activity</span>, <span class='attribute'>time</span>, and  <span class='attribute'>attributes</span> is OPTIONAL, at least one of them MUST be present.</p>
+<p>While each of <a href="#invalidation.id"><span class='attribute'>id</span></a>, <a href="#invalidation.activity"><span class='attribute'>activity</span></a>, <a href="#invalidation.time"><span class='attribute'>time</span></a>, and  <a href="#invalidation.attributes"><span class='attribute'>attributes</span></a> is OPTIONAL, at least one of them MUST be present.</p>
 
 
 
 <div class="anexample" id="anexample-invalidation1">
 <p>
-The Painter, a Picasso painting, is known to have been destroyed in a <a href="http://en.wikipedia.org/wiki/Lost_artworks#20th_century">plane accident</a>.
+<em>The Painter</em>, a Picasso painting, is known to have been destroyed in a <a href="http://en.wikipedia.org/wiki/Lost_artworks#20th_century">plane accident</a>.
 
 <pre class="codeexample">
 entity(ex:The-Painter)
 agent(ex:Picasso)
 wasAttributedTo(ex:The-Painter, ex:Picasso)
 activity(ex:crash)
-wasInvalidatedBy(ex:The-Painter, ex:crash, 1998-09-02, [ex:circumstances="plane accident"])
+wasInvalidatedBy(ex:The-Painter, ex:crash, 1998-09-02, [ ex:circumstances="plane accident" ])
 </pre>
 </div>
 
@@ -1650,9 +1665,9 @@
 but the BBC news home page on the next day did not.
 <pre class="codeexample">
 entity(ex:bbcNews2012-04-03)
-memberOf(ex:bbcNews2012-04-03,{("item1", bbc:news/uk-17595024)})
-wasGeneratedBy  (ex:bbcNews2012-04-03,-,2012-04-03T00:00:01)
-wasInvalidatedBy(ex:bbcNews2012-04-03,-,2012-04-03T23:59:59)
+memberOf(ex:bbcNews2012-04-03, {("item1", bbc:news/uk-17595024)})
+wasGeneratedBy  (ex:bbcNews2012-04-03, -, 2012-04-03T00:00:01)
+wasInvalidatedBy(ex:bbcNews2012-04-03, -, 2012-04-03T23:59:59)
 </pre>
 We refer to example <a href="#anexample-specialization">anexample-specialization</a> for further descriptions of the BBC Web site, and to  <a href="#term-dictionary-membership">Section 5.6.5</a> for a description of the relation <a>memberOf</a>.
 </div>
@@ -1767,7 +1782,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><div class="attributes" id="attributes-attribution">An <dfn title="wasAttributedTo">attribution</dfn> relation<span class="withPn">, written <span class="pnExpression">wasAttributedTo(id;e,ag,attrs)</span> in PROV-N,</span> has:
+<p><div class="attributes" id="attributes-attribution">An <dfn title="wasAttributedTo">attribution</dfn> relation<span class="withPn">, written <span class="pnExpression">wasAttributedTo(id; e, ag, attrs)</span> in PROV-N,</span> has:
 <ul>
 <li><span class='attribute' id="attribution.id">id</span>: an OPTIONAL identifier for the relation;</li> 
 <li><span class='attribute' id="attribution.entity">entity</span>: an entity identifier (<span class="name">e</span>);</li>
@@ -1801,7 +1816,7 @@
 <div class="glossary-ref" data-ref="glossary-plan"></div>
 
 
-<p><div class="attributes" id="attributes-activity-association">An <dfn title="wasAssociatedWith">activity association</dfn><span class="withPn">, written <span class="pnExpression">wasAssociatedWith(id;a,ag,pl,attrs)</span> in PROV-N,</span> has:
+<p><div class="attributes" id="attributes-activity-association">An <dfn title="wasAssociatedWith">activity association</dfn><span class="withPn">, written <span class="pnExpression">wasAssociatedWith(id; a, ag, pl, attrs)</span> in PROV-N,</span> has:
 <ul>
 <li><span class='attribute' id="association.id">id</span>:  an OPTIONAL 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>
@@ -1857,7 +1872,7 @@
 
 <p>
 <div class="attributes" id="attributes-delegation">
-A <dfn title="actedOnBehalfOf">delegation</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">delegation</dfn> link<span class="withPn">, written <span class="pnExpression">actedOnBehalfOf(id; ag2, ag1, a, attrs)</span> in PROV-N,</span> has:
 <ul>
 <li><span class='attribute' id="delegation.id">id</span>:  an OPTIONAL identifier for the delegation link between delegate and responsible;</li> 
 <li><span class='attribute' id="delegation.delegate">delegate</span>: an identifier (<span class="name">ag2</span>) for the agent associated with an activity, acting on behalf of the responsible
@@ -2112,7 +2127,7 @@
 some responsibility for  <span class="name">e2</span>'s existence.
 
 
-<p>A <dfn title="tracedTo">Trace</dfn> relation<span class="withPn">, written <span class="pnExpression">tracedTo(id;e2,e1,attrs)</span> in PROV-N,</span> has:</p>
+<p>A <dfn title="tracedTo">Trace</dfn> relation<span class="withPn">, written <span class="pnExpression">tracedTo(id; e2, e1, attrs)</span> in PROV-N,</span> has:</p>
 <ul>
 <li><span class='attribute' id="trace.id">id</span>:  an OPTIONAL identifier identifying the relation;</li> 
 <li><span class='attribute' id="trace.entity">entity</span>:  an identifier (<span class="name">e2</span>) for an entity;