--- a/model/prov-dm-constraints.html Mon Apr 02 08:11:57 2012 +0100
+++ b/model/prov-dm-constraints.html Mon Apr 02 08:59:46 2012 +0100
@@ -282,7 +282,7 @@
<section id='prov-dm-refinement'>
<h2>Data Model Refinement</h2>
-<p>Underpinning the PROV-DM data model is a notion of event, marking transitions in the world (when entities are generated, used, or destroyed, or activities started or ended). This notion of event is not first-class in the data model, but underpins many of its concepts and its semantics [[PROV-SEM]]. Thus, using this notion of event, we can provide an interpretation for the data model, which in turn can allow creators of provenance assertions to make their assertions more robust. </p>
+<p>Underpinning the PROV-DM data model is a notion of event, marking transitions in the world (when entities are generated, used, or invalidated, or activities started or ended). This notion of event is not first-class in the data model, but underpins many of its concepts and its semantics [[PROV-SEM]]. Thus, using this notion of event, we can provide an interpretation for the data model, which in turn can allow creators of provenance assertions to make their assertions more robust. </p>
<section id='section-time-event'>
@@ -315,8 +315,8 @@
<section id="types-of-events">
<h4>Types of Events</h4>
-<p>Four kinds of <a title="event">instantaneous events</a> underpin the PROV-DM data model. The <strong>activity start</strong> and <strong>activity end</strong> events demarcate the
-beginning and the end of activities, respectively. The <strong>entity generation</strong> and <strong>entity usage</strong> events demarcate the characterization interval for entities. More
+<p>Five kinds of <a title="event">instantaneous events</a> underpin the PROV-DM data model. The <strong>activity start</strong> and <strong>activity end</strong> events demarcate the
+beginning and the end of activities, respectively. The <strong>entity generation</strong>, <strong>entity usage</strong>, and <strong>entity invalidation</strong> events demarcate the characterization interval for entities. More
specifically:
</p>
@@ -326,11 +326,7 @@
<p>An <dfn id="dfn-usage-event">entity usage event</dfn> is the <a title="event">instantaneous event</a> that marks the first instant of an entity's consumption timespan by an activity.</p>
-<p>An <dfn id="dfn-destruction-event">entity destruction event</dfn> is the <a title="event">instantaneous event</a> that marks the initial instant of an entity's destruction or cessation timespan, after which the entity
-is no longer available for use.</p>
-
-<div class='note'>Tentative definition of destruction!</div>
-
+<p>An <dfn id="dfn-invalidation-event">entity invalidation event</dfn> is the <a title="event">instantaneous event</a> that marks the initial instant of the destruction, invalidation, or cessation of an entity, after which the entity is no longer available for use.</p>
<p>An <dfn id="dfn-start-event">activity start event</dfn> is the <a title="event">instantaneous event</a> that marks the instant an activity starts.</p>
@@ -366,7 +362,7 @@
<p>This specification introduces a set of "temporal interpretation"
-rules allowing the derivation of <a title="event">instantaneous event</a> ordering constraints from
+rules allowing ordering constraints between <a title="event">instantaneous event</a> to inferred from
provenance descriptions. According to such temporal interpretation,
descriptions MUST satisfy such constraints. We note that the
actual verification of such ordering constraints is outside the
@@ -400,11 +396,11 @@
<p>It is the purpose of attributes in PROV-DM to help fix some aspect of entities.
Indeed, we previously defined
-entities as things in the world one wants to provide provenance for;
+entities as things one wants to provide provenance for;
we refine this definition as follows, using attribute-values to describe entities' "partial states", and linking them to the very existence of entities.</p>
<p>
-An <dfn>entity</dfn> is a thing in the world one wants to provide provenance for and whose situation in the world is represented by some attribute-value pairs; an entity's attribute-value pairs remain unchanged during an entity's characterization interval, which is defined as the period comprised between its <a title="entity generation event">generation event</a> and its <a title="entity destruction event">destruction event</a>.</p>
+An <dfn>entity</dfn> is a thing one wants to provide provenance for and whose situation in the world is described by some attribute-value pairs. An entity's attribute-value pairs are specified when the entity description is created and remain unchanged. An entity's attribute-value pairs are expected to describe the entity's situation and (partial) state during an entity's characterization interval, which is defined as the period comprised between its <a title="entity generation event">generation event</a> and its <a title="entity invalidation event">invalidation event</a>.</p>
<p>An entity fixes some aspects of a thing and its situation in the
world. An alternative entity may fix other aspects, and its provenance
@@ -434,7 +430,7 @@
<p>We do not assume that any entity is more important than any other; in fact, it is possible to describe the processing that occurred for the report to be commissioned, for
individual versions to be created, for those versions to be published at the given URL, etc., each via a different entity with attribute-value pairs that fix some aspect of the report appropriately.</p>
-<p>Attributes are not restricted to entities, but they belong to a variety of PROV-DM objects, including activities, activity associations, responsibility chains, generations, usages, derivations, and alternates. Each object has its duration interval, and attribute-value pairs for a given object, are expected to be unchanged for the object's duration.</p>
+<p>Attributes are not restricted to entities, but they belong to a variety of PROV-DM objects, including activity, generation, usage, start, end, communication, attribution, association, responsibility, and derivation. Each object has its duration interval (potentially collapsing to a single time point), and attribute-value pairs for a given object, are expected to be descriptions that hold for the object's duration.</p>
</section>
@@ -473,9 +469,7 @@
</p>
-
</section>
-<div class='issue'> We need to refine the definition of entity and activity, and all the concepts in general. This is <a href="http://www.w3.org/2011/prov/track/issues/223">ISSUE-223</a>.</div>
@@ -567,8 +561,8 @@
<p>
-An <dfn>entity</dfn> is a thing one wants to provide provenance for and whose situation in the world is represented by some attribute-value pairs. An entity's attribute-value pairs are specified when the entity description is created and remain unchanged. An entity's attribute-value pairs are expected to represent the entity's situation and (partial) state during an entity's characterization interval,
- i.e. a continuous interval between two <a title="event">instantaneous events</a> in the world, namely its <a title="entity generation event">generation event</a> and its <a title="entity destruction event">destruction event</a>.</p>
+An <dfn>entity</dfn> is a thing one wants to provide provenance for and whose situation in the world is described by some attribute-value pairs. An entity's attribute-value pairs are specified when the entity description is created and remain unchanged. An entity's attribute-value pairs are expected to describe the entity's situation and (partial) state during an entity's characterization interval,
+ i.e. a continuous interval between two <a title="event">instantaneous events</a> in the world, namely its <a title="entity generation event">generation event</a> and its <a title="entity invalidation event">invalidation event</a>.</p>
<p>If an entity's situation changes in the world, this may result in its description being invalid, because one or more attribute-value pairs no longer hold. In that case, from the PROV viewpoint, there exists a new entity, which needs to be given a distinct identifier, and associated with the attribute-value pairs that reflect its new situation in the world.</p>
@@ -1197,7 +1191,7 @@
introduces a notion of <a title="event">instantaneous event</a>
marking changes in the world, in its activities and entities. PROV-DM
identifies five kinds of <a title="event">instantaneous events</a>, namely <a>entity generation
-event</a>, <a>entity usage event</a>, <a>entity destruction event</a>, <a>activity start event</a>
+event</a>, <a>entity usage event</a>, <a>entity invalidation event</a>, <a>activity start event</a>
and <a>activity end event</a>. PROV-DM adopts Lamport's clock
assumptions [[CLOCK]] in the form of a reflexive, transitive partial order <a>follows</a>
(and its inverse <a>precedes</a>) between <a title="event">instantaneous events</a>. Furthermore,
@@ -1251,7 +1245,7 @@
<div class="note">THis is new</div>
<div class='interpretation' id='generation-precedes-invalidation'>For any entity, the following ordering constraint holds: the <a title="entity generation event">generation</a> of an entity always
-<a>precedes</a> any of its <a title="entity destruction event">destruction</a>.
+<a>precedes</a> any of its <a title="entity invalidation event">invalidation</a>.
</div>
@@ -1360,7 +1354,7 @@
</div>
<div class='issue'>In the following, we assume that we can talk about the end of an entity (or agent)
-For this, we use the term 'destruction' This is <a href="http://www.w3.org/2011/prov/track/issues/204">ISSUE-204</a>.
+For this, we use the term 'invalidation' This is <a href="http://www.w3.org/2011/prov/track/issues/204">ISSUE-204</a>.
</div>
@@ -1384,12 +1378,12 @@
class="name">wasStartedBy(a,ag)</span>
holds, <span class='conditional'>then</span> the following ordering constraints hold: the
<a title="activity start event">start</a> event of the activity denoted by <span class="name">a</span> <a>follows</a> the <a title="entity generation event">generation event</a> for agent denoted by <span class="name">ag</span>, and
-<a>precedes</a> the destruction event of
+<a>precedes</a> the invalidation event of
the same agent.
</div>
-<p>An activity that was associated with an agent must have some overlap with the agent. The agent may be generated, or may only become associated with the activity, after its start: so, the agent is required to exist before the activity end. Likewise, the agent may be destructed, or may terminate its association with the activity, before the activity end: hence, the agent destruction is required to happen after the activity start.
+<p>An activity that was associated with an agent must have some overlap with the agent. The agent may be generated, or may only become associated with the activity, after its start: so, the agent is required to exist before the activity end. Likewise, the agent may be destructed, or may terminate its association with the activity, before the activity end: hence, the agent invalidation is required to happen after the activity start.
This is
illustrated by Subfigure <a href="#constraint-summary2">constraint-summary2</a> (b) and expressed by constraint <a href="#wasAssociatedWith-ordering">wasAssociatedWith-ordering</a>.</p>
@@ -1399,7 +1393,7 @@
class="name">wasAssociatedWith(a,ag)</span>
holds, <span class='conditional'>then</span> the following ordering constraints hold: the
<a title="activity start event">start</a> event of the activity denoted by <span class="name">a</span>
-precedes the destruction event of
+precedes the invalidation event of
the agent denoted by <span class="name">ag</span>, and
the <a title="entity generation event">generation event</a> for agent denoted by <span class="name">ag</span>
<a>precedes</a> the activity <a title="activity end event">end</a> event.
@@ -1893,7 +1887,7 @@
</li>
-<li> A destruction event for <span class="name">tr:prov-dm</span> is provided.
+<li> A invalidation event for <span class="name">tr:prov-dm</span> is provided.
<pre>
entity(tr:prov-dm)
agent(ex:Simon)
@@ -1902,7 +1896,7 @@
wasAttributedTo(tr:prov-dm,ex:Simon)
</pre>
<div class='note'>
-Speculative, since we have not defined the destruction event (yet?.
+Speculative, since we have not defined the invalidation event (yet?.
What is the meaning here? that only the versions that existed during this characterization interval were attributed to ex:Simon.
</div>
</li>