--- a/model/working-copy/prov-asn.html Thu Feb 09 15:04:34 2012 +0000
+++ b/model/working-copy/prov-asn.html Thu Feb 09 15:26:07 2012 +0000
@@ -189,22 +189,22 @@
<h2>PROV-DM Core</h2>
-<section id="record-element">
+<section id="expression-element">
<h3>Element</h3>
- <section id="record-Entity">
+ <section id="expression-Entity">
<h4>Entity</h4>
<div class="withAsn">
<p>
-In PROV-ASN, an entity record's text matches the <span class="nonterminal">entityRecord</span> production of the grammar defined in this specification document.
+An entity's text matches the <span class="nonterminal">entityExpression</span> production.
</p>
<div class='grammar'>
-<span class="nonterminal">entityRecord</span> ::=
+<span class="nonterminal">entityExpression</span> ::=
<span class="name">entity</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -231,18 +231,18 @@
</section>
- <section id="record-Activity">
+ <section id="expression-Activity">
<h3>Activity</h3>
<div class="withAsn">
-<p>In PROV-ASN, an activity record's text matches the <span class='nonterminal'>activityRecord</span> production of the grammar defined in this specification document.</p>
+<p>An activity's text matches the <span class='nonterminal'>activityExpression</span> production.</p>
<div class='grammar'>
-<span class="nonterminal">activityRecord</span> ::=
+<span class="nonterminal">activityExpression</span> ::=
<span class="name">activity</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -259,17 +259,17 @@
</section>
-<section id="record-Agent">
+<section id="expression-Agent">
<h3>Agent</h3>
<div class="withAsn">
-<p>In PROV-ASN, an agent record's text matches the <span class="nonterminal">agentRecord</span> production of the grammar defined in this specification document.
+<p>An agent's text matches the <span class="nonterminal">agentExpression</span> production.
</p>
<div class='grammar'>
-<span class="nonterminal">agentRecord</span> ::=
+<span class="nonterminal">agentExpression</span> ::=
<span class="name">agent</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -280,17 +280,17 @@
</section>
- <section id="record-note">
+ <section id="expression-note">
<h4>Note</h4>
<div class="withAsn">
-<p>In PROV-ASN, a note record's text matches the <span class="nonterminal">noteRecord</span> production of the grammar defined in this specification document.
+<p>A note's text matches the <span class="nonterminal">noteExpression</span> production.
</p>
<div class='grammar'>
-<span class="nonterminal">noteRecord</span> ::=
+<span class="nonterminal">noteExpression</span> ::=
<span class="name">note</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -306,41 +306,21 @@
</section>
-<section id="record-relation">
+<section id="expression-relation">
<h3>Relation</h3>
-<p>This section describes all the PROV-DM records representing relations between the elements introduced in <a href="#record-element">Section Element</a>. While these relations are not
-binary, they all involve two primary elements. They can be summarized as follows. </p>
+<p>In PROV-ASN, relation expressions are conformant to the <span class='nonterminal'>relationExpression</span> production of the grammar.</p>
-<div style="text-align: center;">
-<table border="1" style="margin-left: auto; margin-right: auto;">
-<caption>PROV-DM Core Relation Summary</caption>
-<tr><td></td><td>Entity</td><td>Activity</td><td>Agent</td><td>Note</td></tr>
-<tr><td>Entity</td><td><a title="derivation record">wasDerivedFrom</a><br><a title="alternate record">alternateOf</a><br><a title="specialization record">specializationOf</a></td><td><a
-title="generation record">wasGeneratedBy</a></td><td>—</td><td><a title="annotation record">hasAnnotation</a></td></tr>
-<tr><td>Activity</td><td><a title="usage record">used</a></td><td>—</td><td><a title="start record">wasStartedBy</a><br><a title="end record">wasEndedBy</a><br><a title="activity
-association record">wasAssociatedWith</a></td><td><a title="annotation record">hasAnnotation</a></td></tr>
-<tr><td>Agent</td><td>—</td><td>—</td><td><a title="responsibility record">actedOnBehalfOf</a></td><td><a title="annotation record">hasAnnotation</a></td></tr>
-<tr><td>Note</td><td>—</td><td>—</td><td>—</td><td><a title="annotation record">hasAnnotation</a></td></tr>
-</table>
-</div>
-
-
-<p>In PROV-ASN, all these relation records are conformant to the <span class='nonterminal'>relationRecord</span> production of the grammar.</p>
-
-<section id="activity-entity-relation">
-<h3>Activity-Entity Relation</h3>
-
-<section id="record-Generation">
+<section id="expression-Generation">
<h4>Generation</h4>
<div class="withAsn">
-<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>
+<p>A generation's text matches the <span class='nonterminal'>generationExpression</span> production.</p>
<div class='grammar'>
-<span class="nonterminal">generationRecord</span> ::=
+<span class="nonterminal">generationExpression</span> ::=
<span class="name">wasGeneratedBy</span>
<span class="name">(</span>
<span class="optional"> <span class="nonterminal">identifier</span>
@@ -359,16 +339,16 @@
</section>
-<section id="record-Usage">
+<section id="expression-Usage">
<h3>Usage</h3>
<div class="withAsn">
-<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>
+<p>A usage's text matches the <span class='nonterminal'>usageExpression</span> production.</p>
<div class='grammar'>
-<span class="nonterminal">usageRecord</span> ::=
+<span class="nonterminal">usageExpression</span> ::=
<span class="name">used</span>
<span class="name">(</span>
<span class="optional">
@@ -389,24 +369,21 @@
</section>
-</section>
-<section id="activity-agent-relation">
-<h3>Activity-Agent Relation</h3>
-<section id="record-ActivityAssociation">
-<h4>Activity Association Record</h4>
+<section id="expression-ActivityAssociation">
+<h4>Activity Association</h4>
<div class="withAsn">
-<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
+<p>An activity association's text matches the <span class="nonterminal">activityAssociationExpression</span> productions of the grammar defined in this specification
document.</p>
<div class='grammar'>
-<span class="nonterminal">activityAssociationRecord</span> ::=
+<span class="nonterminal">activityAssociationExpression</span> ::=
<span class="name">wasAssociatedWith</span>
<span class="name">(</span>
<span class="optional"><span class="nonterminal">identifier</span>,</span>
@@ -420,18 +397,18 @@
</section>
-<section id="record-Start-End">
-<h4>Start and End Records</h4>
+<section id="expression-Start-End">
+<h4>Start and End Expressions</h4>
<div class="withAsn">
-<p>In PROV-ASN, start and end record's texts match the <span class="nonterminal">startRecord</span> and <span class="nonterminal">endRecord</span> productions of the grammar defined in this
+<p>Activity start and end texts match the <span class="nonterminal">startExpression</span> and <span class="nonterminal">endExpression</span> productions of the grammar defined in this
specification document.
</p>
<div class='grammar'>
-<span class="nonterminal">startRecord</span> ::=
+<span class="nonterminal">startExpression</span> ::=
<span class="name">wasStartedBy</span>
<span class="name">(</span>
<span class="optional"> <span class="nonterminal">identifier</span>,</span>
@@ -439,7 +416,7 @@
<span class="nonterminal">agIdentifier</span>
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span><br/>
-<span class="nonterminal">endRecord</span> ::=
+<span class="nonterminal">endExpression</span> ::=
<span class="name">wasEndedBy</span>
<span class="name">(</span>
<span class="optional"> <span class="nonterminal">identifier</span>,</span>
@@ -455,19 +432,17 @@
-</section>
-<section id="entity-entity-agent-agent-relation">
-<h4>Entity-Entity or Agent-Agent Relation</h4>
-<section id="record-responsibility">
-<h4>Responsibility Record</h4>
+<section id="expression-responsibility">
+
+<h4>Responsibility Chain</h4>
<div class='grammar'>
-<span class="nonterminal">responsibilityRecord</span> ::=
+<span class="nonterminal">responsibilityExpression</span> ::=
<span class="name">actedOnBehalfOf</span>
<span class="name">(</span>
<span class="optional"> <span class="nonterminal">identifier</span>,</span>
@@ -484,15 +459,15 @@
</section>
<section id="Derivation-Relation">
-<h4>Derivation Record</h4>
+<h4>Derivation</h4>
<div class="withAsn">
-<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>
+<p>A derivation record's text matches the <span class='nonterminal'>derivationExpression</span> production.</p>
<div class='grammar'>
-<span class="nonterminal">derivationRecord</span> ::=
+<span class="nonterminal">derivationExpression</span> ::=
<span class="name">wasDerivedFrom</span>
<span class="name">(</span>
<span class="optional"> <span class="nonterminal">identifier</span>,</span>
@@ -529,43 +504,29 @@
<p>In PROV-DM, the effective placeholder for an entity generation time is the <a>generation record</a>. The presence of
time information in imprecise derivation records is merely a convenience notation for a timeless derivation record and a generation record with this generation time information. </p>
-<div class='inference' id="derivation-time-elimination">
+<div class='syntax' id="derivation-time-elimination">
<span class='conditional'>If</span> <span class="name">wasDerivedFrom(e2,e1,t,attrs)</span> holds, <span class='conditional'>then</span> the following records also hold:
<span class="name">wasDerivedFrom(e2,e1,attrs)</span> and <span class="name">wasGeneratedBy(e2,t)</span>.
</div>
-<p>
-<div class="structural-forward">
-See <a href="#derivation-use">derivation-use</a> for a structural constraint on derivation records.
-</div>
-</p>
-
<div class='pending'>Should derivation have a time? Which time? This is <a href="http://www.w3.org/2011/prov/track/issues/43">ISSUE-43</a>.<em>This is now addressed in this text. Optional time in derivation is generation time. See also <a href="http://www.w3.org/2011/prov/track/issues/205">ISSUE-205</a>.</em></div>
-
-<div class='issue'>Several points were raised about the attribute steps.
-Its name, its default value <a href="http://www.w3.org/2011/prov/track/issues/180">ISSUE-180</a>.
- <a href="http://www.w3.org/2011/prov/track/issues/179">ISSUE-179</a>.</div>
-
-<div class='issue'> Emphasize the notion of 'affected by' <a href="http://www.w3.org/2011/prov/track/issues/133">ISSUE-133</a>.</div>
-
-
</section>
-<section id="record-alternate-specialization">
+<section id="expression-alternate-specialization">
<h4>Alternate and Specialization</h4>
<div class="withAsn">
-<p>In PROV-ASN, an alternate record's text matches the <span class="nonterminal">alternateRecord</span> production of the grammar defined in this specification document.</p>
+<p>An alternate relation's text matches the <span class="nonterminal">alternateExpression</span> production.</p>
<div class='grammar'>
- <span class="nonterminal">alternateRecord</span> ::=
+ <span class="nonterminal">alternateExpression</span> ::=
<span class="name">alternateOf</span>
<span class="name">(</span>
<span class="nonterminal">eIdentifier</span>
@@ -590,10 +551,10 @@
</div>
-<p>In PROV-ASN, a specialization record's text matches the <span class="nonterminal">specializationRecord</span>production of the grammar defined in this specification document.</p>
+<p>A specialization relation's text matches the <span class="nonterminal">specializationExpression</span>production.</p>
<div class='grammar'>
- <span class="nonterminal">specializationRecord</span> ::=
+ <span class="nonterminal">specializationExpression</span> ::=
<span class="name">specializationOf</span>
<span class="name">(</span>
<span class="nonterminal">eIdentifier</span>
@@ -621,7 +582,7 @@
-</section>
+
</section>
@@ -629,15 +590,15 @@
-<section id="record-annotation">
-<h4>Annotation Record</h4>
+<section id="expression-annotation">
+<h4>Annotation</h4>
-<p>In PROV-ASN, a note record's text matches the <span class="nonterminal">noteRecord</span> production of the grammar defined in this specification document.
+<p>A note's text matches the <span class="nonterminal">noteExpression</span> production.
</p>
<div class='grammar'>
-<span class="nonterminal">annotationRecord</span> ::=
+<span class="nonterminal">annotationExpression</span> ::=
<span class="name">hasAnnotation</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -653,21 +614,42 @@
</section>
-<section id="sub-record">
-<h3>Further Terms in Records</h3>
+<section id="subexpressions">
+<h3>Further Expressions</h3>
-This section further terms in PROV-DM records.
-
+This section defines further expressions of PROV-ASN.
-<section id="record-attribute">
-<h4>Attribute</h4>
+<section id="expression-NamespaceDeclaration">
+<h3>Namespace Declaration</h3>
-<p>In PROV-ASN, an attribute's text matches the <span class="nonterminal">attribute</span> production of the grammar defined in this specification document.</p>
+<div class='grammar'>
+<span class="nonterminal">namespaceDeclarations</span> ::=
+ | <span class="group"><span class="nonterminal">defaultNamespaceDeclaration</span> | <span class="nonterminal">namespaceDeclaration</span></span> <span class="star"> <span
+class="nonterminal">namespaceDeclaration</span></span><br>
+<span class="nonterminal">namespaceDeclaration</span> ::=
+<span class="name">prefix</span> <span class="nonterminal">prefix</span> <span class="nonterminal">IRI</span><br/>
+<span class="nonterminal">defaultNamespaceDeclaration</span> ::=
+ <span class="name">default</span> <span class="nonterminal">IRI</span> <br/>
+</div>
+</section>
+
+
+<section id="expression-identifier">
+<h4>Identifier</h4>
+
<div class='grammar'>
-<span class="nonterminal">attribute</span> ::= <span class="nonterminal">qualifiedName</span><br/>
+<span class="nonterminal">identifier</span> ::= <span class="nonterminal">qualifiedName</span><br/>
+<span class="nonterminal">eIdentifier</span> ::= <span class="nonterminal">identifier</span> <em>(intended to denote an entity record)</em><br/>
+<span class="nonterminal">aIdentifier</span> ::= <span class="nonterminal">identifier</span> <em>(intended to denote an activity record)</em><br/>
+<span class="nonterminal">agIdentifier</span> ::= <span class="nonterminal">identifier</span> <em>(intended to denote an agent record)</em><br/>
+<span class="nonterminal">gIdentifier</span>::= <span class="nonterminal">identifier</span> <em>(intended to denote a generation record)</em><br/>
+<span class="nonterminal">uIdentifier</span>::= <span class="nonterminal">identifier</span> <em>(intended to denote a usage record)</em><br/>
+<span class="nonterminal">nIdentifier</span>::= <span class="nonterminal">identifier</span> <em>(intended to denote a note record)</em><br/>
+<span class="nonterminal">accIdentifier</span>::= <span class="nonterminal">identifier</span> <em>(intended to denote an account record)</em>
+<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/>
@@ -680,46 +662,69 @@
<div class="note">Note that XML NC_NAME don't allow local identifiers to start with a number. Instead, should we use the productions used in SPARQL or TURTLE?</div>
+</section>
-<ul>
-
-<li> The attribute <dfn id="dfn-type"><span class="name">prov:type</span></dfn> provides further typing information for the element or relation asserted in the record. </div>
+<section id="expression-attribute">
+<h4>Attribute</h4>
-<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
+<p>An attribute's text matches the <span class="nonterminal">attribute</span> production.</p>
+
+<div class='grammar'>
+<span class="nonterminal">attribute</span> ::= <span class="nonterminal">qualifiedName</span><br/>
+</div>
+
+
+
+<section id="expression-attribute-role">
+<h4>prov:role</h4>
+</section>
+
+<section id="expression-attribute-type">
+<h4>prov:type</h4>
+
+<p> The attribute <dfn id="dfn-type"><span class="name">prov:type</span></dfn> provides further typing information for the element or relation asserted in the record. </p>
+
+</section>
+<section id="expression-attribute-steps">
+<h4>prov:steps</h4>
+<p>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">"single"</span> or <span class="name">"any"</span>. The attribute <span class="name">prov:step</span> occurs at most
once in a derivation record. A derivation record without attribute <span class="name">prov:step</span> is considered to be equivalent to the same record extended with an extra attribute
-<span class="name">prov:step</span> and associated value <span class="name">"any"</span>. </li>
+<span class="name">prov:step</span> and associated value <span class="name">"any"</span>. </p>
-<li> The attribute <dfn id="dfn-label"><span class="name">prov:label</span></dfn> provides a human-readable representation of a PROV-DM element or relation.</li>
+</section>
-</ul>
+
+<section id="expression-attribute-label">
+<h4>prov:label</h4>
+
+<p> The attribute <dfn id="dfn-label"><span class="name">prov:label</span></dfn> provides a human-readable representation of a PROV-DM element or relation.</p>
+</section>
+
+<section id="expression-attribute-location">
+<h4>prov:location</h4>
+
+<p>
+Location is an OPTIONAL attribute of entity records and activity records. The value associated with a attribute <span class="name">location</span> MUST be a <span
+class="nonterminal">Literal</span>, expected to denote a location.
+</p>
</section>
-<section id="record-identifier">
-<h4>Identifier</h4>
-
-<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>(intended to denote an entity record)</em><br/>
-<span class="nonterminal">aIdentifier</span> ::= <span class="nonterminal">identifier</span> <em>(intended to denote an activity record)</em><br/>
-<span class="nonterminal">agIdentifier</span> ::= <span class="nonterminal">identifier</span> <em>(intended to denote an agent record)</em><br/>
-<span class="nonterminal">gIdentifier</span>::= <span class="nonterminal">identifier</span> <em>(intended to denote a generation record)</em><br/>
-<span class="nonterminal">uIdentifier</span>::= <span class="nonterminal">identifier</span> <em>(intended to denote a usage record)</em><br/>
-<span class="nonterminal">nIdentifier</span>::= <span class="nonterminal">identifier</span> <em>(intended to denote a note record)</em><br/>
-<span class="nonterminal">accIdentifier</span>::= <span class="nonterminal">identifier</span> <em>(intended to denote an account record)</em>
-</div>
</section>
-<section id="record-literal">
+
+
+
+<section id="expression-literal">
<h4>Literal</h4>
-<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>
+<p>A Literal's text matches the <span class="nonterminal">Literal</span> production.</p>
<div class='grammar'>
<span class="nonterminal">Literal</span> ::= <span class="nonterminal">typedLiteral</span> | <span class="nonterminal">convenienceNotation</span> <br/>
@@ -749,7 +754,7 @@
-<section id="record-Time">
+<section id="expression-Time">
<h4>Time</h4>
<p><dfn id="dfn-time">Time instants</dfn> are defined according to xsd:dateTime [[!XMLSCHEMA-2]].</p>
@@ -761,38 +766,11 @@
-<section id="record-NamespaceDeclaration">
-<h3>Namespace Declaration</h3>
-
-
-<div class='grammar'>
-<span class="nonterminal">namespaceDeclarations</span> ::=
- | <span class="group"><span class="nonterminal">defaultNamespaceDeclaration</span> | <span class="nonterminal">namespaceDeclaration</span></span> <span class="star"> <span
-class="nonterminal">namespaceDeclaration</span></span><br>
-<span class="nonterminal">namespaceDeclaration</span> ::=
-<span class="name">prefix</span> <span class="nonterminal">prefix</span> <span class="nonterminal">IRI</span><br/>
-<span class="nonterminal">defaultNamespaceDeclaration</span> ::=
- <span class="name">default</span> <span class="nonterminal">IRI</span> <br/>
-</div>
-</section>
-
-<section id="record-Location">
-<h3>Location</h3>
-
-<p>
-Location is an OPTIONAL attribute of entity records and activity records. The value associated with a attribute <span class="name">location</span> MUST be a <span
-class="nonterminal">Literal</span>, expected to denote a location.
-</p>
-
-
-
-
-</section>
</section>
@@ -807,8 +785,8 @@
</p>
-<section id="record-Account">
-<h3>Account Record</h3>
+<section id="expression-Account">
+<h3>Account Expression</h3>
@@ -824,10 +802,10 @@
</section>
-<section id="RecordContainer">
-<h4>Record Container</h4>
+<section id="ExpressionContainer">
+<h4>Expression Container</h4>
-<p>A <dfn id="dfn-RecordContainer">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
+<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>
@@ -843,7 +821,7 @@
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>In PROV-ASN, a record container's text matches the <span class="nonterminal">recordContainer</span> production of the grammar defined in this specification document.</p>
+<p>A record container's text matches the <span class="nonterminal">recordContainer</span> production.</p>
<div class='grammar'>