prov-n issue-438
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Sun, 08 Jul 2012 22:13:13 +0100
changeset 3788 f9de1fe65f4b
parent 3787 1db93aeaa3fa
child 3789 1bd0a0ca86f3
prov-n issue-438
model/comments/issue-438-stian.txt
model/prov-n.html
--- a/model/comments/issue-438-stian.txt	Sun Jul 08 22:12:40 2012 +0100
+++ b/model/comments/issue-438-stian.txt	Sun Jul 08 22:13:13 2012 +0100
@@ -202,6 +202,10 @@
    > Should be:
    > 
    > > > usageExpression	   ::=   	"used" "(" optionalIdentifier aIdentifier ( "," eIdentifierOrMarker "," timeOrMarker )? optionalAttributeValuePairs ")"
+
+
+Correct, production changed.
+
    > 
    > This rule also requires timeOrMarker if eIdentifierOrMarker is present
    > - is this intentional? I won't ask this again for the following forms
@@ -213,12 +217,17 @@
    > > > Even though the production usageExpression allows for expressions used(a2, -, -) and used(-; e2, -, -),
    > should be:
    >   used(-; a1, -, -)
+
+fixed 
    > 
    > > > 3.1.6 Start
    > > > Note: Even though the production startExpression allows for expressions wasStartedBy(e2, -, -) and wasStartedBy(-;    > e2, -, -),
    > Should be:
    >    wasStartedBy(a1, -, -, -)
    >    wasStartedBy(-; a1, -, -, -)
+
+fixed
+
    > 
    > 
    > > > 3.1.7 End
@@ -231,6 +240,9 @@
    > Should be:
    >  wasEndedBy(a1, -, -, -)
    >  wasEndedBy(-; a1, -, -, -),
+
+Fixed.
+
    > 
    > 
    > 3.2.1 Derivation
@@ -242,6 +254,9 @@
    >   wasDerivedFrom(-, e2, e1, a, g2, u1)
    > 
    > As they should use ; to terminate optionalIdentifier rather than ,
+
+fixed
+
    > 
    > 
    > 
@@ -260,6 +275,9 @@
    > 
    >   [ prov:type='prov:PrimarySource' ])
    > 
+
+fixed
+
    > 
    > The use of 'single quotes' for the prov:type as opposed to "double
    > quote" for the other attribute is confusing. By reading deeply into
@@ -319,6 +337,9 @@
    > 
    > 
    > 
+
+Fixed.
+
    > 
    > 3.6.1 Membership
    > 
--- a/model/prov-n.html	Sun Jul 08 22:12:40 2012 +0100
+++ b/model/prov-n.html	Sun Jul 08 22:13:13 2012 +0100
@@ -964,7 +964,7 @@
 </div>
 
 
-<p>Even though the production <code class="content"><a class="grammarRef" href="#prod-usageExpression">usageExpression</a></code> allows for expressions <span class="name">used(a2, -, -)</span>  and <span class="name">used(-; e2, -, -)</span>, these expressions are not valid in PROV-N, since at least one  of <a href="http://www.w3.org/TR/prov-dm/#usage.id"><span class='attribute'>id</span></a>, <a href="http://www.w3.org/TR/prov-dm/#usage.entity"><span class='attribute'>entity</span></a>, <a href="http://www.w3.org/TR/prov-dm/#usage.time"><span class='attribute'>time</span></a>, and  <a href="http://www.w3.org/TR/prov-dm/#usage.attributes"><span class='attribute'>attributes</span></a> MUST be present.</p>
+<p>Even though the production <code class="content"><a class="grammarRef" href="#prod-usageExpression">usageExpression</a></code> allows for expressions <span class="name">used(a2, -, -)</span>  and <span class="name">used(-; a2, -, -)</span>, these expressions are not valid in PROV-N, since at least one  of <a href="http://www.w3.org/TR/prov-dm/#usage.id"><span class='attribute'>id</span></a>, <a href="http://www.w3.org/TR/prov-dm/#usage.entity"><span class='attribute'>entity</span></a>, <a href="http://www.w3.org/TR/prov-dm/#usage.time"><span class='attribute'>time</span></a>, and  <a href="http://www.w3.org/TR/prov-dm/#usage.attributes"><span class='attribute'>attributes</span></a> MUST be present.</p>
 
 
 
@@ -1076,7 +1076,7 @@
 </pre>
 </div>
 
-<p><strong>Note:</strong> Even though the production <code class="content"><a class="grammarRef" href="#prod-startExpression">startExpression</a></code> 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><strong>Note:</strong> Even though the production <code class="content"><a class="grammarRef" href="#prod-startExpression">startExpression</a></code> 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 <a href="http://www.w3.org/TR/prov-dm/#start.id"><span class='attribute'>id</span></a>, <a href="http://www.w3.org/TR/prov-dm/#start.trigger"><span class='attribute'>trigger</span></a>, <a href="http://www.w3.org/TR/prov-dm/#start.starter"><span class='attribute'>starter</span></a>, <a href="http://www.w3.org/TR/prov-dm/#start.time"><span class='attribute'>time</span></a>, and  <a href="http://www.w3.org/TR/prov-dm/#start.attributes"><span class='attribute'>attributes</span></a> MUST be present.</p>
 
 </section>
@@ -1145,7 +1145,7 @@
 </pre>
 </div>
 
-<p><strong>Note:</strong>Even though the production <code class="content"><a class="grammarRef" href="#prod-endExpression">endExpression</a></code> 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><strong>Note:</strong>Even though the production <code class="content"><a class="grammarRef" href="#prod-endExpression">endExpression</a></code> 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 <a href="http://www.w3.org/TR/prov-dm/#end.id"><span class='attribute'>id</span></a>, <a href="http://www.w3.org/TR/prov-dm/#end.trigger"><span class='attribute'>trigger</span></a>, <a href="http://www.w3.org/TR/prov-dm/#end.ender"><span class='attribute'>ender</span></a>, <a href="http://www.w3.org/TR/prov-dm/#end.time"><span class='attribute'>time</span></a>, and  <a href="http://www.w3.org/TR/prov-dm/#end.attributes"><span class='attribute'>attributes</span></a> MUST be present.</p>
 </section>
 
@@ -1344,8 +1344,8 @@
 wasDerivedFrom(e2, e1, a, -, -)
 wasDerivedFrom(e2, e1, -, -, u1)
 wasDerivedFrom(e2, e1, -, -, -)
-wasDerivedFrom(d, e2, e1, a, g2, u1)
-wasDerivedFrom(-, e2, e1, a, g2, u1)
+wasDerivedFrom(d; e2, e1, a, g2, u1)
+wasDerivedFrom(-; e2, e1, a, g2, u1)
 </pre>
 </div>
 
@@ -1398,7 +1398,7 @@
 <div class="anexample">
     <pre class="codeexample">
 wasDerivedFrom(src1;  ex:e1, ex:e2, ex:act, ex:g, ex:u, 
-               [ prove:type='prov:PrimarySource' ])
+               [ prov:type='prov:PrimarySource' ])
 </pre>
 <p>Here, the derivation is provided with a <span class="name">prov:type</span> attribute and value <span class="name">prov:PrimarySource</span>.
   </pre>
@@ -2083,7 +2083,6 @@
 <tbody class="grammar-ref" data-ref="prod-gIdentifier"></tbody>
 <tbody class="grammar-ref" data-ref="prod-uIdentifier"></tbody>
 <tbody class="grammar-ref" data-ref="prod-cIdentifier"></tbody>
-<tbody class="grammar-ref" data-ref="prod-dIdentifier"></tbody>
 <tbody class="grammar-ref" data-ref="prod-bIdentifier"></tbody>
 
 <tbody class="grammar-ref" data-ref="prod-eIdentifierOrMarker"></tbody>