--- a/ontology/ProvenanceOntology.owl Fri Apr 20 01:14:49 2012 +0100
+++ b/ontology/ProvenanceOntology.owl Fri Apr 20 09:29:20 2012 -0400
@@ -51,8 +51,8 @@
<rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&prov;definition"/>
+ <owl:AnnotationProperty rdf:about="&rdfs;label"/>
<owl:AnnotationProperty rdf:about="&prov;editorialNote"/>
- <owl:AnnotationProperty rdf:about="&rdfs;label"/>
<owl:AnnotationProperty rdf:about="&prov;inverse"/>
<owl:AnnotationProperty rdf:about="&rdfs;comment"/>
<owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
@@ -86,17 +86,6 @@
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
- // Datatypes
- //
- ///////////////////////////////////////////////////////////////////////////////////////
- -->
-
-
-
-
- <!--
- ///////////////////////////////////////////////////////////////////////////////////////
- //
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
@@ -187,28 +176,14 @@
- <!-- http://www.w3.org/ns/prov#collection -->
-
- <owl:ObjectProperty rdf:about="&prov;collection">
- <prov:editorialNote>This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</prov:editorialNote>
- <rdfs:comment xml:lang="en">The property used by a prov:CollectionInvolvement to cite the prov:Collection that was prov:involved in insertion or removal of elements of a collection. </rdfs:comment>
- <prov:component>collections</prov:component>
- <prov:category>collections</prov:category>
- <rdfs:range rdf:resource="&prov;Collection"/>
- <rdfs:domain rdf:resource="&prov;CollectionInvolvement"/>
- <rdfs:subPropertyOf rdf:resource="&prov;involvee"/>
- </owl:ObjectProperty>
-
-
-
<!-- http://www.w3.org/ns/prov#derivedByInsertionFrom -->
<owl:ObjectProperty rdf:about="&prov;derivedByInsertionFrom">
- <rdfs:comment xml:lang="en">The collection was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-value pairs.</rdfs:comment>
+ <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>
<prov:component>collections</prov:component>
<prov:category>collections</prov:category>
- <rdfs:domain rdf:resource="&prov;Collection"/>
- <rdfs:range rdf:resource="&prov;Collection"/>
+ <rdfs:range rdf:resource="&prov;Dictionary"/>
+ <rdfs:domain rdf:resource="&prov;Dictionary"/>
<prov:qualifiedForm rdf:resource="&prov;Insertion"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedInsertion"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
@@ -219,11 +194,11 @@
<!-- http://www.w3.org/ns/prov#derivedByRemovalFrom -->
<owl:ObjectProperty rdf:about="&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>
<prov:component>collections</prov:component>
<prov:category>collections</prov:category>
- <rdfs:comment xml:lang="en">The collection was derived from the other by removal. prov:qualifiedRemoval shows details of the removal, in particular the removed key-value pairs.</rdfs:comment>
- <rdfs:range rdf:resource="&prov;Collection"/>
- <rdfs:domain rdf:resource="&prov;Collection"/>
+ <rdfs:range rdf:resource="&prov;Dictionary"/>
+ <rdfs:domain rdf:resource="&prov;Dictionary"/>
<prov:qualifiedForm rdf:resource="&prov;Removal"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedRemoval"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
@@ -231,6 +206,20 @@
+ <!-- http://www.w3.org/ns/prov#dictionary -->
+
+ <owl:ObjectProperty rdf:about="&prov;dictionary">
+ <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>
+ <prov:component>collections</prov:component>
+ <prov:category>collections</prov:category>
+ <prov:editorialNote>This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</prov:editorialNote>
+ <rdfs:range rdf:resource="&prov;Dictionary"/>
+ <rdfs:domain rdf:resource="&prov;DictionaryInvolvement"/>
+ <rdfs:subPropertyOf rdf:resource="&prov;involvee"/>
+ </owl:ObjectProperty>
+
+
+
<!-- http://www.w3.org/ns/prov#entity -->
<owl:ObjectProperty rdf:about="&prov;entity">
@@ -449,7 +438,7 @@
<prov:category>collections</prov:category>
<rdfs:comment xml:lang="en">The collection included the specified membership of keys-values.</rdfs:comment>
<prov:component>collections</prov:component>
- <rdfs:domain rdf:resource="&prov;Collection"/>
+ <rdfs:domain rdf:resource="&prov;Dictionary"/>
<rdfs:range rdf:resource="&prov;Membership"/>
</owl:ObjectProperty>
@@ -543,9 +532,9 @@
<owl:ObjectProperty rdf:about="&prov;qualifiedInsertion">
<prov:component>collections</prov:component>
- <rdfs:comment xml:lang="en">If this Collection prov:derivedByInsertionFrom another Collection :e, then it can qualify how it did perform the Insertion using prov:qualifiedInsertion [ a prov:Insertion; prov:collection :e; prov:inserted [a prov:KeyValuePair; prov:key "k1"^^xsd:string; prov:value :foo] ].</rdfs:comment>
<prov:category>collections</prov:category>
- <rdfs:domain rdf:resource="&prov;Collection"/>
+ <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:key "k1"^^xsd:string; prov:value :foo] ].</rdfs:comment>
+ <rdfs:domain rdf:resource="&prov;Dictionary"/>
<rdfs:range rdf:resource="&prov;Insertion"/>
<prov:unqualifiedForm rdf:resource="&prov;derivedByInsertionFrom"/>
</owl:ObjectProperty>
@@ -571,8 +560,8 @@
<owl:ObjectProperty rdf:about="&prov;qualifiedRemoval">
<prov:category>collections</prov:category>
<prov:component>collections</prov:component>
- <rdfs:comment xml:lang="en">If this Collection prov:derivedByRemovalFrom another Collection :e, then it can qualify how it did perform the Removal using prov:qualifiedRemoval [ a prov:Removal; prov:collection :c; prov:removed "k1"^^xsd:string ].</rdfs:comment>
- <rdfs:domain rdf:resource="&prov;Collection"/>
+ <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>
+ <rdfs:domain rdf:resource="&prov;Dictionary"/>
<rdfs:range rdf:resource="&prov;Removal"/>
<prov:unqualifiedForm rdf:resource="&prov;derivedByRemovalFrom"/>
</owl:ObjectProperty>
@@ -846,6 +835,16 @@
+ <!-- http://www.w3.org/ns/prov#wasInvalidatedBy -->
+
+ <owl:ObjectProperty rdf:about="&prov;wasInvalidatedBy">
+ <rdfs:range rdf:resource="&prov;Activity"/>
+ <rdfs:domain rdf:resource="&prov;Entity"/>
+ <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
+ </owl:ObjectProperty>
+
+
+
<!-- http://www.w3.org/ns/prov#wasQuotedFrom -->
<owl:ObjectProperty rdf:about="&prov;wasQuotedFrom">
@@ -1119,36 +1118,6 @@
- <!-- http://www.w3.org/ns/prov#Collection -->
-
- <owl:Class rdf:about="&prov;Collection">
- <rdfs:label>Collection</rdfs:label>
- <rdfs:subClassOf rdf:resource="&prov;Entity"/>
- <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#section-types-entities-agents</prov:prov-dm>
- <rdfs:comment xml:lang="en">A given collection forms a given structure for its members. A different structure (obtained either by insertion or removal of members) constitutes a different collection.</rdfs:comment>
- <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection</prov:prov-dm>
- <prov: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.</prov:definition>
- <prov:category>collections</prov:category>
- <prov:component>collections</prov:component>
- <prov:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#component5</prov:prov-n>
- <rdfs:comment xml:lang="en">This concept allows for the provenance of the collection, but also of its constituents to be expressed. Such a notion of collection corresponds to a wide variety of concrete data structures, such as a maps, dictionaries, or associative arrays.</rdfs:comment>
- <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#concept-collection</prov:prov-dm>
- <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection</prov:prov-dm-constraints>
- </owl:Class>
-
-
-
- <!-- http://www.w3.org/ns/prov#CollectionInvolvement -->
-
- <owl:Class rdf:about="&prov;CollectionInvolvement">
- <rdfs:subClassOf rdf:resource="&prov;Involvement"/>
- <prov:category>collections</prov:category>
- <prov:component>collections</prov:component>
- <rdfs:comment xml:lang="en">prov:CollectionInvolvement provides descriptions of any binary involvement between any instance and a prov:Collection.</rdfs:comment>
- </owl:Class>
-
-
-
<!-- http://www.w3.org/ns/prov#Communication -->
<owl:Class rdf:about="&prov;Communication">
@@ -1183,13 +1152,43 @@
- <!-- http://www.w3.org/ns/prov#EmptyCollection -->
+ <!-- http://www.w3.org/ns/prov#Dictionary -->
- <owl:Class rdf:about="&prov;EmptyCollection">
- <rdfs:subClassOf rdf:resource="&prov;Collection"/>
- <rdfs:comment xml:lang="en">An empty collection.</rdfs:comment>
+ <owl:Class rdf:about="&prov;Dictionary">
+ <rdfs:label xml:lang="en">Dictionary</rdfs:label>
+ <rdfs:subClassOf rdf:resource="&prov;Entity"/>
+ <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#section-types-entities-agents</prov:prov-dm>
+ <prov:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#component5</prov:prov-n>
+ <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>
+ <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#concept-collection</prov:prov-dm>
+ <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection</prov:prov-dm>
+ <prov: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.</prov:definition>
+ <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection</prov:prov-dm-constraints>
+ <prov:component>collections</prov:component>
+ <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>
+ <prov:category>collections</prov:category>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prov#DictionaryInvolvement -->
+
+ <owl:Class rdf:about="&prov;DictionaryInvolvement">
+ <rdfs:subClassOf rdf:resource="&prov;Involvement"/>
+ <prov:category>collections</prov:category>
+ <prov:component>collections</prov:component>
+ <rdfs:comment xml:lang="en">prov:DictionaryInvolvement provides descriptions of any binary involvement between any instance and a prov:Dictionary.</rdfs:comment>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prov#EmptyDictionary -->
+
+ <owl:Class rdf:about="&prov;EmptyDictionary">
+ <rdfs:subClassOf rdf:resource="&prov;Dictionary"/>
<prov:component>collections</prov:component>
<prov:category>collections</prov:category>
+ <rdfs:comment xml:lang="en">An empty dictionary.</rdfs:comment>
</owl:Class>
@@ -1263,13 +1262,13 @@
<owl:Class rdf:about="&prov;Insertion">
<rdfs:label>Insertion</rdfs:label>
- <rdfs:subClassOf rdf:resource="&prov;CollectionInvolvement"/>
- <rdfs:comment xml:lang="en">Insertion is a derivation that transforms a collection into another, by insertion of one or more key-value pairs.</rdfs:comment>
+ <rdfs:subClassOf rdf:resource="&prov;DictionaryInvolvement"/>
+ <prov:definition>Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-value pairs.</prov: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:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-insertion</prov:prov-dm>
<prov:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-collection-insertion</prov:prov-n>
<prov:component>collections</prov:component>
<prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection</prov:prov-dm-constraints>
- <prov:definition>Insertion is a derivation that transforms a collection into another, by insertion of one or more key-value pairs.</prov:definition>
<prov:category>collections</prov:category>
<prov:unqualifiedForm rdf:resource="&prov;derivedByInsertionFrom"/>
</owl:Class>
@@ -1291,6 +1290,19 @@
+ <!-- http://www.w3.org/ns/prov#Invalidation -->
+
+ <owl:Class rdf:about="&prov;Invalidation">
+ <rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
+ <rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
+ <prov:component>entities-activities</prov:component>
+ <prov:category>qualified</prov:category>
+ <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Invalidation</prov:prov-dm>
+ <prov:definition>Invalidation is the start of the destruction, cessation, or expiry of an existing entity by an activity. The entity is no longer available for use after invalidation. Any generation or usage of an entity precedes its invalidation.</prov:definition>
+ </owl:Class>
+
+
+
<!-- http://www.w3.org/ns/prov#Involvement -->
<owl:Class rdf:about="&prov;Involvement">
@@ -1424,11 +1436,11 @@
<owl:Class rdf:about="&prov;Removal">
<rdfs:label>Removal</rdfs:label>
- <rdfs:subClassOf rdf:resource="&prov;CollectionInvolvement"/>
- <prov:definition>Removal is a derivation that transforms a collection into another, by removing one or more key-value pairs.</prov:definition>
+ <rdfs:subClassOf rdf:resource="&prov;DictionaryInvolvement"/>
<prov:category>collections</prov:category>
- <rdfs:comment xml:lang="en">Removal is a derivation that transforms a collection into another, by removing one or more key-value pairs.</rdfs:comment>
<prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection</prov:prov-dm-constraints>
+ <prov:definition>Removal is a derivation that transforms a dictionary into another, by removing one or more key-value pairs.</prov: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:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-collection-removal</prov:prov-n>
<prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-removal</prov:prov-dm>
<prov:component>collections</prov:component>
@@ -1620,5 +1632,5 @@
-<!-- Generated by the OWL API (version 3.2.3.1824) http://owlapi.sourceforge.net -->
+<!-- Generated by the OWL API (version 3.1.0.20069) http://owlapi.sourceforge.net -->