drafted a section on conceptualisation of the world
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Tue, 06 Sep 2011 17:07:29 +0100
changeset 219 c372f581ac35
parent 218 ea9fc3bb8f34
child 220 7ed8c6661a22
drafted a section on conceptualisation of the world
model/ProvenanceModel.html
model/extra.css
--- a/model/ProvenanceModel.html	Tue Sep 06 14:51:33 2011 +0100
+++ b/model/ProvenanceModel.html	Tue Sep 06 17:07:29 2011 +0100
@@ -108,6 +108,46 @@
 <h2>Motivation and Requirements</h2>
     </section> 
 
+    <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>
+
+<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>
+
+<p>Hence, to disambiguate things and their situation in the world as perceived by us, we introduce the concept <dfn id="concept-characterized-thing">characterized thing</dfn>, which refers to a thing and its situation in the world, as characterized by someone.</p>
+
+<div class="xmpl">
+Different users may take different perspective about a resource with a URL, which are referred to as
+three different characterized things:
+<ul>
+<li>a report available at  URL, </li>
+<li>the version of the report available there today, </li>
+<li>the report independent of where it is hosted over time.</li></ul></div>
+
+
+<p>We do not assume that any characterization is more important than any other, and in fact, it is possible to describe the processing that occurred for the report to be commissioned, for individual versions to be created, for those versions to be published at the given URL, etc., each via a different characterized thing that unambiguously characterizes the report appropriately.</p>
+
+<p>In the world, <dfn id="concept-activity">activities</dfn> involve
+things in multiple ways: they consume them, they process them, they
+transform them, they modify them, they change them, they relocate
+them, they use them, they generate them, they are controlled by them,
+etc.</p>
+
+
+<p>In our conceptualization of the world, punctual events, or <dfn id="concept-event">events</dfn> for short, happen in the world, which mark changes in the world, in its activities, and in its things. In this specification, it is assumed that a partial order exists between events. How practically such order is realized is beyond the scope of this specification. Possible implementations of that ordering include a single global notion of time and Lamport's style clocks.</p>
+    </section> 
+
+    <section> 
+<h2>The Provenance Abstract Syntax Notation</h2>
+
+    </section> 
+
+
     <section class="informative"> 
 <h2>Example</h2>
 
@@ -311,6 +351,7 @@
 
 <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>
 
+
 <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
--- a/model/extra.css	Tue Sep 06 14:51:33 2011 +0100
+++ b/model/extra.css	Tue Sep 06 17:07:29 2011 +0100
@@ -126,3 +126,22 @@
 .name {
     font-family: monospace;
 }
+
+
+.xmpl {
+    padding:    1em;
+    margin: 1em 0em 0em;
+    border: 1px solid #f00;
+    background: #fff;
+}
+
+.xmpl::before {
+    content:    "Example";
+    display:    block;
+    width:  150px;
+    margin: -1.5em 0 0.5em 0;
+    font-weight:    bold;
+    border: 1px solid #f00;
+    background: #fff;
+    padding:    3px 1em;
+}