extensibility
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Mon, 11 Jun 2012 22:44:05 +0100
changeset 3277 39838b45c21e
parent 3276 0cfbd38b48ff
child 3278 00e08f20e20d
extensibility
model/prov-dm.html
--- a/model/prov-dm.html	Mon Jun 11 22:19:09 2012 +0100
+++ b/model/prov-dm.html	Mon Jun 11 22:44:05 2012 +0100
@@ -2781,7 +2781,7 @@
 
 <p>A bundle's
 descriptions provide a context in which to interpret an entity in a
-domain-specific manner.  The contextualization of this entity with respect to this bundle offers the opportunity to specialize it according to domain-specific interpretation.
+domain-specific manner.  The contextualization of this entity with respect to this bundle offers the opportunity to specialize it according to some domain-specific interpretation.
 </p>
 
 <!--
@@ -2792,7 +2792,7 @@
 -->
 
 
-<p>A contextualization of an entity in a remote bundle results in a specialization of this entity that with extra fixed aspects, including the remote bundle that it is described in. 
+<p>A contextualization of an entity in a remote bundle results in a specialization of this entity with extra fixed aspects, including the remote bundle that it is described in. 
 </p>
 
 <p><div class="attributes" id="attributes-contextualization">A <dfn title="contextualizationOf">contextualization</dfn> relation<span class="withPn">, written <span class="pnExpression">contextualizationOf(l, e, b)</span> in PROV-N,</span> has:
@@ -2818,7 +2818,7 @@
     wasAssociatedWith(ex:a2,ex:Bob,[prov:role="controller"])
 endBundle
 </pre> 
-<p>A performance rating tool reads these bundles, and rates the performance of the agent described in these bundles. The performance rating tool creates a new bundle <span class="name">tool:analysis01</span> containing the following. A new agent <span class="name">tool:Bob-2011-11-16</span> is declared as a contextualization of <span class="name">ex:Bob</span> as described in context <span class="name">ex:run1</span>, and likewise for  <span class="name">tool:Bob-2011-11-17</span> with respect to <span class="name">ex:run2</span>. The tool adds a performance attribute to each of these specialized entities as follows: the performance of the agent in the first bundle is judged to be good since the duration of <span class="name">ex:a1</span> is one hour, whereas it is judged to be bad in the second bundle since <span class="name">ex:a2</span>'s duration is seven hours.
+<p>A performance rating tool reads these bundles, and rates the performance of the agent described in these bundles. The performance rating tool creates a new bundle <span class="name">tool:analysis01</span> containing the following. A new agent <span class="name">tool:Bob-2011-11-16</span> is declared as a contextualization of <span class="name">ex:Bob</span> as described in remote bundle <span class="name">ex:run1</span>, and likewise for  <span class="name">tool:Bob-2011-11-17</span> with respect to <span class="name">ex:run2</span>. The tool adds a domain-specific performance attribute to each of these specialized entities as follows: the performance of the agent in the first bundle is judged to be good since the duration of <span class="name">ex:a1</span> is one hour, whereas it is judged to be bad in the second bundle since <span class="name">ex:a2</span>'s duration is seven hours.
 
 <pre class="codeexample">
 bundle tool:analysis01
@@ -3542,15 +3542,13 @@
 <h2>PROV-DM Extensibility Points</h2>
 
 
-<p>The PROV data model provides extensibility points that allow designers to specialize it for specific applications or domains. We summarize these extensibility points here:
+<p>The PROV data model provides extensibility points that allow designers to specialize it for specific applications or domains. We summarize these extensibility points here. </p>
+
+
+<p>The <a title="prov-namespace">PROV namespace</a> declares a set of reserved attributes catering for extensibility: <a href="#term-attribute-type"><span class="name">prov:type</span></a>, <a href="#term-attribute-role"><span class="name">prov:role</span></a>, <a href="#term-attribute-location"><span
+class="name">prov:location</span></a>.</p>
 
 <ul>
-<li> Attribute-value lists occur in all types and most relations of the data model.  Applications designers are free to introduce further application-specific attributes. Attributes for a given application can be distinguished by qualifying them with a prefix denoting a namespace
-declared in a namespace declaration.
-
-<p>The <a title="prov-namespace">PROV namespace</a> declares a set of reserved attributes catering for extensibility: <a href="#term-attribute-type"><span class="name">prov:type</span></a>, <a href="#term-attribute-role"><span class="name">prov:role</span></a>, <a href="#term-attribute-location"><span
-class="name">prov:location</span></a>.</li>
-
 <li>Sub-types and sub-relations can be expressed by means of the reserved attribute 
 <a href="#term-attribute-type"><span class="name">prov:type</span></a>.
 
@@ -3576,14 +3574,28 @@
 
 </li>
 
-
-
-
-
-<li>New namespaces and associated prefixes can be declared, allowing attributes and names to be qualified. </li>
-
-<li>Notes allow arbitrary metadata to be associated with anything identifiable in PROV-DM. Notes consist of attribute-value pairs.  Attributes are qualified by a
-namespace.</li>
+<li>Application and domain specific roles can be expressed by means of the reserved attribute 
+<a href="#term-attribute-role"><span class="name">prov:role</span></a>.
+
+<div class="anexample" id="anexample-usage-with-role">
+<p>
+In the following example,  two computers  <span class="name">ex:laptop4</span> and <span class="name">ex:desktop9</span> are used in different roles in a work activity.
+<pre class="codeexample"> 
+  activity(ex:work)
+  entity(ex:laptop4)
+  entity(ex:desktop9)
+  used(ex:work, ex:laptop4,  [prov:role="day-to-day machine"])
+  used(ex:work, ex:desktop9, [prov:role="backup machine"])
+</pre>
+</div>
+</li>
+
+
+<li> Attribute-value lists occur in all types and most relations of the data model.  Applications designers are free to introduce further application-specific attributes. Attributes for a given application can be distinguished by qualifying them with a prefix denoting a namespace
+declared in a namespace declaration. New namespaces and associated prefixes can be declared, allowing attributes and names to be qualified. 
+</li>
+
+
 
 </ul>