--- a/dictionary/prov-dictionary.owl Fri Mar 29 15:18:43 2013 +0100
+++ b/dictionary/prov-dictionary.owl Fri Mar 29 16:42:04 2013 +0100
@@ -4,6 +4,7 @@
<!DOCTYPE rdf:RDF [
<!ENTITY owl "http://www.w3.org/2002/07/owl#" >
<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!ENTITY xml "http://www.w3.org/XML/1998/namespace" >
<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
]>
@@ -14,103 +15,19 @@
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>
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:xml="http://www.w3.org/XML/1998/namespace">
+ <owl:Ontology rdf:about="http://www.w3.org/ns/prov-dictionary#">
+ <rdfs:label xml:lang="en">W3C PROVenance Interchange Ontology (PROV-O) Dictionary Extension</rdfs:label>
<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 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>
- <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/"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-dictionary/"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov"/>
</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 'starting-point', 'qualifed', and 'extended'. 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 '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.</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"/>
-
-
-
+ <owl:Ontology rdf:about="http://www.w3.org/ns/prov#"></owl:Ontology>
+
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
@@ -122,204 +39,110 @@
- <!-- 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>
+ <rdfs:label>derivedByInsertionFrom</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion</dm>
+ <definition>The dictionary was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-entity pairs.</definition>
<component>collections</component>
<category>collections</category>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<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>
+ <rdfs:label>derivedByRemovalFrom</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal</dm>
<component>collections</component>
+ <definition>The dictionary was derived from the other by removal. prov:qualifiedRemoval shows details of the removal, in particular the removed key-entity pairs.</definition>
<category>collections</category>
- <inverse>hadDerivationByRemoval</inverse>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<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>
+ <rdfs:label>dictionary</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion</n>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion</dm>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal</dm>
+ <category>collections</category>
<component>collections</component>
- <category>collections</category>
+ <definition>The property used by a prov:Insertion and prov:Removal to cite the prov:Dictionary that was prov:derivedByInsertionFrom or prov:derivedByRemovalFrom another dictionary.</definition>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<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"/>
+ <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Removal"/>
+ <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#entity"/>
</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.
+ <!-- http://www.w3.org/ns/prov#hadDictionaryMember -->
-</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 rdf:about="http://www.w3.org/ns/prov#hadDictionaryMember">
+ <rdfs:label>hadDictionaryMember</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership</dm>
+ <definition>Describes the key-entity pair that was member of a prov:Dictionary. A dictionary can have multiple members.</definition>
+ <component>collections</component>
+ <category>collections</category>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
+ <rdfs:range rdf:resource="http://www.w3.org/ns/prov#KeyEntityPair"/>
</owl:ObjectProperty>
- <!-- http://www.w3.org/ns/prov#pair -->
+ <!-- http://www.w3.org/ns/prov#insertedKeyEntityPair -->
- <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#pair">
+ <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#insertedKeyEntityPair">
+ <rdfs:label>insertedKeyEntityPair</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion</dm>
<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"/>
+ <definition>An object property to refer to the prov:KeyEntityPair inserted into a prov:Dictionary.</definition>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
+ <rdfs:range rdf:resource="http://www.w3.org/ns/prov#KeyEntityPair"/>
</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 -->
+ <!-- http://www.w3.org/ns/prov#pairEntity -->
- <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedMembership">
- <rdfs:label xml:lang="en">qualifiedMembership</rdfs:label>
+ <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#pairEntity">
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdfs:label>pairKey</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership</dm>
+ <category>collections</category>
<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>
+ <definition>The value of a KeyEntityPair.</definition>
<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"/>
+ <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#KeyEntityPair"/>
</owl:ObjectProperty>
@@ -327,14 +150,17 @@
<!-- 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 "k1"^^xsd:string; prov:pairValue :foo] ].</rdfs:comment>
- <inverse>qualifiedInsertionOf</inverse>
+ <rdfs:label>qualifiedInsertion</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion</dm>
+ <definition>The dictionary was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-entity pairs.</definition>
<category>collections</category>
+ <component>collections</component>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<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"/>
+ <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#qualifiedDerivation"/>
</owl:ObjectProperty>
@@ -342,85 +168,20 @@
<!-- http://www.w3.org/ns/prov#qualifiedRemoval -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedRemoval">
- <inverse>removedFromDictionary</inverse>
+ <rdfs:label>qualifiedRemoval</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal</dm>
<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 "k1"^^xsd:string ].</rdfs:comment>
+ <definition>The dictionary was derived from the other by removal. prov:qualifiedRemoval shows details of the removal, in particular the removed keys.</definition>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<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"/>
+ <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#qualifiedDerivation"/>
</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>
-
-
-
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
@@ -436,44 +197,33 @@
<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>
+ <rdfs:label>pairKey</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership</dm>
<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>
+ <definition>The key of a KeyEntityPair, which is an element of a prov:Dictionary.</definition>
+ <category>collections</category>
<rdfs:range rdf:resource="&rdfs;Literal"/>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#KeyValuePair"/>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#KeyEntityPair"/>
</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'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#removedKey -->
-
- <!-- 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'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, 'may be used in describing structured values').</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 rdf:about="http://www.w3.org/ns/prov#removedKey">
+ <rdfs:label>removedKey</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal</dm>
+ <category>collections</category>
+ <definition>The key removed in a Removal.</definition>
+ <component>collections</component>
+ <rdfs:range rdf:resource="&rdfs;Literal"/>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Removal"/>
</owl:DatatypeProperty>
@@ -486,74 +236,37 @@
///////////////////////////////////////////////////////////////////////////////////////
-->
-
-
-
- <!-- 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>
+ <rdfs:label>Dictionary</rdfs:label>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-conceptual-definition</dm>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary</n>
+ <definition>A dictionary is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the dictionary.</definition>
+ <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.</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>
+ <rdfs:comment>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>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
</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#EmptyDictionary -->
- <!-- 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 rdf:about="http://www.w3.org/ns/prov#EmptyDictionary">
+ <rdfs:label>Empty Dictionary</rdfs:label>
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EmptyCollection"/>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-conceptual-definition</dm>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary</n>
+ <component>collections</component>
+ <definition>An empty dictionary (i.e. has no members).</definition>
+ <category>collections</category>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
</owl:Class>
@@ -562,52 +275,54 @@
<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>
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Derivation"/>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#dictionary"/>
+ <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#insertedKeyEntityPair"/>
+ <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion</dm>
+ <definition>Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-entity pairs.</definition>
+ <category>collections</category>
<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>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<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 'event' 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 'event' 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#KeyEntityPair -->
- <!-- 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 '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.</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>
+ <owl:Class rdf:about="http://www.w3.org/ns/prov#KeyEntityPair">
+ <rdfs:label>Key-Entity Pair</rdfs:label>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#pairEntity"/>
+ <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#pairKey"/>
+ <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership</dm>
+ <definition>A key-entity pair. Part of a prov:Dictionary through prov:hadDictionaryMember. The key is any RDF Literal, the value is a prov:Entity.</definition>
+ <component>collections</component>
<category>collections</category>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
</owl:Class>
@@ -616,19 +331,28 @@
<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"/>
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Derivation"/>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#dictionary"/>
+ <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#removedKey"/>
+ <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal</dm>
<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>
+ <definition>Removal is a derivation that transforms a dictionary into another, by removing one or more key-entity pairs.</definition>
<component>collections</component>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<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/dictionary/prov-dictionary.ttl Fri Mar 29 15:18:43 2013 +0100
+++ b/dictionary/prov-dictionary.ttl Fri Mar 29 16:42:04 2013 +0100
@@ -1,449 +1,246 @@
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
-@prefix : <http://www.w3.org/ns/prov#> .
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-@prefix owl: <http://www.w3.org/2002/07/owl#> .
-@prefix 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 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."""@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 .
-
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix : <http://www.w3.org/ns/prov#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+<http://www.w3.org/ns/prov-dictionary#>
+ a owl:Ontology ;
+ rdfs:comment """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 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."""@en ;
+ rdfs:label "W3C PROVenance Interchange Ontology (PROV-O) Dictionary Extension"@en ;
+ rdfs:seeAlso <http://www.w3.org/TR/prov-dictionary/>, <http://www.w3.org/ns/prov> .
+
+<http://www.w3.org/ns/prov#>
+ a owl:Ontology .
+
+:Dictionary
+ a owl:Class ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "Dictionary" ;
+ :definition "A dictionary is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the dictionary." ;
+ rdfs:comment "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 "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." ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-conceptual-definition"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:EmptyDictionary
+ a owl:Class ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "Empty Dictionary" ;
+ :definition "An empty dictionary (i.e. has no members)." ;
+ rdfs:subClassOf :EmptyCollection ;
+ rdfs:subClassOf :Dictionary ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-conceptual-definition"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:KeyEntityPair
+ a owl:Class ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "Key-Entity Pair" ;
+ :definition "A key-entity pair. Part of a prov:Dictionary through prov:hadDictionaryMember. The key is any RDF Literal, the value is a prov:Entity." ;
+ rdfs:subClassOf
+ [ a owl:Restriction ;
+ owl:onProperty :pairKey ;
+ owl:cardinality "1"^^xsd:int
+ ] ;
+ rdfs:subClassOf
+ [ a owl:Restriction ;
+ owl:onProperty :pairEntity ;
+ owl:cardinality "1"^^xsd:int
+ ] ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:Insertion
+ a owl:Class ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "Insertion" ;
+ :definition "Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-entity pairs." ;
+ rdfs:subClassOf :Derivation ;
+ rdfs:subClassOf
+ [ a owl:Restriction ;
+ owl:onProperty :dictionary ;
+ owl:cardinality "1"^^xsd:int
+ ] ;
+ rdfs:subClassOf
+ [ a owl:Restriction ;
+ owl:onProperty :insertedKeyEntityPair ;
+ owl:minCardinality "1"^^xsd:int
+ ] ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI ;
+ :unqualifiedForm :derivedByInsertionFrom .
+
+:Removal
+ a owl:Class ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "Removal" ;
+ :definition "Removal is a derivation that transforms a dictionary into another, by removing one or more key-entity pairs." ;
+ rdfs:subClassOf :Derivation ;
+ rdfs:subClassOf
+ [ a owl:Restriction ;
+ owl:onProperty :dictionary ;
+ owl:cardinality "1"^^xsd:int
+ ] ;
+ rdfs:subClassOf
+ [ a owl:Restriction ;
+ owl:onProperty :removedKey ;
+ owl:minCardinality "1"^^xsd:int
+ ] ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI ;
+ :unqualifiedForm :derivedByRemovalFrom .
+
+:dictionary
+ a owl:ObjectProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "dictionary" ;
+ :definition "The property used by a prov:Insertion and prov:Removal to cite the prov:Dictionary that was prov:derivedByInsertionFrom or prov:derivedByRemovalFrom another dictionary." ;
+ rdfs:subPropertyOf :entity ;
+ rdfs:domain :Insertion, :Removal ;
+ rdfs:range :Dictionary ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion"^^xsd:anyURI ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:derivedByInsertionFrom
+ a owl:ObjectProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "derivedByInsertionFrom" ;
+ :definition "The dictionary was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-entity pairs." ;
+ rdfs:subPropertyOf :wasDerivedFrom ;
+ rdfs:domain :Dictionary ;
+ rdfs:range :Dictionary ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:derivedByRemovalFrom
+ a owl:ObjectProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "derivedByRemovalFrom" ;
+ :definition "The dictionary was derived from the other by removal. prov:qualifiedRemoval shows details of the removal, in particular the removed key-entity pairs." ;
+ rdfs:subPropertyOf :wasDerivedFrom ;
+ rdfs:domain :Dictionary ;
+ rdfs:range :Dictionary ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:insertedKeyEntityPair
+ a owl:ObjectProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "insertedKeyEntityPair" ;
+ :definition "An object property to refer to the prov:KeyEntityPair inserted into a prov:Dictionary." ;
+ rdfs:domain :Insertion ;
+ rdfs:range :KeyEntityPair ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:hadDictionaryMember
+ a owl:ObjectProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "hadDictionaryMember" ;
+ :definition "Describes the key-entity pair that was member of a prov:Dictionary. A dictionary can have multiple members." ;
+ rdfs:domain :Dictionary ;
+ rdfs:range :KeyEntityPair ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:pairKey
+ a owl:DatatypeProperty, owl:FunctionalProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "pairKey" ;
+ :definition "The key of a KeyEntityPair, which is an element of a prov:Dictionary." ;
+ rdfs:domain :KeyEntityPair ;
+ rdfs:range rdfs:Literal ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:pairEntity
+ a owl:ObjectProperty, owl:FunctionalProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "pairKey" ;
+ :definition "The value of a KeyEntityPair." ;
+ rdfs:domain :KeyEntityPair ;
+ rdfs:range :Entity ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:qualifiedInsertion
+ a owl:ObjectProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "qualifiedInsertion" ;
+ :definition "The dictionary was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-entity pairs." ;
+ rdfs:subPropertyOf :qualifiedDerivation ;
+ rdfs:domain :Dictionary ;
+ rdfs:range :Insertion ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:qualifiedRemoval
+ a owl:ObjectProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "qualifiedRemoval" ;
+ :definition "The dictionary was derived from the other by removal. prov:qualifiedRemoval shows details of the removal, in particular the removed keys." ;
+ rdfs:subPropertyOf :qualifiedDerivation ;
+ rdfs:domain :Dictionary ;
+ rdfs:range :Removal ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:removedKey
+ a owl:DatatypeProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "removedKey" ;
+ :definition "The key removed in a Removal." ;
+ rdfs:domain :Removal ;
+ rdfs:range rdfs:Literal ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
\ No newline at end of file