--- a/model/working-copy/prov-asn.html Wed Feb 15 13:35:24 2012 +0000
+++ b/model/working-copy/prov-asn.html Wed Feb 15 14:03:45 2012 +0000
@@ -1,7 +1,7 @@
<!DOCTYPE html>
<html><head>
- <title>PROV-DM Part 3: The Abstract Syntax Notation</title>
+ <title>PROV-DM Part 3: PROV-ASN: The Provenance Abstract Syntax Notation</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<!--
=== NOTA BENE ===
@@ -38,6 +38,35 @@
"<a href=\"http://www.ditext.com/johnson/intro-3.html\"><cite>Logic: Part III</cite></a>."+
"1924. "+
"URL: <a href=\"http://www.ditext.com/johnson/intro-3.html\">http://www.ditext.com/johnson/intro-3.html</a>",
+
+
+
+ "PROV-RDF":
+ "James Cheney"+
+ "<a href=\"http://www.w3.org/2011/prov/wiki/ProvRDF\"><cite>PROV-RDF Mapping </cite></a>"+
+ "2012, Working in Progress. "+
+ "URL: <a href=\"http://www.w3.org/2011/prov/wiki/ProvRDF\">http://www.w3.org/2011/prov/wiki/ProvRDF</a>",
+
+ "PROV-XML":
+ "James Cheney"+
+ "<a href=\"http://www.w3.org/2011/prov/wiki/ProvXML\"><cite>PROV-XML Mapping </cite></a>"+
+ "2012, Working in Progress. "+
+ "URL: <a href=\"http://www.w3.org/2011/prov/wiki/ProvXML\">http://www.w3.org/2011/prov/wiki/ProvXML</a>",
+
+
+ "PROV-DM":
+ "Luc Moreau and Paolo Missier (eds.) ... "+
+ "<a href=\"http://www.w3.org/TR/prov-dm/\"><cite>PART 1: PROV-DM ...</cite></a>. "+
+ "2011, Working Draft. "+
+ "URL: <a href=\"http://www.w3.org/TR/prov-dm/\">http://www.w3.org/TR/prov-dm/</a>",
+
+ "PROV-DM-CONSTRAINTS":
+ "Luc Moreau and Paolo Missier (eds.) ... "+
+ "<a href=\"http://www.w3.org/TR/prov-dm-constraints/\"><cite>PROV-DM Constraints</cite></a>. "+
+ "2011, Working Draft. "+
+ "URL: <a href=\"http://www.w3.org/TR/prov-dm-constraints/\">http://www.w3.org/TR/prov-dm-constraints/</a>",
+
+
"PROV-SEM":
"James Cheney "+
"<a href=\"http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman\"><cite>Formal Semantics Strawman</cite></a>. "+
@@ -159,35 +188,57 @@
-<section id='changes'>
-<p> Following F2F2 guidance, in this document we try to:
-<ul>
-<li> pitch from the start the idea of an upgrade path, from 'scruffy provenance' (term TBD), to 'precise provenance' (term TBD)
-<li> formulate concepts without referring to things, just in term of entities, the intent is that the semantics only refers to things
-<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>
-<!--
-<section id='preliminaries'>
-<h2>Preliminaries</h2>
--->
-<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="introduction">
<h2>Introduction</h2>
+<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. Two
+companion specifications respectively define PROV-DM, a data model for
+provenance, allowing such descriptions to be expressed [[PROV-DM]] and a set of constraints that provenance descriptions are expectively to satisfy [[PROV-DM-CONSTRAINTS]].
+</p>
+
+
+<p>In this context, PROV-ASN was introduced as a notation to write instances of the data model, as close to its abstract syntax as possible. PROV-ASN is primarily aimed at human consumption. PROV-ASN allows
+serializations of PROV-DM instances to be written in a technology independent manner.
+So far, PROV-ASN has been used in the following ways:</p>
+<ul>
+<li> PROV-ASN is used to provide technology independent illustrations in [[PROV-DM]] and in the definition of PROV-DM constraints [[PROV-DM-CONSTRAINTS]];</li>
+<li> PROV-ASN is instrumental in defining the mapping mapping of PROV-DM to concrete syntaxes. Mappings translate each PROV-ASN expression to RDF [[PROV-RDF]] and to XML [[PROV-XML]];</li>
+<li> PROV-ASN is the basis for a
+formal semantics, in which each PROV-ASN expression is provided with an interpretation [[PROV-SEM]].
+</p>
+
+<p>PROV-ASN was designed to be as close as possible to PROV-DM without the syntactic bias and modelling constraints that concrete technologies bring with them, e.g., XML's choice between attribute and element, RDF's reliance on triples, or JSON's usage of dictionaries. </p>
+
+<p>The purpose of this document is solely to define the syntax of PROV-ASN.
+For each construct of PROV-DM, a corresponding ASN expression is introduced, by way of a production in the PROV-ASN grammar presented in 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>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 [[PROV-DM-CONSTRAINTS]];
+<li> PROV-ASN (part III): a notation to express instances of that data model for human consumption (this document);
+</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-SEM: semantics of the PROV-DM data model [[PROV-SEM]];</li>
+</ul>
+
+
+
<section id="prov-dm-namespace">
<h3>PROV-DM Namespace</h3>
@@ -204,42 +255,6 @@
</section>
- <section id="prov-asn-intro">
-<h3>PROV-ASN: The Provenance Abstract Syntax Notation</h3>
-
-<p>This specification defines PROV-DM, a data model for provenance, consisting of records describing how people, entities, and activities, were involved in producing,
-influencing, or delivering a piece of data or a thing in the world.</p>
-
-<p>This specification also relies on a language, PROV-ASN, the Provenance Abstract Syntax Notation, to express
-<em>instances</em> of that data model.
-For each construct of PROV-DM, a corresponding ASN expression is introduced, by way of a production in the ASN grammar. </p>
-
-
-
-
-
-<p>PROV-ASN is an abstract syntax, whose goals are:
-<ul>
-<li>to allow serializations of PROV-DM instances in a technology independent manner, which makes it more readable for human consumption;
-<li>to facilitate the mapping of PROV-DM to concrete syntax;
-<li>to provide the basis for a formal semantics.
-</ul>
-
-<p>This specification provides a grammar for PROV-ASN. Each record of the PROV-DM data model is explained
-in terms of the production of this grammar.</p>
-
-
-
-<p>The formal semantics of PROV-DM is defined at
-[[PROV-SEM]] and its encoding in the OWL2 Web Ontology Language at [[!PROV-O]].
-</p>
-
-
-
-
-
-
- </section>
<section id="grammar-notation">
<h3>Grammar Notation</h3>