moved dictionary.owl to /dictionary
authorTim L <lebot@rpi.edu>
Sun, 16 Dec 2012 11:11:38 -0500
changeset 5353 efec02984754
parent 5352 36f87c764618
child 5354 ef139629895d
moved dictionary.owl to /dictionary
dictionary/prov-dictionary.owl
dictionary/prov-dictionary.ttl
ontology/prov-dictionary.owl
ontology/prov-dictionary.ttl
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dictionary/prov-dictionary.owl	Sun Dec 16 11:11:38 2012 -0500
@@ -0,0 +1,634 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+    <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+    <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+    <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
+    <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
+]>
+
+
+<rdf:RDF xmlns="http://www.w3.org/ns/prov#"
+     xml:base="http://www.w3.org/ns/prov"
+     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+     xmlns:owl="http://www.w3.org/2002/07/owl#"
+     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
+    <owl:Ontology rdf:about="http://www.w3.org/ns/prov#">
+        <rdfs:label xml:lang="en">PROV Ontology</rdfs:label>
+        <rdfs:comment rdf:datatype="&xsd;string">0.2</rdfs:comment>
+        <rdfs:comment xml:lang="en">This document is published by the Provenance Working Group (http://www.w3.org/2011/prov/wiki/Main_Page). 
+
+If you wish to make comments regarding this document, please send them to [email protected] (subscribe [email protected], archives http://lists.w3.org/Archives/Public/public-prov-comments/). All feedback is welcome.</rdfs:comment>
+        <owl:versionIRI rdf:resource="http://www.w3.org/TR/2012/WD-prov-o-2012MMDD"/>
+        <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov#"/>
+        <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-o/"/>
+    </owl:Ontology>
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // Annotation properties
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#unqualifiedForm">
+        <rdfs:comment xml:lang="en">Classes and properties used to qualify relationships are annotated with prov:unqualifiedForm to indicate the property used to assert an unqualified provenance relation.</rdfs:comment>
+        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
+    </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#prov-n">
+        <rdfs:comment xml:lang="en">A reference to the principal section of the PROV-M document that describes this concept.</rdfs:comment>
+        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
+    </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#sharesDefinitionWith">
+        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
+    </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#prov-dm">
+        <rdfs:comment xml:lang="en">A reference to the principal section of the PROV-DM document that describes this concept.</rdfs:comment>
+        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
+    </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#definition">
+        <rdfs:comment xml:lang="en">A definition quoted from PROV-DM or PROV-CONSTRAINTS that describes the concept expressed with this OWL term.</rdfs:comment>
+    </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#editorialNote">
+        <rdfs:comment xml:lang="en">A note by the OWL development team about how this term expresses the PROV-DM concept, or how it should be used in context of semantic web or linked data.</rdfs:comment>
+    </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&rdfs;label">
+        <rdfs:comment xml:lang="en"></rdfs:comment>
+    </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#inverse">
+        <rdfs:comment xml:lang="en">PROV-O does not define all property inverses. The directionalities defined in PROV-O should be given preference over those not defined. However, if users wish to name the inverse of a PROV-O property, the local name given by prov:inverse should be used.</rdfs:comment>
+        <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-o/#names-of-inverse-properties"/>
+    </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&rdfs;comment">
+        <rdfs:comment xml:lang="en"></rdfs:comment>
+    </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&rdfs;seeAlso">
+        <rdfs:comment xml:lang="en"></rdfs:comment>
+    </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
+    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#category">
+        <rdfs:comment xml:lang="en">Classify prov-o terms into three categories, including &#39;starting-point&#39;, &#39;qualifed&#39;, and &#39;extended&#39;. This classification is used by the prov-o html document to gently introduce prov-o terms to its users. </rdfs:comment>
+    </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#prov-dm-constraints">
+        <rdfs:comment xml:lang="en">A reference to the principal section of the PROV-CONSTRAINTS document that describes this concept.</rdfs:comment>
+        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
+    </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&rdfs;isDefinedBy"/>
+    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#editorsDefinition">
+        <rdfs:comment xml:lang="en">When the prov-o term does not have a definition drawn from prov-dm, and the prov-o editor provides one.</rdfs:comment>
+        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#definition"/>
+    </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#prov-aq">
+        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
+    </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#component">
+        <rdfs:comment xml:lang="en">Classify prov-o terms into six components according to prov-dm, including &#39;agents-responsibility&#39;, &#39;alternate&#39;, &#39;annotations&#39;, &#39;collections&#39;, &#39;derivations&#39;, and &#39;entities-activities&#39;. This classification is used so that readers of prov-o specification can find its correspondence with the prov-dm specification.</rdfs:comment>
+    </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#qualifiedForm">
+        <rdfs:comment xml:lang="en">This annotation property links a prov:involved subproperty with a prov:Involved subclass. This indicates that the property can be qualified by using prov:qualified. 
+
+Example:
+    prov:wasGeneratedBy prov:qualifiedForm prov:Generation .
+
+Then this unqualified assertion:
+    :entity1 prov:wasGeneratedBy :activity1 .
+
+can be qualified by adding:
+   :entity1 prov:qualified :entity1Gen .
+   :entity1Gen a prov:Generation;
+       prov:activity :activity1 ;
+       :customValue 1337 .
+
+Note how the range of the unqualified property is mirrored by the prov:activity or prov:entity on the involvement class.</rdfs:comment>
+        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
+    </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#todo"/>
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // Object Properties
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- http://www.w3.org/2002/07/owl#topObjectProperty -->
+
+    <owl:ObjectProperty rdf:about="&owl;topObjectProperty"/>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#derivedByInsertionFrom -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#derivedByInsertionFrom">
+        <rdfs:comment xml:lang="en">The dictionary was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-value pairs.</rdfs:comment>
+        <inverse>hadDerivationByInsertion</inverse>
+        <component>collections</component>
+        <category>collections</category>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
+        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
+        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedInsertion"/>
+        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
+        <owl:propertyChainAxiom rdf:parseType="Collection">
+            <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedInsertion"/>
+            <rdf:Description rdf:about="http://www.w3.org/ns/prov#dictionary"/>
+        </owl:propertyChainAxiom>
+    </owl:ObjectProperty>
+    <owl:Axiom>
+        <rdfs:comment>Insertion is a form of derivation (see http://www.w3.org/TR/prov-dm/#term-dictionary-insertion) that transforms a dictionary into another, by insertion of one or more key-entity pairs. </rdfs:comment>
+        <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
+        <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#derivedByInsertionFrom"/>
+        <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
+    </owl:Axiom>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#derivedByRemovalFrom -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#derivedByRemovalFrom">
+        <rdfs:comment xml:lang="en">The dictionary was derived from the other by removal. prov:qualifiedRemoval shows details of the removal, in particular the removed key-value pairs.</rdfs:comment>
+        <component>collections</component>
+        <category>collections</category>
+        <inverse>hadDerivationByRemoval</inverse>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
+        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Removal"/>
+        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedRemoval"/>
+        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
+        <owl:propertyChainAxiom rdf:parseType="Collection">
+            <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedRemoval"/>
+            <rdf:Description rdf:about="http://www.w3.org/ns/prov#dictionary"/>
+        </owl:propertyChainAxiom>
+    </owl:ObjectProperty>
+    <owl:Axiom>
+        <rdfs:comment>Removal is a form of derivation (see http://www.w3.org/TR/prov-dm/#term-dictionary-removal) that transforms a dictionary into another, by removing one or more key-entity pairs. </rdfs:comment>
+        <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
+        <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#derivedByRemovalFrom"/>
+        <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
+    </owl:Axiom>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#dictionary -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#dictionary">
+        <inverse>dictionaryOfInvolvement</inverse>
+        <rdfs:comment xml:lang="en">The property used by a prov:DictionaryInvolvement to cite the prov:Dictionary that was prov:involved in insertion or removal of elements of a collection. </rdfs:comment>
+        <editorialNote xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</editorialNote>
+        <component>collections</component>
+        <category>collections</category>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#DictionaryInvolvement"/>
+        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#DictionaryInvolvement"/>
+        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involvee"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#inserted -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#inserted">
+        <rdfs:comment xml:lang="en">An object property to refer to the prov:KeyValuePair inserted into a prov:Dictionary.</rdfs:comment>
+        <inverse>wasInsertedBy</inverse>
+        <component>collections</component>
+        <category>collections</category>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
+        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#KeyValuePair"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#involved -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#involved">
+        <category>qualified</category>
+        <inverse>wasInvolvedWith</inverse>
+        <editorsDefinition xml:lang="en">The broadest provenance relation between two resources, prov:involved is the superproperty of all unqualified binary relations among any two Activities, Entities, or Agents (or anything else). A more specific property should be favored of prov:involved.</editorsDefinition>
+        <editorialNote xml:lang="en">The relation the sub-properties of prov:involved can also be specified in more detail using the qualification pattern. For example, the binary relation :baking prov:used :spoon can be qualified by asserting :baking prov:qualifiedUsage [ a prov:Usage; prov:entity :baking; :foo :bar; prov:atLocation :kitchen ] .
+
+Subproperties of prov:involved may also be asserted directly without being qualified.
+
+prov:involved should not be used without also using one of its subproperties. 
+
+</editorialNote>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#involvee -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#involvee">
+        <inverse>involvement</inverse>
+        <category>qualified</category>
+        <rdfs:comment>Subproperties of prov:involvee are used to cite the object of an unqualified PROV-O triple whose predicate is a subproperty of prov:involved (e.g. prov:used, prov:wasGeneratedBy). prov:involvee is used much like rdf:object is used.</rdfs:comment>
+        <editorsDefinition xml:lang="en">The rdf:object of the (binary) prov:involved relation (triple) that this Involvement is qualifying (reifying) for further description (as an n-ary relation).</editorsDefinition>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#pair -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#pair">
+        <component>collections</component>
+        <category>collections</category>
+        <rdfs:comment xml:lang="en">A membership can have multiple members.</rdfs:comment>
+        <editorsDefinition xml:lang="en">The KeyValuePair(s) whose membership is being qualified by this instance of prov:Membership.</editorsDefinition>
+        <editorialNote xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</editorialNote>
+        <inverse>inMembership</inverse>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#KeyValuePair"/>
+        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involvee"/>
+    </owl:ObjectProperty>
+    
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadMember">
+        <rdfs:label>hadMember</rdfs:label>
+        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedMembership"/>
+        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Membership"/>
+    </owl:ObjectProperty>
+
+    <!-- http://www.w3.org/ns/prov#qualifiedMembership -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedMembership">
+        <rdfs:label xml:lang="en">qualifiedMembership</rdfs:label>
+        <component>collections</component>
+        <category>qualified</category>
+        <rdfs:comment xml:lang="en">The collection included the specified membership of keys-values.</rdfs:comment>
+        <inverse>membershipOf</inverse>
+        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Collection"/>
+        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Membership"/>
+        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
+    </owl:ObjectProperty>
+
+    <!-- http://www.w3.org/ns/prov#pairValue -->
+
+    <!-- http://www.w3.org/ns/prov#Membership -->
+
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Membership">
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInfluence"/>
+        <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-membership</dm>
+        <category>qualified</category>
+        <definition xml:lang="en">Membership is the belonging of an entity to a collection.</definition>
+        <component>collections</component>
+        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
+    </owl:Class>
+
+    <!-- http://www.w3.org/ns/prov#IncompleteCollection -->
+
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#IncompleteCollection">
+        <rdfs:label xml:lang="en">IncompleteCollection</rdfs:label>
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Collection"/>
+        <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-membership</dm>
+        <definition xml:lang="en">A collection that is believed to include more members in addition to those specified in the entity-set.</definition>
+        <category>expanded</category>
+        <component>collections</component>
+        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+    </owl:Class>
+
+    <!-- http://www.w3.org/ns/prov#CompleteCollection -->
+
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#CompleteCollection">
+        <rdfs:label xml:lang="en">CompleteMembership</rdfs:label>
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Collection"/>
+        <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-membership</dm>
+        <category>expanded</category>
+        <definition xml:lang="en">The collection is believed to include all and only the members specified in the entity-set.</definition>
+        <component xml:lang="en">collections</component>
+        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+    </owl:Class>
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#pairValue">
+        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+        <editorsDefinition xml:lang="en">The Entity value of a KeyValuePair, which may go into a prov:Dictionary under the key specified by prov:pairKey.</editorsDefinition>
+        <rdfs:comment xml:lang="en">The value of a KeyValuePair. See also prov:pairKey.</rdfs:comment>
+        <category>collections</category>
+        <inverse>valueOf</inverse>
+        <component>collections</component>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#KeyValuePair"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#qualifiedInsertion -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedInsertion">
+        <component>collections</component>
+        <rdfs:comment xml:lang="en">If this Dictionary prov:derivedByInsertionFrom another Dictionary :e, then it can qualify how it did perform the Insertion using prov:qualifiedInsertion [ a prov:Insertion;  prov:dictionary :e; prov:inserted [a prov:KeyValuePair; prov:pairKey &quot;k1&quot;^^xsd:string; prov:pairValue :foo] ].</rdfs:comment>
+        <inverse>qualifiedInsertionOf</inverse>
+        <category>collections</category>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
+        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
+        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByInsertionFrom"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#qualifiedRemoval -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedRemoval">
+        <inverse>removedFromDictionary</inverse>
+        <category>collections</category>
+        <component>collections</component>
+        <rdfs:comment xml:lang="en">If this Dictionary prov:derivedByRemovalFrom another Dictionary :e, then it can qualify how it did perform the Removal using prov:qualifiedRemoval [ a prov:Removal;  prov:dictionary :c; prov:removed &quot;k1&quot;^^xsd:string ].</rdfs:comment>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
+        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Removal"/>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Removal"/>
+        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByRemovalFrom"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#tracedTo -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#tracedTo">
+        <rdf:type rdf:resource="&owl;TransitiveProperty"/>
+        <rdfs:comment xml:lang="en">An object property to link back an entity to another by means of derivation or responsibility relations, possibly repeatedly traversed.</rdfs:comment>
+        <component>derivations</component>
+        <inverse>tracedFrom</inverse>
+        <category>expanded</category>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
+        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Trace"/>
+        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involved"/>
+        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedTrace"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#wasAttributedTo -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasAttributedTo">
+        <definition>Attribution is the ascribing of an entity to an agent.</definition>
+        <category>starting-point</category>
+        <inverse>contributed</inverse>
+        <rdfs:comment xml:lang="en">Attribution is the ascribing of an entity to an agent.</rdfs:comment>
+        <component>agents-responsibility</component>
+        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Attribution"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
+        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedAttribution"/>
+        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#tracedTo"/>
+    </owl:ObjectProperty>
+    <owl:Axiom>
+        <rdfs:comment>Attribution is a particular case of trace (see http://www.w3.org/TR/prov-dm/#concept-trace), in the sense that it links an entity to the agent that ascribed it.</rdfs:comment>
+        <definition>IF wasAttributedTo(e2,ag1,aAttr) holds, THEN tracedTo(e2,ag1) also holds. </definition>
+        <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#traceability-inference</prov-dm-constraints>
+        <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
+        <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#tracedTo"/>
+        <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasAttributedTo"/>
+    </owl:Axiom>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#wasDerivedFrom -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasDerivedFrom">
+        <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+        <inverse>hadDerivation</inverse>
+        <definition xml:lang="en">A derivation is a transformation of an entity into another, a construction of an entity into another, or an update of an entity, resulting in a new one.</definition>
+        <rdfs:comment xml:lang="en">A derivation is a transformation of an entity into another, a construction of an entity into another, or an update of an entity, resulting in a new one.</rdfs:comment>
+        <category>starting-point</category>
+        <component>derivations</component>
+        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Derivation"/>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
+        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedDerivation"/>
+        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#tracedTo"/>
+    </owl:ObjectProperty>
+    <owl:Axiom>
+        <rdfs:comment>Derivation is a particular case of trace (see http://www.w3.org/TR/prov-dm/#term-trace), since it links an entity to another entity that contributed to its existence.</rdfs:comment>
+        <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
+        <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#tracedTo"/>
+        <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
+    </owl:Axiom>
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // Data properties
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- http://www.w3.org/ns/prov#pairKey -->
+
+    <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#pairKey">
+        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+        <definition xml:lang="en">The key with which an Entity has been inserted into a prov:Dictionary; a key is expected to be unique within each prov:Dictionary.</definition>
+        <category>collections</category>
+        <component>collections</component>
+        <rdfs:comment xml:lang="en">The key of a KeyValuePair, which is an element of a prov:Dictionary. See also prov:pairValue.</rdfs:comment>
+        <rdfs:range rdf:resource="&rdfs;Literal"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#KeyValuePair"/>
+    </owl:DatatypeProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#removed -->
+
+    <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#removed">
+        <rdfs:label xml:lang="en">removed</rdfs:label>
+        <component>collections</component>
+        <editorialNote xml:lang="en">The value of this property refers to the value of a KeyValuePair&#39;s prov:pairKey property.</editorialNote>
+        <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary-removal</prov-dm>
+        <editorsDefinition xml:lang="en">The key removed from a prov:Dictionary in a Removal, resulting in a new prov:Dictionary.</editorsDefinition>
+        <category>collections</category>
+        <rdfs:range rdf:resource="&rdfs;Literal"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Removal"/>
+    </owl:DatatypeProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#value -->
+
+    <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#value">
+        <prov-dm-constraints></prov-dm-constraints>
+        <category>expanded</category>
+        <editorialNote>The editor&#39;s definition comes from http://www.w3.org/TR/rdf-primer/#rdfvalue</editorialNote>
+        <editorialNote>This property serves the same purpose as rdf:value, but has been reintroduced to avoid some of the definitional ambiguity in the RDF specification (specifically, &#39;may be used in describing structured values&#39;).</editorialNote>
+        <component>entities-activities</component>
+        <rdfs:comment xml:lang="en">Provides a value for an Entity.</rdfs:comment>
+        <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-attribute-value</prov-dm>
+        <prov-n></prov-n>
+        <editorsDefinition xml:lang="en">The main value (if there is one) of a structured value.</editorsDefinition>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
+    </owl:DatatypeProperty>
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // Classes
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- http://www.w3.org/2002/07/owl#Thing -->
+
+    <owl:Class rdf:about="&owl;Thing"/>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#Collection -->
+
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Collection">
+        <rdfs:label xml:lang="en">Collection</rdfs:label>
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Entity"/>
+        <category>collections</category>
+        <component>collections</component>
+        <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection</prov-dm>
+        <definition xml:lang="en">A collection is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the collections.
+
+A collection is a multiset of entities (it is a multiset, rather than a set, because it may not be possible to verify that two distinct entity identitifiers do not denote, in fact, the same entity).</definition>
+        <editorialNote xml:lang="en">Note that although prov:Collection is defined, few other constructs in PROV-DM and PROV-O elaborate what it is or how to use it. Instead, they both elaborate one of its specializations, prov:Dictionary. Although some of the term names relating to prov:Dictionary may seem that they should also apply to prov:Collection, they are specific to prov:Dictionary. It is left to extensions of PROV-O to provide the terms relating to the insertion and removal of members of the more general class prov:Collection.</editorialNote>
+    </owl:Class>
+    
+
+
+
+    <!-- http://www.w3.org/ns/prov#Dictionary -->
+
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Dictionary">
+        <rdfs:label xml:lang="en">Dictionary</rdfs:label>
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Collection"/>
+        <prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#component6</prov-n>
+        <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary</prov-dm>
+        <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#collection-constraints</prov-dm-constraints>
+        <definition xml:lang="en">A dictionary is a collection whose members are indexed by keys.</definition>
+        <rdfs:comment xml:lang="en">A given dictionary forms a given structure for its members. A different structure (obtained either by insertion or removal of members) constitutes a different dictionary.</rdfs:comment>
+        <component>collections</component>
+        <rdfs:comment xml:lang="en">PROV-DM defines a specific type of collection, a dictionary...</rdfs:comment>
+        <rdfs:comment xml:lang="en">This concept allows for the provenance of the dictionary, but also of its constituents to be expressed. Such a notion of dictionary corresponds to a wide variety of concrete data structures, such as a maps or associative arrays.</rdfs:comment>
+        <category>collections</category>
+    </owl:Class>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#DictionaryInvolvement -->
+
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#DictionaryInvolvement">
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
+        <category>collections</category>
+        <component>collections</component>
+        <editorsDefinition xml:lang="en">prov:DictionaryInvolvement provides descriptions of any binary involvement between any instance and a prov:Dictionary. The property prov:dictionary is used to reference the object of the triple being described.</editorsDefinition>
+    </owl:Class>
+    
+
+
+
+    <!-- http://www.w3.org/ns/prov#Entity -->
+
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Entity">
+        <rdfs:label>Entity</rdfs:label>
+        <owl:disjointWith rdf:resource="http://www.w3.org/ns/prov#InstantaneousEvent"/>
+        <prov-dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#section-entity-activity</prov-dm>
+        <component>entities-activities</component>
+        <definition xml:lang="en">An entity is a thing one wants to provide provenance for. For the purpose of this specification, things can be physical, digital, conceptual, or otherwise; things may be real or imaginary.</definition>
+        <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Entity</prov-dm-constraints>
+        <prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Entity</prov-n>
+        <category>starting-point</category>
+        <rdfs:comment xml:lang="en">An entity is a thing one wants to provide provenance for. For the purpose of this specification, things can be physical, digital, conceptual, or otherwise; things may be real or imaginary.</rdfs:comment>
+    </owl:Class>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#Insertion -->
+
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Insertion">
+        <rdfs:label>Insertion</rdfs:label>
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#DictionaryInvolvement"/>
+        <definition>Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-value pairs.</definition>
+        <rdfs:comment xml:lang="en">Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-value pairs.</rdfs:comment>
+        <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-insertion</prov-dm>
+        <prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-collection-insertion</prov-n>
+        <component>collections</component>
+        <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection</prov-dm-constraints>
+        <category>collections</category>
+        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByInsertionFrom"/>
+    </owl:Class>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#InstantaneousEvent -->
+
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#InstantaneousEvent">
+        <rdfs:label>InstantaneousEvent</rdfs:label>
+        <prov-n></prov-n>
+        <component>entities-activities</component>
+        <prov-dm></prov-dm>
+        <definition>An instantaneous event, or event for short, happens in the world and marks a change in the world, in its activities and in its entities. The term &#39;event&#39; is commonly used in process algebra with a similar meaning. Events represent communications or interactions; they are assumed to be atomic and instantaneous.</definition>
+        <rdfs:comment xml:lang="en">An instantaneous event, or event for short, happens in the world and marks a change in the world, in its activities and in its entities. The term &#39;event&#39; is commonly used in process algebra with a similar meaning. Events represent communications or interactions; they are assumed to be atomic and instantaneous.</rdfs:comment>
+        <category>qualified</category>
+        <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#event-ordering</prov-dm-constraints>
+    </owl:Class>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#Involvement -->
+
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Involvement">
+        <rdfs:label>Involvement</rdfs:label>
+        <rdfs:comment xml:lang="en">Any resource that involved an prov:Activity, prov:Entity, or prov:Agent can qualify its involvement by also referencing an instance of prov:Involvement. Instances of prov:Involvement reference the involved Activity, Entity, or Agent (using prov:activity, prov:entity, or prov:agent, respectively) and may be described with any kind of attributes, including user-defined attributes and those provided by PROV (prov:hadRole, prov:hadPlan, prov:atTime, prov:hadLocation). A description (via prov:Involvement) of the binary involvement implies the assertion of the binary involvement.</rdfs:comment>
+        <editorialNote>For simplicity, the hierarchy &#39;stops&#39; at the primary resources (Activity, Entity, Agent). Distinctions beyond the type of object involved are not necessary in PROV-O, but may be established by others.</editorialNote>
+        <category>qualified</category>
+        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#involved"/>
+    </owl:Class>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#KeyValuePair -->
+
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#KeyValuePair">
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Entity"/>
+        <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>
+        <category>collections</category>
+    </owl:Class>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#Removal -->
+
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Removal">
+        <rdfs:label>Removal</rdfs:label>
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#DictionaryInvolvement"/>
+        <category>collections</category>
+        <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection</prov-dm-constraints>
+        <definition>Removal is a derivation that transforms a dictionary into another, by removing one or more key-value pairs.</definition>
+        <rdfs:comment xml:lang="en">Removal is a derivation that transforms a dictionary into another, by removing one or more key-value pairs.</rdfs:comment>
+        <prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-collection-removal</prov-n>
+        <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-removal</prov-dm>
+        <component>collections</component>
+        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByRemovalFrom"/>
+    </owl:Class>
+</rdf:RDF>
+
+
+
+<!-- Generated by the OWL API (version 3.1.0.20069) http://owlapi.sourceforge.net -->
+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dictionary/prov-dictionary.ttl	Sun Dec 16 11:11:38 2012 -0500
@@ -0,0 +1,449 @@
[email protected] rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
[email protected] : <http://www.w3.org/ns/prov#> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] owl: <http://www.w3.org/2002/07/owl#> .
[email protected] xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+rdfs:comment
+    a owl:AnnotationProperty ;
+    rdfs:comment ""@en .
+
+rdfs:isDefinedBy
+    a owl:AnnotationProperty .
+
+rdfs:label
+    a owl:AnnotationProperty ;
+    rdfs:comment ""@en .
+
+rdfs:seeAlso
+    a owl:AnnotationProperty ;
+    rdfs:comment ""@en .
+
+owl:Thing
+    a owl:Class .
+
+owl:topObjectProperty
+    a owl:ObjectProperty .
+
+owl:versionInfo
+    a owl:AnnotationProperty .
+
+<http://www.w3.org/ns/prov#>
+    a owl:Ontology ;
+    rdfs:comment "0.2"^^xsd:string, """This document is published by the Provenance Working Group (http://www.w3.org/2011/prov/wiki/Main_Page). 
+
+If you wish to make comments regarding this document, please send them to [email protected] (subscribe [email protected], archives http://lists.w3.org/Archives/Public/public-prov-comments/). All feedback is welcome."""@en ;
+    rdfs:label "PROV Ontology"@en ;
+    rdfs:seeAlso <http://www.w3.org/TR/prov#>, <http://www.w3.org/TR/prov-o/> ;
+    owl:versionIRI <http://www.w3.org/TR/2012/WD-prov-o-2012MMDD> .
+
+:Collection
+    a owl:Class ;
+    rdfs:label "Collection"@en ;
+    rdfs:subClassOf :Entity ;
+    :category "collections" ;
+    :component "collections" ;
+    :definition """A collection is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the collections.
+
+A collection is a multiset of entities (it is a multiset, rather than a set, because it may not be possible to verify that two distinct entity identitifiers do not denote, in fact, the same entity)."""@en ;
+    :editorialNote "Note that although prov:Collection is defined, few other constructs in PROV-DM and PROV-O elaborate what it is or how to use it. Instead, they both elaborate one of its specializations, prov:Dictionary. Although some of the term names relating to prov:Dictionary may seem that they should also apply to prov:Collection, they are specific to prov:Dictionary. It is left to extensions of PROV-O to provide the terms relating to the insertion and removal of members of the more general class prov:Collection."@en ;
+    :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection" .
+
+:CompleteCollection
+    a owl:Class ;
+    rdfs:comment "Indicates that no other member belongs to the collection, that is all the prov:member stated for this CompleteMembership constitutes all members of the collection."@en ;
+    rdfs:label "CompleteMembership"@en ;
+    rdfs:subClassOf :Collection ;
+    :category "collections" ;
+    :component "collections"@en .
+
+:Dictionary
+    a owl:Class ;
+    rdfs:comment "A given dictionary forms a given structure for its members. A different structure (obtained either by insertion or removal of members) constitutes a different dictionary."@en, "PROV-DM defines a specific type of collection, a dictionary..."@en, "This concept allows for the provenance of the dictionary, but also of its constituents to be expressed. Such a notion of dictionary corresponds to a wide variety of concrete data structures, such as a maps or associative arrays."@en ;
+    rdfs:label "Dictionary"@en ;
+    rdfs:subClassOf :Collection ;
+    :category "collections" ;
+    :component "collections" ;
+    :definition "A dictionary is a collection whose members are indexed by keys."@en ;
+    :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary" ;
+    :prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#collection-constraints" ;
+    :prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#component6" .
+
+:DictionaryInvolvement
+    a owl:Class ;
+    rdfs:subClassOf :Involvement ;
+    :category "collections" ;
+    :component "collections" ;
+    :editorsDefinition "prov:DictionaryInvolvement provides descriptions of any binary involvement between any instance and a prov:Dictionary. The property prov:dictionary is used to reference the object of the triple being described."@en .
+
+:EmptyCollection
+    a owl:Class ;
+    rdfs:comment "An empty dictionary."@en ;
+    rdfs:label "Dictionary"@en ;
+    rdfs:subClassOf :Collection ;
+    :category "collections" ;
+    :component "collections" ;
+    :definition "An empty collection is a collection without members."@en ;
+    :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary" .
+
+:Entity
+    a owl:Class ;
+    rdfs:comment "An entity is a thing one wants to provide provenance for. For the purpose of this specification, things can be physical, digital, conceptual, or otherwise; things may be real or imaginary."@en ;
+    rdfs:label "Entity" ;
+    owl:disjointWith :InstantaneousEvent ;
+    :category "starting-point" ;
+    :component "entities-activities" ;
+    :definition "An entity is a thing one wants to provide provenance for. For the purpose of this specification, things can be physical, digital, conceptual, or otherwise; things may be real or imaginary."@en ;
+    :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#section-entity-activity"^^xsd:anyURI ;
+    :prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Entity" ;
+    :prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Entity" .
+
+:Insertion
+    a owl:Class ;
+    rdfs:comment "Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-value pairs."@en ;
+    rdfs:label "Insertion" ;
+    rdfs:subClassOf :DictionaryInvolvement ;
+    :category "collections" ;
+    :component "collections" ;
+    :definition "Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-value pairs." ;
+    :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-insertion" ;
+    :prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection" ;
+    :prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-collection-insertion" ;
+    :unqualifiedForm :derivedByInsertionFrom .
+
+:InstantaneousEvent
+    a owl:Class ;
+    rdfs:comment "An instantaneous event, or event for short, happens in the world and marks a change in the world, in its activities and in its entities. The term 'event' is commonly used in process algebra with a similar meaning. Events represent communications or interactions; they are assumed to be atomic and instantaneous."@en ;
+    rdfs:label "InstantaneousEvent" ;
+    :category "qualified" ;
+    :component "entities-activities" ;
+    :definition "An instantaneous event, or event for short, happens in the world and marks a change in the world, in its activities and in its entities. The term 'event' is commonly used in process algebra with a similar meaning. Events represent communications or interactions; they are assumed to be atomic and instantaneous." ;
+    :prov-dm "" ;
+    :prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#event-ordering" ;
+    :prov-n "" .
+
+:Involvement
+    a owl:Class ;
+    rdfs:comment "Any resource that involved an prov:Activity, prov:Entity, or prov:Agent can qualify its involvement by also referencing an instance of prov:Involvement. Instances of prov:Involvement reference the involved Activity, Entity, or Agent (using prov:activity, prov:entity, or prov:agent, respectively) and may be described with any kind of attributes, including user-defined attributes and those provided by PROV (prov:hadRole, prov:hadPlan, prov:atTime, prov:hadLocation). A description (via prov:Involvement) of the binary involvement implies the assertion of the binary involvement."@en ;
+    rdfs:label "Involvement" ;
+    :category "qualified" ;
+    :editorialNote "For simplicity, the hierarchy 'stops' at the primary resources (Activity, Entity, Agent). Distinctions beyond the type of object involved are not necessary in PROV-O, but may be established by others." ;
+    :unqualifiedForm :involved .
+
+:KeyValuePair
+    a owl:Class ;
+    rdfs:comment "A key-value pair. Part of a prov:Dictionary through prov:Membership. The key is any RDF Literal, the value is a prov:Entity."@en ;
+    rdfs:subClassOf :Entity ;
+    :category "collections" .
+
+:Removal
+    a owl:Class ;
+    rdfs:comment "Removal is a derivation that transforms a dictionary into another, by removing one or more key-value pairs."@en ;
+    rdfs:label "Removal" ;
+    rdfs:subClassOf :DictionaryInvolvement ;
+    :category "collections" ;
+    :component "collections" ;
+    :definition "Removal is a derivation that transforms a dictionary into another, by removing one or more key-value pairs." ;
+    :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-removal" ;
+    :prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection" ;
+    :prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-collection-removal" ;
+    :unqualifiedForm :derivedByRemovalFrom .
+
+:category
+    a owl:AnnotationProperty ;
+    rdfs:comment "Classify prov-o terms into three categories, including 'starting-point', 'qualifed', and 'extended'. This classification is used by the prov-o html document to gently introduce prov-o terms to its users. "@en .
+
+:component
+    a owl:AnnotationProperty ;
+    rdfs:comment "Classify prov-o terms into six components according to prov-dm, including 'agents-responsibility', 'alternate', 'annotations', 'collections', 'derivations', and 'entities-activities'. This classification is used so that readers of prov-o specification can find its correspondence with the prov-dm specification."@en .
+
+:definition
+    a owl:AnnotationProperty ;
+    rdfs:comment "A definition quoted from PROV-DM or PROV-CONSTRAINTS that describes the concept expressed with this OWL term."@en .
+
+:derivedByInsertionFrom
+    a owl:ObjectProperty ;
+    rdfs:comment "The dictionary was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-value pairs."@en ;
+    rdfs:domain :Dictionary ;
+    rdfs:range :Dictionary ;
+    rdfs:subPropertyOf :wasDerivedFrom ;
+    owl:propertyChainAxiom (:qualifiedInsertion
+        :dictionary
+    ) ;
+    :category "collections" ;
+    :component "collections" ;
+    :inverse "hadDerivationByInsertion" ;
+    :qualifiedForm :Insertion, :qualifiedInsertion .
+
+:derivedByRemovalFrom
+    a owl:ObjectProperty ;
+    rdfs:comment "The dictionary was derived from the other by removal. prov:qualifiedRemoval shows details of the removal, in particular the removed key-value pairs."@en ;
+    rdfs:domain :Dictionary ;
+    rdfs:range :Dictionary ;
+    rdfs:subPropertyOf :wasDerivedFrom ;
+    owl:propertyChainAxiom (:qualifiedRemoval
+        :dictionary
+    ) ;
+    :category "collections" ;
+    :component "collections" ;
+    :inverse "hadDerivationByRemoval" ;
+    :qualifiedForm :Removal, :qualifiedRemoval .
+
+:dictionary
+    a owl:ObjectProperty ;
+    rdfs:comment "The property used by a prov:DictionaryInvolvement to cite the prov:Dictionary that was prov:involved in insertion or removal of elements of a collection. "@en ;
+    rdfs:domain :DictionaryInvolvement ;
+    rdfs:range :Dictionary ;
+    rdfs:subPropertyOf :involvee ;
+    :category "collections" ;
+    :component "collections" ;
+    :editorialNote "This property behaves in spirit like rdf:object; it references the object of a prov:involved triple."@en ;
+    :inverse "dictionaryOfInvolvement" ;
+    :sharesDefinitionWith :DictionaryInvolvement .
+
+:editorialNote
+    a owl:AnnotationProperty ;
+    rdfs:comment "A note by the OWL development team about how this term expresses the PROV-DM concept, or how it should be used in context of semantic web or linked data."@en .
+
+:editorsDefinition
+    a owl:AnnotationProperty ;
+    rdfs:comment "When the prov-o term does not have a definition drawn from prov-dm, and the prov-o editor provides one."@en ;
+    rdfs:subPropertyOf :definition .
+
+:inserted
+    a owl:ObjectProperty ;
+    rdfs:comment "An object property to refer to the prov:KeyValuePair inserted into a prov:Dictionary."@en ;
+    rdfs:domain :Insertion ;
+    rdfs:range :KeyValuePair ;
+    :category "collections" ;
+    :component "collections" ;
+    :inverse "wasInsertedBy" ;
+    :sharesDefinitionWith :Insertion .
+
+:inverse
+    a owl:AnnotationProperty ;
+    rdfs:comment "PROV-O does not define all property inverses. The directionalities defined in PROV-O should be given preference over those not defined. However, if users wish to name the inverse of a PROV-O property, the local name given by prov:inverse should be used."@en ;
+    rdfs:seeAlso <http://www.w3.org/TR/prov-o/#names-of-inverse-properties> .
+
+:involved
+    a owl:ObjectProperty ;
+    :category "qualified" ;
+    :editorialNote """The relation the sub-properties of prov:involved can also be specified in more detail using the qualification pattern. For example, the binary relation :baking prov:used :spoon can be qualified by asserting :baking prov:qualifiedUsage [ a prov:Usage; prov:entity :baking; :foo :bar; prov:atLocation :kitchen ] .
+
+Subproperties of prov:involved may also be asserted directly without being qualified.
+
+prov:involved should not be used without also using one of its subproperties. 
+
+"""@en ;
+    :editorsDefinition "The broadest provenance relation between two resources, prov:involved is the superproperty of all unqualified binary relations among any two Activities, Entities, or Agents (or anything else). A more specific property should be favored of prov:involved."@en ;
+    :inverse "wasInvolvedWith" .
+
+:involvee
+    a owl:ObjectProperty ;
+    rdfs:comment "Subproperties of prov:involvee are used to cite the object of an unqualified PROV-O triple whose predicate is a subproperty of prov:involved (e.g. prov:used, prov:wasGeneratedBy). prov:involvee is used much like rdf:object is used." ;
+    rdfs:domain :Involvement ;
+    :category "qualified" ;
+    :editorsDefinition "The rdf:object of the (binary) prov:involved relation (triple) that this Involvement is qualifying (reifying) for further description (as an n-ary relation)."@en ;
+    :inverse "involvement" .
+
+:pair
+    a owl:ObjectProperty ;
+    rdfs:comment "A membership can have multiple members."@en ;
+    rdfs:range :KeyValuePair ;
+    rdfs:subPropertyOf :involvee ;
+    :category "collections" ;
+    :component "collections" ;
+    :editorialNote "This property behaves in spirit like rdf:object; it references the object of a prov:involved triple."@en ;
+    :editorsDefinition "The KeyValuePair(s) whose membership is being qualified by this instance of prov:Membership."@en ;
+    :inverse "inMembership" .
+
+:pairKey
+    a owl:DatatypeProperty, owl:FunctionalProperty ;
+    rdfs:comment "The key of a KeyValuePair, which is an element of a prov:Dictionary. See also prov:pairValue."@en ;
+    rdfs:domain :KeyValuePair ;
+    rdfs:range rdfs:Literal ;
+    :category "collections" ;
+    :component "collections" ;
+    :definition "The key with which an Entity has been inserted into a prov:Dictionary; a key is expected to be unique within each prov:Dictionary."@en .
+
+:pairValue
+    a owl:FunctionalProperty, owl:ObjectProperty ;
+    rdfs:comment "The value of a KeyValuePair. See also prov:pairKey."@en ;
+    rdfs:domain :KeyValuePair ;
+    rdfs:range :Entity ;
+    :category "collections" ;
+    :component "collections" ;
+    :editorsDefinition "The Entity value of a KeyValuePair, which may go into a prov:Dictionary under the key specified by prov:pairKey."@en ;
+    :inverse "valueOf" .
+
+:prov-aq
+    a owl:AnnotationProperty ;
+    rdfs:subPropertyOf rdfs:seeAlso .
+
+:prov-dm
+    a owl:AnnotationProperty ;
+    rdfs:comment "A reference to the principal section of the PROV-DM document that describes this concept."@en ;
+    rdfs:subPropertyOf rdfs:seeAlso .
+
+:prov-dm-constraints
+    a owl:AnnotationProperty ;
+    rdfs:comment "A reference to the principal section of the PROV-CONSTRAINTS document that describes this concept."@en ;
+    rdfs:subPropertyOf rdfs:seeAlso .
+
+:prov-n
+    a owl:AnnotationProperty ;
+    rdfs:comment "A reference to the principal section of the PROV-M document that describes this concept."@en ;
+    rdfs:subPropertyOf rdfs:seeAlso .
+
+:qualifiedForm
+    a owl:AnnotationProperty ;
+    rdfs:comment """This annotation property links a prov:involved subproperty with a prov:Involved subclass. This indicates that the property can be qualified by using prov:qualified. 
+
+Example:
+    prov:wasGeneratedBy prov:qualifiedForm prov:Generation .
+
+Then this unqualified assertion:
+    :entity1 prov:wasGeneratedBy :activity1 .
+
+can be qualified by adding:
+   :entity1 prov:qualified :entity1Gen .
+   :entity1Gen a prov:Generation;
+       prov:activity :activity1 ;
+       :customValue 1337 .
+
+Note how the range of the unqualified property is mirrored by the prov:activity or prov:entity on the involvement class."""@en ;
+    rdfs:subPropertyOf rdfs:seeAlso .
+
+:qualifiedInsertion
+    a owl:ObjectProperty ;
+    rdfs:comment "If this Dictionary prov:derivedByInsertionFrom another Dictionary :e, then it can qualify how it did perform the Insertion using prov:qualifiedInsertion [ a prov:Insertion;  prov:dictionary :e; prov:inserted [a prov:KeyValuePair; prov:pairKey \"k1\"^^xsd:string; prov:pairValue :foo] ]."@en ;
+    rdfs:domain :Dictionary ;
+    rdfs:range :Insertion ;
+    :category "collections" ;
+    :component "collections" ;
+    :inverse "qualifiedInsertionOf" ;
+    :sharesDefinitionWith :Insertion ;
+    :unqualifiedForm :derivedByInsertionFrom .
+
+:qualifiedMembership
+    a owl:ObjectProperty ;
+    rdfs:comment "The collection included the specified membership of keys-values."@en ;
+    rdfs:domain :Dictionary ;
+    rdfs:label "qualifiedMembership"@en ;
+    :category "collections" ;
+    :component "collections" ;
+    :editorialNote "This property is NOT inverse functional, since the membership of many distinct KeyValuePairs can be qualified using a single instance of prov:Membership."@en ;
+    :inverse "membershipOf" ;
+    :sharesDefinitionWith :Membership .
+
+:qualifiedRemoval
+    a owl:ObjectProperty ;
+    rdfs:comment "If this Dictionary prov:derivedByRemovalFrom another Dictionary :e, then it can qualify how it did perform the Removal using prov:qualifiedRemoval [ a prov:Removal;  prov:dictionary :c; prov:removed \"k1\"^^xsd:string ]."@en ;
+    rdfs:domain :Dictionary ;
+    rdfs:range :Removal ;
+    :category "collections" ;
+    :component "collections" ;
+    :inverse "removedFromDictionary" ;
+    :sharesDefinitionWith :Removal ;
+    :unqualifiedForm :derivedByRemovalFrom .
+
+:removed
+    a owl:DatatypeProperty ;
+    rdfs:domain :Removal ;
+    rdfs:label "removed"@en ;
+    rdfs:range rdfs:Literal ;
+    :category "collections" ;
+    :component "collections" ;
+    :editorialNote "The value of this property refers to the value of a KeyValuePair's prov:pairKey property."@en ;
+    :editorsDefinition "The key removed from a prov:Dictionary in a Removal, resulting in a new prov:Dictionary."@en ;
+    :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary-removal" .
+
+:sharesDefinitionWith
+    a owl:AnnotationProperty ;
+    rdfs:subPropertyOf rdfs:seeAlso .
+
+:todo
+    a owl:AnnotationProperty .
+
+:tracedTo
+    a owl:ObjectProperty, owl:TransitiveProperty ;
+    rdfs:comment "An object property to link back an entity to another by means of derivation or responsibility relations, possibly repeatedly traversed."@en ;
+    rdfs:domain :Entity ;
+    rdfs:range :Entity ;
+    rdfs:subPropertyOf :involved ;
+    :category "expanded" ;
+    :component "derivations" ;
+    :inverse "tracedFrom" ;
+    :qualifiedForm :Trace, :qualifiedTrace .
+
+:unqualifiedForm
+    a owl:AnnotationProperty ;
+    rdfs:comment "Classes and properties used to qualify relationships are annotated with prov:unqualifiedForm to indicate the property used to assert an unqualified provenance relation."@en ;
+    rdfs:subPropertyOf rdfs:seeAlso .
+
+:value
+    a owl:DatatypeProperty ;
+    rdfs:comment "Provides a value for an Entity."@en ;
+    rdfs:domain :Entity ;
+    :category "expanded" ;
+    :component "entities-activities" ;
+    :editorialNote "The editor's definition comes from http://www.w3.org/TR/rdf-primer/#rdfvalue", "This property serves the same purpose as rdf:value, but has been reintroduced to avoid some of the definitional ambiguity in the RDF specification (specifically, 'may be used in describing structured values')." ;
+    :editorsDefinition "The main value (if there is one) of a structured value."@en ;
+    :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-attribute-value" ;
+    :prov-dm-constraints "" ;
+    :prov-n "" .
+
+:wasAttributedTo
+    a owl:ObjectProperty ;
+    rdfs:comment "Attribution is the ascribing of an entity to an agent."@en ;
+    rdfs:domain :Entity ;
+    rdfs:subPropertyOf :tracedTo ;
+    :category "starting-point" ;
+    :component "agents-responsibility" ;
+    :definition "Attribution is the ascribing of an entity to an agent." ;
+    :inverse "contributed" ;
+    :qualifiedForm :Attribution, :qualifiedAttribution .
+
+:wasDerivedFrom
+    a owl:AsymmetricProperty, owl:IrreflexiveProperty, owl:ObjectProperty ;
+    rdfs:comment "A derivation is a transformation of an entity into another, a construction of an entity into another, or an update of an entity, resulting in a new one."@en ;
+    rdfs:domain :Entity ;
+    rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+    rdfs:range :Entity ;
+    rdfs:subPropertyOf :tracedTo ;
+    :category "starting-point" ;
+    :component "derivations" ;
+    :definition "A derivation is a transformation of an entity into another, a construction of an entity into another, or an update of an entity, resulting in a new one."@en ;
+    :inverse "hadDerivation" ;
+    :qualifiedForm :Derivation, :qualifiedDerivation .
+
+[]
+    a owl:Axiom ;
+    rdfs:comment "Insertion is a form of derivation (see http://www.w3.org/TR/prov-dm/#term-dictionary-insertion) that transforms a dictionary into another, by insertion of one or more key-entity pairs. " ;
+    owl:annotatedProperty rdfs:subPropertyOf ;
+    owl:annotatedSource :derivedByInsertionFrom ;
+    owl:annotatedTarget :wasDerivedFrom .
+
+[]
+    a owl:Axiom ;
+    rdfs:comment "Removal is a form of derivation (see http://www.w3.org/TR/prov-dm/#term-dictionary-removal) that transforms a dictionary into another, by removing one or more key-entity pairs. " ;
+    owl:annotatedProperty rdfs:subPropertyOf ;
+    owl:annotatedSource :derivedByRemovalFrom ;
+    owl:annotatedTarget :wasDerivedFrom .
+
+[]
+    a owl:Axiom ;
+    rdfs:comment "Attribution is a particular case of trace (see http://www.w3.org/TR/prov-dm/#concept-trace), in the sense that it links an entity to the agent that ascribed it." ;
+    owl:annotatedProperty rdfs:subPropertyOf ;
+    owl:annotatedSource :wasAttributedTo ;
+    owl:annotatedTarget :tracedTo ;
+    :definition "IF wasAttributedTo(e2,ag1,aAttr) holds, THEN tracedTo(e2,ag1) also holds. " ;
+    :prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#traceability-inference" .
+
+[]
+    a owl:Axiom ;
+    rdfs:comment "Derivation is a particular case of trace (see http://www.w3.org/TR/prov-dm/#term-trace), since it links an entity to another entity that contributed to its existence." ;
+    owl:annotatedProperty rdfs:subPropertyOf ;
+    owl:annotatedSource :wasDerivedFrom ;
+    owl:annotatedTarget :tracedTo .
+
--- a/ontology/prov-dictionary.owl	Fri Dec 14 10:24:52 2012 -0500
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,634 +0,0 @@
-<?xml version="1.0"?>
-
-
-<!DOCTYPE rdf:RDF [
-    <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
-    <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
-    <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
-    <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
-]>
-
-
-<rdf:RDF xmlns="http://www.w3.org/ns/prov#"
-     xml:base="http://www.w3.org/ns/prov"
-     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
-     xmlns:owl="http://www.w3.org/2002/07/owl#"
-     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
-     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
-    <owl:Ontology rdf:about="http://www.w3.org/ns/prov#">
-        <rdfs:label xml:lang="en">PROV Ontology</rdfs:label>
-        <rdfs:comment rdf:datatype="&xsd;string">0.2</rdfs:comment>
-        <rdfs:comment xml:lang="en">This document is published by the Provenance Working Group (http://www.w3.org/2011/prov/wiki/Main_Page). 
-
-If you wish to make comments regarding this document, please send them to [email protected] (subscribe [email protected], archives http://lists.w3.org/Archives/Public/public-prov-comments/). All feedback is welcome.</rdfs:comment>
-        <owl:versionIRI rdf:resource="http://www.w3.org/TR/2012/WD-prov-o-2012MMDD"/>
-        <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov#"/>
-        <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-o/"/>
-    </owl:Ontology>
-    
-
-
-    <!-- 
-    ///////////////////////////////////////////////////////////////////////////////////////
-    //
-    // Annotation properties
-    //
-    ///////////////////////////////////////////////////////////////////////////////////////
-     -->
-
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#unqualifiedForm">
-        <rdfs:comment xml:lang="en">Classes and properties used to qualify relationships are annotated with prov:unqualifiedForm to indicate the property used to assert an unqualified provenance relation.</rdfs:comment>
-        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
-    </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#prov-n">
-        <rdfs:comment xml:lang="en">A reference to the principal section of the PROV-M document that describes this concept.</rdfs:comment>
-        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
-    </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#sharesDefinitionWith">
-        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
-    </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#prov-dm">
-        <rdfs:comment xml:lang="en">A reference to the principal section of the PROV-DM document that describes this concept.</rdfs:comment>
-        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
-    </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#definition">
-        <rdfs:comment xml:lang="en">A definition quoted from PROV-DM or PROV-CONSTRAINTS that describes the concept expressed with this OWL term.</rdfs:comment>
-    </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#editorialNote">
-        <rdfs:comment xml:lang="en">A note by the OWL development team about how this term expresses the PROV-DM concept, or how it should be used in context of semantic web or linked data.</rdfs:comment>
-    </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&rdfs;label">
-        <rdfs:comment xml:lang="en"></rdfs:comment>
-    </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#inverse">
-        <rdfs:comment xml:lang="en">PROV-O does not define all property inverses. The directionalities defined in PROV-O should be given preference over those not defined. However, if users wish to name the inverse of a PROV-O property, the local name given by prov:inverse should be used.</rdfs:comment>
-        <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-o/#names-of-inverse-properties"/>
-    </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&rdfs;comment">
-        <rdfs:comment xml:lang="en"></rdfs:comment>
-    </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&rdfs;seeAlso">
-        <rdfs:comment xml:lang="en"></rdfs:comment>
-    </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#category">
-        <rdfs:comment xml:lang="en">Classify prov-o terms into three categories, including &#39;starting-point&#39;, &#39;qualifed&#39;, and &#39;extended&#39;. This classification is used by the prov-o html document to gently introduce prov-o terms to its users. </rdfs:comment>
-    </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#prov-dm-constraints">
-        <rdfs:comment xml:lang="en">A reference to the principal section of the PROV-CONSTRAINTS document that describes this concept.</rdfs:comment>
-        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
-    </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&rdfs;isDefinedBy"/>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#editorsDefinition">
-        <rdfs:comment xml:lang="en">When the prov-o term does not have a definition drawn from prov-dm, and the prov-o editor provides one.</rdfs:comment>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#definition"/>
-    </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#prov-aq">
-        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
-    </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#component">
-        <rdfs:comment xml:lang="en">Classify prov-o terms into six components according to prov-dm, including &#39;agents-responsibility&#39;, &#39;alternate&#39;, &#39;annotations&#39;, &#39;collections&#39;, &#39;derivations&#39;, and &#39;entities-activities&#39;. This classification is used so that readers of prov-o specification can find its correspondence with the prov-dm specification.</rdfs:comment>
-    </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#qualifiedForm">
-        <rdfs:comment xml:lang="en">This annotation property links a prov:involved subproperty with a prov:Involved subclass. This indicates that the property can be qualified by using prov:qualified. 
-
-Example:
-    prov:wasGeneratedBy prov:qualifiedForm prov:Generation .
-
-Then this unqualified assertion:
-    :entity1 prov:wasGeneratedBy :activity1 .
-
-can be qualified by adding:
-   :entity1 prov:qualified :entity1Gen .
-   :entity1Gen a prov:Generation;
-       prov:activity :activity1 ;
-       :customValue 1337 .
-
-Note how the range of the unqualified property is mirrored by the prov:activity or prov:entity on the involvement class.</rdfs:comment>
-        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
-    </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#todo"/>
-    
-
-
-    <!-- 
-    ///////////////////////////////////////////////////////////////////////////////////////
-    //
-    // Object Properties
-    //
-    ///////////////////////////////////////////////////////////////////////////////////////
-     -->
-
-    
-
-
-    <!-- http://www.w3.org/2002/07/owl#topObjectProperty -->
-
-    <owl:ObjectProperty rdf:about="&owl;topObjectProperty"/>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#derivedByInsertionFrom -->
-
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#derivedByInsertionFrom">
-        <rdfs:comment xml:lang="en">The dictionary was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-value pairs.</rdfs:comment>
-        <inverse>hadDerivationByInsertion</inverse>
-        <component>collections</component>
-        <category>collections</category>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
-        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
-        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedInsertion"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
-        <owl:propertyChainAxiom rdf:parseType="Collection">
-            <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedInsertion"/>
-            <rdf:Description rdf:about="http://www.w3.org/ns/prov#dictionary"/>
-        </owl:propertyChainAxiom>
-    </owl:ObjectProperty>
-    <owl:Axiom>
-        <rdfs:comment>Insertion is a form of derivation (see http://www.w3.org/TR/prov-dm/#term-dictionary-insertion) that transforms a dictionary into another, by insertion of one or more key-entity pairs. </rdfs:comment>
-        <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
-        <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#derivedByInsertionFrom"/>
-        <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
-    </owl:Axiom>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#derivedByRemovalFrom -->
-
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#derivedByRemovalFrom">
-        <rdfs:comment xml:lang="en">The dictionary was derived from the other by removal. prov:qualifiedRemoval shows details of the removal, in particular the removed key-value pairs.</rdfs:comment>
-        <component>collections</component>
-        <category>collections</category>
-        <inverse>hadDerivationByRemoval</inverse>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
-        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Removal"/>
-        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedRemoval"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
-        <owl:propertyChainAxiom rdf:parseType="Collection">
-            <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedRemoval"/>
-            <rdf:Description rdf:about="http://www.w3.org/ns/prov#dictionary"/>
-        </owl:propertyChainAxiom>
-    </owl:ObjectProperty>
-    <owl:Axiom>
-        <rdfs:comment>Removal is a form of derivation (see http://www.w3.org/TR/prov-dm/#term-dictionary-removal) that transforms a dictionary into another, by removing one or more key-entity pairs. </rdfs:comment>
-        <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
-        <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#derivedByRemovalFrom"/>
-        <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
-    </owl:Axiom>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#dictionary -->
-
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#dictionary">
-        <inverse>dictionaryOfInvolvement</inverse>
-        <rdfs:comment xml:lang="en">The property used by a prov:DictionaryInvolvement to cite the prov:Dictionary that was prov:involved in insertion or removal of elements of a collection. </rdfs:comment>
-        <editorialNote xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</editorialNote>
-        <component>collections</component>
-        <category>collections</category>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#DictionaryInvolvement"/>
-        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#DictionaryInvolvement"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involvee"/>
-    </owl:ObjectProperty>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#inserted -->
-
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#inserted">
-        <rdfs:comment xml:lang="en">An object property to refer to the prov:KeyValuePair inserted into a prov:Dictionary.</rdfs:comment>
-        <inverse>wasInsertedBy</inverse>
-        <component>collections</component>
-        <category>collections</category>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
-        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#KeyValuePair"/>
-    </owl:ObjectProperty>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#involved -->
-
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#involved">
-        <category>qualified</category>
-        <inverse>wasInvolvedWith</inverse>
-        <editorsDefinition xml:lang="en">The broadest provenance relation between two resources, prov:involved is the superproperty of all unqualified binary relations among any two Activities, Entities, or Agents (or anything else). A more specific property should be favored of prov:involved.</editorsDefinition>
-        <editorialNote xml:lang="en">The relation the sub-properties of prov:involved can also be specified in more detail using the qualification pattern. For example, the binary relation :baking prov:used :spoon can be qualified by asserting :baking prov:qualifiedUsage [ a prov:Usage; prov:entity :baking; :foo :bar; prov:atLocation :kitchen ] .
-
-Subproperties of prov:involved may also be asserted directly without being qualified.
-
-prov:involved should not be used without also using one of its subproperties. 
-
-</editorialNote>
-    </owl:ObjectProperty>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#involvee -->
-
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#involvee">
-        <inverse>involvement</inverse>
-        <category>qualified</category>
-        <rdfs:comment>Subproperties of prov:involvee are used to cite the object of an unqualified PROV-O triple whose predicate is a subproperty of prov:involved (e.g. prov:used, prov:wasGeneratedBy). prov:involvee is used much like rdf:object is used.</rdfs:comment>
-        <editorsDefinition xml:lang="en">The rdf:object of the (binary) prov:involved relation (triple) that this Involvement is qualifying (reifying) for further description (as an n-ary relation).</editorsDefinition>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
-    </owl:ObjectProperty>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#pair -->
-
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#pair">
-        <component>collections</component>
-        <category>collections</category>
-        <rdfs:comment xml:lang="en">A membership can have multiple members.</rdfs:comment>
-        <editorsDefinition xml:lang="en">The KeyValuePair(s) whose membership is being qualified by this instance of prov:Membership.</editorsDefinition>
-        <editorialNote xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</editorialNote>
-        <inverse>inMembership</inverse>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#KeyValuePair"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involvee"/>
-    </owl:ObjectProperty>
-    
-
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadMember">
-        <rdfs:label>hadMember</rdfs:label>
-        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedMembership"/>
-        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Membership"/>
-    </owl:ObjectProperty>
-
-    <!-- http://www.w3.org/ns/prov#qualifiedMembership -->
-
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedMembership">
-        <rdfs:label xml:lang="en">qualifiedMembership</rdfs:label>
-        <component>collections</component>
-        <category>qualified</category>
-        <rdfs:comment xml:lang="en">The collection included the specified membership of keys-values.</rdfs:comment>
-        <inverse>membershipOf</inverse>
-        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Collection"/>
-        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Membership"/>
-        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
-    </owl:ObjectProperty>
-
-    <!-- http://www.w3.org/ns/prov#pairValue -->
-
-    <!-- http://www.w3.org/ns/prov#Membership -->
-
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Membership">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInfluence"/>
-        <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-membership</dm>
-        <category>qualified</category>
-        <definition xml:lang="en">Membership is the belonging of an entity to a collection.</definition>
-        <component>collections</component>
-        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
-        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
-    </owl:Class>
-
-    <!-- http://www.w3.org/ns/prov#IncompleteCollection -->
-
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#IncompleteCollection">
-        <rdfs:label xml:lang="en">IncompleteCollection</rdfs:label>
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Collection"/>
-        <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-membership</dm>
-        <definition xml:lang="en">A collection that is believed to include more members in addition to those specified in the entity-set.</definition>
-        <category>expanded</category>
-        <component>collections</component>
-        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
-    </owl:Class>
-
-    <!-- http://www.w3.org/ns/prov#CompleteCollection -->
-
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#CompleteCollection">
-        <rdfs:label xml:lang="en">CompleteMembership</rdfs:label>
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Collection"/>
-        <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-membership</dm>
-        <category>expanded</category>
-        <definition xml:lang="en">The collection is believed to include all and only the members specified in the entity-set.</definition>
-        <component xml:lang="en">collections</component>
-        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
-    </owl:Class>
-
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#pairValue">
-        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
-        <editorsDefinition xml:lang="en">The Entity value of a KeyValuePair, which may go into a prov:Dictionary under the key specified by prov:pairKey.</editorsDefinition>
-        <rdfs:comment xml:lang="en">The value of a KeyValuePair. See also prov:pairKey.</rdfs:comment>
-        <category>collections</category>
-        <inverse>valueOf</inverse>
-        <component>collections</component>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#KeyValuePair"/>
-    </owl:ObjectProperty>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#qualifiedInsertion -->
-
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedInsertion">
-        <component>collections</component>
-        <rdfs:comment xml:lang="en">If this Dictionary prov:derivedByInsertionFrom another Dictionary :e, then it can qualify how it did perform the Insertion using prov:qualifiedInsertion [ a prov:Insertion;  prov:dictionary :e; prov:inserted [a prov:KeyValuePair; prov:pairKey &quot;k1&quot;^^xsd:string; prov:pairValue :foo] ].</rdfs:comment>
-        <inverse>qualifiedInsertionOf</inverse>
-        <category>collections</category>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
-        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
-        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByInsertionFrom"/>
-    </owl:ObjectProperty>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#qualifiedRemoval -->
-
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedRemoval">
-        <inverse>removedFromDictionary</inverse>
-        <category>collections</category>
-        <component>collections</component>
-        <rdfs:comment xml:lang="en">If this Dictionary prov:derivedByRemovalFrom another Dictionary :e, then it can qualify how it did perform the Removal using prov:qualifiedRemoval [ a prov:Removal;  prov:dictionary :c; prov:removed &quot;k1&quot;^^xsd:string ].</rdfs:comment>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
-        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Removal"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Removal"/>
-        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByRemovalFrom"/>
-    </owl:ObjectProperty>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#tracedTo -->
-
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#tracedTo">
-        <rdf:type rdf:resource="&owl;TransitiveProperty"/>
-        <rdfs:comment xml:lang="en">An object property to link back an entity to another by means of derivation or responsibility relations, possibly repeatedly traversed.</rdfs:comment>
-        <component>derivations</component>
-        <inverse>tracedFrom</inverse>
-        <category>expanded</category>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Trace"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involved"/>
-        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedTrace"/>
-    </owl:ObjectProperty>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#wasAttributedTo -->
-
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasAttributedTo">
-        <definition>Attribution is the ascribing of an entity to an agent.</definition>
-        <category>starting-point</category>
-        <inverse>contributed</inverse>
-        <rdfs:comment xml:lang="en">Attribution is the ascribing of an entity to an agent.</rdfs:comment>
-        <component>agents-responsibility</component>
-        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Attribution"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedAttribution"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#tracedTo"/>
-    </owl:ObjectProperty>
-    <owl:Axiom>
-        <rdfs:comment>Attribution is a particular case of trace (see http://www.w3.org/TR/prov-dm/#concept-trace), in the sense that it links an entity to the agent that ascribed it.</rdfs:comment>
-        <definition>IF wasAttributedTo(e2,ag1,aAttr) holds, THEN tracedTo(e2,ag1) also holds. </definition>
-        <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#traceability-inference</prov-dm-constraints>
-        <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
-        <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#tracedTo"/>
-        <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasAttributedTo"/>
-    </owl:Axiom>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#wasDerivedFrom -->
-
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasDerivedFrom">
-        <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
-        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
-        <inverse>hadDerivation</inverse>
-        <definition xml:lang="en">A derivation is a transformation of an entity into another, a construction of an entity into another, or an update of an entity, resulting in a new one.</definition>
-        <rdfs:comment xml:lang="en">A derivation is a transformation of an entity into another, a construction of an entity into another, or an update of an entity, resulting in a new one.</rdfs:comment>
-        <category>starting-point</category>
-        <component>derivations</component>
-        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
-        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Derivation"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedDerivation"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#tracedTo"/>
-    </owl:ObjectProperty>
-    <owl:Axiom>
-        <rdfs:comment>Derivation is a particular case of trace (see http://www.w3.org/TR/prov-dm/#term-trace), since it links an entity to another entity that contributed to its existence.</rdfs:comment>
-        <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
-        <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#tracedTo"/>
-        <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
-    </owl:Axiom>
-    
-
-
-    <!-- 
-    ///////////////////////////////////////////////////////////////////////////////////////
-    //
-    // Data properties
-    //
-    ///////////////////////////////////////////////////////////////////////////////////////
-     -->
-
-    
-
-
-    <!-- http://www.w3.org/ns/prov#pairKey -->
-
-    <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#pairKey">
-        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
-        <definition xml:lang="en">The key with which an Entity has been inserted into a prov:Dictionary; a key is expected to be unique within each prov:Dictionary.</definition>
-        <category>collections</category>
-        <component>collections</component>
-        <rdfs:comment xml:lang="en">The key of a KeyValuePair, which is an element of a prov:Dictionary. See also prov:pairValue.</rdfs:comment>
-        <rdfs:range rdf:resource="&rdfs;Literal"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#KeyValuePair"/>
-    </owl:DatatypeProperty>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#removed -->
-
-    <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#removed">
-        <rdfs:label xml:lang="en">removed</rdfs:label>
-        <component>collections</component>
-        <editorialNote xml:lang="en">The value of this property refers to the value of a KeyValuePair&#39;s prov:pairKey property.</editorialNote>
-        <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary-removal</prov-dm>
-        <editorsDefinition xml:lang="en">The key removed from a prov:Dictionary in a Removal, resulting in a new prov:Dictionary.</editorsDefinition>
-        <category>collections</category>
-        <rdfs:range rdf:resource="&rdfs;Literal"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Removal"/>
-    </owl:DatatypeProperty>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#value -->
-
-    <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#value">
-        <prov-dm-constraints></prov-dm-constraints>
-        <category>expanded</category>
-        <editorialNote>The editor&#39;s definition comes from http://www.w3.org/TR/rdf-primer/#rdfvalue</editorialNote>
-        <editorialNote>This property serves the same purpose as rdf:value, but has been reintroduced to avoid some of the definitional ambiguity in the RDF specification (specifically, &#39;may be used in describing structured values&#39;).</editorialNote>
-        <component>entities-activities</component>
-        <rdfs:comment xml:lang="en">Provides a value for an Entity.</rdfs:comment>
-        <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-attribute-value</prov-dm>
-        <prov-n></prov-n>
-        <editorsDefinition xml:lang="en">The main value (if there is one) of a structured value.</editorsDefinition>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-    </owl:DatatypeProperty>
-    
-
-
-    <!-- 
-    ///////////////////////////////////////////////////////////////////////////////////////
-    //
-    // Classes
-    //
-    ///////////////////////////////////////////////////////////////////////////////////////
-     -->
-
-    
-
-
-    <!-- http://www.w3.org/2002/07/owl#Thing -->
-
-    <owl:Class rdf:about="&owl;Thing"/>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#Collection -->
-
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Collection">
-        <rdfs:label xml:lang="en">Collection</rdfs:label>
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <category>collections</category>
-        <component>collections</component>
-        <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection</prov-dm>
-        <definition xml:lang="en">A collection is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the collections.
-
-A collection is a multiset of entities (it is a multiset, rather than a set, because it may not be possible to verify that two distinct entity identitifiers do not denote, in fact, the same entity).</definition>
-        <editorialNote xml:lang="en">Note that although prov:Collection is defined, few other constructs in PROV-DM and PROV-O elaborate what it is or how to use it. Instead, they both elaborate one of its specializations, prov:Dictionary. Although some of the term names relating to prov:Dictionary may seem that they should also apply to prov:Collection, they are specific to prov:Dictionary. It is left to extensions of PROV-O to provide the terms relating to the insertion and removal of members of the more general class prov:Collection.</editorialNote>
-    </owl:Class>
-    
-
-
-
-    <!-- http://www.w3.org/ns/prov#Dictionary -->
-
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Dictionary">
-        <rdfs:label xml:lang="en">Dictionary</rdfs:label>
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Collection"/>
-        <prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#component6</prov-n>
-        <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary</prov-dm>
-        <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#collection-constraints</prov-dm-constraints>
-        <definition xml:lang="en">A dictionary is a collection whose members are indexed by keys.</definition>
-        <rdfs:comment xml:lang="en">A given dictionary forms a given structure for its members. A different structure (obtained either by insertion or removal of members) constitutes a different dictionary.</rdfs:comment>
-        <component>collections</component>
-        <rdfs:comment xml:lang="en">PROV-DM defines a specific type of collection, a dictionary...</rdfs:comment>
-        <rdfs:comment xml:lang="en">This concept allows for the provenance of the dictionary, but also of its constituents to be expressed. Such a notion of dictionary corresponds to a wide variety of concrete data structures, such as a maps or associative arrays.</rdfs:comment>
-        <category>collections</category>
-    </owl:Class>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#DictionaryInvolvement -->
-
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#DictionaryInvolvement">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
-        <category>collections</category>
-        <component>collections</component>
-        <editorsDefinition xml:lang="en">prov:DictionaryInvolvement provides descriptions of any binary involvement between any instance and a prov:Dictionary. The property prov:dictionary is used to reference the object of the triple being described.</editorsDefinition>
-    </owl:Class>
-    
-
-
-
-    <!-- http://www.w3.org/ns/prov#Entity -->
-
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Entity">
-        <rdfs:label>Entity</rdfs:label>
-        <owl:disjointWith rdf:resource="http://www.w3.org/ns/prov#InstantaneousEvent"/>
-        <prov-dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#section-entity-activity</prov-dm>
-        <component>entities-activities</component>
-        <definition xml:lang="en">An entity is a thing one wants to provide provenance for. For the purpose of this specification, things can be physical, digital, conceptual, or otherwise; things may be real or imaginary.</definition>
-        <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Entity</prov-dm-constraints>
-        <prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Entity</prov-n>
-        <category>starting-point</category>
-        <rdfs:comment xml:lang="en">An entity is a thing one wants to provide provenance for. For the purpose of this specification, things can be physical, digital, conceptual, or otherwise; things may be real or imaginary.</rdfs:comment>
-    </owl:Class>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#Insertion -->
-
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Insertion">
-        <rdfs:label>Insertion</rdfs:label>
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#DictionaryInvolvement"/>
-        <definition>Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-value pairs.</definition>
-        <rdfs:comment xml:lang="en">Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-value pairs.</rdfs:comment>
-        <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-insertion</prov-dm>
-        <prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-collection-insertion</prov-n>
-        <component>collections</component>
-        <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection</prov-dm-constraints>
-        <category>collections</category>
-        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByInsertionFrom"/>
-    </owl:Class>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#InstantaneousEvent -->
-
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#InstantaneousEvent">
-        <rdfs:label>InstantaneousEvent</rdfs:label>
-        <prov-n></prov-n>
-        <component>entities-activities</component>
-        <prov-dm></prov-dm>
-        <definition>An instantaneous event, or event for short, happens in the world and marks a change in the world, in its activities and in its entities. The term &#39;event&#39; is commonly used in process algebra with a similar meaning. Events represent communications or interactions; they are assumed to be atomic and instantaneous.</definition>
-        <rdfs:comment xml:lang="en">An instantaneous event, or event for short, happens in the world and marks a change in the world, in its activities and in its entities. The term &#39;event&#39; is commonly used in process algebra with a similar meaning. Events represent communications or interactions; they are assumed to be atomic and instantaneous.</rdfs:comment>
-        <category>qualified</category>
-        <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#event-ordering</prov-dm-constraints>
-    </owl:Class>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#Involvement -->
-
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Involvement">
-        <rdfs:label>Involvement</rdfs:label>
-        <rdfs:comment xml:lang="en">Any resource that involved an prov:Activity, prov:Entity, or prov:Agent can qualify its involvement by also referencing an instance of prov:Involvement. Instances of prov:Involvement reference the involved Activity, Entity, or Agent (using prov:activity, prov:entity, or prov:agent, respectively) and may be described with any kind of attributes, including user-defined attributes and those provided by PROV (prov:hadRole, prov:hadPlan, prov:atTime, prov:hadLocation). A description (via prov:Involvement) of the binary involvement implies the assertion of the binary involvement.</rdfs:comment>
-        <editorialNote>For simplicity, the hierarchy &#39;stops&#39; at the primary resources (Activity, Entity, Agent). Distinctions beyond the type of object involved are not necessary in PROV-O, but may be established by others.</editorialNote>
-        <category>qualified</category>
-        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#involved"/>
-    </owl:Class>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#KeyValuePair -->
-
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#KeyValuePair">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <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>
-        <category>collections</category>
-    </owl:Class>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#Removal -->
-
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Removal">
-        <rdfs:label>Removal</rdfs:label>
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#DictionaryInvolvement"/>
-        <category>collections</category>
-        <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection</prov-dm-constraints>
-        <definition>Removal is a derivation that transforms a dictionary into another, by removing one or more key-value pairs.</definition>
-        <rdfs:comment xml:lang="en">Removal is a derivation that transforms a dictionary into another, by removing one or more key-value pairs.</rdfs:comment>
-        <prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-collection-removal</prov-n>
-        <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-removal</prov-dm>
-        <component>collections</component>
-        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByRemovalFrom"/>
-    </owl:Class>
-</rdf:RDF>
-
-
-
-<!-- Generated by the OWL API (version 3.1.0.20069) http://owlapi.sourceforge.net -->
-
--- a/ontology/prov-dictionary.ttl	Fri Dec 14 10:24:52 2012 -0500
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,449 +0,0 @@
[email protected] rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
[email protected] : <http://www.w3.org/ns/prov#> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] owl: <http://www.w3.org/2002/07/owl#> .
[email protected] xsd: <http://www.w3.org/2001/XMLSchema#> .
-
-rdfs:comment
-    a owl:AnnotationProperty ;
-    rdfs:comment ""@en .
-
-rdfs:isDefinedBy
-    a owl:AnnotationProperty .
-
-rdfs:label
-    a owl:AnnotationProperty ;
-    rdfs:comment ""@en .
-
-rdfs:seeAlso
-    a owl:AnnotationProperty ;
-    rdfs:comment ""@en .
-
-owl:Thing
-    a owl:Class .
-
-owl:topObjectProperty
-    a owl:ObjectProperty .
-
-owl:versionInfo
-    a owl:AnnotationProperty .
-
-<http://www.w3.org/ns/prov#>
-    a owl:Ontology ;
-    rdfs:comment "0.2"^^xsd:string, """This document is published by the Provenance Working Group (http://www.w3.org/2011/prov/wiki/Main_Page). 
-
-If you wish to make comments regarding this document, please send them to [email protected] (subscribe [email protected], archives http://lists.w3.org/Archives/Public/public-prov-comments/). All feedback is welcome."""@en ;
-    rdfs:label "PROV Ontology"@en ;
-    rdfs:seeAlso <http://www.w3.org/TR/prov#>, <http://www.w3.org/TR/prov-o/> ;
-    owl:versionIRI <http://www.w3.org/TR/2012/WD-prov-o-2012MMDD> .
-
-:Collection
-    a owl:Class ;
-    rdfs:label "Collection"@en ;
-    rdfs:subClassOf :Entity ;
-    :category "collections" ;
-    :component "collections" ;
-    :definition """A collection is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the collections.
-
-A collection is a multiset of entities (it is a multiset, rather than a set, because it may not be possible to verify that two distinct entity identitifiers do not denote, in fact, the same entity)."""@en ;
-    :editorialNote "Note that although prov:Collection is defined, few other constructs in PROV-DM and PROV-O elaborate what it is or how to use it. Instead, they both elaborate one of its specializations, prov:Dictionary. Although some of the term names relating to prov:Dictionary may seem that they should also apply to prov:Collection, they are specific to prov:Dictionary. It is left to extensions of PROV-O to provide the terms relating to the insertion and removal of members of the more general class prov:Collection."@en ;
-    :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection" .
-
-:CompleteCollection
-    a owl:Class ;
-    rdfs:comment "Indicates that no other member belongs to the collection, that is all the prov:member stated for this CompleteMembership constitutes all members of the collection."@en ;
-    rdfs:label "CompleteMembership"@en ;
-    rdfs:subClassOf :Collection ;
-    :category "collections" ;
-    :component "collections"@en .
-
-:Dictionary
-    a owl:Class ;
-    rdfs:comment "A given dictionary forms a given structure for its members. A different structure (obtained either by insertion or removal of members) constitutes a different dictionary."@en, "PROV-DM defines a specific type of collection, a dictionary..."@en, "This concept allows for the provenance of the dictionary, but also of its constituents to be expressed. Such a notion of dictionary corresponds to a wide variety of concrete data structures, such as a maps or associative arrays."@en ;
-    rdfs:label "Dictionary"@en ;
-    rdfs:subClassOf :Collection ;
-    :category "collections" ;
-    :component "collections" ;
-    :definition "A dictionary is a collection whose members are indexed by keys."@en ;
-    :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary" ;
-    :prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#collection-constraints" ;
-    :prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#component6" .
-
-:DictionaryInvolvement
-    a owl:Class ;
-    rdfs:subClassOf :Involvement ;
-    :category "collections" ;
-    :component "collections" ;
-    :editorsDefinition "prov:DictionaryInvolvement provides descriptions of any binary involvement between any instance and a prov:Dictionary. The property prov:dictionary is used to reference the object of the triple being described."@en .
-
-:EmptyCollection
-    a owl:Class ;
-    rdfs:comment "An empty dictionary."@en ;
-    rdfs:label "Dictionary"@en ;
-    rdfs:subClassOf :Collection ;
-    :category "collections" ;
-    :component "collections" ;
-    :definition "An empty collection is a collection without members."@en ;
-    :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary" .
-
-:Entity
-    a owl:Class ;
-    rdfs:comment "An entity is a thing one wants to provide provenance for. For the purpose of this specification, things can be physical, digital, conceptual, or otherwise; things may be real or imaginary."@en ;
-    rdfs:label "Entity" ;
-    owl:disjointWith :InstantaneousEvent ;
-    :category "starting-point" ;
-    :component "entities-activities" ;
-    :definition "An entity is a thing one wants to provide provenance for. For the purpose of this specification, things can be physical, digital, conceptual, or otherwise; things may be real or imaginary."@en ;
-    :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#section-entity-activity"^^xsd:anyURI ;
-    :prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Entity" ;
-    :prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Entity" .
-
-:Insertion
-    a owl:Class ;
-    rdfs:comment "Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-value pairs."@en ;
-    rdfs:label "Insertion" ;
-    rdfs:subClassOf :DictionaryInvolvement ;
-    :category "collections" ;
-    :component "collections" ;
-    :definition "Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-value pairs." ;
-    :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-insertion" ;
-    :prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection" ;
-    :prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-collection-insertion" ;
-    :unqualifiedForm :derivedByInsertionFrom .
-
-:InstantaneousEvent
-    a owl:Class ;
-    rdfs:comment "An instantaneous event, or event for short, happens in the world and marks a change in the world, in its activities and in its entities. The term 'event' is commonly used in process algebra with a similar meaning. Events represent communications or interactions; they are assumed to be atomic and instantaneous."@en ;
-    rdfs:label "InstantaneousEvent" ;
-    :category "qualified" ;
-    :component "entities-activities" ;
-    :definition "An instantaneous event, or event for short, happens in the world and marks a change in the world, in its activities and in its entities. The term 'event' is commonly used in process algebra with a similar meaning. Events represent communications or interactions; they are assumed to be atomic and instantaneous." ;
-    :prov-dm "" ;
-    :prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#event-ordering" ;
-    :prov-n "" .
-
-:Involvement
-    a owl:Class ;
-    rdfs:comment "Any resource that involved an prov:Activity, prov:Entity, or prov:Agent can qualify its involvement by also referencing an instance of prov:Involvement. Instances of prov:Involvement reference the involved Activity, Entity, or Agent (using prov:activity, prov:entity, or prov:agent, respectively) and may be described with any kind of attributes, including user-defined attributes and those provided by PROV (prov:hadRole, prov:hadPlan, prov:atTime, prov:hadLocation). A description (via prov:Involvement) of the binary involvement implies the assertion of the binary involvement."@en ;
-    rdfs:label "Involvement" ;
-    :category "qualified" ;
-    :editorialNote "For simplicity, the hierarchy 'stops' at the primary resources (Activity, Entity, Agent). Distinctions beyond the type of object involved are not necessary in PROV-O, but may be established by others." ;
-    :unqualifiedForm :involved .
-
-:KeyValuePair
-    a owl:Class ;
-    rdfs:comment "A key-value pair. Part of a prov:Dictionary through prov:Membership. The key is any RDF Literal, the value is a prov:Entity."@en ;
-    rdfs:subClassOf :Entity ;
-    :category "collections" .
-
-:Removal
-    a owl:Class ;
-    rdfs:comment "Removal is a derivation that transforms a dictionary into another, by removing one or more key-value pairs."@en ;
-    rdfs:label "Removal" ;
-    rdfs:subClassOf :DictionaryInvolvement ;
-    :category "collections" ;
-    :component "collections" ;
-    :definition "Removal is a derivation that transforms a dictionary into another, by removing one or more key-value pairs." ;
-    :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-removal" ;
-    :prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection" ;
-    :prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-collection-removal" ;
-    :unqualifiedForm :derivedByRemovalFrom .
-
-:category
-    a owl:AnnotationProperty ;
-    rdfs:comment "Classify prov-o terms into three categories, including 'starting-point', 'qualifed', and 'extended'. This classification is used by the prov-o html document to gently introduce prov-o terms to its users. "@en .
-
-:component
-    a owl:AnnotationProperty ;
-    rdfs:comment "Classify prov-o terms into six components according to prov-dm, including 'agents-responsibility', 'alternate', 'annotations', 'collections', 'derivations', and 'entities-activities'. This classification is used so that readers of prov-o specification can find its correspondence with the prov-dm specification."@en .
-
-:definition
-    a owl:AnnotationProperty ;
-    rdfs:comment "A definition quoted from PROV-DM or PROV-CONSTRAINTS that describes the concept expressed with this OWL term."@en .
-
-:derivedByInsertionFrom
-    a owl:ObjectProperty ;
-    rdfs:comment "The dictionary was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-value pairs."@en ;
-    rdfs:domain :Dictionary ;
-    rdfs:range :Dictionary ;
-    rdfs:subPropertyOf :wasDerivedFrom ;
-    owl:propertyChainAxiom (:qualifiedInsertion
-        :dictionary
-    ) ;
-    :category "collections" ;
-    :component "collections" ;
-    :inverse "hadDerivationByInsertion" ;
-    :qualifiedForm :Insertion, :qualifiedInsertion .
-
-:derivedByRemovalFrom
-    a owl:ObjectProperty ;
-    rdfs:comment "The dictionary was derived from the other by removal. prov:qualifiedRemoval shows details of the removal, in particular the removed key-value pairs."@en ;
-    rdfs:domain :Dictionary ;
-    rdfs:range :Dictionary ;
-    rdfs:subPropertyOf :wasDerivedFrom ;
-    owl:propertyChainAxiom (:qualifiedRemoval
-        :dictionary
-    ) ;
-    :category "collections" ;
-    :component "collections" ;
-    :inverse "hadDerivationByRemoval" ;
-    :qualifiedForm :Removal, :qualifiedRemoval .
-
-:dictionary
-    a owl:ObjectProperty ;
-    rdfs:comment "The property used by a prov:DictionaryInvolvement to cite the prov:Dictionary that was prov:involved in insertion or removal of elements of a collection. "@en ;
-    rdfs:domain :DictionaryInvolvement ;
-    rdfs:range :Dictionary ;
-    rdfs:subPropertyOf :involvee ;
-    :category "collections" ;
-    :component "collections" ;
-    :editorialNote "This property behaves in spirit like rdf:object; it references the object of a prov:involved triple."@en ;
-    :inverse "dictionaryOfInvolvement" ;
-    :sharesDefinitionWith :DictionaryInvolvement .
-
-:editorialNote
-    a owl:AnnotationProperty ;
-    rdfs:comment "A note by the OWL development team about how this term expresses the PROV-DM concept, or how it should be used in context of semantic web or linked data."@en .
-
-:editorsDefinition
-    a owl:AnnotationProperty ;
-    rdfs:comment "When the prov-o term does not have a definition drawn from prov-dm, and the prov-o editor provides one."@en ;
-    rdfs:subPropertyOf :definition .
-
-:inserted
-    a owl:ObjectProperty ;
-    rdfs:comment "An object property to refer to the prov:KeyValuePair inserted into a prov:Dictionary."@en ;
-    rdfs:domain :Insertion ;
-    rdfs:range :KeyValuePair ;
-    :category "collections" ;
-    :component "collections" ;
-    :inverse "wasInsertedBy" ;
-    :sharesDefinitionWith :Insertion .
-
-:inverse
-    a owl:AnnotationProperty ;
-    rdfs:comment "PROV-O does not define all property inverses. The directionalities defined in PROV-O should be given preference over those not defined. However, if users wish to name the inverse of a PROV-O property, the local name given by prov:inverse should be used."@en ;
-    rdfs:seeAlso <http://www.w3.org/TR/prov-o/#names-of-inverse-properties> .
-
-:involved
-    a owl:ObjectProperty ;
-    :category "qualified" ;
-    :editorialNote """The relation the sub-properties of prov:involved can also be specified in more detail using the qualification pattern. For example, the binary relation :baking prov:used :spoon can be qualified by asserting :baking prov:qualifiedUsage [ a prov:Usage; prov:entity :baking; :foo :bar; prov:atLocation :kitchen ] .
-
-Subproperties of prov:involved may also be asserted directly without being qualified.
-
-prov:involved should not be used without also using one of its subproperties. 
-
-"""@en ;
-    :editorsDefinition "The broadest provenance relation between two resources, prov:involved is the superproperty of all unqualified binary relations among any two Activities, Entities, or Agents (or anything else). A more specific property should be favored of prov:involved."@en ;
-    :inverse "wasInvolvedWith" .
-
-:involvee
-    a owl:ObjectProperty ;
-    rdfs:comment "Subproperties of prov:involvee are used to cite the object of an unqualified PROV-O triple whose predicate is a subproperty of prov:involved (e.g. prov:used, prov:wasGeneratedBy). prov:involvee is used much like rdf:object is used." ;
-    rdfs:domain :Involvement ;
-    :category "qualified" ;
-    :editorsDefinition "The rdf:object of the (binary) prov:involved relation (triple) that this Involvement is qualifying (reifying) for further description (as an n-ary relation)."@en ;
-    :inverse "involvement" .
-
-:pair
-    a owl:ObjectProperty ;
-    rdfs:comment "A membership can have multiple members."@en ;
-    rdfs:range :KeyValuePair ;
-    rdfs:subPropertyOf :involvee ;
-    :category "collections" ;
-    :component "collections" ;
-    :editorialNote "This property behaves in spirit like rdf:object; it references the object of a prov:involved triple."@en ;
-    :editorsDefinition "The KeyValuePair(s) whose membership is being qualified by this instance of prov:Membership."@en ;
-    :inverse "inMembership" .
-
-:pairKey
-    a owl:DatatypeProperty, owl:FunctionalProperty ;
-    rdfs:comment "The key of a KeyValuePair, which is an element of a prov:Dictionary. See also prov:pairValue."@en ;
-    rdfs:domain :KeyValuePair ;
-    rdfs:range rdfs:Literal ;
-    :category "collections" ;
-    :component "collections" ;
-    :definition "The key with which an Entity has been inserted into a prov:Dictionary; a key is expected to be unique within each prov:Dictionary."@en .
-
-:pairValue
-    a owl:FunctionalProperty, owl:ObjectProperty ;
-    rdfs:comment "The value of a KeyValuePair. See also prov:pairKey."@en ;
-    rdfs:domain :KeyValuePair ;
-    rdfs:range :Entity ;
-    :category "collections" ;
-    :component "collections" ;
-    :editorsDefinition "The Entity value of a KeyValuePair, which may go into a prov:Dictionary under the key specified by prov:pairKey."@en ;
-    :inverse "valueOf" .
-
-:prov-aq
-    a owl:AnnotationProperty ;
-    rdfs:subPropertyOf rdfs:seeAlso .
-
-:prov-dm
-    a owl:AnnotationProperty ;
-    rdfs:comment "A reference to the principal section of the PROV-DM document that describes this concept."@en ;
-    rdfs:subPropertyOf rdfs:seeAlso .
-
-:prov-dm-constraints
-    a owl:AnnotationProperty ;
-    rdfs:comment "A reference to the principal section of the PROV-CONSTRAINTS document that describes this concept."@en ;
-    rdfs:subPropertyOf rdfs:seeAlso .
-
-:prov-n
-    a owl:AnnotationProperty ;
-    rdfs:comment "A reference to the principal section of the PROV-M document that describes this concept."@en ;
-    rdfs:subPropertyOf rdfs:seeAlso .
-
-:qualifiedForm
-    a owl:AnnotationProperty ;
-    rdfs:comment """This annotation property links a prov:involved subproperty with a prov:Involved subclass. This indicates that the property can be qualified by using prov:qualified. 
-
-Example:
-    prov:wasGeneratedBy prov:qualifiedForm prov:Generation .
-
-Then this unqualified assertion:
-    :entity1 prov:wasGeneratedBy :activity1 .
-
-can be qualified by adding:
-   :entity1 prov:qualified :entity1Gen .
-   :entity1Gen a prov:Generation;
-       prov:activity :activity1 ;
-       :customValue 1337 .
-
-Note how the range of the unqualified property is mirrored by the prov:activity or prov:entity on the involvement class."""@en ;
-    rdfs:subPropertyOf rdfs:seeAlso .
-
-:qualifiedInsertion
-    a owl:ObjectProperty ;
-    rdfs:comment "If this Dictionary prov:derivedByInsertionFrom another Dictionary :e, then it can qualify how it did perform the Insertion using prov:qualifiedInsertion [ a prov:Insertion;  prov:dictionary :e; prov:inserted [a prov:KeyValuePair; prov:pairKey \"k1\"^^xsd:string; prov:pairValue :foo] ]."@en ;
-    rdfs:domain :Dictionary ;
-    rdfs:range :Insertion ;
-    :category "collections" ;
-    :component "collections" ;
-    :inverse "qualifiedInsertionOf" ;
-    :sharesDefinitionWith :Insertion ;
-    :unqualifiedForm :derivedByInsertionFrom .
-
-:qualifiedMembership
-    a owl:ObjectProperty ;
-    rdfs:comment "The collection included the specified membership of keys-values."@en ;
-    rdfs:domain :Dictionary ;
-    rdfs:label "qualifiedMembership"@en ;
-    :category "collections" ;
-    :component "collections" ;
-    :editorialNote "This property is NOT inverse functional, since the membership of many distinct KeyValuePairs can be qualified using a single instance of prov:Membership."@en ;
-    :inverse "membershipOf" ;
-    :sharesDefinitionWith :Membership .
-
-:qualifiedRemoval
-    a owl:ObjectProperty ;
-    rdfs:comment "If this Dictionary prov:derivedByRemovalFrom another Dictionary :e, then it can qualify how it did perform the Removal using prov:qualifiedRemoval [ a prov:Removal;  prov:dictionary :c; prov:removed \"k1\"^^xsd:string ]."@en ;
-    rdfs:domain :Dictionary ;
-    rdfs:range :Removal ;
-    :category "collections" ;
-    :component "collections" ;
-    :inverse "removedFromDictionary" ;
-    :sharesDefinitionWith :Removal ;
-    :unqualifiedForm :derivedByRemovalFrom .
-
-:removed
-    a owl:DatatypeProperty ;
-    rdfs:domain :Removal ;
-    rdfs:label "removed"@en ;
-    rdfs:range rdfs:Literal ;
-    :category "collections" ;
-    :component "collections" ;
-    :editorialNote "The value of this property refers to the value of a KeyValuePair's prov:pairKey property."@en ;
-    :editorsDefinition "The key removed from a prov:Dictionary in a Removal, resulting in a new prov:Dictionary."@en ;
-    :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary-removal" .
-
-:sharesDefinitionWith
-    a owl:AnnotationProperty ;
-    rdfs:subPropertyOf rdfs:seeAlso .
-
-:todo
-    a owl:AnnotationProperty .
-
-:tracedTo
-    a owl:ObjectProperty, owl:TransitiveProperty ;
-    rdfs:comment "An object property to link back an entity to another by means of derivation or responsibility relations, possibly repeatedly traversed."@en ;
-    rdfs:domain :Entity ;
-    rdfs:range :Entity ;
-    rdfs:subPropertyOf :involved ;
-    :category "expanded" ;
-    :component "derivations" ;
-    :inverse "tracedFrom" ;
-    :qualifiedForm :Trace, :qualifiedTrace .
-
-:unqualifiedForm
-    a owl:AnnotationProperty ;
-    rdfs:comment "Classes and properties used to qualify relationships are annotated with prov:unqualifiedForm to indicate the property used to assert an unqualified provenance relation."@en ;
-    rdfs:subPropertyOf rdfs:seeAlso .
-
-:value
-    a owl:DatatypeProperty ;
-    rdfs:comment "Provides a value for an Entity."@en ;
-    rdfs:domain :Entity ;
-    :category "expanded" ;
-    :component "entities-activities" ;
-    :editorialNote "The editor's definition comes from http://www.w3.org/TR/rdf-primer/#rdfvalue", "This property serves the same purpose as rdf:value, but has been reintroduced to avoid some of the definitional ambiguity in the RDF specification (specifically, 'may be used in describing structured values')." ;
-    :editorsDefinition "The main value (if there is one) of a structured value."@en ;
-    :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-attribute-value" ;
-    :prov-dm-constraints "" ;
-    :prov-n "" .
-
-:wasAttributedTo
-    a owl:ObjectProperty ;
-    rdfs:comment "Attribution is the ascribing of an entity to an agent."@en ;
-    rdfs:domain :Entity ;
-    rdfs:subPropertyOf :tracedTo ;
-    :category "starting-point" ;
-    :component "agents-responsibility" ;
-    :definition "Attribution is the ascribing of an entity to an agent." ;
-    :inverse "contributed" ;
-    :qualifiedForm :Attribution, :qualifiedAttribution .
-
-:wasDerivedFrom
-    a owl:AsymmetricProperty, owl:IrreflexiveProperty, owl:ObjectProperty ;
-    rdfs:comment "A derivation is a transformation of an entity into another, a construction of an entity into another, or an update of an entity, resulting in a new one."@en ;
-    rdfs:domain :Entity ;
-    rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
-    rdfs:range :Entity ;
-    rdfs:subPropertyOf :tracedTo ;
-    :category "starting-point" ;
-    :component "derivations" ;
-    :definition "A derivation is a transformation of an entity into another, a construction of an entity into another, or an update of an entity, resulting in a new one."@en ;
-    :inverse "hadDerivation" ;
-    :qualifiedForm :Derivation, :qualifiedDerivation .
-
-[]
-    a owl:Axiom ;
-    rdfs:comment "Insertion is a form of derivation (see http://www.w3.org/TR/prov-dm/#term-dictionary-insertion) that transforms a dictionary into another, by insertion of one or more key-entity pairs. " ;
-    owl:annotatedProperty rdfs:subPropertyOf ;
-    owl:annotatedSource :derivedByInsertionFrom ;
-    owl:annotatedTarget :wasDerivedFrom .
-
-[]
-    a owl:Axiom ;
-    rdfs:comment "Removal is a form of derivation (see http://www.w3.org/TR/prov-dm/#term-dictionary-removal) that transforms a dictionary into another, by removing one or more key-entity pairs. " ;
-    owl:annotatedProperty rdfs:subPropertyOf ;
-    owl:annotatedSource :derivedByRemovalFrom ;
-    owl:annotatedTarget :wasDerivedFrom .
-
-[]
-    a owl:Axiom ;
-    rdfs:comment "Attribution is a particular case of trace (see http://www.w3.org/TR/prov-dm/#concept-trace), in the sense that it links an entity to the agent that ascribed it." ;
-    owl:annotatedProperty rdfs:subPropertyOf ;
-    owl:annotatedSource :wasAttributedTo ;
-    owl:annotatedTarget :tracedTo ;
-    :definition "IF wasAttributedTo(e2,ag1,aAttr) holds, THEN tracedTo(e2,ag1) also holds. " ;
-    :prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#traceability-inference" .
-
-[]
-    a owl:Axiom ;
-    rdfs:comment "Derivation is a particular case of trace (see http://www.w3.org/TR/prov-dm/#term-trace), since it links an entity to another entity that contributed to its existence." ;
-    owl:annotatedProperty rdfs:subPropertyOf ;
-    owl:annotatedSource :wasDerivedFrom ;
-    owl:annotatedTarget :tracedTo .
-