--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/model/optional.html Fri Mar 30 12:15:08 2012 +0100
@@ -0,0 +1,78 @@
+<html>
+ <section id="optional">
+<h3>Optional Attributes</h3>
+
+<h4>Time related attributes</h4>
+<ol>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#activity.startTime">startTime</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#activity.endTime">endTime</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#generation.time">time</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#usage.time">time</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#start.time">time</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#end.time">time</a>
+</ol>
+
+<h4>Optional entity/agent/activity/generation/usage</h4>
+<ol>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#generation.activity">activity</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#start.trigger">trigger</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#end.trigger">trigger</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#association.agent">agent</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#association.plan">plan</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#responsibility.activity">activity</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#derivation.activity">activity</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#derivation.generation">generation</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#derivation.usage">usage</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#revision.responsibility">responsibility</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#quotation.quoterAgent">quoterAgent</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#quotation.originalAgent">originalAgent</a>
+</ol>
+
+<h4>Optional attributes</h4>
+<ol>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#entity.attributes">attributes</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#activity.attributes">attributes</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#generation.attributes">attributes</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#usage.attributes">attributes</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#start.attributes">attributes</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#end.attributes">attributes</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#wasInformedBy.attributes">attributes</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#startByActivity.attributes">attributes</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#attribution.attributes">attributes</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#association.attributes">attributes</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#responsibility.attributes">attributes</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#derivation.attributes">attributes</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#revision.attributes">attributes</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#quotation.attributes">attributes</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#originalSource.attributes">attributes</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#traceability.attributes">attributes</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#derivedByInsertionFrom.attributes">attributes</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#derivedByRemovalFrom.attributes">attributes</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#memberOf.attributes">attributes</a>
+</ol>
+
+
+<h4>Optional id</h4>
+<ol>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#generation.id">id</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#usage.id">id</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#start.id">id</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#end.id">id</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#wasInformedBy.id">id</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#startByActivity.id">id</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#attribution.id">id</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#association.id">id</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#responsibility.id">id</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#derivation.id">id</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#revision.id">id</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#quotation.id">id</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#originalSource.id">id</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#traceability.id">id</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#derivedByInsertionFrom.id">id</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#derivedByRemovalFrom.id">id</a>
+<li><a class='attribute' href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#memberOf.id">id</a>
+</ol>
+
+
+</section>
+</html>
--- a/model/prov-dm-constraints.html Fri Mar 30 09:51:30 2012 +0100
+++ b/model/prov-dm-constraints.html Fri Mar 30 12:15:08 2012 +0100
@@ -320,8 +320,8 @@
<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 timespan, after which
-it no longer becomes available for use.</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>
@@ -550,6 +550,8 @@
<p>In this section, we revisit the types and relations of PROV-DM, and examine the constraints associated with their definitions. </p>
+
+
<section id="component1">
<h3>Component 1: Entities and Activities</h3>
--- a/model/prov-dm.html Fri Mar 30 09:51:30 2012 +0100
+++ b/model/prov-dm.html Fri Mar 30 12:15:08 2012 +0100
@@ -1313,10 +1313,10 @@
A <dfn title="wasInformedBy">communication</dfn><span class="withPn">, written as
<span class="pnExpression">wasInformedBy(id,a2,a1,attrs)</span> in PROV-N,</span> contains:
<ul>
-<li><span class='attribute'>id</span>: an OPTIONAL identifier identifying the relation;</li>
-<li><span class='attribute'>informed</span>: the identifier (<span class="name">a2</span>) of the informed activity;
-<li><span class='attribute'>informant</span>: the identifier (<span class="name">a1</span>) of the informant activity;
-<li><span class='attribute'>attributes</span>: an OPTIONAL set (<span class="name">attrs</span>) of attribute-value pairs to further describe properties of the relation.</li>
+<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;
+<li><span class='attribute' id="wasInformedBy.informant">informant</span>: the identifier (<span class="name">a1</span>) of the informant activity;
+<li><span class='attribute' id="wasInformedBy.attributes">attributes</span>: an OPTIONAL set (<span class="name">attrs</span>) of attribute-value pairs to further describe properties of the relation.</li>
</ul>
</div>
@@ -2001,13 +2001,13 @@
<p><div class="attributes" id="attributes-derivedByInsertionFrom">
A <dfn title="derivedByInsertionFrom">Derivation-by-Insertion</dfn> relation<span class="withPn">, written <span class="pnExpression">derivedByInsertionFrom(id, c2, c1, {(key_1, e_1), ..., (key_n, e_n)}, attrs)</span>,</span> contains:</p>
<ul>
-<li><span class='attribute'>id</span>: an OPTIONAL identifier identifying the relation;</li>
-<li><span class='attribute'>after</span>: an identifier (<span class="name">c2</span>) for the collection <em>after</em> insertion; </li>
-<li><span class='attribute'>before</span>: an identifier (<span class="name">c1</span>) for the collection <em>before</em> insertion;</li>
-<li><span class='attribute'>key-entity-set</span>: the inserted key-entity pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span> in which each <span class="name">key_i</span> is a <a>value</a>, and <span class="name">e_i</span> is an identifier for the entity that has been inserted with the key;
+<li><span class='attribute' id="derivedByInsertionFrom.id">id</span>: an OPTIONAL identifier identifying the relation;</li>
+<li><span class='attribute' id="derivedByInsertionFrom.after">after</span>: an identifier (<span class="name">c2</span>) for the collection <em>after</em> insertion; </li>
+<li><span class='attribute' id="derivedByInsertionFrom.before">before</span>: an identifier (<span class="name">c1</span>) for the collection <em>before</em> insertion;</li>
+<li><span class='attribute' id="derivedByInsertionFrom.key-entity-set">key-entity-set</span>: the inserted key-entity pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span> in which each <span class="name">key_i</span> is a <a>value</a>, and <span class="name">e_i</span> is an identifier for the entity that has been inserted with the key;
each <span class="name">key_i</span> is expected to be unique for the key-entity-set;
</li>
-<li><span class='attribute'>attributes</span>: an OPTIONAL set (<span class="name">attrs</span>) of attribute-value pairs to further describe the properties of the relation.</li>
+<li><span class='attribute' id="derivedByInsertionFrom.attributes">attributes</span>: an OPTIONAL set (<span class="name">attrs</span>) of attribute-value pairs to further describe the properties of the relation.</li>
</ul>
</div>
@@ -2078,11 +2078,11 @@
<div class="attributes" id="attributes-derivedByRemovalFrom">
A <dfn title="derivedByRemovalFrom">Derivation-by-Removal</dfn> relation, written <span class="pnExpression">derivedByRemovalFrom(id, c2, c1, {key_1, ... key_n}, attrs)</span>, contains:</p>
<ul>
-<li><span class='attribute'>id</span>: an OPTIONAL identifier identifying the relation;</li>
-<li><span class='attribute'>after</span>: an identifier (<span class="name">c2</span>) for the collection <em>after</em> the deletion; </li>
-<li><span class='attribute'>before</span>: an identifier (<span class="name">c1</span>) for the collection <em>before</em> the deletion;</li>
-<li><span class='attribute'>key-set</span>: a set of deleted keys <span class="name">key_1</span>, ..., <span class="name">key_n</span>, for which each <span class="name">key_i</span> is a <a>value</a>;</li>
-<li><span class='attribute'>attributes</span>: an OPTIONAL set (<span class="name">attrs</span>) of attribute-value pairs to further describe the properties of the relation.</li>
+<li><span class='attribute' id="derivedByRemovalFrom.id">id</span>: an OPTIONAL identifier identifying the relation;</li>
+<li><span class='attribute' id="derivedByRemovalFrom.after">after</span>: an identifier (<span class="name">c2</span>) for the collection <em>after</em> the deletion; </li>
+<li><span class='attribute' id="derivedByRemovalFrom.before">before</span>: an identifier (<span class="name">c1</span>) for the collection <em>before</em> the deletion;</li>
+<li><span class='attribute' id="derivedByRemovalFrom.key-set">key-set</span>: a set of deleted keys <span class="name">key_1</span>, ..., <span class="name">key_n</span>, for which each <span class="name">key_i</span> is a <a>value</a>;</li>
+<li><span class='attribute' id="derivedByRemovalFrom.attributes">attributes</span>: an OPTIONAL set (<span class="name">attrs</span>) of attribute-value pairs to further describe the properties of the relation.</li>
</ul>
</div>
@@ -2128,10 +2128,10 @@
<div class="attributes" id="attributes-memberOf">
A <dfn title="memberOf">membership</dfn> relation, written <span class="pnExpression">memberOf(id, c, {(key_1, e_1), ..., (key_n, e_n)}, attrs)</span>, contains:
<ul>
-<li><span class='attribute'>id</span>: an OPTIONAL identifier identifying the relation;</li>
-<li><span class='attribute'>after</span>: an identifier (<span class="name">c</span>) for the collection whose members are asserted; </li>
-<li><span class='attribute'>key-entity-set</span>: a set of key-entity pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span> that are members of the collection;</li>
-<li><span class='attribute'>attributes</span>: an OPTIONAL set (<span class="name">attrs</span>) of attribute-value pairs to further describe the properties of the relation.</li>
+<li><span class='attribute' id="memberOf.id">id</span>: an OPTIONAL identifier identifying the relation;</li>
+<li><span class='attribute' id="memberOf.after">after</span>: an identifier (<span class="name">c</span>) for the collection whose members are asserted; </li>
+<li><span class='attribute' id="memberOf.key-entity-set">key-entity-set</span>: a set of key-entity pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span> that are members of the collection;</li>
+<li><span class='attribute' id="memberOf.attributes">attributes</span>: an OPTIONAL set (<span class="name">attrs</span>) of attribute-value pairs to further describe the properties of the relation.</li>
</ul>
</div>