dictionary/prov-dictionary.owl
author Tim L <lebot@rpi.edu>
Sun, 16 Dec 2012 11:11:38 -0500
changeset 5353 efec02984754
parent 4082 ontology/prov-dictionary.owl@182ab7cc7b77
child 6017 638d140d588b
permissions -rw-r--r--
moved dictionary.owl to /dictionary
     1 <?xml version="1.0"?>
     2 
     3 
     4 <!DOCTYPE rdf:RDF [
     5     <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
     6     <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
     7     <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
     8     <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
     9 ]>
    10 
    11 
    12 <rdf:RDF xmlns="http://www.w3.org/ns/prov#"
    13      xml:base="http://www.w3.org/ns/prov"
    14      xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    15      xmlns:owl="http://www.w3.org/2002/07/owl#"
    16      xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    17      xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
    18     <owl:Ontology rdf:about="http://www.w3.org/ns/prov#">
    19         <rdfs:label xml:lang="en">PROV Ontology</rdfs:label>
    20         <rdfs:comment rdf:datatype="&xsd;string">0.2</rdfs:comment>
    21         <rdfs:comment xml:lang="en">This document is published by the Provenance Working Group (http://www.w3.org/2011/prov/wiki/Main_Page). 
    22 
    23 If you wish to make comments regarding this document, please send them to public-prov-comments@w3.org (subscribe public-prov-comments-request@w3.org, archives http://lists.w3.org/Archives/Public/public-prov-comments/). All feedback is welcome.</rdfs:comment>
    24         <owl:versionIRI rdf:resource="http://www.w3.org/TR/2012/WD-prov-o-2012MMDD"/>
    25         <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov#"/>
    26         <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-o/"/>
    27     </owl:Ontology>
    28     
    29 
    30 
    31     <!-- 
    32     ///////////////////////////////////////////////////////////////////////////////////////
    33     //
    34     // Annotation properties
    35     //
    36     ///////////////////////////////////////////////////////////////////////////////////////
    37      -->
    38 
    39     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#unqualifiedForm">
    40         <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>
    41         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
    42     </owl:AnnotationProperty>
    43     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#prov-n">
    44         <rdfs:comment xml:lang="en">A reference to the principal section of the PROV-M document that describes this concept.</rdfs:comment>
    45         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
    46     </owl:AnnotationProperty>
    47     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#sharesDefinitionWith">
    48         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
    49     </owl:AnnotationProperty>
    50     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#prov-dm">
    51         <rdfs:comment xml:lang="en">A reference to the principal section of the PROV-DM document that describes this concept.</rdfs:comment>
    52         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
    53     </owl:AnnotationProperty>
    54     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#definition">
    55         <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>
    56     </owl:AnnotationProperty>
    57     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#editorialNote">
    58         <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>
    59     </owl:AnnotationProperty>
    60     <owl:AnnotationProperty rdf:about="&rdfs;label">
    61         <rdfs:comment xml:lang="en"></rdfs:comment>
    62     </owl:AnnotationProperty>
    63     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#inverse">
    64         <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>
    65         <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-o/#names-of-inverse-properties"/>
    66     </owl:AnnotationProperty>
    67     <owl:AnnotationProperty rdf:about="&rdfs;comment">
    68         <rdfs:comment xml:lang="en"></rdfs:comment>
    69     </owl:AnnotationProperty>
    70     <owl:AnnotationProperty rdf:about="&rdfs;seeAlso">
    71         <rdfs:comment xml:lang="en"></rdfs:comment>
    72     </owl:AnnotationProperty>
    73     <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
    74     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#category">
    75         <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>
    76     </owl:AnnotationProperty>
    77     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#prov-dm-constraints">
    78         <rdfs:comment xml:lang="en">A reference to the principal section of the PROV-CONSTRAINTS document that describes this concept.</rdfs:comment>
    79         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
    80     </owl:AnnotationProperty>
    81     <owl:AnnotationProperty rdf:about="&rdfs;isDefinedBy"/>
    82     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#editorsDefinition">
    83         <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>
    84         <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#definition"/>
    85     </owl:AnnotationProperty>
    86     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#prov-aq">
    87         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
    88     </owl:AnnotationProperty>
    89     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#component">
    90         <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>
    91     </owl:AnnotationProperty>
    92     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#qualifiedForm">
    93         <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. 
    94 
    95 Example:
    96     prov:wasGeneratedBy prov:qualifiedForm prov:Generation .
    97 
    98 Then this unqualified assertion:
    99     :entity1 prov:wasGeneratedBy :activity1 .
   100 
   101 can be qualified by adding:
   102    :entity1 prov:qualified :entity1Gen .
   103    :entity1Gen a prov:Generation;
   104        prov:activity :activity1 ;
   105        :customValue 1337 .
   106 
   107 Note how the range of the unqualified property is mirrored by the prov:activity or prov:entity on the involvement class.</rdfs:comment>
   108         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
   109     </owl:AnnotationProperty>
   110     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#todo"/>
   111     
   112 
   113 
   114     <!-- 
   115     ///////////////////////////////////////////////////////////////////////////////////////
   116     //
   117     // Object Properties
   118     //
   119     ///////////////////////////////////////////////////////////////////////////////////////
   120      -->
   121 
   122     
   123 
   124 
   125     <!-- http://www.w3.org/2002/07/owl#topObjectProperty -->
   126 
   127     <owl:ObjectProperty rdf:about="&owl;topObjectProperty"/>
   128     
   129 
   130 
   131     <!-- http://www.w3.org/ns/prov#derivedByInsertionFrom -->
   132 
   133     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#derivedByInsertionFrom">
   134         <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>
   135         <inverse>hadDerivationByInsertion</inverse>
   136         <component>collections</component>
   137         <category>collections</category>
   138         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
   139         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
   140         <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
   141         <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedInsertion"/>
   142         <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
   143         <owl:propertyChainAxiom rdf:parseType="Collection">
   144             <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedInsertion"/>
   145             <rdf:Description rdf:about="http://www.w3.org/ns/prov#dictionary"/>
   146         </owl:propertyChainAxiom>
   147     </owl:ObjectProperty>
   148     <owl:Axiom>
   149         <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>
   150         <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
   151         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#derivedByInsertionFrom"/>
   152         <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
   153     </owl:Axiom>
   154     
   155 
   156 
   157     <!-- http://www.w3.org/ns/prov#derivedByRemovalFrom -->
   158 
   159     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#derivedByRemovalFrom">
   160         <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>
   161         <component>collections</component>
   162         <category>collections</category>
   163         <inverse>hadDerivationByRemoval</inverse>
   164         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
   165         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
   166         <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Removal"/>
   167         <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedRemoval"/>
   168         <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
   169         <owl:propertyChainAxiom rdf:parseType="Collection">
   170             <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedRemoval"/>
   171             <rdf:Description rdf:about="http://www.w3.org/ns/prov#dictionary"/>
   172         </owl:propertyChainAxiom>
   173     </owl:ObjectProperty>
   174     <owl:Axiom>
   175         <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>
   176         <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
   177         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#derivedByRemovalFrom"/>
   178         <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
   179     </owl:Axiom>
   180     
   181 
   182 
   183     <!-- http://www.w3.org/ns/prov#dictionary -->
   184 
   185     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#dictionary">
   186         <inverse>dictionaryOfInvolvement</inverse>
   187         <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>
   188         <editorialNote xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</editorialNote>
   189         <component>collections</component>
   190         <category>collections</category>
   191         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
   192         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#DictionaryInvolvement"/>
   193         <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#DictionaryInvolvement"/>
   194         <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involvee"/>
   195     </owl:ObjectProperty>
   196     
   197 
   198 
   199     <!-- http://www.w3.org/ns/prov#inserted -->
   200 
   201     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#inserted">
   202         <rdfs:comment xml:lang="en">An object property to refer to the prov:KeyValuePair inserted into a prov:Dictionary.</rdfs:comment>
   203         <inverse>wasInsertedBy</inverse>
   204         <component>collections</component>
   205         <category>collections</category>
   206         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
   207         <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
   208         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#KeyValuePair"/>
   209     </owl:ObjectProperty>
   210     
   211 
   212 
   213     <!-- http://www.w3.org/ns/prov#involved -->
   214 
   215     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#involved">
   216         <category>qualified</category>
   217         <inverse>wasInvolvedWith</inverse>
   218         <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>
   219         <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 ] .
   220 
   221 Subproperties of prov:involved may also be asserted directly without being qualified.
   222 
   223 prov:involved should not be used without also using one of its subproperties. 
   224 
   225 </editorialNote>
   226     </owl:ObjectProperty>
   227     
   228 
   229 
   230     <!-- http://www.w3.org/ns/prov#involvee -->
   231 
   232     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#involvee">
   233         <inverse>involvement</inverse>
   234         <category>qualified</category>
   235         <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>
   236         <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>
   237         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
   238     </owl:ObjectProperty>
   239     
   240 
   241 
   242     <!-- http://www.w3.org/ns/prov#pair -->
   243 
   244     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#pair">
   245         <component>collections</component>
   246         <category>collections</category>
   247         <rdfs:comment xml:lang="en">A membership can have multiple members.</rdfs:comment>
   248         <editorsDefinition xml:lang="en">The KeyValuePair(s) whose membership is being qualified by this instance of prov:Membership.</editorsDefinition>
   249         <editorialNote xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</editorialNote>
   250         <inverse>inMembership</inverse>
   251         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#KeyValuePair"/>
   252         <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involvee"/>
   253     </owl:ObjectProperty>
   254     
   255 
   256     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadMember">
   257         <rdfs:label>hadMember</rdfs:label>
   258         <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedMembership"/>
   259         <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Membership"/>
   260     </owl:ObjectProperty>
   261 
   262     <!-- http://www.w3.org/ns/prov#qualifiedMembership -->
   263 
   264     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedMembership">
   265         <rdfs:label xml:lang="en">qualifiedMembership</rdfs:label>
   266         <component>collections</component>
   267         <category>qualified</category>
   268         <rdfs:comment xml:lang="en">The collection included the specified membership of keys-values.</rdfs:comment>
   269         <inverse>membershipOf</inverse>
   270         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
   271         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Collection"/>
   272         <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Membership"/>
   273         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
   274     </owl:ObjectProperty>
   275 
   276     <!-- http://www.w3.org/ns/prov#pairValue -->
   277 
   278     <!-- http://www.w3.org/ns/prov#Membership -->
   279 
   280     <owl:Class rdf:about="http://www.w3.org/ns/prov#Membership">
   281         <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInfluence"/>
   282         <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-membership</dm>
   283         <category>qualified</category>
   284         <definition xml:lang="en">Membership is the belonging of an entity to a collection.</definition>
   285         <component>collections</component>
   286         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
   287         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
   288     </owl:Class>
   289 
   290     <!-- http://www.w3.org/ns/prov#IncompleteCollection -->
   291 
   292     <owl:Class rdf:about="http://www.w3.org/ns/prov#IncompleteCollection">
   293         <rdfs:label xml:lang="en">IncompleteCollection</rdfs:label>
   294         <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Collection"/>
   295         <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-membership</dm>
   296         <definition xml:lang="en">A collection that is believed to include more members in addition to those specified in the entity-set.</definition>
   297         <category>expanded</category>
   298         <component>collections</component>
   299         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
   300     </owl:Class>
   301 
   302     <!-- http://www.w3.org/ns/prov#CompleteCollection -->
   303 
   304     <owl:Class rdf:about="http://www.w3.org/ns/prov#CompleteCollection">
   305         <rdfs:label xml:lang="en">CompleteMembership</rdfs:label>
   306         <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Collection"/>
   307         <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-membership</dm>
   308         <category>expanded</category>
   309         <definition xml:lang="en">The collection is believed to include all and only the members specified in the entity-set.</definition>
   310         <component xml:lang="en">collections</component>
   311         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
   312     </owl:Class>
   313 
   314     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#pairValue">
   315         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
   316         <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>
   317         <rdfs:comment xml:lang="en">The value of a KeyValuePair. See also prov:pairKey.</rdfs:comment>
   318         <category>collections</category>
   319         <inverse>valueOf</inverse>
   320         <component>collections</component>
   321         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
   322         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#KeyValuePair"/>
   323     </owl:ObjectProperty>
   324     
   325 
   326 
   327     <!-- http://www.w3.org/ns/prov#qualifiedInsertion -->
   328 
   329     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedInsertion">
   330         <component>collections</component>
   331         <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>
   332         <inverse>qualifiedInsertionOf</inverse>
   333         <category>collections</category>
   334         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
   335         <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
   336         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
   337         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByInsertionFrom"/>
   338     </owl:ObjectProperty>
   339     
   340 
   341 
   342     <!-- http://www.w3.org/ns/prov#qualifiedRemoval -->
   343 
   344     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedRemoval">
   345         <inverse>removedFromDictionary</inverse>
   346         <category>collections</category>
   347         <component>collections</component>
   348         <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>
   349         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
   350         <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Removal"/>
   351         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Removal"/>
   352         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByRemovalFrom"/>
   353     </owl:ObjectProperty>
   354     
   355 
   356 
   357     <!-- http://www.w3.org/ns/prov#tracedTo -->
   358 
   359     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#tracedTo">
   360         <rdf:type rdf:resource="&owl;TransitiveProperty"/>
   361         <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>
   362         <component>derivations</component>
   363         <inverse>tracedFrom</inverse>
   364         <category>expanded</category>
   365         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
   366         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
   367         <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Trace"/>
   368         <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involved"/>
   369         <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedTrace"/>
   370     </owl:ObjectProperty>
   371     
   372 
   373 
   374     <!-- http://www.w3.org/ns/prov#wasAttributedTo -->
   375 
   376     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasAttributedTo">
   377         <definition>Attribution is the ascribing of an entity to an agent.</definition>
   378         <category>starting-point</category>
   379         <inverse>contributed</inverse>
   380         <rdfs:comment xml:lang="en">Attribution is the ascribing of an entity to an agent.</rdfs:comment>
   381         <component>agents-responsibility</component>
   382         <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Attribution"/>
   383         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
   384         <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedAttribution"/>
   385         <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#tracedTo"/>
   386     </owl:ObjectProperty>
   387     <owl:Axiom>
   388         <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>
   389         <definition>IF wasAttributedTo(e2,ag1,aAttr) holds, THEN tracedTo(e2,ag1) also holds. </definition>
   390         <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#traceability-inference</prov-dm-constraints>
   391         <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
   392         <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#tracedTo"/>
   393         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasAttributedTo"/>
   394     </owl:Axiom>
   395     
   396 
   397 
   398     <!-- http://www.w3.org/ns/prov#wasDerivedFrom -->
   399 
   400     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasDerivedFrom">
   401         <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
   402         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
   403         <inverse>hadDerivation</inverse>
   404         <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>
   405         <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>
   406         <category>starting-point</category>
   407         <component>derivations</component>
   408         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
   409         <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Derivation"/>
   410         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
   411         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
   412         <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedDerivation"/>
   413         <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#tracedTo"/>
   414     </owl:ObjectProperty>
   415     <owl:Axiom>
   416         <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>
   417         <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
   418         <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#tracedTo"/>
   419         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
   420     </owl:Axiom>
   421     
   422 
   423 
   424     <!-- 
   425     ///////////////////////////////////////////////////////////////////////////////////////
   426     //
   427     // Data properties
   428     //
   429     ///////////////////////////////////////////////////////////////////////////////////////
   430      -->
   431 
   432     
   433 
   434 
   435     <!-- http://www.w3.org/ns/prov#pairKey -->
   436 
   437     <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#pairKey">
   438         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
   439         <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>
   440         <category>collections</category>
   441         <component>collections</component>
   442         <rdfs:comment xml:lang="en">The key of a KeyValuePair, which is an element of a prov:Dictionary. See also prov:pairValue.</rdfs:comment>
   443         <rdfs:range rdf:resource="&rdfs;Literal"/>
   444         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#KeyValuePair"/>
   445     </owl:DatatypeProperty>
   446     
   447 
   448 
   449     <!-- http://www.w3.org/ns/prov#removed -->
   450 
   451     <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#removed">
   452         <rdfs:label xml:lang="en">removed</rdfs:label>
   453         <component>collections</component>
   454         <editorialNote xml:lang="en">The value of this property refers to the value of a KeyValuePair&#39;s prov:pairKey property.</editorialNote>
   455         <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary-removal</prov-dm>
   456         <editorsDefinition xml:lang="en">The key removed from a prov:Dictionary in a Removal, resulting in a new prov:Dictionary.</editorsDefinition>
   457         <category>collections</category>
   458         <rdfs:range rdf:resource="&rdfs;Literal"/>
   459         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Removal"/>
   460     </owl:DatatypeProperty>
   461     
   462 
   463 
   464     <!-- http://www.w3.org/ns/prov#value -->
   465 
   466     <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#value">
   467         <prov-dm-constraints></prov-dm-constraints>
   468         <category>expanded</category>
   469         <editorialNote>The editor&#39;s definition comes from http://www.w3.org/TR/rdf-primer/#rdfvalue</editorialNote>
   470         <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>
   471         <component>entities-activities</component>
   472         <rdfs:comment xml:lang="en">Provides a value for an Entity.</rdfs:comment>
   473         <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-attribute-value</prov-dm>
   474         <prov-n></prov-n>
   475         <editorsDefinition xml:lang="en">The main value (if there is one) of a structured value.</editorsDefinition>
   476         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
   477     </owl:DatatypeProperty>
   478     
   479 
   480 
   481     <!-- 
   482     ///////////////////////////////////////////////////////////////////////////////////////
   483     //
   484     // Classes
   485     //
   486     ///////////////////////////////////////////////////////////////////////////////////////
   487      -->
   488 
   489     
   490 
   491 
   492     <!-- http://www.w3.org/2002/07/owl#Thing -->
   493 
   494     <owl:Class rdf:about="&owl;Thing"/>
   495     
   496 
   497 
   498     <!-- http://www.w3.org/ns/prov#Collection -->
   499 
   500     <owl:Class rdf:about="http://www.w3.org/ns/prov#Collection">
   501         <rdfs:label xml:lang="en">Collection</rdfs:label>
   502         <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Entity"/>
   503         <category>collections</category>
   504         <component>collections</component>
   505         <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection</prov-dm>
   506         <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.
   507 
   508 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>
   509         <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>
   510     </owl:Class>
   511     
   512 
   513 
   514 
   515     <!-- http://www.w3.org/ns/prov#Dictionary -->
   516 
   517     <owl:Class rdf:about="http://www.w3.org/ns/prov#Dictionary">
   518         <rdfs:label xml:lang="en">Dictionary</rdfs:label>
   519         <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Collection"/>
   520         <prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#component6</prov-n>
   521         <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary</prov-dm>
   522         <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#collection-constraints</prov-dm-constraints>
   523         <definition xml:lang="en">A dictionary is a collection whose members are indexed by keys.</definition>
   524         <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>
   525         <component>collections</component>
   526         <rdfs:comment xml:lang="en">PROV-DM defines a specific type of collection, a dictionary...</rdfs:comment>
   527         <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>
   528         <category>collections</category>
   529     </owl:Class>
   530     
   531 
   532 
   533     <!-- http://www.w3.org/ns/prov#DictionaryInvolvement -->
   534 
   535     <owl:Class rdf:about="http://www.w3.org/ns/prov#DictionaryInvolvement">
   536         <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
   537         <category>collections</category>
   538         <component>collections</component>
   539         <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>
   540     </owl:Class>
   541     
   542 
   543 
   544 
   545     <!-- http://www.w3.org/ns/prov#Entity -->
   546 
   547     <owl:Class rdf:about="http://www.w3.org/ns/prov#Entity">
   548         <rdfs:label>Entity</rdfs:label>
   549         <owl:disjointWith rdf:resource="http://www.w3.org/ns/prov#InstantaneousEvent"/>
   550         <prov-dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#section-entity-activity</prov-dm>
   551         <component>entities-activities</component>
   552         <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>
   553         <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Entity</prov-dm-constraints>
   554         <prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Entity</prov-n>
   555         <category>starting-point</category>
   556         <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>
   557     </owl:Class>
   558     
   559 
   560 
   561     <!-- http://www.w3.org/ns/prov#Insertion -->
   562 
   563     <owl:Class rdf:about="http://www.w3.org/ns/prov#Insertion">
   564         <rdfs:label>Insertion</rdfs:label>
   565         <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#DictionaryInvolvement"/>
   566         <definition>Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-value pairs.</definition>
   567         <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>
   568         <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-insertion</prov-dm>
   569         <prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-collection-insertion</prov-n>
   570         <component>collections</component>
   571         <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection</prov-dm-constraints>
   572         <category>collections</category>
   573         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByInsertionFrom"/>
   574     </owl:Class>
   575     
   576 
   577 
   578     <!-- http://www.w3.org/ns/prov#InstantaneousEvent -->
   579 
   580     <owl:Class rdf:about="http://www.w3.org/ns/prov#InstantaneousEvent">
   581         <rdfs:label>InstantaneousEvent</rdfs:label>
   582         <prov-n></prov-n>
   583         <component>entities-activities</component>
   584         <prov-dm></prov-dm>
   585         <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>
   586         <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>
   587         <category>qualified</category>
   588         <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#event-ordering</prov-dm-constraints>
   589     </owl:Class>
   590     
   591 
   592 
   593     <!-- http://www.w3.org/ns/prov#Involvement -->
   594 
   595     <owl:Class rdf:about="http://www.w3.org/ns/prov#Involvement">
   596         <rdfs:label>Involvement</rdfs:label>
   597         <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>
   598         <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>
   599         <category>qualified</category>
   600         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#involved"/>
   601     </owl:Class>
   602     
   603 
   604 
   605     <!-- http://www.w3.org/ns/prov#KeyValuePair -->
   606 
   607     <owl:Class rdf:about="http://www.w3.org/ns/prov#KeyValuePair">
   608         <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Entity"/>
   609         <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>
   610         <category>collections</category>
   611     </owl:Class>
   612     
   613 
   614 
   615     <!-- http://www.w3.org/ns/prov#Removal -->
   616 
   617     <owl:Class rdf:about="http://www.w3.org/ns/prov#Removal">
   618         <rdfs:label>Removal</rdfs:label>
   619         <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#DictionaryInvolvement"/>
   620         <category>collections</category>
   621         <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection</prov-dm-constraints>
   622         <definition>Removal is a derivation that transforms a dictionary into another, by removing one or more key-value pairs.</definition>
   623         <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>
   624         <prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-collection-removal</prov-n>
   625         <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-removal</prov-dm>
   626         <component>collections</component>
   627         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByRemovalFrom"/>
   628     </owl:Class>
   629 </rdf:RDF>
   630 
   631 
   632 
   633 <!-- Generated by the OWL API (version 3.1.0.20069) http://owlapi.sourceforge.net -->
   634