--- a/model/working-copy/towards-wd4.html Sat Feb 04 13:01:23 2012 +0000
+++ b/model/working-copy/towards-wd4.html Sun Feb 05 12:09:07 2012 +0000
@@ -1,7 +1,7 @@
<!DOCTYPE html>
<html><head>
- <title>Towards WD4 of the PROV Data Model</title>
+ <title>PROV-DM Part 1: The Provenance Data Model</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<!--
=== NOTA BENE ===
@@ -148,10 +148,10 @@
<input id="hide-bnf" onclick="set_display_by_class('div','grammar','none'); set_display_by_id('hide-bnf','none'); set_display_by_id('show-bnf','');" type="button" value="Hide Grammar" />
<input id="show-bnf" onclick="set_display_by_class('div','grammar',''); set_display_by_id('hide-bnf',''); set_display_by_id('show-bnf','none');" style="display: none" type="button"
value="Show Grammar" />
-<input id="hide-examples" onclick="set_display_by_class('div','anexample','none'); set_display_by_id('hide-examples','none'); set_display_by_id('show-examples','');" type="button"
-value="Hide Examples" />
-<input id="show-examples" onclick="set_display_by_class('div','anexample',''); set_display_by_id('hide-examples',''); set_display_by_id('show-examples','none');" style="display: none"
-type="button" value="Show Examples" />
+<input id="hide-asn" onclick="set_display_by_class('div','withAsn','none');set_display_by_class('span','withAsn','none'); set_display_by_id('hide-asn','none'); set_display_by_id('show-asn','');" type="button"
+value="Hide ASN" />
+<input id="show-asn" onclick="set_display_by_class('div','withAsn',''); set_display_by_class('span','withAsn',''); set_display_by_id('hide-asn',''); set_display_by_id('show-asn','none');" style="display: none"
+type="button" value="Show ASN" />
</p>
</form>
</div>
@@ -167,6 +167,7 @@
<li> introduce concepts minimally, just to be able to express 'scruffy provenance'
<li> present the data model
<li>present the upgrade path
+<li>contemplating the organization of the deliverable in two/three separate documents.
</ul>
</section>
@@ -322,6 +323,7 @@
</section>
</section>
+</section>
@@ -373,6 +375,7 @@
Hence, by creating a set of PROV-DM records and packaging them into a record container,
one forms a provenance record. </p>
+<div class="withAsn">
<p>In PROV-ASN, such representations of the world MUST be conformant with the toplevel <a>production</a> <span class="nonterminal">record</span> of the grammar. These <span
class="nonterminal">record</span>s are grouped in three categories:
<span class="nonterminal">elementRecord</span> (see section <a href="#record-element">Element</a>),
@@ -409,6 +412,7 @@
<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>
+</div>
</section>
@@ -435,7 +439,7 @@
<p>Examples of entities include a car on a road, a linked data set, a sparse-matrix matrix of floating-point numbers, a document in a directory, the same document published on the Web, and
meta-data embedded in a document.</p>
-<p>An entity record <div class="withAsn">, noted <span class="name">entity(id, [ attr1=val1, ...])</span> in PROV-ASN, </div> contains:</p>
+<p>An entity record<span class="withAsn">, noted <span class="name">entity(id, [ attr1=val1, ...])</span> in PROV-ASN, </span> contains:</p>
<ul>
<li><em>id</em>: an identifier identifying an entity; </li>
<li><em>attributes</em>: an OPTIONAL set of attribute-value pairs <span class="name">[ attr1=val1, ...]</span>, representing this entity's situation in the world.</li>
@@ -571,6 +575,7 @@
duration.</li>
</ul>
+<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>
@@ -587,6 +592,7 @@
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span>
</div>
+</div>
<div class="anexample">
<p>
@@ -664,6 +670,7 @@
<li><em>attributes</em>: contains a set of attribute-value pairs <span class="name">[ attr1=val1, ...]</span>, representing this agent's situation in the world.</li>
</ul>
+<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>
@@ -676,7 +683,7 @@
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span>
</div>
-
+</div>
@@ -719,6 +726,7 @@
<p>A <dfn id="dfn-note">note record</dfn> is a set of attribute-value pairs, whose meaning is application specific. It may or may not be a representation of something in the world.</p>
+<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>
@@ -733,6 +741,7 @@
<span class="name">)</span><br/>
<!-- -->
</div>
+</div>
<p>A separate PROV-DM record is used to associate a note with an identifiable record (see <a href="#record-annotation">Section on annotation</a>). A given note may be associated with
multiple records.
@@ -824,6 +833,7 @@
</ul>
+<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>
<div class='grammar'>
@@ -840,7 +850,7 @@
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span><br/>
</div>
-
+</div>
<p>
A generation record's id is OPTIONAL. It MUST be used when annotating generation records (see Section <a href="#record-annotation">Annotation Record</a>) or when defining precise-1
@@ -945,6 +955,7 @@
<li><em>attributes</em>: an OPTIONAL set of attribute-value pairs <span class="name">attrs</span> that describe the modalities of usage of this entity by this activity;</li>
</ul>
+<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>
<div class='grammar'>
@@ -965,7 +976,7 @@
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span><br/>
</div>
-
+</div>
<p>
A usage record's id is OPTIONAL, but comes handy when annotating usage records (see Section <a href="#record-annotation">Annotation Record</a>) or when defining derivations.
@@ -1080,6 +1091,7 @@
<li><em>attributes</em>: an OPTIONAL set of attribute-value pairs <span class="name">attrs</span> that describe the modalities of association of this activity with this agent.</li>
</ul>
+<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
document.</p>
@@ -1094,6 +1106,7 @@
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span>
</div>
+</div>
<div class="anexample">
In the following example, a designer and an operator agents are asserted to be associated with an activity. The designer's goals are achieved by a workflow <span class="name">ex:wf</span>.
@@ -1145,6 +1158,7 @@
<li><em>attributes</em>: an OPTIONAL set of attribute-value pairs <span class="name">attrs</span>, describing modalities according to which the agent ended the activity.
</ul>
+<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
specification document.
</p>
@@ -1168,7 +1182,7 @@
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span>
</div>
-
+</div>
<div class="anexample">
<p>
@@ -1387,6 +1401,7 @@
holds.</p>
+<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>
<div class='grammar'>
@@ -1421,6 +1436,7 @@
The first clause of the alternative, where the activity, generation and usage record identifiers are present formalizes a derivation record is precise-1. The second clause of the alternative, with optional time formalizes imprecise records. The distinction between imprecise-1 and imprecise-n is made by the
attribute <span class="name">prov:steps</span>.
</p>
+</div>
<div class="anexample">
<p>The following assertions state the existence of derivations.</p>
@@ -1642,6 +1658,7 @@
+<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>
<div class='grammar'>
@@ -1669,6 +1686,7 @@
<span class="name">)</span>
</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>
<div class='grammar'>
@@ -1696,7 +1714,7 @@
<span class="name">)</span> <br/>
</div>
-
+</div>
<div class='issue'>A discussion on alternative definition of these relations has not reached a satisfactory conclusion yet. This is <a
href="http://www.w3.org/2011/prov/track/issues/29">ISSUE-29</a>. Also <a href="http://www.w3.org/2011/prov/track/issues/96">ISSUE-96</a>.</div>
@@ -1770,7 +1788,7 @@
<li><em>attributes</em>: an OPTIONAL set <span class="name">attrs</span> of attribute-value pairs to further describe this record.</li>
</ul>
-
+</div>
<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>
@@ -1784,6 +1802,7 @@
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span>
</div>
+</div>
<p>The interpretation of notes is application-specific. See Section <a href="#record-note">Note</a> for a discussion of the difference between note attributes and other records attributes.
We also note the present tense in this term to indicate that it may not denote something in the past.</p>
@@ -1857,6 +1876,7 @@
<li><em>attributes</em>: an OPTIONAL set <span class="name">attrs</span> of attribute-value pairs to further describe this record.</li>
</ul>
+</div>
<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'>
@@ -1872,6 +1892,7 @@
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span>
</div>
+</div>
<div class='issue'>
Currently, the non-terminal <span class="nonterminal">asserter</span> is defined as IRI and its interpretation is outside PROV-DM. We may want the asserter to be an agent instead, and