--- a/model/working-copy/prov-asn.html Wed Feb 15 17:22:47 2012 +0000
+++ b/model/working-copy/prov-asn.html Wed Feb 15 17:32:13 2012 +0000
@@ -997,34 +997,30 @@
<div class="note">
Has not been edited yet.
</div>
-<p>In PROV-ASN, a record container is compliant with the production <span class="nonterminal">recordContainer</span> (see section <a href="#RecordContainer">Record Container</a>). </p>
<section id="ExpressionContainer">
<h4>Expression Container</h4>
-<p>A <dfn id="dfn-ExpressionContainer">record container</dfn> is a house-keeping construct of PROV-DM, also capable of bundling PROV-DM <a title="record">records</a>. A record container is the
-root of a provenance record and can be exploited to package up PROV-DM <a title="record">records</a> in response to a request for the provenance of something ([[PROV-AQ]]). Given that a
-record container is the root of a provenance record, it is not defined as a PROV-DM record (production <span class="nonterminal">record</span>), since otherwise it could appear arbitrarily
-nested inside accounts.</p>
+<p>A <dfn id="dfn-ExpressionContainer">expression container</dfn> is a house-keeping construct of PROV-ASN capable of bundling PROV-ASN <a title="expression">expressions</a> and namespace declarations. An expression container forms a self-contained bundle of provenance descriptions for the purpose of <em>exchanging</em> them. An expression container can be the
+mechanism to package up PROV-ASN <a title="record">expressions</a> in response to a request for the provenance of something ([[PROV-AQ]]).</p>
+
+<p> Given that an expression container is the root of a provenance record, it is not defined as a PROV-ASN expression (production <span class="nonterminal">expression</span>), since otherwise it could occur at arbitrary levels of nesting.</p>
-<p>A record container, written <span class="name">container decls recs endContainer</span> in PROV-ASN, contains:
+<p>An expression container, written <span class="name">container decls recs endContainer</span> in PROV-ASN, contains:
<ul>
<li><em>namespaceDeclarations</em>: a set <span class="name">decls</span> of namespace declarations, declaring namespaces and associated prefixes, which can be used in <a
title="attribute">attributes</a> and <a title="identifier">identifiers</a> occurring inside <span class="name">recs</span>;</li>
<li><em>records</em>: a non-empty set of records <span class="name">recs</span>.</li>
</ul>
-<p>All the records in <span class="name">recs</span> are implictly wrapped in a default account, scoping all the record identifiers they declare directly, and constituting a toplevel
-account, in the hierarchy of accounts. Consequently, every provenance record is always expressed in the context of an account, either explicitly in an asserted account, or implicitly in a
-container's default account.</p>
-<p>A record container's text matches the <span class="nonterminal">recordContainer</span> production.</p>
+<p>A expression container's text matches the <span class="nonterminal">expressionContainer</span> production.</p>
<div class='grammar'>
-<span class="nonterminal">recordContainer</span> ::=
+<span class="nonterminal">expressionContainer</span> ::=
<span class="name">container</span>
<span class="nonterminal">namespaceDeclarations</span>
<span class="plus"> <span class="nonterminal">record</span> </span>
@@ -1039,13 +1035,16 @@
</p>
<pre class="codeexample">
container
+
prefix ex: http://example.org/,
+
entity(e2, [ prov:type="File", ex:path="/shared/crime.txt", ex:creator="Alice",
ex:content="There was a lot of crime in London last month."])
activity(a1, 2011-11-16T16:05:00,,[prov:type="edit"])
wasGeneratedBy(e2, a1, [ex:fct="save"])
wasAssociatedWith(a1, ag2, [prov:role="author"])
agent(ag2, [ prov:type="prov:Person" %% xsd:QName, ex:name="Bob" ])
+
endContainer
</pre>
<p>This container could for instance be returned by querying a provenance store for the provenance of entity <span class="name">e2</span> [[PROV-AQ]]. All these assertions are implicitly
@@ -1064,9 +1063,12 @@
PROV-DM records. The first
one, <a>account record</a> is itself a
record, whereas the second
-one <a>record container</a> is not.
+one <a>expression container</a> is not.
</p>
+<p>All the records in <span class="name">recs</span> are implictly wrapped in a default account, scoping all the record identifiers they declare directly, and constituting a toplevel
+account, in the hierarchy of accounts. Consequently, every provenance record is always expressed in the context of an account, either explicitly in an asserted account, or implicitly in a
+container's default account.</p>
<section id="expression-Account">
<h3>Account Expression</h3>