--- a/model/prov-n.html Tue Mar 27 09:52:01 2012 +0100
+++ b/model/prov-n.html Tue Mar 27 10:19:49 2012 +0100
@@ -449,7 +449,7 @@
<section id="prov-n-expressions">
<h2>PROV-N Productions per Component</h2>
-<p>A PROV-N document allows writing down instances of the PROV-DM data model in a compact textual form. It consists of a sequence of expressions.</p>
+<p>A PROV-N document consists of a sequence of <a title="expression">expressions</a>, wrapped up in an <a>expression container</a> with some namespace declarations. This section focuses on the definition of <a title="expression">expressions</a>. </p>
<p>Instances of the PROV-DM data model are expressed as PROV-N <dfn title="expression">expressions</dfn>, which have a text conformant with the toplevel <a>production</a> <span class="nonterminal">expression</span> of the grammar. </p>
@@ -486,7 +486,7 @@
 | <span class="nonterminal">alternateExpression</span>
| <span class="nonterminal">specializationExpression</span>
<br/>
-<!-- Component 5-->
+<!-- Component 5 TODO-->
<!-- Component 6-->
 | <span class="nonterminal">noteExpression</span>
| <span class="nonterminal">annotationExpression</span>
@@ -495,6 +495,7 @@
</table>
</div>
+<p>In the rest of the section, productions are presented for each expression, followed by small examples illustrating the syntax of expressions compliant with the presented productions. </p>
@@ -618,7 +619,8 @@
</pre>
</div>
-<p>Even though the production <span class="nonterminal">generationExpression</span> allows for expressions <span class="name">wasGeneratedBy(e2, -, -)</span> and <span class="name">wasGeneratedBy(-, e2, -, -)</span>, these expressions are not valid in PROV-N.</p>
+<p>Even though the production <span class="nonterminal">generationExpression</span> allows for expressions <span class="name">wasGeneratedBy(e2, -, -)</span> and <span class="name">wasGeneratedBy(-, e2, -, -)</span>, these expressions are not valid in PROV-N, since
+at least one of <span class='attribute'>activity</span>, <span class='attribute'>time</span>, or <span class='attribute'>attributes</span> MUST be present.</p>
</section>
@@ -653,7 +655,6 @@
</pre>
</div>
-<p>Even though the production <span class="nonterminal">usageExpression</span> allows for expressions <span class="name">used(e2, -, -)</span> and <span class="name">used(-, e2, -, -)</span>, these expressions are not valid in PROV-N.</p>
</section>
<section id="expression-Start">
@@ -688,7 +689,9 @@
</pre>
</div>
-<p>Even though the production <span class="nonterminal">startExpression</span> allows for expressions <span class="name">wasStartedBy(e2, -, -)</span> and <span class="name">wasStartedBy(-, e2, -, -)</span>, these expressions are not valid in PROV-N.</p>
+<p>Even though the production <span class="nonterminal">startExpression</span> allows for expressions <span class="name">wasStartedBy(e2, -, -)</span> and <span class="name">wasStartedBy(-, e2, -, -)</span>, these expressions are not valid in PROV-N,
+since
+at least one of <span class='attribute'>trigger</span>, <span class='attribute'>time</span>, or <span class='attribute'>attributes</span> MUST be present.</p>
</section>
@@ -724,7 +727,9 @@
</pre>
</div>
-<p>Even though the production <span class="nonterminal">endExpression</span> allows for expressions <span class="name">wasEndedBy(e2, -, -)</span> and <span class="name">wasEndedBy(-, e2, -, -)</span>, these expressions are not valid in PROV-N.</p>
+<p>Even though the production <span class="nonterminal">endExpression</span> allows for expressions <span class="name">wasEndedBy(e2, -, -)</span> and <span class="name">wasEndedBy(-, e2, -, -)</span>, these expressions are not valid in PROV-N,
+since
+at least one of <span class='attribute'>trigger</span>, <span class='attribute'>time</span>, and <span class='attribute'>attributes</span> MUST be present.</p>
</section>
<section id="expression-wasInformedBy">
@@ -876,7 +881,10 @@
</pre>
</div>
-<p>Even though the production <span class="nonterminal">associationExpression</span> allows for expressions <span class="name">wasAssociatedWith(a, -, -)</span> and <span class="name">wasAssociatiedWith(-, a, -, -)</span>, these expressions are not valid in PROV-N.</p>
+<p>Even though the production <span class="nonterminal">associationExpression</span> allows for expressions <span class="name">wasAssociatedWith(a, -, -)</span> and <span class="name">wasAssociatiedWith(-, a, -, -)</span>, these expressions are not valid in PROV-N,
+since
+at least one of <span class='attribute'>agent</span> or <span class='attribute'>plan</span> MUST be present.</p>
+
</section>
<section id="expression-responsibility">
<h4>Responsibility</h4>
@@ -1135,7 +1143,7 @@
<section id="component5">
<h3>Component 5: Collections</h3>
-<div class="note">To be checked: Grammar has not been implemented yet.</div>
+<div class="note">Grammar for collections MAY under go minor syntactic changes since it has not been implemented yet.</div>
<section id="expression-collection-insertion">
<h3>Insertion</h3>
@@ -1695,7 +1703,7 @@
<section id="ExpressionContainer">
<h4>Expression Container</h4>
-<p>An <dfn id="dfn-ExpressionContainer">expression container</dfn> is a house-keeping construct of PROV-N capable of packaging up PROV-N <a title="expression">expressions</a> and namespace declarations. An expression container forms a self-contained package of provenance descriptions for the purpose of <em>exchanging</em> them. An expression container may be used
+<p>An <dfn>expression container</dfn> is a house-keeping construct of PROV-N capable of packaging up PROV-N <a title="expression">expressions</a> and namespace declarations. An expression container forms a self-contained package of provenance descriptions for the purpose of <em>exchanging</em> them. An expression container may be used
to package up PROV-N <a title="record">expressions</a> in response to a request for the provenance of something ([[PROV-AQ]]).</p>
<p> Given its status of house keeping construct for the purpose of exchanging provenance expressions, an expression container is not defined as a PROV-N expression (<a href="#data-model-concepts">production <span class="nonterminal">expression</span></a>).</p>