incorporated new definitions for alternate/specialization
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Tue, 08 May 2012 16:00:14 +0100
changeset 2733 ce56dc32ba1e
parent 2729 0edfb676dec8
child 2734 62b51f0d8a50
incorporated new definitions for alternate/specialization
model/diff.html
model/glossary.html
model/glossary.js
model/prov-dm.html
--- a/model/diff.html	Tue May 08 12:23:48 2012 +0100
+++ b/model/diff.html	Tue May 08 16:00:14 2012 +0100
@@ -917,7 +917,7 @@
     font-weight:    bold;
 }
 </span></style><link href="./extra-dm.css" rel="stylesheet" type="text/css" charset="utf-8"><link href="http://www.w3.org/StyleSheets/TR/W3C-ED" rel="stylesheet" type="text/css" charset="utf-8"></head> 
-  <body style="display: inherit; "><div class="head"><p><a href="http://www.w3.org/"><img width="72" height="48" src="http://www.w3.org/Icons/w3c_home" alt="W3C"></a></p><h1 class="title" id="title">PROV-DM: The PROV Data Model</h1><h2 id="subtitle"><span class="insert">working towards WD6</span></h2><h2 id="w3c-editor-s-draft-08-may-2012"><acronym title="World Wide Web Consortium">W3C</acronym> <span class="delete">Working</span><span class="insert">Editor's</span> Draft <span class="delete">03</span><span class="insert">08</span> May 2012</h2><dl><dt>This version:</dt><dd><span class="delete">http://www.w3.org/TR/2012/WD-prov-dm-20120503/</span><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html"><span class="insert">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html</span></a></dd><dt>Latest published version:</dt><dd><a href="http://www.w3.org/TR/prov-dm/">http://www.w3.org/TR/prov-dm/</a></dd><dt>Latest editor's draft:</dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html</a></dd><dt>Previous version:</dt><dd><span class="delete">http://www.w3.org/TR/2012/WD-prov-dm-20120202/</span><a href="http://www.w3.org/TR/2012/WD-prov-dm-20120503/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-dm-20120503/</span></a></dd><dt>Editors:</dt><dd><a href="http://www.ecs.soton.ac.uk/~lavm/">Luc Moreau</a>, University of Southampton</dd>
+  <body style="display: inherit; "><div class="head"><p><a href="http://www.w3.org/"><img width="72" height="48" src="http://www.w3.org/Icons/w3c_home" alt="W3C"></a></p><h1 class="title" id="title">PROV-DM: The PROV Data Model</h1><h2 id="subtitle"><span class="insert">working towards WD6 (</span><a href="diff.html"><span class="insert">Diffs since last release</span></a><span class="insert">)</span></h2><h2 id="w3c-editor-s-draft-08-may-2012"><acronym title="World Wide Web Consortium">W3C</acronym> <span class="delete">Working</span><span class="insert">Editor's</span> Draft <span class="delete">03</span><span class="insert">08</span> May 2012</h2><dl><dt>This version:</dt><dd><span class="delete">http://www.w3.org/TR/2012/WD-prov-dm-20120503/</span><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html"><span class="insert">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html</span></a></dd><dt>Latest published version:</dt><dd><a href="http://www.w3.org/TR/prov-dm/">http://www.w3.org/TR/prov-dm/</a></dd><dt>Latest editor's draft:</dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html</a></dd><dt>Previous version:</dt><dd><span class="delete">http://www.w3.org/TR/2012/WD-prov-dm-20120202/</span><a href="http://www.w3.org/TR/2012/WD-prov-dm-20120503/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-dm-20120503/</span></a></dd><dt>Editors:</dt><dd><a href="http://www.ecs.soton.ac.uk/~lavm/">Luc Moreau</a>, University of Southampton</dd>
 <dd><a href="http://www.cs.ncl.ac.uk/people/Paolo.Missier">Paolo Missier</a>, Newcastle University</dd>
 <dt><span class="delete">Contributors:</span><span class="insert">Authors:</span></dt><dd><a href="http://semanticweb.org/wiki/Khalid_Belhajjame">Khalid Belhajjame</a>, University of Manchester</dd>
 <dd><span>Reza B'Far</span>, Oracle Corporation</dd>
@@ -1140,12 +1140,13 @@
 <h3><span class="secno">2.1 </span>Entity and Activity</h3>
 
 
-<p>Things we want to describe  the provenance of are called <em>entities</em> in PROV. The term "things" encompasses a broad diversity of notions, including digital objects such as a file or web page, 
-physical things such as a building or a printed book, or a car as well as abstract concepts and ideas. </p>
+<p><span class="delete">Things</span><span class="insert">In PROV, things</span> we want to describe   the provenance of are called <em>entities</em> <span class="delete">in PROV.</span><span class="insert">and have some fixed aspect.</span> The term "things" encompasses a broad diversity of notions, including digital objects such as a file or web page, 
+physical things such as a building or a printed book, or a car as well as abstract concepts and ideas.  
+</p>
 
 <p>
 </p><div class="glossary-ref">
-   An <span class="dfn">entity</span> is a physical, digital, conceptual, or other kind of thing; entities may be real or imaginary. </div>
+   An <span class="dfn">entity</span> is a physical, digital, conceptual, or other kind of <span class="delete">thing;</span><span class="insert">thing with some fixed aspects;</span> entities may be real or imaginary. </div>
 
 
 
@@ -1557,8 +1558,8 @@
 We now paraphrase some PROV descriptions, and express them with the PROV-N notation, and then depict them with a graphical illustration (see <a href="#prov-a-document2">Figure 2</a>). Full details of the provenance record can be found <a href="examples/w3c-publication1.pn">here</a>.
 
 </p><ul>
-<li>There was a document, a working draft on the recommendation track (<a href="http://www.w3.org/2005/10/Process-20051014/tr.html#RecsWD">process:RecsWD</a>), which is an entity so that we can describe its provenance. Similar descriptions exist for all entities.
-<pre>entity(tr:WD-prov-dm-20111215, [ prov:type="process:RecsWD" %% xsd:QName ])
+<li>There was a document, a working draft <span class="delete">on the recommendation track </span>(<span class="delete">process:RecsWD</span><a href="http://www.w3.org/2001/02pd/rec54#WD"><span class="insert">rec54:WD</span></a>), which is an entity so that we can describe its provenance. Similar descriptions exist for all entities.
+<pre>entity(tr:WD-prov-dm-20111215, [ <span class="delete">prov:type="process:RecsWD"</span><span class="insert">prov:type="rec54:WD"</span> %% xsd:QName ])
 </pre>
 </li>
 <li>There was a publication activity.
@@ -1749,7 +1750,7 @@
 <h4><span class="secno">4.1.1 </span>Entity</h4>
 
 
-<div class="glossary-ref">   An <dfn id="concept-entity">entity</dfn> is a physical, digital, conceptual, or other kind of thing; entities may be real or imaginary. </div>
+<div class="glossary-ref">   An <dfn id="concept-entity">entity</dfn> is a physical, digital, conceptual, or other kind of <span class="delete">thing;</span><span class="insert">thing with some fixed aspects;</span> entities may be real or imaginary. </div>
 
 
 <p></p><div class="attributes" id="attributes-entity">An <dfn title="dfn-Entity" id="dfn-entity">entity</dfn><span class="withPn">, written <span class="pnExpression" id="pn-entity">entity(id, [attr1=val1, ...])</span> in PROV-N, </span> has:
@@ -2214,7 +2215,7 @@
 we can ascribe <span class="name">tr:WD-prov-dm-20111215</span> to some agents without an explicit activity. The reserved attribute <span class="name">role</span> (see <a href="#term-attribute-role">Section 4.7.4.3</a>) allows for role of the agent in the attribution to be specified.
 </p><pre class="codeexample">agent(ex:Paolo, [ prov:type="Person" ])
 agent(ex:Simon, [ prov:type="Person" ])
-entity(tr:WD-prov-dm-20111215, [ prov:type="process:RecsWD" %% xsd:QName ])
+entity(tr:WD-prov-dm-20111215, [ <span class="delete">prov:type="process:RecsWD"</span><span class="insert">prov:type="rec54:WD"</span> %% xsd:QName ])
 wasAttributedTo(tr:WD-prov-dm-20111215, ex:Paolo, [prov:role="editor"])
 wasAttributedTo(tr:WD-prov-dm-20111215, ex:Simon, [prov:role="contributor"])
 </pre>
@@ -2429,8 +2430,8 @@
  <span class="name">tr:WD-prov-dm-20111215</span> <span class="delete">is</span><span class="insert">was</span> a revision of 
  the report <span class="name">tr:WD-prov-dm-20111018<span class="delete">, approved by
 agent  </span><span class="delete">w3:Consortium</span></span>.
-</p><pre class="codeexample">entity(tr:WD-prov-dm-20111215, [ prov:type="process:RecsWD" %% xsd:QName ])
-entity(tr:WD-prov-dm-20111018, [ prov:type="process:RecsWD" %% xsd:QName ])
+</p><pre class="codeexample">entity(tr:WD-prov-dm-20111215, [ <span class="delete">prov:type="process:RecsWD"</span><span class="insert">prov:type="rec54:WD"</span> %% xsd:QName ])
+entity(tr:WD-prov-dm-20111018, [ <span class="delete">prov:type="process:RecsWD"</span><span class="insert">prov:type="rec54:WD"</span> %% xsd:QName ])
 wasRevisionOf(tr:WD-prov-dm-20111215, <span class="delete">tr:WD-prov-dm-20111018, w3:Consortium)</span><span class="insert">tr:WD-prov-dm-20111018)</span>
 </pre>
 </div>
@@ -2443,7 +2444,7 @@
 <h4><span class="secno">4.3.3 </span>Quotation</h4>
 
 <p> 
-<span class="glossary-ref">   A <dfn id="concept-quotation">quotation</dfn>  is the repeat of (some or all of) an entity, such as text or image, by someone <span class="delete">other than</span><span class="insert">who may or may not be</span> its original author.  </span>
+<span class="glossary-ref">   A <dfn id="concept-quotation">quotation</dfn>  is the repeat of (some or all of) an entity, such as text or image, by someone <span class="delete">other than</span><span class="insert">who may or may not be</span> its original author.   </span>
 </p>
 
 <p>Quotation
@@ -2587,15 +2588,15 @@
 
 
 
-<p>Wherever two people describe the provenance of a same thing, 
-one cannot expect them to coordinate and agree on the identifiers to use to denote that thing.</p>
+<p><span class="delete">Wherever two people describe the</span><span class="insert">Two</span> provenance <span class="delete">of a</span><span class="insert">descriptions about the</span> same <span class="delete">thing, 
+one cannot expect them to coordinate and agree on the identifiers to use to denote</span><span class="insert">thing may emphasize differents aspects of</span> that thing.</p>
 <div class="anexample" id="entity-example1">
 <p>User Alice writes an article. In its provenance, she wishes to refer to the precise version of the article with a date-specific URI, as she might edit the article later. Alternatively, user Bob refers to the article in general, independently of its variants over time.</p>
 </div>
 <p>
-To allow for identifiers to be chosen freely and independently by each  user, the PROV data model introduces relations
-that allow entities  to be linked together.
-The following two relations are introduced for expressing  specialized or alternate entities. </p>
+<span class="delete">To allow for identifiers to be chosen freely</span><span class="insert">The PROV data model introduces relations, called specialization</span> and <span class="delete">independently by each  user, the PROV data model introduces relations</span><span class="insert">alternate,</span>
+that allow entities  to be linked together.<span class="delete">
+The following two relations</span><span class="insert"> They</span> are <span class="delete">introduced for expressing  specialized or alternate entities.</span><span class="insert">defined as follows.</span> </p>
 
 
 <div id="term-specialization" class="section">
@@ -2603,7 +2604,7 @@
 <h4><span class="secno">4.4.1 </span>Specialization</h4>
 
 
-<span class="glossary-ref">   An entity is a <dfn id="concept-specialization">specialization</dfn> of another if they refer to some common thing but the former is a more constrained entity than the latter. The common thing does not need to be identified. </span> 
+<span class="glossary-ref">   An entity <span class="insert">that </span>is a <dfn id="concept-specialization">specialization</dfn> of another <span class="delete">if they refer to some common</span><span class="insert">shares all aspects of the latter, and additionally presents more specific aspects of the same</span> thing <span class="delete">but the former is a more constrained</span><span class="insert">as the latter. In particular, the lifetime of the specialized</span> entity <span class="delete">than the latter. The common thing does not need to be identified. </span><span class="insert">contains that of any specialization.  </span></span> 
 
 
 <p>
@@ -2645,7 +2646,7 @@
 <h4><span class="secno">4.4.2 </span>Alternate</h4>
 
 
-<span class="glossary-ref">   An entity is <dfn id="concept-alternate">alternate</dfn> of another if they are both a specialization of some common entity. The common entity does not need to be identified. </span>
+<span class="glossary-ref">   <span class="delete">An entity is</span><span class="insert">Two</span> <dfn id="concept-alternate">alternate</dfn> <span class="delete">of another if they are both a specialization of some common entity. The common entity does</span><span class="insert">entities present aspects of the same thing. These aspects may be the same or different, and the alternate entities may or may</span> not <span class="delete">need to be identified. </span><span class="insert">overlap in time.  </span></span>
 
 
   
--- a/model/glossary.html	Tue May 08 12:23:48 2012 +0100
+++ b/model/glossary.html	Tue May 08 16:00:14 2012 +0100
@@ -2,7 +2,7 @@
 <html>
 
 <div class="glossary" id="glossary-entity">  
-An <dfn id="concept-entity">entity</dfn> is a physical, digital, conceptual, or other kind of thing; entities may be real or imaginary.
+An <dfn id="concept-entity">entity</dfn> is a physical, digital, conceptual, or other kind of thing with some fixed aspects; entities may be real or imaginary.
 </div>  
 
 <span class="glossary" id="glossary-activity">  
@@ -170,13 +170,11 @@
 </span>
 
 <span class="glossary" id="glossary-alternate">  
-An entity is <dfn id="concept-alternate">alternate</dfn> of another if they are both a specialization of some common entity.
-The common entity does not need to be identified.
+Two <dfn id="concept-alternate">alternate</dfn> entities present aspects of the same thing. These aspects may be the same or different, and the alternate entities may or may not overlap in time. 
 </span>
 
 <span class="glossary" id="glossary-specialization">  
-An entity is a <dfn id="concept-specialization">specialization</dfn> of another if they refer to some common thing
-but the former is a more constrained entity than the latter. The common thing does not need to be identified.
+An entity that is a <dfn id="concept-specialization">specialization</dfn> of another shares all aspects of the latter, and additionally presents more specific aspects of the same thing as the latter. In particular, the lifetime of the specialized entity contains that of any specialization. 
 </span> 
 
 <span class="glossary" id="glossary-qualifiedName">  
--- a/model/glossary.js	Tue May 08 12:23:48 2012 +0100
+++ b/model/glossary.js	Tue May 08 16:00:14 2012 +0100
@@ -3,13 +3,13 @@
 //  with <script src="glossary.js" class="remove"></script>
 //Insert glossary definitions with the following 
 // <div class="glossary-ref" ref="glossary-generation"></div>
-glossary_hg='http://dvcs.w3.org/hg/prov/file/ab4cf511cae8/model/glossary.html';
+glossary_hg='http://dvcs.w3.org/hg/prov/file/0edfb676dec8/model/glossary.html';
 glossary_string= 
 ' ' + 
 '<html> ' + 
 ' ' + 
 '<div class="glossary" id="glossary-entity">   ' + 
-'An <dfn id="concept-entity">entity</dfn> is a physical, digital, conceptual, or other kind of thing; entities may be real or imaginary. ' + 
+'An <dfn id="concept-entity">entity</dfn> is a physical, digital, conceptual, or other kind of thing with some fixed aspects; entities may be real or imaginary. ' + 
 '</div>   ' + 
 ' ' + 
 '<span class="glossary" id="glossary-activity">   ' + 
@@ -121,7 +121,7 @@
 '<span class="glossary" id="glossary-quotation">   ' + 
 'A <dfn id="concept-quotation">quotation</dfn> ' + 
 ' is the repeat of (some or all of) an entity, such as text or image, by ' + 
-'someone who may or may not be its original author.  ' + 
+'someone who may or may not be its original author. ' + 
 '</span> ' + 
 ' ' + 
 '<span class="glossary" id="glossary-original-source">   ' + 
@@ -177,13 +177,11 @@
 '</span> ' + 
 ' ' + 
 '<span class="glossary" id="glossary-alternate">   ' + 
-'An entity is <dfn id="concept-alternate">alternate</dfn> of another if they are both a specialization of some common entity. ' + 
-'The common entity does not need to be identified. ' + 
+'Two <dfn id="concept-alternate">alternate</dfn> entities present aspects of the same thing. These aspects may be the same or different, and the alternate entities may or may not overlap in time.  ' + 
 '</span> ' + 
 ' ' + 
 '<span class="glossary" id="glossary-specialization">   ' + 
-'An entity is a <dfn id="concept-specialization">specialization</dfn> of another if they refer to some common thing ' + 
-'but the former is a more constrained entity than the latter. The common thing does not need to be identified. ' + 
+'An entity that is a <dfn id="concept-specialization">specialization</dfn> of another shares all aspects of the latter, and additionally presents more specific aspects of the same thing as the latter. In particular, the lifetime of the specialized entity contains that of any specialization.  ' + 
 '</span>  ' + 
 ' ' + 
 '<span class="glossary" id="glossary-qualifiedName">   ' + 
@@ -215,8 +213,8 @@
 '<span class="glossary" id="glossary-bundle">   ' + 
 'A <dfn id="concept-bundle">bundle</dfn> is a set of provenance descriptions. A named bundle has an identifier that identifies a unique set of descriptions.    ' + 
 '</span> ' + 
-' ' +
-'<span class="glossary" id="glossary-provenance-locator">  ' +
-'A <dfn id="concept-provenance-locator">provenance locator</dfn> is information that helps locate provenance descriptions.  It may identify a service, or may consist of a URI where provenance can be found. It can further identify a bundle within which provenance descriptions can be found.   ' +
-'</span>' +
+' ' + 
+'<span class="glossary" id="glossary-provenance-locator">   ' + 
+'A <dfn id="concept-provenance-locator">provenance locator</dfn> is information that helps locate provenance descriptions.  It may identify a service, or may consist of a URI where provenance descriptions can be found. It can further identify a bundle within which provenance descriptions can be found.    ' + 
+'</span> ' + 
 ' ' ;
--- a/model/prov-dm.html	Tue May 08 12:23:48 2012 +0100
+++ b/model/prov-dm.html	Tue May 08 16:00:14 2012 +0100
@@ -414,8 +414,9 @@
 <h2>Entity and Activity</h2>
 
 
-<p>Things we want to describe  the provenance of are called <em>entities</em> in PROV. The term "things" encompasses a broad diversity of notions, including digital objects such as a file or web page, 
-physical things such as a building or a printed book, or a car as well as abstract concepts and ideas. </p>
+<p>In PROV, things we want to describe the provenance of are called <em>entities</em> and have some fixed aspect. The term "things" encompasses a broad diversity of notions, including digital objects such as a file or web page, 
+physical things such as a building or a printed book, or a car as well as abstract concepts and ideas. 
+</p>
 
 <p>
 <div class="glossary-ref" data-ref="glossary-entity"  data-withspan="true">
@@ -854,9 +855,9 @@
 We now paraphrase some PROV descriptions, and express them with the PROV-N notation, and then depict them with a graphical illustration (see <a href="#prov-a-document2">Figure 2</a>). Full details of the provenance record can be found <a href="examples/w3c-publication1.pn">here</a>.
 
 <ul>
-<li>There was a document, a working draft on the recommendation track (<a href="http://www.w3.org/2005/10/Process-20051014/tr.html#RecsWD">process:RecsWD</a>), which is an entity so that we can describe its provenance. Similar descriptions exist for all entities.
+<li>There was a document, a working draft (<a href="http://www.w3.org/2001/02pd/rec54#WD">rec54:WD</a>), which is an entity so that we can describe its provenance. Similar descriptions exist for all entities.
 <pre>
-entity(tr:WD-prov-dm-20111215, [ prov:type="process:RecsWD" %% xsd:QName ])
+entity(tr:WD-prov-dm-20111215, [ prov:type="rec54:WD" %% xsd:QName ])
 </pre>
 </li>
 <li>There was a publication activity.
@@ -1547,7 +1548,7 @@
 <pre class="codeexample">
 agent(ex:Paolo, [ prov:type="Person" ])
 agent(ex:Simon, [ prov:type="Person" ])
-entity(tr:WD-prov-dm-20111215, [ prov:type="process:RecsWD" %% xsd:QName ])
+entity(tr:WD-prov-dm-20111215, [ prov:type="rec54:WD" %% xsd:QName ])
 wasAttributedTo(tr:WD-prov-dm-20111215, ex:Paolo, [prov:role="editor"])
 wasAttributedTo(tr:WD-prov-dm-20111215, ex:Simon, [prov:role="contributor"])
 </pre>
@@ -1768,8 +1769,8 @@
  <span class="name">tr:WD-prov-dm-20111215</span> was a revision of 
  the report <span class="name">tr:WD-prov-dm-20111018</span>.
 <pre class="codeexample">
-entity(tr:WD-prov-dm-20111215, [ prov:type="process:RecsWD" %% xsd:QName ])
-entity(tr:WD-prov-dm-20111018, [ prov:type="process:RecsWD" %% xsd:QName ])
+entity(tr:WD-prov-dm-20111215, [ prov:type="rec54:WD" %% xsd:QName ])
+entity(tr:WD-prov-dm-20111018, [ prov:type="rec54:WD" %% xsd:QName ])
 wasRevisionOf(tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018)
 </pre>
 </div>
@@ -1926,15 +1927,13 @@
 
 
 
-<p>Wherever two people describe the provenance of a same thing, 
-one cannot expect them to coordinate and agree on the identifiers to use to denote that thing.</p>
+<p>Two provenance descriptions about the same thing may emphasize differents aspects of that thing.</p>
 <div class="anexample" id="entity-example1">
 <p>User Alice writes an article. In its provenance, she wishes to refer to the precise version of the article with a date-specific URI, as she might edit the article later. Alternatively, user Bob refers to the article in general, independently of its variants over time.</p>
 </div>
 <p>
-To allow for identifiers to be chosen freely and independently by each  user, the PROV data model introduces relations
-that allow entities  to be linked together.
-The following two relations are introduced for expressing  specialized or alternate entities. </p>
+The PROV data model introduces relations, called specialization and alternate,
+that allow entities  to be linked together. They are defined as follows. </p>
 
 
 <section id="term-specialization">