prov normative references
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Mon, 12 Nov 2012 17:01:51 -0500
changeset 4758 359aa2a8c141
parent 4757 72eb08901654
child 4759 d1a3461528e2
prov normative references
model/prov-dm.html
--- a/model/prov-dm.html	Mon Nov 12 16:59:40 2012 -0500
+++ b/model/prov-dm.html	Mon Nov 12 17:01:51 2012 -0500
@@ -490,10 +490,10 @@
 <ul>
 <li> <a href="http://www.w3.org/TR/prov-overview/">PROV-OVERVIEW</a> (Note), an overview of the PROV family of documents [[PROV-OVERVIEW]];</li>
 <li> <a href="http://www.w3.org/TR/prov-primer/">PROV-PRIMER</a> (Note), a primer for the PROV data model [[PROV-PRIMER]];</li>
-<li> <a href="http://www.w3.org/TR/prov-o/">PROV-O</a> (Recommendation), the PROV ontology, an OWL2 ontology allowing the mapping of PROV to RDF [[PROV-O]];</li>
+<li> <a href="http://www.w3.org/TR/prov-o/">PROV-O</a> (Recommendation), the PROV ontology, an OWL2 ontology allowing the mapping of PROV to RDF [[!PROV-O]];</li>
 <li> <a href="http://www.w3.org/TR/prov-dm/">PROV-DM</a> (Recommendation), the PROV data model for provenance (this document);</li>
-<li> <a href="http://www.w3.org/TR/prov-n/">PROV-N</a> (Recommendation), a notation for provenance aimed at human consumption [[PROV-N]];</li>
-<li> <a href="http://www.w3.org/TR/prov-constraints/">PROV-CONSTRAINTS</a> (Recommendation), a set of constraints applying to the PROV data model [[PROV-CONSTRAINTS]];</li>
+<li> <a href="http://www.w3.org/TR/prov-n/">PROV-N</a> (Recommendation), a notation for provenance aimed at human consumption [[!PROV-N]];</li>
+<li> <a href="http://www.w3.org/TR/prov-constraints/">PROV-CONSTRAINTS</a> (Recommendation), a set of constraints applying to the PROV data model [[!PROV-CONSTRAINTS]];</li>
 <li> <a href="http://www.w3.org/TR/prov-aq/">PROV-AQ</a> (Note), the mechanisms for accessing and querying provenance [[PROV-AQ]]; </li>
 <li> <a href="http://www.w3.org/TR/prov-xml/">PROV-XML</a> (Note),  an XML schema for the PROV data model [[PROV-XML]].</li>
 
@@ -568,7 +568,7 @@
 
 <p>However, if something about which provenance is expressed is subject to change, then it is challenging to express its provenance precisely (e.g. the data from which a daily weather report is derived  changes from day to day).
 This is addressed in a companion
- specification [[PROV-CONSTRAINTS]] by proposing formal constraints on
+ specification [[!PROV-CONSTRAINTS]] by proposing formal constraints on
  the way that provenance is related to the things it
  describes (such as the use of attributes, temporal information and
  specialization of entities), and additional conclusions that are valid
@@ -611,7 +611,7 @@
 
 <p><a href="#extensibility-section">Section 6</a> summarizes PROV-DM extensibility points.</p>
 
-<p><a href="#valid-provenance">Section 7</a> introduces the idea that constraints can be applied to the PROV data model to validate provenance; these are covered in the companion specification [[PROV-CONSTRAINTS]].</p>
+<p><a href="#valid-provenance">Section 7</a> introduces the idea that constraints can be applied to the PROV data model to validate provenance; these are covered in the companion specification [[!PROV-CONSTRAINTS]].</p>
 
 
 </section> 
@@ -628,7 +628,7 @@
 
 <p> 
   Examples throughout this document use the PROV-N Provenance
-  Notation, briefly introduced in <a href="#prov-notation">Section 3</a> and specified fully in a separate document [[PROV-N]].</p>
+  Notation, briefly introduced in <a href="#prov-notation">Section 3</a> and specified fully in a separate document [[!PROV-N]].</p>
 
 
 
@@ -1171,7 +1171,7 @@
 
 
 <p>To illustrate the application of PROV concepts to a concrete example (see <a href="#prov-dm-example">Section 4</a>) and to provide examples of concepts (see <a href="#data-model-components">Section 5</a>),
-we introduce PROV-N, a notation for writing instances of the PROV data model. For full details and for a normative reference, the reader is referred to the companion specification [[PROV-N]].
+we introduce PROV-N, a notation for writing instances of the PROV data model. For full details and for a normative reference, the reader is referred to the companion specification [[!PROV-N]].
 PROV-N is a notation  aimed at human consumption, with the following characteristics:</p>
 <ul>
 <li>PROV-N expressions adopt a <em>functional notation</em> consisting
@@ -3192,7 +3192,7 @@
   "http://example.org/foo" %% xsd:anyURI
 </pre>
 <p>The following example shows a value of type <span class="name">prov:QUALIFIED_NAME</span> (see
-<span class="name"><a href="http://www.w3.org/TR/prov-n/#prod-QUALIFIED_NAME">prov:QUALIFIED_NAME</a></span> [[PROV-N]]).
+<span class="name"><a href="http://www.w3.org/TR/prov-n/#prod-QUALIFIED_NAME">prov:QUALIFIED_NAME</a></span> [[!PROV-N]]).
 The prefix <span class="name">ex</span>  must be bound to a <a>namespace</a> declared in a <a>namespace declaration</a>.</p>
 <pre class="codeexample"> 
   "ex:value" %% prov:QUALIFIED_NAME
@@ -3319,7 +3319,7 @@
 </ul>
 
 <p>The PROV data model is designed to be application and technology independent, but implementers are welcome and encouraged to specialize PROV-DM to specific domains and applications.  To ensure interoperability, specializations of
-the PROV data model that exploit the extensibility points summarized in this section must preserve the semantics specified in this document and in [[PROV-CONSTRAINTS]]. </p>
+the PROV data model that exploit the extensibility points summarized in this section must preserve the semantics specified in this document and in [[!PROV-CONSTRAINTS]]. </p>
 
 
 
@@ -3341,7 +3341,7 @@
 express that an entity was used before it was generated, or that the
 activity that generated an entity began its existence after the entity
 generation.  A set of constraints have been defined for PROV-DM and
-can be found in a companion specification [[PROV-CONSTRAINTS]].
+can be found in a companion specification [[!PROV-CONSTRAINTS]].
 They SHOULD be used by developers to compose provenance descriptions that are valid, and
 by implementers of reasoning engines aiming to check whether provenance descriptions have problems. </li>
 
@@ -3350,7 +3350,7 @@
 <li>
 <p> The example of <a href="#prov-dm-example">section 3</a> contains identifiers such as <span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111215">tr:WD-prov-dm-20111215</a></span>, which denotes a specific version of a technical report.  On the other hand, a URI such as <a href="http://www.w3.org/TR/prov-dm/">http://www.w3.org/TR/prov-dm/</a> denotes the latest version of a document. One needs to ensure that provenance descriptions for the latter resource remain valid as the resource state changes. </p>
 
-<p>To this end, PROV-DM allows asserters to describe "<em>partial states</em>" of entities by means of attributes and associated values. Some further constraints apply to the use of these attributes, since the values associated with them are expected to remain unchanged for some period of time. The constraints associated to attributes allow provenance descriptions to be refined, they can also be found in the companion specification [[PROV-CONSTRAINTS]].</p>
+<p>To this end, PROV-DM allows asserters to describe "<em>partial states</em>" of entities by means of attributes and associated values. Some further constraints apply to the use of these attributes, since the values associated with them are expected to remain unchanged for some period of time. The constraints associated to attributes allow provenance descriptions to be refined, they can also be found in the companion specification [[!PROV-CONSTRAINTS]].</p>
 
 
 </li>
@@ -3358,7 +3358,7 @@
 
 <li>
 <p>The idea of bundling provenance descriptions is crucial to the PROV approach. Indeed, it allows multiple provenance perspectives to be provided for a given entity. It is also the mechanism by which provenance of provenance can be expressed.
-Descriptions in bundles are expected to satisfy constraints specified in the companion specification [[PROV-CONSTRAINTS]].</p>
+Descriptions in bundles are expected to satisfy constraints specified in the companion specification [[!PROV-CONSTRAINTS]].</p>
 </li>
 
 
@@ -3377,7 +3377,7 @@
 <h2>Cross-References to PROV-O and PROV-N</h2>
 
 <p>PROV-DM is a conceptual data model which can be serialized in various ways. 
-The following table contains the PROV-O classes and properties, as described in [[PROV-O]], and PROV-N productions, as described in [[PROV-N]] that correspond to PROV-DM concepts.</p> 
+The following table contains the PROV-O classes and properties, as described in [[!PROV-O]], and PROV-N productions, as described in [[!PROV-N]] that correspond to PROV-DM concepts.</p> 
 
 <div id="prov-dm-to-prov-o-and-prov-n-fig" style="text-align: left;">
 <table  class="thinborder" style="margin-left: auto; margin-right: auto;">