prov-n notation rationale, one more
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Wed, 21 Mar 2012 13:15:20 +0000
changeset 1956 966bb518d2b9
parent 1955 d20e3a46d114
child 1957 76c1b0f81959
child 1968 9dea856a26a5
prov-n notation rationale, one more
model/working-copy/wd5-prov-n.html
--- a/model/working-copy/wd5-prov-n.html	Wed Mar 21 13:04:11 2012 +0000
+++ b/model/working-copy/wd5-prov-n.html	Wed Mar 21 13:15:20 2012 +0000
@@ -374,7 +374,7 @@
 </pre>
 </div>
 
-<li><p>Most expressions have an optional set of name-value pairs, which occur in <em>last position</em>, and delimited by square brackets. </p>
+<li><p>Most expressions have an optional set of attribute-value pairs, which occur in <em>last position</em>, and delimited by square brackets. </p>
 <div class="anexample">
 <pre class="codeexample" >
 activity(ex:a10)
@@ -383,12 +383,13 @@
 activity(ex:a10, [ex:param="a", ex:param="b"])
 </pre>
 </div>
+<li> PROV-N exposes attributes that PROV-DM provides an interpretation for [[PROV-DM-CONSTRAINTS]] directly as positional arguments of expressions, whereas those for which PROV-DM provides no interpretation need to be expressed among the optional attribute-value pairs.
+</li>
 
 </ul>
 
 
 
-
 </section>
 
 <section id="grammar-notation">