--- a/model/ProvenanceModel.html Tue Nov 29 22:05:55 2011 +0000
+++ b/model/ProvenanceModel.html Tue Nov 29 22:49:06 2011 +0000
@@ -530,7 +530,7 @@
<div class="grammar">
<p font="normal"> Each rule in the grammar defines one symbol, in the form:</p>
<p>
-<span class="nonterminal">E</span> := <em>expression</em>
+<span class="nonterminal">E</span> ::= <em>expression</em>
</p>
@@ -844,21 +844,21 @@
<div class='grammar'>
-<span class="nonterminal">record</span> :=
+<span class="nonterminal">record</span> ::=
<span class="nonterminal">elementRecord</span>
| <span class="nonterminal">relationRecord</span>
| <span class="nonterminal">accountRecord</span>
<br/>
<!-- -->
<br/>
-<span class="nonterminal">elementRecord</span> :=
+<span class="nonterminal">elementRecord</span> ::=
<span class="nonterminal">entityRecord</span>
| <span class="nonterminal">activityRecord</span>
| <span class="nonterminal">agentRecord</span>
| <span class="nonterminal">noteRecord</span> <br/>
<!-- -->
<br/>
-<span class="nonterminal">relationRecord</span> :=
+<span class="nonterminal">relationRecord</span> ::=
<span class="nonterminal">generationRecord</span>
| <span class="nonterminal">usageRecord</span>
| <span class="nonterminal">derivationRecord</span>
@@ -907,7 +907,7 @@
</p>
<div class='grammar'>
-<span class="nonterminal">entityRecord</span> :=
+<span class="nonterminal">entityRecord</span> ::=
<span class="name">entity</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -917,11 +917,11 @@
<span class="name">]</span>
<span class="name">)</span><br/>
<!-- -->
-<span class="nonterminal">attribute-values</span> :=
+<span class="nonterminal">attribute-values</span> ::=
<span class="nonterminal">attribute-value</span>
| <span class="nonterminal">attribute-value</span> <span class="name">,</span> <span class="nonterminal">attribute-values</span>
<br/>
-<span class="nonterminal">attribute-value</span> :=
+<span class="nonterminal">attribute-value</span> ::=
<span class="nonterminal">attribute</span>
<span class="name">=</span>
<span class="nonterminal">Literal</span>
@@ -995,7 +995,7 @@
<div class='grammar'>
-<span class="nonterminal">activityRecord</span> :=
+<span class="nonterminal">activityRecord</span> ::=
<span class="name">activity</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -1008,7 +1008,7 @@
<span class="name">,</span>
<span class="nonterminal">other-attribute-values</span>
<span class="name">)</span><br/>
-<span class="nonterminal">other-attribute-values</span> := <span class="nonterminal">attribute-values</span>
+<span class="nonterminal">other-attribute-values</span> ::= <span class="nonterminal">attribute-values</span>
</div>
<div class="anexample">
@@ -1071,7 +1071,7 @@
<div class='grammar'>
-<span class="nonterminal">agentRecord</span> :=
+<span class="nonterminal">agentRecord</span> ::=
<span class="name">agent</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -1123,7 +1123,7 @@
<div class='grammar'>
-<span class="nonterminal">noteRecord</span> :=
+<span class="nonterminal">noteRecord</span> ::=
<span class="name">note</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -1207,7 +1207,7 @@
<p>In PROV-ASN, a generation record's text matches the <span class='nonterminal'>generationRecord</span> production of the grammar defined in this specification document.</p>
<div class='grammar'>
-<span class="nonterminal">generationRecord</span> :=
+<span class="nonterminal">generationRecord</span> ::=
<span class="name">wasGeneratedBy</span>
<span class="name">(</span>
<span class="optional"> <span class="nonterminal">identifier</span>
@@ -1289,7 +1289,7 @@
<p>In PROV-ASN, a usage record's text matches the <span class='nonterminal'>usageRecord</span> production of the grammar defined in this specification document.</p>
<div class='grammar'>
-<span class="nonterminal">usageRecord</span> :=
+<span class="nonterminal">usageRecord</span> ::=
<span class="name">used</span>
<span class="name">(</span>
<span class="optional">
@@ -1397,7 +1397,7 @@
<p>In PROV-ASN, an activity association record's text matches the <span class="nonterminal">activityAssociationRecord</span> productions of the grammar defined in this specification document.</p>
<div class='grammar'>
-<span class="nonterminal">activityAssociationRecord</span> :=
+<span class="nonterminal">activityAssociationRecord</span> ::=
<span class="name">wasAssociatedWith</span>
<span class="name">(</span>
<span class="optional"><span class="nonterminal">identifier</span>,</span>
@@ -1451,7 +1451,7 @@
<div class='grammar'>
-<span class="nonterminal">startRecord</span> :=
+<span class="nonterminal">startRecord</span> ::=
<span class="name">wasStartedBy</span>
<span class="name">(</span>
<span class="optional"> <span class="nonterminal">identifier</span>,</span>
@@ -1459,7 +1459,7 @@
<span class="nonterminal">agIdentifier</span>,
<span class="nonterminal">attribute-values</span>
<span class="name">)</span><br/>
-<span class="nonterminal">endRecord</span> :=
+<span class="nonterminal">endRecord</span> ::=
<span class="name">wasEndedBy</span>
<span class="name">(</span>
<span class="optional"> <span class="nonterminal">identifier</span>,</span>
@@ -1501,7 +1501,7 @@
<div class='grammar'>
-<span class="nonterminal">participationRecord</span> :=
+<span class="nonterminal">participationRecord</span> ::=
<span class="name">hadParticipant</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -1583,7 +1583,7 @@
<div class='grammar'>
-<span class="nonterminal">responsibilityRecord</span> :=
+<span class="nonterminal">responsibilityRecord</span> ::=
<span class="name">actedOnBehalfOf</span>
<span class="name">(</span>
<span class="optional"> <span class="nonterminal">identifier</span>,</span>
@@ -1698,12 +1698,12 @@
<p>In PROV-ASN, a derivation record's text matches the <span class='nonterminal'>derivationRecord</span> production of the grammar defined in this specification document.</p>
<div class='grammar'>
-<span class="nonterminal">derivationRecord</span> :=
+<span class="nonterminal">derivationRecord</span> ::=
<span class="nonterminal">precise-1-derivationRecord</span>
| <span class="nonterminal">imprecise-1-derivationRecord</span>
| <span class="nonterminal">imprecise-n-derivationRecord</span><br/>
<br/>
-<span class="nonterminal">precise-1-derivationRecord</span> :=
+<span class="nonterminal">precise-1-derivationRecord</span> ::=
<span class="name">wasDerivedFrom</span>
<span class="name">(</span>
<span class="optional"> <span class="nonterminal">identifier</span>,</span>
@@ -1719,7 +1719,7 @@
<span class="name">,</span>
<span class="nonterminal">attribute-values</span>
<span class="name">)</span><br/>
-<span class="nonterminal">imprecise-1-derivationRecord</span>:=
+<span class="nonterminal">imprecise-1-derivationRecord</span>::=
<span class="name">wasDerivedFrom</span>
<span class="name">(</span>
<span class="optional"> <span class="nonterminal">identifier</span>,</span>
@@ -1730,7 +1730,7 @@
<span class="nonterminal">attribute-values</span>
<span class="name">)</span>
<br/>
-<span class="nonterminal">imprecise-n-derivationRecord</span>:=
+<span class="nonterminal">imprecise-n-derivationRecord</span>::=
<span class="name">wasDerivedFrom</span>
<span class="name">(</span>
<span class="optional"> <span class="nonterminal">identifier</span>,</span>
@@ -1912,7 +1912,7 @@
<p>In PROV-ASN, a complementarity record's text matches the <span class="nonterminal">complementarityRecord</span> production of the grammar defined in this specification document.</p>
<div class='grammar'>
-<span class="nonterminal">complementarityRecord</span> :=
+<span class="nonterminal">complementarityRecord</span> ::=
<span class="name">wasComplementOf</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -2036,7 +2036,7 @@
</p>
<div class='grammar'>
-<span class="nonterminal">annotationRecord</span> :=
+<span class="nonterminal">annotationRecord</span> ::=
<span class="name">hasAnnotation</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -2105,7 +2105,7 @@
<p>In PROV-ASN, an account record's text matches the <span class="nonterminal">accountRecord</span> production of the grammar defined in this specification document.</p>
<div class='grammar'>
-<span class="nonterminal">accountRecord</span> :=
+<span class="nonterminal">accountRecord</span> ::=
<span class="name">account</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -2243,12 +2243,12 @@
<div class='grammar'>
-<span class="nonterminal">recordContainer</span> :=
+<span class="nonterminal">recordContainer</span> ::=
<span class="name">container</span>
<span class="name">(</span>
<span class="nonterminal">namespaceDeclarations</span>
<span class="name">,</span>
-<span class="star"> <span class="nonterminal">identifier</span> </span>
+<span class="star"> <span class="nonterminal">accIdentifier</span> </span>
<span class="name">,</span>
<span class="plus"> <span class="nonterminal">record</span> </span>
<span class="name">)</span>
@@ -2293,12 +2293,12 @@
by concatenating the IRI associated with the prefix and the local part (see detailed rule in [[!RDF-SPARQL-QUERY]], Section <a href="http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/#QSynIRI">4.1.1</a>).</p>
<div class='grammar'>
-<span class="nonterminal">attribute</span> := <span class="nonterminal">qualifiedName</span><br/>
-<span class="nonterminal">qualifiedName</span> := <span class="nonterminal">prefixedName</span> | <span class="nonterminal">unprefixedName</span><br/>
-<span class="nonterminal">prefixedName</span> := <span class="nonterminal">prefix</span> <span class="name">:</span> <span class="nonterminal">localPart</span><br/>
-<span class="nonterminal">unprefixedName</span> := <span class="nonterminal">localPart</span><br/>
-<span class="nonterminal">prefix</span> := <em>a name without colon compatible with the <a href="http://www.w3.org/TR/2009/REC-xml-names-20091208/#NT-NCName">NC_NAME</a> production [[!XML-NAMES]]</em><br/>
-<span class="nonterminal">localPart</span> := <em>a name without colon compatible with the <a href="http://www.w3.org/TR/2009/REC-xml-names-20091208/#NT-NCName">NC_NAME</a> production [[!XML-NAMES]]</em>
+<span class="nonterminal">attribute</span> ::= <span class="nonterminal">qualifiedName</span><br/>
+<span class="nonterminal">qualifiedName</span> ::= <span class="nonterminal">prefixedName</span> | <span class="nonterminal">unprefixedName</span><br/>
+<span class="nonterminal">prefixedName</span> ::= <span class="nonterminal">prefix</span> <span class="name">:</span> <span class="nonterminal">localPart</span><br/>
+<span class="nonterminal">unprefixedName</span> ::= <span class="nonterminal">localPart</span><br/>
+<span class="nonterminal">prefix</span> ::= <em>a name without colon compatible with the <a href="http://www.w3.org/TR/2009/REC-xml-names-20091208/#NT-NCName">NC_NAME</a> production [[!XML-NAMES]]</em><br/>
+<span class="nonterminal">localPart</span> ::= <em>a name without colon compatible with the <a href="http://www.w3.org/TR/2009/REC-xml-names-20091208/#NT-NCName">NC_NAME</a> production [[!XML-NAMES]]</em>
</div>
<p>A qualified name's prefix is OPTIONAL. If a prefix occurs in a
@@ -2306,6 +2306,8 @@
record container. In the absence of prefix, the qualified name
refers to the default namespace declared in the container.</p>
+<div class="note">Note that XML NC_NAME don't allow local identifiers to start with a number. Instead, we should use the productions used in SPARQL or TURTLE.</div>
+
<p>From this specification's viewpoint, the interpretation of an attribute declared in a namespace other than prov-dm is out of
scope.</p>
@@ -2329,7 +2331,7 @@
</pre>
</div>
-<li> The attribute <dfn id="dfn-steps"><span class="name">prov:steps</span></dfn> defines the precision associated with a derivation record. The value associated with a <span class="name">prov:steps</span> attribute MUST be <span class="name">"1"</span> or <span class="name">"n"</span>. </p>
+<li> The attribute <dfn id="dfn-steps"><span class="name">prov:steps</span></dfn> defines the level of precision associated with a derivation record. The value associated with a <span class="name">prov:steps</span> attribute MUST be <span class="name">"1"</span> or <span class="name">"n"</span>. </p>
</ul>
</section>
@@ -2344,13 +2346,14 @@
by concatenating the IRI associated with the prefix and the local part (see detailed rule in [[!RDF-SPARQL-QUERY]], Section <a href="http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/#QSynIRI">4.1.1</a>).</p>
<div class='grammar'>
-<span class="nonterminal">identifier</span> := <span class="nonterminal">qualifiedName</span><br/>
-<span class="nonterminal">eIdentifier</span> := <span class="nonterminal">identifier</span> <em>(for an entity)</em><br/>
-<span class="nonterminal">aIdentifier</span> := <span class="nonterminal">identifier</span> <em>(for an activity)</em><br/>
-<span class="nonterminal">agIdentifier</span> := <span class="nonterminal">identifier</span> <em>(for an agent)</em>
-<span class="nonterminal">gIdentifier</span>:= <span class="nonterminal">identifier</span> <em>(for a generation record)</em><br/>
-<span class="nonterminal">uIdentifier</span>:= <span class="nonterminal">identifier</span> <em>(for a usage record)</em><br/>
-<span class="nonterminal">nIdentifier</span>:= <span class="nonterminal">identifier</span> <em>(for a note record)</em>
+<span class="nonterminal">identifier</span> ::= <span class="nonterminal">qualifiedName</span><br/>
+<span class="nonterminal">eIdentifier</span> ::= <span class="nonterminal">identifier</span> <em>(for an entity record)</em><br/>
+<span class="nonterminal">aIdentifier</span> ::= <span class="nonterminal">identifier</span> <em>(for an activity record)</em><br/>
+<span class="nonterminal">agIdentifier</span> ::= <span class="nonterminal">identifier</span> <em>(for an agent record)</em><br/>
+<span class="nonterminal">gIdentifier</span>::= <span class="nonterminal">identifier</span> <em>(for a generation record)</em><br/>
+<span class="nonterminal">uIdentifier</span>::= <span class="nonterminal">identifier</span> <em>(for a usage record)</em><br/>
+<span class="nonterminal">nIdentifier</span>::= <span class="nonterminal">identifier</span> <em>(for a note record)</em><br/>
+<span class="nonterminal">accIdentifier</span>::= <span class="nonterminal">identifier</span> <em>(for an account record)</em>
</div>
@@ -2371,16 +2374,16 @@
<p>In PROV-ASN, a Literal's text matches the <span class="nonterminal">Literal</span> production of the grammar defined in this specification document.</p>
<div class='grammar'>
-<span class="nonterminal">Literal</span> := <span class="nonterminal">typedLiteral</span> | <span class="nonterminal">stringConvenienceNotation</span> </br>
-<span class="nonterminal">typedLiteral</span> := <span class="nonterminal">quotedString</span> <span class="name">%%</span> <span class="nonterminal">datatype</span></br>
-<span class="nonterminal">datatype</span> := <span class="nonterminal">IRI</span></br>
-<span class="nonterminal">IRI</span> := <em>an IRI compatible with production IRI in [[!IRI]] </em>
+<span class="nonterminal">Literal</span> ::= <span class="nonterminal">typedLiteral</span> | <span class="nonterminal">stringConvenienceNotation</span> </br>
+<span class="nonterminal">typedLiteral</span> ::= <span class="nonterminal">quotedString</span> <span class="name">%%</span> <span class="nonterminal">datatype</span></br>
+<span class="nonterminal">datatype</span> ::= <span class="nonterminal">IRI</span></br>
+<span class="nonterminal">IRI</span> ::= <em>an IRI compatible with production IRI in [[!IRI]] </em>
</br>
-<span class="nonterminal">stringConvenienceNotation</span> := <span class="nonterminal">stringLiteralNoLanguage</span> | <span class="nonterminal">stringLiteralWithLanguage</span></br>
-<span class="nonterminal">stringLiteralNoLanguage</span> := <span class="nonterminal">quotedString</span></br>
-<span class="nonterminal">stringLiteralWithLanguage</span> := <span class="nonterminal">quotedString</span> <span class="nonterminal">languageTag</span></br>
-
-<span class="nonterminal">languageTag</span> := <em>@ (U+40) by followed a nonempty sequence of characters matching the langtag production from [[!BCP47]]</em>
+<span class="nonterminal">stringConvenienceNotation</span> ::= <span class="nonterminal">stringLiteralNoLanguage</span> | <span class="nonterminal">stringLiteralWithLanguage</span></br>
+<span class="nonterminal">stringLiteralNoLanguage</span> ::= <span class="nonterminal">quotedString</span></br>
+<span class="nonterminal">stringLiteralWithLanguage</span> ::= <span class="nonterminal">quotedString</span> <span class="nonterminal">languageTag</span></br>
+
+<span class="nonterminal">languageTag</span> ::= <em>@ (U+40) by followed a nonempty sequence of characters matching the langtag production from [[!BCP47]]</em>
</div>
<p>The non terminals <span class="nonterminal">stringLiteralNoLanguage</span> and
@@ -2401,6 +2404,13 @@
"1" %% xsd:int
"http://example.org/foo" %% xsd:anyURI
</pre>
+The following example shows a literal of type <span class="name">xsd:QName</span> (see
+<a href="http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/#QName">QName</a> [[!XMLSCHEMA-2]]).
+The prefix <span class="name">ex</span> MUST be bound to a <a>namespace</a> declared in the
+ record container.
+<pre class="codeexample">
+ "ex:value" %% xsd:QName
+</pre>
</div>
@@ -2421,7 +2431,7 @@
-<p>It is OPTIONAL to assert time in use, generation, and activity records.</p>
+<p>It is OPTIONAL to assert time in usage, generation, and activity records.</p>
@@ -2434,7 +2444,7 @@
<p>An <dfn id="dfn-asserter">asserter</dfn> is a creator of PROV-DM records. An asserter is denoted by an IRI. Such IRI has no specific interpretation in the context of PROV-DM.</p>
<div class='grammar'>
-<span class="nonterminal">asserter</span> := <span class="nonterminal">IRI</span>
+<span class="nonterminal">asserter</span> ::= <span class="nonterminal">IRI</span>
</div>
<div class='note'>
@@ -2445,18 +2455,18 @@
<section id="record-NamespaceDeclaration">
<h3>Namespace Declaration</h3>
-<p>A PROV-DM <dfn id="dfn-namespace">namespace</dfn> is identified by an IRI reference [[!IRI]]. In PROV-DM, attributes, identifiers, and literals of type (with datatype <span class="name">xsd:QName</span>) can be placed in a namespace using the mechanisms described in this specification. </p>
+<p>A PROV-DM <dfn id="dfn-namespace">namespace</dfn> is identified by an IRI reference [[!IRI]]. In PROV-DM, attributes, identifiers, and literals of with datatype <span class="name">xsd:QName</span> can be placed in a namespace using the mechanisms described in this specification. </p>
<p>A <dfn id="dfn-namespaceDeclaration">namespace declaration</dfn> consists of a binding between a prefix and a namespace. Every qualified name with this prefix in the scope of this declaration refers to this namespace.
A <dfn id="dfn-defaultNamespaceDeclaration">default namespace declaration</dfn> consists of a namespace. Every unprefixed qualified name in the scope of this default namespace declaration refers to this namespace.</p>
<div class='grammar'>
-<span class="nonterminal">namespaceDeclarations</span> :=
+<span class="nonterminal">namespaceDeclarations</span> ::=
| <span class="group"><span class="nonterminal">defaultNamespaceDeclaration</span> | <span class="nonterminal">namespaceDeclaration</span></span> <span class="star"> <span class="name">,</span> <span class="nonterminal">namespaceDeclaration</span></span><br>
-<span class="nonterminal">namespaceDeclaration</span> :=
+<span class="nonterminal">namespaceDeclaration</span> ::=
<span class="nonterminal">prefix</span> <span class="name">:</span> <span class="nonterminal">IRI</span><br/>
-<span class="nonterminal">defaultNamespaceDeclaration</span> :=
+<span class="nonterminal">defaultNamespaceDeclaration</span> ::=
<span class="name">_:</span> <span class="nonterminal">IRI</span> <br/>
</div>
</section>
@@ -2470,7 +2480,7 @@
</p>
<div class='grammar'>
-<span class="nonterminal">recipeLink</span> := <span class="nonterminal">IRI</span>
+<span class="nonterminal">recipeLink</span> ::= <span class="nonterminal">IRI</span>
</div>
<p>
@@ -2547,13 +2557,13 @@
A collection record is defined as follows.
<div class='grammar'>
- <span class="nonterminal">collectionRecord</span> :=
+ <span class="nonterminal">collectionRecord</span> ::=
<span class="nonterminal">collectionDerivationRecord</span>
| <span class="nonterminal">keyDerivationRecord</span>
| <span class="nonterminal">entityMembershipRecord</span>
<br/>
- <span class="nonterminal">collectionDerivationRecord</span> :=
+ <span class="nonterminal">collectionDerivationRecord</span> ::=
<span class="name">wasAddedTo_Coll</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -2569,7 +2579,7 @@
<span class="name">)</span>
<br/>
- <span class="nonterminal">keyDerivationRecord</span> :=
+ <span class="nonterminal">keyDerivationRecord</span> ::=
<span class="name">wasAddedTo_Key</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -2585,7 +2595,7 @@
<span class="name">)</span>
<br/>
- <span class="nonterminal">entityMembershipRecord</span> :=
+ <span class="nonterminal">entityMembershipRecord</span> ::=
<span class="name">wasAddedTo_Entity</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -2652,14 +2662,14 @@
<div class='grammar'>
-<span class="nonterminal">traceabilityRecord</span> :=
+<span class="nonterminal">traceabilityRecord</span> ::=
<span class="name">tracedTo</span>
<span class="name">(</span>
<span class="optional"><span class="nonterminal">identifier</span>
<span class="name">,</span></span>
-<span class="nonterminal">identifier</span>
+<span class="nonterminal">eIdentifier</span>
<span class="name">,</span>
-<span class="nonterminal">identifier</span>
+<span class="nonterminal">eIdentifier</span>
<span class="name">)</span>
</div>
@@ -2716,29 +2726,32 @@
</p>
<div class='grammar'>
-<span class="nonterminal">activityOrderingRecord</span> :=
+<span class="nonterminal">activityOrderingRecord</span> ::=
<span class="nonterminal">informationFlowOrderingRecord</span> |
<span class="nonterminal">controlOrderingRecord</span>
<br/>
-<span class="nonterminal">informationFlowOrderingRecord</span> :=
+<span class="nonterminal">informationFlowOrderingRecord</span> ::=
<span class="name">wasInformedBy</span>
<span class="name">(</span>
-<span class="nonterminal">identifier</span>
+<span class="optional"><span class="nonterminal">identifier</span>
<span class="name">,</span>
-<span class="nonterminal">identifier</span>
+</span>
+<span class="nonterminal">aIdentifier</span>
+<span class="name">,</span>
+<span class="nonterminal">aIdentifier</span>
<span class="name">)</span>
<br/>
-<span class="nonterminal">controlOrderingRecord</span> :=
+<span class="nonterminal">controlOrderingRecord</span> ::=
<span class="name">wasStartedBy</span>
<span class="name">(</span>
<span class="optional"><span class="nonterminal">identifier</span>
<span class="name">,</span>
</span>
-<span class="nonterminal">identifier</span>
+<span class="nonterminal">aIdentifier</span>
<span class="name">,</span>
-<span class="nonterminal">identifier</span>
+<span class="nonterminal">aIdentifier</span>
<span class="name">)</span>
<br/>
</div>
@@ -2746,10 +2759,11 @@
<p>
An information flow ordering record, written as
-<span class="name">wasInformedBy(a2,a1)</span> in PROV-ASN:
+<span class="name">wasInformedBy(id,a2,a1)</span> in PROV-ASN, contains:
<ul>
-<li> refers to an activity record identified by <span class="name">a2</span>;
-<li> refers to an activity record identified by <span class="name">a1</span>
+<li><em>id</em>: an OPTIONAL identifier <span class="name">id</span> identifying the record;</li>
+<li><em>informed</em>: the identifier <span class="name">a2</span> of an activity record representing the informed activity;
+<li><em>informant</em>: the identifier <span class="name">a1</span> of an activity record representing the informant activity.
</ul>
<p> An information flow ordering record is formally defined as follows.</p>
@@ -2763,8 +2777,8 @@
<div class='interpretation' id='wasInformedBy-ordering'>
Given two activity records denoted by <span class="name">a1</span> and <span class="name">a2</span>, <span class='conditional'>if</span> the record <span class="name">wasInformedBy(a2,a1)</span>
- holds, <span class='conditional'>then</span> the
-<a title="activity start event">start event</a> of the activity record denoted by <span class="name">a1</span> <a>precedes</a> the <a title="activity end event">end event</a> of
+ holds, <span class='conditional'>then</span> the following temporal constraint holds:
+the <a title="activity start event">start event</a> of the activity record denoted by <span class="name">a1</span> <a>precedes</a> the <a title="activity end event">end event</a> of
the activity record denoted by <span class="name">a2</span>.
</div>
@@ -2792,7 +2806,7 @@
<p>
A control ordering record, written as
-<span class="name">wasStartedBy(a2,a1)</span> in PROV-ASN: </p>
+<span class="name">wasStartedBy(a2,a1)</span> in PROV-ASN, contains: </p>
<ul>
<li><em>id</em>: an OPTIONAL identifier <span class="name">id</span>;</li>
<li><em>started</em>: refers to an activity record identified by <span class="name">a2</span>, representing the started activity;
@@ -2832,7 +2846,7 @@
<div class='interpretation' id='wasStartedBy-ordering'>
Given two activity records denoted by <span class="name">a1</span> and <span class="name">a2</span>, <span class='conditional'>if</span> the record <span class="name">wasStartedBy(a2,a1)</span>
- holds, <span class='conditional'>then</span> the
+ holds, <span class='conditional'>then</span> the following temporal constraint holds: the
<a title="activity start event">start</a> event of the activity record denoted by <span class="name">a1</span> <a>precedes</a> the <a title="activity start event">start event</a> of
the activity record denoted by <span class="name">a2</span>.
</div>
@@ -2846,31 +2860,33 @@
<section id="record-Revision">
<h3>Revision Record</h3>
-<p> A <dfn id="dfn-Revision">revision record</dfn> is a representation of the creation of an entity considered to be a variant of another. Deciding whether something is made available as a revision of something else usually involves an agent who represents someone in the world who takes responsibility for declaring that the former is variant of the latter. </p>
+<p> A <dfn id="dfn-Revision">revision record</dfn> is a representation of the creation of an entity considered to be a variant of another. Deciding whether something is made available as a revision of something else usually involves an agent who represents someone in the world who takes responsibility for approving that the former is a due variant of the latter. </p>
+
+<p> A revision record, written <span class="name">wasRevisionOf(e2,e1,ag)</span> in PROV-ASN, contains:</p>
+<ul>
+<li><em>newer</em>: an identifier <span class="name">e2</span> identifying an entity that represents a newer version of an entity;
+<li><em>older</em>: an identifier <span class="name">e1</span> identifying an entity that represents an older version of an entity;
+<li><em>responsibility</em>: an OPTIONAL identifier <span class="name">ag</span> for the agent who approved that <span class="name">e2</span> is a variant of <span class="name">e1</span>.
+</ul>
+
<p>In PROV-ASN, a revision record's text matches the <span class="nonterminal">revisionRecord</span> production of the grammar defined in this specification document.
</p>
<div class='grammar'>
-<span class="nonterminal">revisionRecord</span> :=
+<span class="nonterminal">revisionRecord</span> ::=
<span class="name">wasRevisionOf</span>
<span class="name">(</span>
-<span class="nonterminal">identifier</span>
+<span class="nonterminal">eIdentifier</span>
<span class="name">,</span>
-<span class="nonterminal">identifier</span>
+<span class="nonterminal">eIdentifier</span>
<span class="optional"><span class="name">,</span>
-<span class="nonterminal">identifier</span></span>
+<span class="nonterminal">agIdentifier</span></span>
<span class="name">)</span>
</div>
-<p> A revision record, written <span class="name">wasRevisionOf(e2,e1,ag)</span> in PROV-ASN:</p>
-<ul>
-<li> contains an identifier <span class="name">e2</span> identifying an entity that represents a newer version of an entity;
-<li> contains an identifier <span class="name">e1</span> identifying an entity that represents an older version of an entity;
-<li> MAY refer to a responsible agent with identifier <span class="name">ag</span>.
-</ul>
<p>A revision record 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 an entity. However, it needs to satisfy the following constraint, linking the two entity records by a derivation, and stating them to be a complement of a third entity record.</p>
@@ -2888,18 +2904,23 @@
</div>
<p><span class="name">wasRevisionOf</span> is a strict sub-relation
- of <span class="name">wasDerivedDerivedFrom</span> since two entities <span class="name">e2</span> and <span class="name">e1</span>
- may satisfy <span class="name">wasDerivedDerivedFrom(e2,e1)</span> without being a variant of
+ of <span class="name">wasDerivedFrom</span> since two entities <span class="name">e2</span> and <span class="name">e1</span>
+ may satisfy <span class="name">wasDerivedFrom(e2,e1)</span> without being a variant of
each other.
</p>
+<div class="anexample">
<p>
The following revision assertion</p>
-<pre class="example">
-wasRevisionOf(e3,e2,a4)
+<pre class="codeexample">
+agent(ag,[prov:type="QualityController"])
+entity(e1,[prov:type="document"])
+entity(e2,[prov:type="document"])
+wasRevisionOf(e2,e1,ag)
</pre>
-<p>states that the document represented by entity record identified by <span class="name">e3</span> is declared to be revision of document represented by entity record identified by <span class="name">e2</span> by agent representy by entity record denoted by <span class="name">a4</span>.
+<p>states that the document represented by entity record identified by <span class="name">e2</span> is a revision of document represented by entity record identified by <span class="name">e1</span>; agent denoted by <span class="name">ag</span> is responsible for this new versioning of the document.
</p>
+</div>
<div class='pending'>Revision should be a class not a property. This is <a href="http://www.w3.org/2011/prov/track/issues/48">ISSUE-48</a>.</div>
@@ -2914,7 +2935,7 @@
<p>An attribution record represents that an entity is ascribed to an agent and is compliant with the <span class="nonterminal">attributionRecord</span> production.</p>
<div class='grammar'>
-<span class="nonterminal">attributionRecord</span> :=
+<span class="nonterminal">attributionRecord</span> ::=
<span class="name">wasAttributedTo</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -2954,8 +2975,8 @@
the <span class="nonterminal">quotationRecord</span> production.</p>
<div class='grammar'>
-<span class="nonterminal">quotationRecord</span> :=
-<span class="name">wasQuoteOf</span>
+<span class="nonterminal">quotationRecord</span> ::=
+<span class="name">wasQuoteFrom</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
<span class="name">,</span>
@@ -2968,7 +2989,7 @@
</div>
-<p> A quotation record, written <span class="name"> wasQuoteOf(e2,e1,ag2,ag1)</span>:</p>
+<p> A quotation record, written <span class="name"> wasQuoteFrom(e2,e1,ag2,ag1)</span>:</p>
<ul>
<li>contains an identifier <span class="name">e2</span>, identifying an entity record that represents the quote;
<li>contains an identifier <span class="name">e1</span>, identifying an entity record representing what is being quoted;
@@ -2978,7 +2999,7 @@
<div class='constraint' id='quotation-implication'>
<span class='conditional'>If</span>
-<span class="name">wasQuoteOf(e2,e1,ag2,ag1)</span> holds for some identifiers
+<span class="name">wasQuoteFrom(e2,e1,ag2,ag1)</span> holds for some identifiers
<span class="name">e2</span>, <span class="name">e1</span>, <span class="name">ag2</span>, <span class="name">ag1</span>,
<span class='conditional'>then</span> the following records hold:
<pre>
@@ -2997,7 +3018,7 @@
<span class="nonterminal">summaryRecord</span> production.</p>
<div class='grammar'>
-<span class="nonterminal">summaryRecord</span> :=
+<span class="nonterminal">summaryRecord</span> ::=
<span class="name">wasSummaryOf</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -3029,7 +3050,7 @@
<span class="nonterminal">originalSourceRecord</span> production.</p>
<div class='grammar'>
-<span class="nonterminal">originalSourceRecord</span> :=
+<span class="nonterminal">originalSourceRecord</span> ::=
<span class="name">hadOriginalSource</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>