--- a/model/prov-n.html Mon May 14 17:00:16 2012 +0100
+++ b/model/prov-n.html Mon May 14 18:10:29 2012 +0100
@@ -454,11 +454,15 @@
The grammar is centered on nonterminals for various types of <span class="nonterminal">expression</span>. The main production is introduced here below as it reflects the rationale for the design of the entire grammar. Note that parser developers may use the top level <a href="#ExpressionContainer">container</a> nonterminal as a starting point instead.
+
+<!--
<div class='grammar'>
<table style="background: white; border=0; ">
<tr><td><span class="nonterminal">expression</span> <br/><br/><br/><br/><br/><br/><br/>
</td><td> ::=<br/><br/><br/><br/><br/><br/><br/></td><td>
+-->
<!-- Component 1-->
+<!--
<a href="#expression-Entity"><span class="nonterminal">entityExpression</span></a>
| <a href="#expression-Activity"><span class="nonterminal">activityExpression</span> </a>
| <a href="#expression-Generation"><span class="nonterminal">generationExpression</span> </a>
@@ -470,32 +474,40 @@
| <span class="nonterminal">communicationExpression</span>
| <span class="nonterminal">startByActivityExpression</span>
<br/>
+-->
<!-- Component 2-->
+<!--
| <span class="nonterminal">agentExpression</span>
| <span class="nonterminal">attributionExpression</span>
| <span class="nonterminal">associationExpression</span>
| <span class="nonterminal">responsibilityExpression</span>
<br/>
+-->
<!-- Component 3-->
+<!--
| <span class="nonterminal">derivationExpression</span>
| <span class="nonterminal">revisionExpression</span>
| <span class="nonterminal">quotationExpression</span> <br/>
| <span class="nonterminal">hadOriginalSourceExpression</span>
| <span class="nonterminal">traceExpression</span>
<br/>
+-->
<!-- Component 4-->
+<!--
| <span class="nonterminal">alternateExpression</span>
| <span class="nonterminal">specializationExpression</span>
<br/>
+-->
<!-- Component 5 TODO-->
<!-- Component 6-->
+<!--
| <span class="nonterminal">noteExpression</span>
| <span class="nonterminal">annotationExpression</span>
<br/>
</td></tr>
</table>
</div>
-
+-->
<table class="grammar">
<div>
@@ -652,6 +664,7 @@
<section id="expression-Activity">
<h4>Activity</h4>
+<!--
<div class='grammar'>
<span class="nonterminal">activityExpression</span> ::=
<span class="name">activity</span>
@@ -665,6 +678,7 @@
<span class="name">)</span>
</div>
</div>
+-->
<table class="grammar">
<div>
@@ -699,6 +713,7 @@
<div class="withPn">
+<!--
<div class='grammar'>
<span class="nonterminal">generationExpression</span> ::=
<span class="name">wasGeneratedBy</span>
@@ -712,7 +727,7 @@
<span class="name">)</span><br/>
</div>
</div>
-
+-->
<table class="grammar">
<div>
@@ -737,7 +752,6 @@
wasGeneratedBy(e2, a1, -, [ex:fct="save"])
wasGeneratedBy(e2, -, -, [ex:fct="save"])
wasGeneratedBy(ex:g1; tr:WD-prov-dm-20111215, ex:edit1)
-wasGeneratedBy(-; tr:WD-prov-dm-20111215, ex:edit1) // here '-;' is redundant. I would omit the example
</pre>
</div>
@@ -771,6 +785,11 @@
</div>
</table>
+<div class="note">should this: usageExpression ::= "used" "(" optionalIdentifier aIdentifier "," eIdentifier ( "," timeOrMarker )? optionalAttributeValuePairs ")" <br/>
+ be: usageExpression ::= "used" "(" optionalIdentifier aIdentifier ( "," eIdentifier "," timeOrMarker )? optionalAttributeValuePairs ")" ?
+</div>
+
+
<div class="anexample">
@@ -796,6 +815,8 @@
<section id="expression-Start">
<h4>Start</h4>
+
+<!--
<div class='grammar'>
<span class="nonterminal">startExpression</span> ::=
<span class="name">wasStartedBy</span>
@@ -808,6 +829,7 @@
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span>
</div>
+-->
<table class="grammar">
<div>
@@ -819,20 +841,21 @@
<div class="anexample">
<pre class="codeexample">
-wasStartedBy(s; ex:act2, ar3:0111, 2011-11-16T16:00:00, [ex:param="a"])
+wasStartedBy(s; ex:act2, e, ar3:0111, 2011-11-16T16:00:00, [ex:param="a"])
</pre>
- <p>Here <span class="name">s</span> is the optional start identifier, <span class="name">ex:act2</span> is the identifier of the starting activity,
- <span class="name">ar3:0111</span> is the identifier of the entity that triggered the activity start,
+ <p>Here <span class="name">s</span> is the optional start identifier, <span class="name">ex:act2</span> is the identifier of the started activity,
+ <span class="name">e</span> is the optional identifier for the entity that triggered the activity start,
+ <span class="name">ar3:0111</span> is the optional identifier for the activity that generated the (possibly unspecified) entity <span class="name">e</span>,
<span class="name">2011-11-16T16:00:00</span> is the optional usage time, and <span class="name"> [ex:param="a"]</span> are optional attributes.</p>
The remaining examples show cases where some of the optionals are omitted.
<pre class="codeexample">
-wasStartedBy(ex:act2, ar3:0111)
-wasStartedBy(ex:act2, ar3:0111, 2011-11-16T16:00:00)
-wasStartedBy(ex:act2, -, 2011-11-16T16:00:00)
+wasStartedBy(ex:act2, -, ar3:0111, -)
+wasStartedBy(ex:act2, -, ar3:0111, 2011-11-16T16:00:00)
+wasStartedBy(ex:act2, -, -, 2011-11-16T16:00:00)
wasStartedBy(ex:act2)
wasStartedBy(ex:act2, [ex:param="a"])
-wasStartedBy(s; ex:act2, ar3:0111, 2011-11-16T16:00:00)
+wasStartedBy(s; ex:act2, e, ar3:0111, 2011-11-16T16:00:00)
</pre>
</div>
@@ -845,6 +868,7 @@
<section id="expression-End">
<h4>End</h4>
+<!--
<div class='grammar'>
<span class="nonterminal">endExpression</span> ::=
<span class="name">wasEndedBy</span>
@@ -857,6 +881,7 @@
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span>
</div>
+-->
<table class="grammar">
<div>
@@ -868,21 +893,23 @@
<div class="anexample">
<pre class="codeexample">
-wasEndedBy(s; ex:act2, ex:trigger, 2011-11-16T16:00:00, [ex:param="a"])
+wasEndedBy(s; ex:act2, ex:trigger,ex:act3, 2011-11-16T16:00:00, [ex:param="a"])
</pre>
-<p> Here <span class="name">s</span> is the optional start identifier, <span class="name">ex:act2</span> is the identifier of the ending activity,
+<p> Here <span class="name">s</span> is the optional start identifier,
+<span class="name">ex:act2</span> is the identifier of the ending activity,
<span class="name">ex:trigger</span> is the identifier of the entity that triggered the activity end,
+ <span class="name">ex:act3</span> is the optional identifier for the activity that generated the (possibly unspecified) entity <span class="name">e</span>,
<span class="name">2011-11-16T16:00:00</span> is the optional usage time, and <span class="name"> [ex:param="a"]</span> are optional attributes. </p>
The remaining examples show cases where some of the optionals are omitted.
<pre class="codeexample">
-wasEndedBy(ex:act2, ex:trigger)
-wasEndedBy(ex:act2, ex:trigger, 2011-11-16T16:00:00)
-wasEndedBy(ex:act2, -, 2011-11-16T16:00:00)
-wasEndedBy(ex:act2, -, 2011-11-16T16:00:00, [ex:param="a"])
-wasEndedBy(e,ex:act2)
-wasEndedBy(e, ex:act2, ex:trigger, 2011-11-16T16:00:00)
+wasEndedBy(ex:act2, ex:trigger, -, -)
+wasEndedBy(ex:act2, ex:trigger, -, 2011-11-16T16:00:00)
+wasEndedBy(ex:act2, -, -, 2011-11-16T16:00:00)
+wasEndedBy(ex:act2, -, -, 2011-11-16T16:00:00, [ex:param="a"])
+wasEndedBy(e; ex:act2)
+wasEndedBy(e; ex:act2, ex:trigger, -, 2011-11-16T16:00:00)
</pre>
</div>
@@ -896,7 +923,7 @@
<div class="withPn">
-
+<!--
<div class='grammar'>
<span class="nonterminal">invalidationExpression</span> ::=
<span class="name">wasInvalidatedBy</span>
@@ -910,7 +937,7 @@
<span class="name">)</span>
</div>
</div>
-
+-->
<table class="grammar">
<div>
@@ -929,12 +956,12 @@
The remaining examples show cases where some of the optionals are omitted.
<pre class="codeexample">
-wasInvalidatedBy(tr:WD-prov-dm-20111215, ex:edit1)
+wasInvalidatedBy(tr:WD-prov-dm-20111215, ex:edit1, -)
wasInvalidatedBy(tr:WD-prov-dm-20111215, ex:edit1, 2011-11-16T16:00:00)
wasInvalidatedBy(e2, a1, -, [ex:fct="save"])
wasInvalidatedBy(e2, -, -, [ex:fct="save"])
-wasInvalidatedBy(ex:i1; tr:WD-prov-dm-20111215, ex:edit1)
-wasInvalidatedBy(tr:WD-prov-dm-20111215, ex:edit1)
+wasInvalidatedBy(ex:i1; tr:WD-prov-dm-20111215, ex:edit1, -)
+wasInvalidatedBy(tr:WD-prov-dm-20111215, ex:edit1, -)
</pre>
</div>
@@ -948,6 +975,7 @@
<section id="expression-wasInformedBy">
<h4>Communication</h4>
+<!--
<div class="grammar">
<span class="nonterminal">communicationExpression</span> ::=
<span class="name">wasInformedBy</span>
@@ -959,6 +987,8 @@
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span>
</div>
+-->
+
<table class="grammar">
<div>
@@ -969,7 +999,7 @@
<div class="anexample">
<pre class="codeexample">
-wasInformedBy(ex:inf1, ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
+wasInformedBy(ex:inf1; ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
</pre>
<p> Here <span class="name">ex:inf1</span> is the optional communication identifier, <span class="name">ex:a1</span> is the identifier of the informed activity,
<span class="name">ex:a2</span> is the identifier of the informant activity,
@@ -979,14 +1009,13 @@
<pre class="codeexample">
wasInformedBy(ex:a1, ex:a2)
wasInformedBy(ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
-wasInformedBy(i, ex:a1, ex:a2)
-wasInformedBy(i, ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
-wasInformedBy(-, ex:a1, ex:a2)
-wasInformedBy(-, ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
+wasInformedBy(i; ex:a1, ex:a2)
+wasInformedBy(i; ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
</pre>
</div>
</section>
+<!--
<section id="expression-startByActivity">
<h4>Start by Activity</h4>
@@ -1021,14 +1050,16 @@
</pre>
</div>
</section>
+-->
+
</section>
-
<section id="component2">
<h3>Component 2: Agents and Responsibility</h3>
<section id="expression-Agent">
<h4>Agent</h4>
+<!--
<div class='grammar'>
<span class="nonterminal">agentExpression</span> ::=
<span class="name">agent</span>
@@ -1038,6 +1069,7 @@
<span class="name">)</span>
</div>
</div>
+-->
<table class="grammar">
<div>
@@ -1064,6 +1096,7 @@
<section id="expression-attribution">
<h4>Attribution</h4>
+<!--
<div class="grammar">
<span class="nonterminal">attributionExpression</span> ::=
<span class="name">wasAttributedTo</span>
@@ -1075,6 +1108,8 @@
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span>
</div>
+-->
+
<table class="grammar">
<div>
@@ -1096,7 +1131,6 @@
<pre class="codeexample">
wasAttributedTo(e, ag)
wasAttributedTo(e, ag, [ex:license="cc:attributionURL" %% "xsd:QName"])
-wasAttributedTo(-, e, ag, [ex:license="cc:attributionURL" %% "xsd:QName"])
</pre>
</div>
@@ -1106,6 +1140,7 @@
<section id="expression-Association">
<h4>Association</h4>
+<!--
<div class='grammar'>
<span class="nonterminal">associationExpression</span> ::=
<span class="name">wasAssociatedWith</span>
@@ -1119,6 +1154,7 @@
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span>
</div>
+-->
<table class="grammar">
<div>
@@ -1147,7 +1183,6 @@
wasAssociatedWith(ex:a1, ex:ag1, ex:e1)
wasAssociatedWith(ex:a1, ex:ag1, ex:e1, [ex:param1="a", ex:param2="b"])
wasAssociatedWith(a; ex:a1, -, ex:e1)
-wasAssociatedWith(ex:a1, -, ex:e1)
</pre>
</div>
@@ -1158,6 +1193,7 @@
<section id="expression-responsibility">
<h4>Responsibility</h4>
+<!--
<div class='grammar'>
<span class="nonterminal">responsibilityExpression</span> ::=
<span class="name">actedOnBehalfOf</span>
@@ -1171,7 +1207,7 @@
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span>
</div>
-
+-->
<table class="grammar">
<div>