--- a/model/ProvenanceModel.html Wed Sep 14 09:47:40 2011 +0100
+++ b/model/ProvenanceModel.html Wed Sep 14 11:09:01 2011 +0100
@@ -486,19 +486,23 @@
<section id="data-model-concepts">
-<h2>Provenance Data Model</h2>
-
-<p>The data model defines the following types of expressions.</p>
+<h2>The PROV Data Model</h2>
+
+<p>This section contains the normative specification of PROV-DM, the PROV data model.</p>
<section id="PROV-DM-expression">
-<h3>PROV-DM Expression</h3>
-
-<div class='note'>We need to confirm the choice of names for non-terminal. E.g. is it elementExpression? </div>
+<h3>Expression</h3>
+
+<p>PROV-DM consists of a set of constructs to formulate representations of the world and constraints that must be satisfied by them. In PROV-ASN, such representations of the world MUST be conformant with the toplevel production <span class="nonterminal">expression</span> of the grammar. <span class="nonterminal">expression</span>s are grouped in three categories,
+<span class="nonterminal">elementExpression</span> (see section <a href="expression-element">Element</a>),
+<span class="nonterminal">relationExpression</span> (see section <a href="expression-relation">Relation</a>), and
+<span class="nonterminal">bundleExpression</span> (see section <a href="expression-bundle">Bundle</a>).
+
<div class='grammar'>
<span class="nonterminal">expression</span> :=
-<span class="nonterminal">elementExpression</span> <!-- better name than node?? -->
+<span class="nonterminal">elementExpression</span>
| <span class="nonterminal">relationExpression</span>
| <span class="nonterminal">bundleExpression</span>
<br/>
@@ -522,8 +526,10 @@
<!-- -->
<span class="nonterminal">bundleExpression</span> :=
<span class="nonterminal">provenanceContainerExpression</span>
-|<span class="nonterminal">accountExpression</span>
+| <span class="nonterminal">accountExpression</span>
</div>
+
+<div class='note'>We need to confirm the choice of names for non-terminal. E.g. is it elementExpression? </div>
</section>
<section id="expression-element">
@@ -764,7 +770,7 @@
<h4>Annotation</h4>
-<p>An <dfn id="dfn-annotation">annotation expression</dfn> is a set of name value pairs, whose meaning is application specific, why may or may not be a representation of something is the world.</p>
+<p>An <dfn id="dfn-annotation">annotation expression</dfn> is a set of name value pairs, whose meaning is application specific. It may or may not be a representation of something in the world.</p>
<p>In PROV-ASN, an annotation expression's text matches the <span class="nonterminal">annotationExpression</span> production of the grammar defined in this specification document.
</p>
@@ -774,10 +780,19 @@
<span class="nonterminal">annotationExpression</span> :=
<span class="name">annotation</span>
<span class="name">(</span>
-<span class="nonterminal">identifier</span>,
+<span class="nonterminal">identifier</span>
<span class="name">,</span>
-<span class="nonterminal">name-values</span>,
-<span class="name">)</span>
+<span class="nonterminal">name-values</span>
+<span class="name">)</span><br/>
+<!-- -->
+<span class="nonterminal">name-values</span> :=
+<span class="nonterminal">name-value</span>
+| <span class="nonterminal">name-value</span> <span class="name">,</span> <span class="nonterminal">name-values</span>
+<br/>
+<span class="nonterminal">name-value</span> :=
+<span class="nonterminal">name</span>
+<span class="name">:</span>
+<span class="nonterminal">Literal</span>
</div>
@@ -1484,7 +1499,7 @@
</ul>
</p>
-<p>A revision expression can only be asserted, since it needs to include an agent bearing responsibility for declaring a variant of a thing. However, it needs to satisfy the following constraint, linking the two entities by a derivation, and seing them as a complement of a third entity.</p>
+<p>A revision expression can only be asserted, since it needs to include a reference to an agent who represents someone in the real world who bears responsibility for declaring a variant of a thing. However, it needs to satisfy the following constraint, linking the two entity expressions by a derivation derivation, and seing them as a complement of a third entity expression.</p>
<div class='constraint' id='wasRevision'>
Given two identifers <span class="name">old</span> and <span class="name">new</span> denoting two entities, and an identifier <span class="name">ag</span> denoting an agent,
@@ -1509,7 +1524,7 @@
<pre class="example">
wasRevisionBy(e3,e2,a4)
</pre>
-states that the document represented by entity identified by <span class="name">e3</span> is declared to be revision of document represented by entity identified by <span class="name">e2</span> by agent denoted by <span class="name">a4</span>.
+states that the document represented by entity expression identified by <span class="name">e3</span> is declared to be revision of document represented by entity expression identified by <span class="name">e2</span> by agent representy by entity expression denoted by <span class="name">a4</span>.
</p>
@@ -1522,14 +1537,14 @@
<section id="expression-Participation">
<h3>Participation</h3>
-<p>A <dfn id="dfn-Participation">participation expression</dfn> is a representation of the involvment of a characterized thing in an activity. A participation expression can be asserted or inferred.</p>
-
-
-<p>In PROV-ASN, a participation expression's text matches the <span class="nonterminal">participation</span> production of the grammar defined in this specification document.</p>
+<p>A <dfn id="dfn-Participation">participation expression</dfn> is a representation of the involvement of a characterized thing in an activity. A participation expression can be asserted or inferred.</p>
+
+
+<p>In PROV-ASN, a participation expression's text matches the <span class="nonterminal">participationExpression</span> production of the grammar defined in this specification document.</p>
<div class='grammar'>
-<span class="nonterminal">participation</span> :=
+<span class="nonterminal">participationExpression</span> :=
<span class="name">hadParticipant</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -1540,11 +1555,11 @@
-<p>An instance of the participation expression,
+<p>An instance of a participation expression,
noted <span class="name">hadParticipant(pe,e)</span> in PROV-ASN:
<ul>
-<li> refers to a process execution denoted by identifier <span class="name">pe</span> and representing an activity;
-<li> contains an identifier <span class="name">e</span> denoting an entity, which is
+<li> refers to a process execution expression denoted by identifier <span class="name">pe</span> and representing an activity;
+<li> contains an identifier <span class="name">e</span> denoting an entity expression, which is
a representation of a characterized thing involved in this activity.
</ul>
@@ -1552,12 +1567,12 @@
<div class='constraint' id='participation'>
<a name="PIL:0014">
-Given two identifiers <span class="name">pe</span> and <span class="name">e</span>, respectively denoting a process execution and an entity, the expression <span class="name">hadParticipant(pe,e)</span> holds <span class='conditional'>if and only if</span>:
+Given two identifiers <span class="name">pe</span> and <span class="name">e</span>, respectively denoting a process execution expression and an entity expression, the expression <span class="name">hadParticipant(pe,e)</span> holds <span class='conditional'>if and only if</span>:
<ul>
<li> <span class="name">used(pe,e)</span> holds, or</li>
<li> <span class="name">wasControlledBy(pe,e)</span> holds, or</li>
-<li> <span class="name">wasComplementOf(e1,e)</span> holds for some entity identified by <span class="name">e1</span>, and
- <span class="name">hadParticipant(pe,e1)</span> holds some process execution identified by <span class="name">pe</span>.</li>
+<li> <span class="name">wasComplementOf(e1,e)</span> holds for some entity expression identified by <span class="name">e1</span>, and
+ <span class="name">hadParticipant(pe,e1)</span> holds some process execution expression identified by <span class="name">pe</span>.</li>
</ul>
</a> [<a
href="../ontology/ProvenanceFormalModel.html#PIL:0014">PIL:0014</a>]
@@ -1574,6 +1589,16 @@
<section id="expression-annotationAssociation">
<h4>Annotation Association</h4>
+<div class='grammar'>
+<span class="nonterminal">annotationAssociationExpression</span> :=
+<span class="name">hasAnnotation</span>
+<span class="name">(</span>
+<span class="nonterminal">identifier</span>
+<span class="name">,</span>
+<span class="nonterminal">identifier</span>
+<span class="name">)</span><br/>
+</div>
+
<div class='note'>Luc to write</div>
</section>
</section>