--- a/model/working-copy/prov-dm-constraints.html Wed Feb 15 11:54:34 2012 +0000
+++ b/model/working-copy/prov-dm-constraints.html Wed Feb 15 13:18:04 2012 +0000
@@ -57,6 +57,13 @@
"2011, Working Draft. "+
"URL: <a href=\"http://www.w3.org/TR/prov-dm/\">http://www.w3.org/TR/prov-dm/</a>",
+ "PROV-ASN":
+ "Luc Moreau and Paolo Missier (eds.) ... "+
+ "<a href=\"http://www.w3.org/TR/prov-asn/\"><cite>PROV-ASN ....</cite></a>. "+
+ "2011, Working Draft. "+
+ "URL: <a href=\"http://www.w3.org/TR/prov-asn/\">http://www.w3.org/TR/prov-asn/</a>",
+
+
"PROV-O":
"Satya Sahoo and Deborah McGuinness (eds.) Khalid Belhajjame, James Cheney, Daniel Garijo, Timothy Lebo, Stian Soiland-Reyes, and Stephan Zednik "+
"<a href=\"http://www.w3.org/TR/prov-o/\"><cite>Provenance Formal Model</cite></a>. "+
@@ -169,74 +176,55 @@
<h2>Introduction<br>
</h2>
-<p>
-For the purpose of this specification, <dfn>provenance</dfn> is defined as a record that describes the people,
+<p> Provenance is defined as a record that describes the people,
institutions, entities, and activities, involved in producing,
-influencing, or delivering a piece of data or a thing in the world.
-In particular, the provenance of information is crucial in deciding
-whether information is to be trusted, how it should be integrated with
-other diverse information sources, and how to give credit to its
-originators when reusing it. In an open and inclusive environment
-such as the Web, users find information that is often contradictory or
-questionable: provenance can help those users to make trust judgments.
+influencing, or delivering a piece of data or a thing in the world. A
+companion specification [[PROV-DM]] defines PROV-DM, a data model for
+provenance, allowing such descriptions to be expressed.
</p>
-<p>
-The idea that a single way of representing and collecting provenance could be adopted internally by all systems does not seem to be realistic today. Instead, a pragmatic approach is to
-consider a core data model for provenance that allows domain and application specific representations of provenance to be translated into such a data model and exchanged between systems.
-Heterogeneous systems can then export their provenance into such a core data model, and applications that need to make sense of provenance in heterogeneous systems can then import it,
-process it, and reason over it.</p>
+<p>PROV-DM has essentially be defined without any constraints [[PROV-DM]]. This document introduces a further set of concepts underpinning this data model and defines constraints that well-structured provenance descriptions should follow and that provide an interpretation for these descriptions. </p>
-<p>Thus, the vision is that different provenance-aware systems natively adopt their own model for representing their provenance, but a core provenance data model can be readily adopted as a
-provenance <em>interchange</em> model across such systems.</p>
-<p>A set of specifications, referred to as the PROV family of specifications, define the various aspects
-that are necessary to achieve this vision in an inter-operable
-way, the first of which is this document:</p>
+<p>This specification is one of several specifications, referred to as the PROV family of specifications, defining the various aspects
+that are necessary to achieve the vision of inter-operable exchange of provenance:</p>
<ul>
-<li>PROV-DM: a data model for provenance, accompanied with a notation to express instances of that data model for human consumption (this document); </li>
+<li>A data model for provenance, which is presented in three documents:
+<ul>
+<li> PROV-DM (part I): the provenance data model itself, expressed in natural language [[PROV-DM]];
+<li> PROV-DM-CONSTRAINTS (part II): constraints underpinning the data model (this document);
+<li> PROV-ASN (part III): a notation to express instances of that data model for human consumption [[PROV-ASN]];
+</ul>
+</li>
+
<li>PROV-O: a normative serialization of PROV-DM in RDF [[!PROV-O]], specified by means of a mapping to the OWL2 Web Ontology Language [[!OWL2-SYNTAX]];</li>
-<li>PROV-AQ: the mechanisms for accessing and querying provenance [[!PROV-AQ]];</li>
-<li>PROV-PRIMER: a primer for the PROV approach [[!PROV-PRIMER]];</li>
+<li>PROV-AQ: the mechanisms for accessing and querying provenance [[PROV-AQ]];</li>
+<li>PROV-PRIMER: a primer for the PROV approach [[PROV-PRIMER]];</li>
<li>PROV-SEM: semantics of the PROV-DM data model [[PROV-SEM]];</li>
</ul>
-<p>
-The PROV-DM data model for provenance consists of a set of core
-concepts, and a few common relations, based on these core concepts. PROV-DM is a domain-agnotisc model, but with clear extensibility points allowing further domain-specific and
-application-specific extensions to be defined.</p>
-
-<p>This specification also introduces
-PROV-ASN, an abstract syntax that is primarily aimed at human consumption. PROV-ASN allows
-serializations of PROV-DM instances to be written in a technology independent manner,
-it facilitates its mapping to concrete syntax, and it is used as the basis for a
-formal semantics. This specification uses instances of provenance written in PROV-ASN
-to illustrate the data model.
-</p>
-
<section id="structure-of-this-document">
<h3>Structure of this Document</h3>
-<p>In <a href="#preliminaries">section 2</a>, a set of preliminaries are introduced, including concepts that underpin PROV-DM and motivations for the PROV-ASN notation.</p>
-
-<p><a href="#prov-dm-overview">Section 3</a> provides an overview of PROV-DM listing its core types and their relations.</p>
-
-<p>In <a href="#prov-dm-example">section 4</a>, PROV-DM is
-applied to a short scenario, encoded in PROV-ASN, and illustrated
-graphically.</p>
+<div class='note'>TODO</div>
-<p><a href="#data-model-concepts">Section 5</a> provides the normative definition of PROV-DM and the notation PROV-ASN.</p>
-
-<p><a href="#common-relations">Section 6</a> introduces further relations offered by PROV-DM, including relations for data collections and domain-independent common relations.</p>
+<p>In <a href="#prov-dm-refinement">section 2</a>, further concepts underpinning PROV-DM are introduced.</p>
-<p><a href="#interpretation">Section 7</a> provides an interpretation of PROV-DM in terms of ordering constraints between events, and also presents a set of structural constraints to be
-satisfied by PROV-DM.</p>
+<p><a href="#data-model-constraints">Section 3</a></p>
-<p><a href="#extensibility-section">Section 8</a> summarizes PROV-DM extensibility points.</p>
-<p><a href="#resource-section">Section 9</a> discusses how PROV-DM can be applied to the notion of resource.</p>
+<p><a href="#definitional-constraints">Section 4</a></p>
+
+<p><a href="#account-constraints">Section 5</a>
+</p>
+
+<p><a href="#interpretation">Section 6</a></p>
+<p><a href="#structural-constraints">Section 7</a></p>
+<p><a href="#collection-constraints">Section 8</a></p>
+<p><a href="#from-scruffy-to-proper">Section 9</a></p>
+
</section>
@@ -1718,7 +1706,7 @@
compatible with the temporal layout of the graphical notation.
-->
-<section>
+<section id="from-scruffy-to-proper">
<h3>From "Scruffy" to "Proper" ...</h3>
<div class='note'>