--- a/model/comments/issue-332-Simon.txt Thu Apr 12 14:50:38 2012 +0100
+++ b/model/comments/issue-332-Simon.txt Thu Apr 12 15:01:01 2012 +0100
@@ -2,6 +2,9 @@
2. There is apparent inconsistency of brackets. The collections expressions use curly braces {} for unordered sets, while the rest of PROV-N uses square brackets [], e.g. for attribute sets. I suggest the curly braces are more standard.
+PM: I do agree but this is a rather pervasive change as all examples everywhere use []
+
+
3. I find the form of sentence "An X's text matches the Y production" unintuitive. I think it is clear what you mean from the context, but is "text" the right word? Maybe something like "An X is expressed in PROV-N using the Y production" would be clearer?
4. Some grammar errors in Section 2:
--- a/model/prov-n.html Thu Apr 12 14:50:38 2012 +0100
+++ b/model/prov-n.html Thu Apr 12 15:01:01 2012 +0100
@@ -304,7 +304,7 @@
<p>The PROV namespace is <span class="name">http://www.w3.org/ns/prov#</span> with prefix <span class="name">prov:</span>.</p>
-<p> All the elements, relations, reserved names and attributes introduced in this specification belong to the PROV namespace.</p>
+<p> All the elements, predicates, reserved names and attributes introduced in this specification belong to the PROV namespace.</p>
</section>
<section id="conventions">
@@ -324,8 +324,8 @@
<section id="grammar-notation">
<h3>Functional-style Syntax</h3>
-<p> PROV-N adopts a functional-style syntax consisting of a relation name and an ordered list of terms.
-All PROV-DM relations involve two primary elements, the <em>subject</em> and the <em>object</em>, in this order. Furthermore, some relations also admit additional elements that further characterize it.
+<p> PROV-N adopts a functional-style syntax consisting of a predicate name and an ordered list of terms.
+All PROV-DM predicates involve two primary elements, the <em>subject</em> and the <em>object</em>, in this order. Furthermore, some predicates also admit additional elements that further characterize it.
<div class="anexample">
The following expression should be read as "<span class="name">e2</span> was generated by <span class="name">e1</span>". Here <span class="name">e2</span> is the subject, and <span class="name">e1</span> is the object.
<pre class="codeexample" >
@@ -336,20 +336,18 @@
<div class="anexample">
In the following expressions, the optional activity <span class="name">a</span> along with the generation and usage IDs, and timestamps have been added to further qualify the derivation:
<pre class="codeexample" >
-wasDerivedFrom(e2, e1, a)
wasDerivedFrom(e2, e1, a, g2, u1)
activity(a2, 2011-11-16T16:00:00, 2011-11-16T16:00:01)
</pre>
</div>
-
The grammar is specified using the Extended Backus-Naur Form (EBNF) notation.<br/>
-Each production rule (or <dfn>production</dfn>, for short) in the grammar defines one non-terminal symbol <span class="nonterminal">E</span>, in the following form:</p>
<div class="grammar">
+ Each production rule (or <dfn>production</dfn>, for short) in the grammar defines one non-terminal symbol <span class="nonterminal">E</span>, in the following form:</p>
+
<span class="nonterminal">E</span> ::= <em>expression</em>
-</div>
-Within the expression on the right-hand side of a rule, the following expressions are used to match strings of one or more characters:
+<p>Within the expression on the right-hand side of a rule, the following expressions are used to match strings of one or more characters:
<ul>
<li>
<span class="nonterminal">E</span>: matches term satisfying rule for symbol E.
@@ -373,6 +371,7 @@
</li>
</ul>
+</div>
<div class="note">this is confusing. look at http://www.w3.org/TR/owl2-syntax/#BNF_Notation for example</div>
@@ -431,9 +430,9 @@
<section id="prov-n-optionals">
-<h3>Optional terms in a relation expression</h3>
+<h3>Optional terms in expressions</h3>
-Some terms in a relation may be optional. For example:
+Some terms in a predicate may be optional. For example:
<div class="anexample">
<pre class="codeexample" >
@@ -475,9 +474,9 @@
</section>
<section id="prov-n-standard-terms">
-<h3>Relation identifiers and attributes</h3>
+<h3>Identifiers and attributes</h3>
-Most expression types defined in the grammar include the use of two terms: an identifier for the relation, and a set of attribute-value pairs, delimited by square brackets. Both are optional (unless specified otherwise). By convention, the identifier is the first term in any expression type, and the set of attribute-value pairs is the last. <br/>
+Most expression types defined in the grammar include the use of two terms: an identifier for the predicate, and a set of attribute-value pairs, delimited by square brackets. Both are optional (unless specified otherwise). By convention, the identifier is the first term in any expression type, and the set of attribute-value pairs is the last. <br/>
Consistent with the convention on optional terms, the '<span class="name">-</span>' marker can be used when the identifier is not available. Additionally, the grammar rules are defined in such a way that the optional identifier can be omitted altogether with no ambiguity arising.
<div class="anexample">
@@ -489,7 +488,7 @@
</pre>
</div>
-A distinction is made between relations with no attributes, and relations that include an empty list of attributes.
+A distinction is made between expressions with no attributes, and expressions that include an empty list of attributes.
<div class="anexample">
<p>The first activity does not have any attributes. The second has an empty list of attributes. The third activity has two attributes.
<pre class="codeexample" >
@@ -506,7 +505,7 @@
<div class="note">This looks out of place --- why is this not in DM? </div>
-Name-value attribute pairs are intended for arbitrary, user-defined terms that are used to qualify the relation. Amongst these, a few are defined as standard in PROV-DM. These are:
+Name-value attribute pairs are intended for arbitrary, user-defined terms that are used to qualify the predicate. Amongst these, a few are defined as standard in PROV-DM. These are:
<span class="name">prov:label</span>,
<span class="name">prov:location</span>,
<span class="name">prov:role</span>, and
@@ -531,7 +530,7 @@
<div class="withPn">
<p>
- The <span class="nonterminal">entityExpression</span> production is used to express entity relations:
+ The <span class="nonterminal">entityExpression</span> production is used to express entities:
<div class="note">only changed here to see if it works</div>
</p>