--- a/model/ProvenanceModel.html Wed Sep 14 21:45:09 2011 -0400
+++ b/model/ProvenanceModel.html Thu Sep 15 08:22:24 2011 +0100
@@ -112,14 +112,14 @@
<body>
<section id="abstract">
<p>
-This document defines PROV-DM (placeholder name), a data model for provenance, and
+This document defines PROV-DM, a data model for provenance, and
PROV-ASN, an abstract syntax, which allows
-serializations of PROV-DM instances in a technology independent manner,
-facilitates its mapping to concrete syntax, and is used to provide a
+serializations of PROV-DM instances to be created in a technology independent manner,
+facilitates its mapping to concrete syntax, and is used as the basis for a
formal semantics.
</p>
-<div class='issue'>The name of the data model still has to be decided by the WG. Current placeholder name is PIDM. This is <a href="http://www.w3.org/2011/prov/track/issues/31">ISSUE-31</a></div>
+<div class='resolved'>The name of the data model still has to be decided by the WG. Current placeholder name is PIDM. This is <a href="http://www.w3.org/2011/prov/track/issues/31">ISSUE-31</a></div>
<p>
This is a document for internal discussion, which will ultimately
@@ -129,7 +129,9 @@
<section>
<h2>Introduction<br>
</h2>
- <p> To be written </p>
+
+<div class='note'>Introduction needs to be written. It should indicate the aims and scope of this document, and position this document in the family of documents produced by the PROV WG.
+</div>
<p>The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL
NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY", and
@@ -138,18 +140,19 @@
</section>
- <section>
-<h2>Motivation and Requirements</h2>
- </section>
+
+<section>
+<h2>Preliminaries</h2>
<section>
-<h2>A Conceptualization of the World</h2>
-
-
-<p>In the world (whether real or not), there are things, which can be
-physical, digital, conceptual, or otherwise, and activities involving
-things. Words such thing or activity should be understood with
-their informal meaning.</p>
+<h3>A Conceptualization of the World</h3>
+
+
+<p>This specification is based on a conceptualization of the world
+that is described in this section. In the world (whether real or not),
+there are things, which can be physical, digital, conceptual, or
+otherwise, and activities involving things. Words such thing or
+activity should be understood with their informal meaning.</p>
<p>When we talk about things in the world in natural language and even when we assign identifiers, we are often imprecise in ways that make it difficult to clearly and unambiguously report provenance: a resource with a URL may be understood as referring to a report available at that URL, the version of the report available there today, the report independent of where it is hosted over time, etc.</p>
@@ -187,7 +190,7 @@
</section>
<section>
-<h2>PROV-ASN: The Provenance Abstract Syntax Notation</h2>
+<h3>PROV-ASN: The Provenance Abstract Syntax Notation</h3>
<p>This specification defines PROV-DM, a data model for provenance, and relies on a language, PROV-ASN, the Provenance Abstract Syntax Notation, to express
<em>instances</em> of that data model. </p>
@@ -202,23 +205,27 @@
<p>This specification provides a grammar for PROV-ASN. Each expression of the PROV-DM data model is explained
in terms of the production of this grammar.</p>
-<div class='note'>TODO: define the BNF notation. Currently, using the same syntax as OWL2, curly bracket denotes 0 or more, square bracket denotes 0 or 1 occurrences.</div>
-
<p>The formal semantics of PROV-DM is defined at
[[PROV-SEMANTICS]] and its encoding in the OWL2 Web Ontology Language at [[PROV-OWL2]].
</p>
+<div class='note'>TODO: We need to define the BNF notation. We propose to use the same notation as in [[!OWL2-SYNTAX]]
+(see section <a href="http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#BNF_Notation">BNF Notation</a>).
+</div>
+
+
+
<div class='resolved'>Data model vs Language. Misc comments raised at <a href="http://www.w3.org/2011/prov/track/issues/62">ISSUE-62</a></div>
-<div class='issue'>Formalism used is not explained, not applied to concepts <a href="http://www.w3.org/2011/prov/track/issues/87">ISSUE-87</a>.</div>
+<div class='pending'>Formalism used is not explained, not applied to concepts <a href="http://www.w3.org/2011/prov/track/issues/87">ISSUE-87</a>.</div>
</section>
<section>
-<h2>Representation, Assertion, and Inference</h2>
+<h3>Representation, Assertion, and Inference</h3>
<p>
PROV-DM is a provenance data model designed to express <em>representations</em> of the world.
@@ -261,11 +268,11 @@
-
+</section>
</section>
<section>
-<h2>A PROV-DM Overview </h2>
+<h2>PROV-DM Overview </h2>
<div class='issue'>Conceptual model needs a high level overview <a href="http://www.w3.org/2011/prov/track/issues/86">ISSUE-86</a>.</div>
@@ -486,7 +493,7 @@
<section id="data-model-concepts">
-<h2>The PROV Data Model</h2>
+<h2>PROV-DM: The Provenance Data Model</h2>
<p>This section contains the normative specification of PROV-DM, the PROV data model.</p>