--- a/model/ProvenanceModel.html Wed Sep 07 16:51:07 2011 +0100
+++ b/model/ProvenanceModel.html Wed Sep 07 17:11:25 2011 +0100
@@ -184,7 +184,8 @@
Syntax Notation. Each expression of the PIDM data model is explained
in terms of the production of this grammar.</p>
-<div class='note'>TODO: define the BNF notation</div>
+<div class='note'>TODO: define the BNF notation. Currently, using the same syntax as OWL2, curly bracket denotes 0 or more, square bracket denotes 0 or 1 occurrences.</div>
+
<p>The formal semantics of PIDM is defined at
@@ -1631,6 +1632,15 @@
<p>A <dfn id="dfn-ProvenanceContainer">Provenance Container</dfn> is an identifiable wrapper for a set of PIDM constructs, which allows for additional meta-information pertaining to these constructs to be expressed. A provenance container MAY contain other provenance containers.</p>
+<div class='grammar'>
+<span class="nonterminal">provenanceContainer</span> :=
+<span class="name">provenanceContainer</span>
+<span class="name">(</span>
+{<span class="nonterminal">expression</span> }
+<span class="name">)</span>
+</div>
+
+
<p>Such meta-information may be asserter, date of creation, justification for assertions, and cryptographic signature. </p>
@@ -1654,6 +1664,14 @@
<p>An <dfn id="dfn-Account">Account</dfn> is a special kind of provenance container forming a perspective on the world. </p>
+<div class='grammar'>
+<span class="nonterminal">account</span> :=
+<span class="name">account</span>
+<span class="name">(</span>
+<span class="nonterminal">assertionBundle</span>
+<span class="name">)</span>
+</div>
+
<p>An account has a mandatory asserter.</p>
<p>An account provides a scope for some constraints associated with the constructs it wraps, such as the uniqueness of generation for a given entity.</p>