--- a/model/all-divs.js Sat Nov 10 12:36:00 2012 -0500
+++ b/model/all-divs.js Sat Nov 10 15:44:54 2012 -0500
@@ -196,7 +196,9 @@
' <td style="text-align: center;"> ' +
' <a class="section-ref" href="#section-agents-attribution-association-delegation"><span>TBD</span></a> ' +
' </td> ' +
-' </tr> ' +
+ ' </tr> ';
+
+divs_string=divs_string +
' <tr> ' +
' <td> ' +
' <a>Delegation</a> ' +
@@ -445,7 +447,9 @@
' about bundles, a mechanism to support provenance of provenance ' +
' </td> ' +
' </tr> ' +
-' <tr> ' +
+ ' <tr> ';
+
+divs_string=divs_string +
' <td> ' +
' 5 ' +
' </td> ' +
@@ -545,7 +549,9 @@
' collections. ' +
' </li> ' +
' </ul> ' +
-' </div><div style="text-align: center;"> ' +
+ ' </div><div style="text-align: center;"> ';
+
+divs_string=divs_string +
' <img src="images/dm/components-dependencies.png" alt="PROV-DM Components" style="max-width: 90%; " /> <map id="componentMap"> ' +
' <area title="agents/responsibility" href="#component3" coords="0,0,67,268" alt="agents/responsibility" shape="rect" /> ' +
' <area title="agents/responsibility" href="#component3" coords="67,0,134,201" alt="agents/responsibility" shape="rect" /> ' +
@@ -832,7 +838,9 @@
' <a title="dfn-revision">... prov:type=\'prov:Revision\' ...</a> ' +
' </td> ' +
' </tr> ' +
-' <tr class="component2-color"> ' +
+ ' <tr class="component2-color"> ';
+
+divs_string=divs_string +
' <td class="provType"> ' +
' <a>Quotation</a> ' +
' </td> ' +
@@ -1084,7 +1092,9 @@
' OPTIONAL set of attribute-value pairs ((<span class="name">attr1</span>, ' +
' <span class="name">val1</span>), ...) representing additional ' +
' information about this activity. ' +
-' </li> ' +
+ ' </li> ';
+
+divs_string=divs_string +
' </ul> ' +
' </div><div class="anexample" id="anexample-activity"> ' +
' <p> ' +
@@ -1506,7 +1516,9 @@
' OPTIONAL identifier (<span class="name">u1</span>) for the usage ' +
' involving the used entity (<span class="name">e1</span>) and activity; ' +
' </li> ' +
-' <li> ' +
+ ' <li> ';
+
+divs_string=divs_string +
' <span class="attribute" id="derivation.attributes">attributes</span>: ' +
' an OPTIONAL set (<span class="name">attrs</span>) of attribute-value ' +
' pairs representing additional information about this derivation. ' +
@@ -1759,7 +1771,8 @@
' an identifier (<span class="name">ag1</span>) for the agent, on behalf ' +
' of which the delegate agent acted; ' +
' </li> ' +
-' <li> ' +
+ ' <li> ';
+divs_string=divs_string +
' <span class="attribute" id="delegation.activity">activity</span>: an ' +
' OPTIONAL identifier (<span class="name">a</span>) of an activity for ' +
' which the delegation link holds; ' +
@@ -1995,7 +2008,10 @@
' ..., <span class="name">description_n</span>. ' +
' </li> ' +
' </ul> ' +
-' <p> ' +
+ ' <p> ';
+
+
+divs_string=divs_string +
' A bundle\'s identifier <span class="name">id</span> identifies a unique ' +
' set of descriptions. ' +
' </p> ' +
@@ -2249,7 +2265,8 @@
' entity(ex:report2, [ prov:type="report", ex:version=2 ]) ' +
' wasGeneratedBy(ex:g2; ex:report2, -, 2012-05-25T11:00:01) ' +
' wasDerivedFrom(ex:report2, ex:report1) ' +
-'endBundle ' +
+ 'endBundle ';
+divs_string=divs_string +
'entity(obs:bundle1, [ prov:type=\'prov:Bundle\' ]) ' +
'wasAttributedTo(obs:bundle1, ex:observer01) ' +
'</pre> ' +
@@ -2525,7 +2542,9 @@
' </p> ' +
'<pre class="codeexample" xml:space="preserve"> ' +
' "ex:value" %% prov:QUALIFIED_NAME ' +
-'</pre> ' +
+ '</pre> ';
+
+divs_string=divs_string +
' Alternatively, the same value can be expressed using the following ' +
' convenience notation. ' +
'<pre class="codeexample" xml:space="preserve"> ' +
@@ -2625,7 +2644,8 @@
' </tr> ' +
' <tr class="component1-color"> ' +
' <td> ' +
-' <a title="Generation">Generation</a> ' +
+ ' <a title="Generation">Generation</a> ';
+divs_string=divs_string +
' </td> ' +
' <td> ' +
' <a href="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/last-call/2012-07-03-internal-review/Overview.html#wasGeneratedBy">wasGeneratedBy</a>, ' +
@@ -3107,7 +3127,8 @@
' class="name">wasDerivedFrom(id; e1,e2,a,g,u,attr)</span> where some ' +
' activity, generation and use are given explicitly. The short form is not ' +
' defined in terms of the long form in this case.</p> --> ' +
-' <p> ' +
+ ' <p> ';
+divs_string=divs_string +
' There are no expansion rules for entity, agent, communication, ' +
' attribution, influence, alternate, specialization, or mention relations, ' +
' because these have no optional parameters aside from the identifier and ' +
@@ -3350,7 +3371,8 @@
' <span class="conditional">IF</span> <span class="name">wasStartedBy(id; ' +
' a2,e,a1,_t,attrs)</span> <span class="conditional">THEN</span> <span class="name">wasInfluencedBy(id; a2, e, attrs)</span>. ' +
' </li> ' +
-' <li> ' +
+ ' <li> ';
+divs_string=divs_string +
' <span class="conditional">IF</span> <span class="name">wasEndedBy(id; ' +
' a2,e,_a1,_t,attrs)</span> <span class="conditional">THEN</span> <span class="name">wasInfluencedBy(id; a2, e, attrs)</span>. ' +
' </li> ' +
@@ -3626,7 +3648,10 @@
' </p> ' +
' </div><div class="constraint" id="start-start-ordering"> ' +
' <p> ' +
-' <span class="conditional">IF</span> <span class="name">wasStartedBy(start1; ' +
+ ' <span class="conditional">IF</span> <span class="name">wasStartedBy(start1; ';
+
+
+divs_string=divs_string +
' a,_e1,_a1,_t1,_attrs1)</span> and <span class="name">wasStartedBy(start2; ' +
' a,_e2,_a2,_t2,_attrs2)</span> <span class="conditional">THEN</span> ' +
' <span class="name">start1</span> <a title="precedes">precedes</a> <span class="name">start2</span>. ' +
@@ -3838,7 +3863,8 @@
' ag,_e1,_a1,_t1,_attrs1)</span> and <span class="name">wasGeneratedBy(gen2; ' +
' e,_a2,_t2,_attrs2)</span> <span class="conditional">THEN</span> <span class="name">start1</span> <a title="precedes">precedes</a> <span class="name">gen2</span>. ' +
' </li> ' +
-' </ol> ' +
+ ' </ol> ';
+divs_string=divs_string +
' </div><div class="constraint" id="actedOnBehalfOf-ordering"> ' +
' <ol> ' +
' <li> ' +
@@ -4074,7 +4100,8 @@
' typeOf(id)</span> AND <span class="name">\'activity\' isin; typeOf(id)</span> ' +
' <span class="conditional">THEN</span> <span class="conditional">INVALID</span>. ' +
' </p> ' +
-' </div><div class="remark"> ' +
+ ' </div><div class="remark"> ' ;
+divs_string=divs_string +
' There is no disjointness between entities and agents. This is because one ' +
' might want to make statements about the provenance of an agent, by making ' +
' it an entity. For example, one can assert both <span class="name">entity(a1)</span> ' +
@@ -4156,7 +4183,8 @@
' e,a1,_t1,[])</span><span class="name">used(_use; a2,e,_t2,[])</span><span class="conditional">IF</span><span class="name">wasGeneratedBy(_gen; ' +
' e,a1,_t1,_attrs1)</span><span class="name">used(_id2; ' +
' a2,e,_t2,_attrs2)</span><span class="conditional">THEN</span><span class="name">_id</span><span class="name">wasInformedBy(_id; ' +
-' a2,a1,[])</span><span class="name">wasInformedBy</span><span class="name">wasInformedBy(a3,a1)</span><span class="name">wasInformedBy(a2,a1)</span><span class="name">e1</span><span class="name">e1</span><span class="name">a1</span><span class="name">a2</span><span class="name">wasInformedBy(a3,a2)</span><span class="name">e2</span><span class="name">e2</span><span class="name">a2</span><span class="name">a3</span><span class="name">e1</span><span class="name">e2</span><span class="name">a3</span><span class="name">a1</span><span class="name">a3</span><span class="name">a1</span><span class="conditional">IF</span><span class="name">entity(e,_attrs)</span><span class="conditional">THEN</span><span class="name">_gen</span><span class="name">_a1</span><span class="name">_t1</span><span class="name">_inv</span><span class="name">_a2</span><span class="name">_t2</span><span class="name">wasGeneratedBy(_gen; ' +
+ ' a2,a1,[])</span><span class="name">wasInformedBy</span><span class="name">wasInformedBy(a3,a1)</span><span class="name">wasInformedBy(a2,a1)</span><span class="name">e1</span><span class="name">e1</span><span class="name">a1</span><span class="name">a2</span><span class="name">wasInformedBy(a3,a2)</span><span class="name">e2</span><span class="name">e2</span><span class="name">a2</span><span class="name">a3</span><span class="name">e1</span><span class="name">e2</span><span class="name">a3</span><span class="name">a1</span><span class="name">a3</span><span class="name">a1</span><span class="conditional">IF</span><span class="name">entity(e,_attrs)</span><span class="conditional">THEN</span><span class="name">_gen</span><span class="name">_a1</span><span class="name">_t1</span><span class="name">_inv</span><span class="name">_a2</span><span class="name">_t2</span><span class="name">wasGeneratedBy(_gen; ';
+divs_string=divs_string +
' e,_a1,_t1,[])</span><span class="name">wasInvalidatedBy(_inv; ' +
' e,_a2,_t2,[])</span><span class="conditional">IF</span><span class="name">activity(a,t1,t2,_attrs)</span><span class="conditional">THEN</span><span class="name">_start</span><span class="name">_e1</span><span class="name">_a1</span><span class="name">_end</span><span class="name">_a2</span><span class="name">_e2</span><span class="name">wasStartedBy(_start; ' +
' a,_e1,_a1,t1,[])</span><span class="name">wasEndedBy(_end; ' +