Collection -> Dictionary
authorStian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Fri, 27 Apr 2012 11:40:09 +0100
changeset 2600 a44534fd1334
parent 2599 1c3b2ee50757
child 2601 d9c56678de0c
Collection -> Dictionary
examples/eg-26-provo-collections-narrative/rdf/insertion.ttl
examples/eg-26-provo-collections-narrative/rdf/membership.ttl
examples/eg-26-provo-collections-narrative/rdf/removal.ttl
ontology/ProvenanceFormalModel.html
ontology/ProvenanceOntology.owl
ontology/prov-o-html-sections/description-collections.inc.html
--- a/examples/eg-26-provo-collections-narrative/rdf/insertion.ttl	Fri Apr 27 10:50:37 2012 +0100
+++ b/examples/eg-26-provo-collections-narrative/rdf/insertion.ttl	Fri Apr 27 11:40:09 2012 +0100
@@ -5,13 +5,13 @@
 :e1 a prov:Entity .
 :e2 a prov:Entity .
 
-:c  a prov:EmptyCollection .
+:c  a prov:EmptyDictionary .
 
-:c1 a prov:Collection;
+:c1 a prov:Dictionary;
    prov:derivedByInsertionFrom :c;
    prov:qualifiedInsertion [ 
       a prov:Insertion;
-      prov:collection :c;
+      prov:dictionary :c;
       prov:inserted [ 
          a prov:KeyValuePair;
          prov:key   "k1"^^xsd:string;
--- a/examples/eg-26-provo-collections-narrative/rdf/membership.ttl	Fri Apr 27 10:50:37 2012 +0100
+++ b/examples/eg-26-provo-collections-narrative/rdf/membership.ttl	Fri Apr 27 11:40:09 2012 +0100
@@ -5,7 +5,7 @@
 :e1 a prov:Entity .
 :e2 a prov:Entity .
 
-:c1 a prov:Collection;
+:c1 a prov:Dictionary;
    prov:membership [ 
       a prov:Membership;
       prov:member [ 
--- a/examples/eg-26-provo-collections-narrative/rdf/removal.ttl	Fri Apr 27 10:50:37 2012 +0100
+++ b/examples/eg-26-provo-collections-narrative/rdf/removal.ttl	Fri Apr 27 11:40:09 2012 +0100
@@ -2,13 +2,13 @@
 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
 @prefix :    <http://example.org/> .
 
-:c2 a prov:Collection .
+:c2 a prov:Dictionary .
 
-:c3 a prov:Collection;
+:c3 a prov:Dictionary;
    prov:derivedByRemovalFrom :c2;
    prov:qualifiedRemoval [ 
       a prov:Removal;
-      prov:collection :c2;
+      prov:dictionary :c2;
       prov:removed    "k1"^^xsd:string, 
                       "k3"^^xsd:string
    ];
--- a/ontology/ProvenanceFormalModel.html	Fri Apr 27 10:50:37 2012 +0100
+++ b/ontology/ProvenanceFormalModel.html	Fri Apr 27 11:40:09 2012 +0100
@@ -732,18 +732,18 @@
 <dt>Authors:</dt><dd><span>(In alphabetical order)</span></dd>
 <dd><a href="http://semanticweb.org/wiki/Khalid_Belhajjame">Khalid Belhajjame</a>, University of Manchester, UK</dd>
 <dd><a href="http://homepages.inf.ed.ac.uk/jcheney/">James Cheney</a>, University of Edinburgh, UK</dd>
-<dd><a href="http://www.oeg-upm.net/index.php/en/phdstudents/28-dgarijo">Daniel Garijo</a>, Universidad Politécnica de Madrid, Spain</dd>
+<dd><a href="http://www.oeg-upm.net/index.php/en/phdstudents/28-dgarijo">Daniel Garijo</a>, Universidad Politécnica de Madrid, Spain</dd>
 <dd><span>Mike Lang, Jr.</span>, Revelytix, USA</dd>
 <dd><a href="http://soiland-reyes.com/stian/">Stian Soiland-Reyes</a>, University of Manchester, UK</dd>
 <dd><a href="http://tw.rpi.edu/web/person/StephanZednik">Stephan Zednik</a>, Rensselaer Polytechnic Institute, USA</dd>
 <dd><a href="http://users.ox.ac.uk/~zool0770/">Jun Zhao</a>, University of Oxford, UK</dd>
-</dl><p class="copyright"><a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a> © 2011-2012 <a href="http://www.w3.org/"><acronym title="World Wide Web Consortium">W3C</acronym></a><sup>®</sup> (<a href="http://www.csail.mit.edu/"><acronym title="Massachusetts Institute of Technology">MIT</acronym></a>, <a href="http://www.ercim.eu/"><acronym title="European Research Consortium for Informatics and Mathematics">ERCIM</acronym></a>, <a href="http://www.keio.ac.jp/">Keio</a>), All Rights Reserved. <acronym title="World Wide Web Consortium">W3C</acronym> <a href="http://www.w3.org/Consortium/Legal/ipr-notice#Legal_Disclaimer">liability</a>, <a href="http://www.w3.org/Consortium/Legal/ipr-notice#W3C_Trademarks">trademark</a> and <a href="http://www.w3.org/Consortium/Legal/copyright-documents">document use</a> rules apply.</p><hr /></div>
+</dl><p class="copyright"><a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a> © 2011-2012 <a href="http://www.w3.org/"><acronym title="World Wide Web Consortium">W3C</acronym></a><sup>®</sup> (<a href="http://www.csail.mit.edu/"><acronym title="Massachusetts Institute of Technology">MIT</acronym></a>, <a href="http://www.ercim.eu/"><acronym title="European Research Consortium for Informatics and Mathematics">ERCIM</acronym></a>, <a href="http://www.keio.ac.jp/">Keio</a>), All Rights Reserved. <acronym title="World Wide Web Consortium">W3C</acronym> <a href="http://www.w3.org/Consortium/Legal/ipr-notice#Legal_Disclaimer">liability</a>, <a href="http://www.w3.org/Consortium/Legal/ipr-notice#W3C_Trademarks">trademark</a> and <a href="http://www.w3.org/Consortium/Legal/copyright-documents">document use</a> rules apply.</p><hr /></div>
 
     <div id="abstract" class="introductory section"><h2>Abstract</h2>
       <p>The PROV Ontology (PROV-O) expresses the PROV Data Model using the OWL2 Web Ontology Language (OWL2). It provides a set of classes, properties, and restrictions that can be used to represent and interchange provenance information generated in different systems and under different contexts. It can also be specialized to create new classes and properties to model provenance information specific to different domain applications.
 	  </p>
 
-     <p style="text-align: center;">The OWL encoding of the PROV Ontology is available as <a href="ProvenanceOntology.owl">ProvenanceOntology.owl</a>.
+     <p style="text-align: center;">The OWL encoding of the PROV Ontology is available <a href="http://dvcs.w3.org/hg/prov/raw-file/cf7deb6c5f3e/ontology/ProvenanceOntology.owl">here</a>.
 	  </p>
     </div><div class="introductory section" id="sotd"><h2>Status of This Document</h2><p><em>This section describes the status of this document at the time of its publication. Other documents may supersede this document. A list of current <acronym title="World Wide Web Consortium">W3C</acronym> publications and the latest revision of this technical report can be found in the <a href="http://www.w3.org/TR/"><acronym title="World Wide Web Consortium">W3C</acronym> technical reports index</a> at http://www.w3.org/TR/.</em></p>
       <h4 id="prov-family-of-specifications">PROV Family of Specifications</h4>
@@ -1210,9 +1210,11 @@
       <p>These three classes and the properties that relate them are illustrated in the following figure.
       </p>
 
-      <div style="text-align: center;" class="figure">
+      <div style="text-align: center;">
+         <figure>
             <img alt="PROV-O Starting Point terms" style="width: 50%; min-width: 25em; max-width: 60em" src="prov-o-diagrams/Starting-points-terms.png" />
-            <div class="figcaption">Figure 1. The three Starting Point classes and the properties that relate them.</div>
+            <figcaption>Figure 1. The three Starting Point classes and the properties that relate them.</figcaption>
+         </figure>
       </div>
 
          <p>
@@ -1597,9 +1599,11 @@
       <p>Similarly, the <span class="repeated">prov:qualifiedAssociation</span> property parallels the <span class="repeated">prov:wasAssociatedWith</span> property, and references an instance of <span class="repeated">prov:Association</span> that provides attributes of the <span class="repeated">prov:wasAssociatedWith</span> relation between the Activity and Agent. The <span class="repeated">prov:agent</span> property is used to cite the Agent that was involved in the Activity. In this case, the plan that the Agent used is provided using the <span class="repeated">prov:hadPlan</span> property and an instance of <span class="repeated">prov:Plan</span>.
       </p>
 
-       <div style="text-align: center;" class="figure">
+       <div style="text-align: center;">
+         <figure>
             <img alt="Express association between an activity and an agent using a binary relationship and an alternatie qualified relationship" style="width: 50%; min-width: 25em; max-width: 60em" src="prov-o-diagrams/Qualified-Association.png" />
-            <div class="figcaption">Figure 2. An illustration of the qualification pattern applied to the Starting Point properties <a href="#used" class="qname">prov:used</a> and <a href="#wasAssociatedWith" class="qname">prov:wasAssociatedWith</a>.</div>
+            <figcaption>Figure 2. An illustration of the qualification pattern applied to the Starting Point properties <a href="#used" class="qname">prov:used</a> and <a href="#wasAssociatedWith" class="qname">prov:wasAssociatedWith</a>.</figcaption>
+         </figure>
        </div>
 
       <p>The following two examples show the result of applying the Usage and Association patterns to the chart making example from <a href="#description-starting-point-terms">Section 3.1</a>.
--- a/ontology/ProvenanceOntology.owl	Fri Apr 27 10:50:37 2012 +0100
+++ b/ontology/ProvenanceOntology.owl	Fri Apr 27 11:40:09 2012 +0100
@@ -411,7 +411,7 @@
     <!-- http://www.w3.org/ns/prov#inserted -->
 
     <owl:ObjectProperty rdf:about="&prov;inserted">
-        <rdfs:comment xml:lang="en">An object property to refer to the prov:KeyValuePair inserted into a prov:Collection.</rdfs:comment>
+        <rdfs:comment xml:lang="en">An object property to refer to the prov:KeyValuePair inserted into a prov:Dictionary.</rdfs:comment>
         <prov:component>collections</prov:component>
         <prov:category>collections</prov:category>
         <rdfs:domain rdf:resource="&prov;Insertion"/>
@@ -1006,7 +1006,7 @@
     <owl:DatatypeProperty rdf:about="&prov;key">
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <prov:category>collections</prov:category>
-        <rdfs:comment xml:lang="en">The key of a KeyValuePair, which is an element of a prov:Collection.</rdfs:comment>
+        <rdfs:comment xml:lang="en">The key of a KeyValuePair, which is an element of a prov:Dictionary.</rdfs:comment>
         <prov:component>collections</prov:component>
         <rdfs:range rdf:resource="&rdfs;Literal"/>
         <rdfs:domain rdf:resource="&prov;KeyValuePair"/>
@@ -1394,7 +1394,7 @@
     <!-- http://www.w3.org/ns/prov#KeyValuePair -->
 
     <owl:Class rdf:about="&prov;KeyValuePair">
-        <rdfs:comment xml:lang="en">A key-value pair. Part of a prov:Collection through prov:Membership. The key is any RDF Literal, the value is a prov:Entity.</rdfs:comment>
+        <rdfs:comment xml:lang="en">A key-value pair. Part of a prov:Dictionary through prov:Membership. The key is any RDF Literal, the value is a prov:Entity.</rdfs:comment>
         <prov:category>collections</prov:category>
     </owl:Class>
     
--- a/ontology/prov-o-html-sections/description-collections.inc.html	Fri Apr 27 10:50:37 2012 +0100
+++ b/ontology/prov-o-html-sections/description-collections.inc.html	Fri Apr 27 11:40:09 2012 +0100
@@ -1,62 +1,62 @@
-     <section id="description-collections"> <!-- section 3.1 -->
+     <section id="description-dictionaries"> <!-- section 3.1 -->
        <!-- This section is version controlled at http://dvcs.w3.org/hg/prov/file/tip/ontology and mirroed to
              https://github.com/timrdf/prov-lodspeakr/tree/master/components/services/prov-o -->
-       <h3>Collections Terms</h3>
+       <h3>Dictionaries Terms</h3>
 
 	<p> A <code><a class="qname"
-href='#Collection'>prov:Collection</a></code> is an <code
+href='#Dictionary'>prov:Dictionary</a></code> is an <code
 class="repeated">prov:Entity</code> that acts as a container to some members,
 which are themselves entities.
-Specifically, a collection is composed of set of key-value pairs, where a
-literal key is used to identify a constituent entity within the collection. 
+Specifically, a dictionary is composed of set of key-value pairs, where a
+literal key is used to identify a constituent entity within the dictionary. 
 
-To illustrate this, the example below describes a collection <code>:c1</code>
+To illustrate this, the example below describes a dictionary <code>:c1</code>
 that has as members the two key value pairs <code>("k1", :e1)</code>
 and <code>("k2", :e2)</code>.
 </p>
 
-<div about="#narrative-example-collections-1" typeof="prov:Entity" class="exampleOuter" xmlns:prov="http://www.w3.org/ns/prov#">
+<div about="#narrative-example-dictionaries-1" typeof="prov:Entity" class="exampleOuter" xmlns:prov="http://www.w3.org/ns/prov#">
    <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-26-provo-collections-narrative/rdf/membership.ttl"
         class="example">{% escape %}{% include "includes/prov/examples/eg-26-provo-collections-narrative/rdf/membership.ttl" %}{% endescape %}</pre>
 </div>
 
 <p>It is worth noting that <code>:c1</code> MAY also
 have other members (i.e. <code class="repeated">prov:knownMembership</code> is
-not functional).  A collection MAY be empty and thus not have any known
+not functional).  A dictionary MAY be empty and thus not have any known
 memberships, in which case it SHOULD be described as an instance of the
 subclass <a class="qname"
-href='#EmptyCollection'><code>prov:EmptyCollection</code></a>.
+href='#EmptyDictionary'><code>prov:EmptyDictionary</code></a>.
 </p>
 
-	<p> To describe the provenance of a collection, PROV-O provides two
+	<p> To describe the provenance of a dictionary, PROV-O provides two
 kinds of involvements: <code><a class="qname"
 href="qualifiedInsertion">prov:qualifiedInsertion</a></code> is used to
-describe that a collection was obtained from an existing collection by
+describe that a dictionary was obtained from an existing dictionary by
 <em>inserting</em> a set of key-value pairs.  <code><a class="qname"
 href="qualifiedRemoval">prov:qualifiedRemoval</a></code> is used to specify
-that a given collection was obtained from an existing collection by
+that a given dictionary was obtained from an existing dictionary by
 <em>removing</em> a set of key-value pairs.  The example below specifies that
-the collection <code>:c1</code> was obtained from the empty collection
+the dictionary <code>:c1</code> was obtained from the empty dictionary
 <code>:c1</code> by <em>inserting</em> the key-value pairs <code>("k1",
 :e1)</code> and <code>("k2", :e2)</code>.  
 </p>
 
-<div about="#narrative-example-collections-2" typeof="prov:Entity" class="exampleOuter" xmlns:prov="http://www.w3.org/ns/prov#">
+<div about="#narrative-example-dictionaries-2" typeof="prov:Entity" class="exampleOuter" xmlns:prov="http://www.w3.org/ns/prov#">
 <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-26-provo-collections-narrative/rdf/insertion.ttl"
      class="example">{% escape %}{% include "includes/prov/examples/eg-26-provo-collections-narrative/rdf/insertion.ttl" %}{% endescape %}</pre>
 </div>
 
 
 	<p>
-	Similarly, the example below specifies that the collection
+	Similarly, the example below specifies that the dictionary
 	<code>:c3</code> was obtained by <em>removing</em> the key-value pairs associated with
-	the keys <code>"k1"</code> and <code>"k2"</code> from the collection
+	the keys <code>"k1"</code> and <code>"k2"</code> from the dictionary
 	<code>:c2</code>. Thus, <code>:c3</code> does not contain the
 	members <code>("k1", :e1)</code> and <code>("k2",
 	:e2(</code> from <code>:c2</code>.
 	</p>
 
-<div about="#narrative-example-collections-3" typeof="prov:Entity" class="exampleOuter" xmlns:prov="http://www.w3.org/ns/prov#">
+<div about="#narrative-example-dictionaries-3" typeof="prov:Entity" class="exampleOuter" xmlns:prov="http://www.w3.org/ns/prov#">
    <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-26-provo-collections-narrative/rdf/removal.ttl"
         class="example">{% escape %}{% include "includes/prov/examples/eg-26-provo-collections-narrative/rdf/removal.ttl" %}{% endescape %}</pre>
 </div>