prov asn
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Thu, 09 Feb 2012 15:37:12 +0000
changeset 1513 487377a1c492
parent 1512 89f990f524cc
child 1514 805fb9f89de6
prov asn
model/working-copy/prov-asn.html
--- a/model/working-copy/prov-asn.html	Thu Feb 09 15:26:07 2012 +0000
+++ b/model/working-copy/prov-asn.html	Thu Feb 09 15:37:12 2012 +0000
@@ -185,6 +185,10 @@
 to illustrate the data model. 
 </p>
 
+<section id="introduction"> 
+<h2>Introduction</h2>
+</section>
+
 <section id="data-model-concepts"> 
 
 <h2>PROV-DM Core</h2>
@@ -398,7 +402,7 @@
 </section>
 
 <section id="expression-Start-End">
-<h4>Start and End Expressions</h4>
+<h4>Activity Start and End</h4>
 
 
 <div class="withAsn">
@@ -633,6 +637,8 @@
 <span class="nonterminal">defaultNamespaceDeclaration</span>&nbsp;::=  
  <span class="name">default</span> <span class="nonterminal">IRI</span> <br/>
 </div>
+
+<p>In PROV-ASN, the prefix  <span class="name">prov</span> is reserved and denotes the PROV namespace.</p>
 </section>
 
 
@@ -642,13 +648,14 @@
 
 <div class='grammar'>
 <span class="nonterminal">identifier</span>&nbsp;::=  <span class="nonterminal">qualifiedName</span><br/>
-<span class="nonterminal">eIdentifier</span>&nbsp;::=  <span class="nonterminal">identifier</span>  <em>(intended to denote an entity record)</em><br/>
-<span class="nonterminal">aIdentifier</span>&nbsp;::=  <span class="nonterminal">identifier</span>  <em>(intended to denote an activity record)</em><br/>
-<span class="nonterminal">agIdentifier</span>&nbsp;::=  <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>
+<span class="nonterminal">eIdentifier</span>&nbsp;::=  <span class="nonterminal">identifier</span>  <em>(intended to denote an entity)</em><br/>
+<span class="nonterminal">aIdentifier</span>&nbsp;::=  <span class="nonterminal">identifier</span>  <em>(intended to denote an activity)</em><br/>
+<span class="nonterminal">agIdentifier</span>&nbsp;::=  <span class="nonterminal">identifier</span>  <em>(intended to denote an agent)</em><br/>
+<span class="nonterminal">gIdentifier</span>::=  <span class="nonterminal">identifier</span> <em>(intended to denote a generation)</em><br/>
+<span class="nonterminal">uIdentifier</span>::=  <span class="nonterminal">identifier</span> <em>(intended to denote a usage)</em><br/>
+<span class="nonterminal">nIdentifier</span>::=  <span class="nonterminal">identifier</span> <em>(intended to denote a note)</em><br/>
+<span class="nonterminal">accIdentifier</span>::=  <span class="nonterminal">identifier</span> <em>(intended to denote an account)</em>
+<br/>
 <br/>
 <span class="nonterminal">qualifiedName</span> &nbsp;::= <span class="nonterminal">prefixedName</span> | <span class="nonterminal">unprefixedName</span><br/>
 <span class="nonterminal">prefixedName</span> &nbsp;::= <span class="nonterminal">prefix</span> <span class="name">:</span> <span class="nonterminal">localPart</span><br/>
@@ -674,50 +681,19 @@
 <span class="nonterminal">attribute</span>&nbsp;::=  <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>In PROV-ASN, the reserved attributes are the following.</p>
 
-<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>. </p>
+<ol>
+<li>  <span class="name">prov:label</span>
+<li>  <span class="name">prov:location</span>
+<li>  <span class="name">prov:role</span>
+<li>  <span class="name">prov:steps</span>
+<li>  <span class="name">prov:type</span>
+</ol>
 
 </section>
 
 
-<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>
-
 
 
 
@@ -773,10 +749,24 @@
 
  
 </section>
+</section>
+
+<section id="common-relations"> 
+<h2>Common Relations</h2>
+
+<div class="note">
+TO ADD
+</div>
+</section>
+
 
 <section  id="bundle">
 <h3>Bundle</h3>
 
+<div class="note">
+Has not been edited yet.
+</div>
+
 <p>In this section, two constructs are introduced to group
 PROV-DM records.  The first
 one, <a>account record</a> is itself a
@@ -876,7 +866,7 @@
 </section>
 </section>
 
-</section>
+
 
 
  </body></html>