--- a/ontology/ProvenanceOntology.owl Fri Jun 29 15:57:30 2012 -0400
+++ b/ontology/ProvenanceOntology.owl Fri Jun 29 16:00:57 2012 -0400
@@ -54,12 +54,12 @@
<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#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="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"/>
@@ -67,10 +67,10 @@
<owl:AnnotationProperty rdf:about="&rdfs;comment">
<rdfs:comment xml:lang="en"></rdfs:comment>
</owl:AnnotationProperty>
- <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
<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>
@@ -231,74 +231,6 @@
- <!-- http://www.w3.org/ns/prov#derivedByInsertionFrom -->
-
- <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#derivedByInsertionFrom">
- <rdfs:comment xml:lang="en">The dictionary was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-value pairs.</rdfs:comment>
- <inverse>hadDerivationByInsertion</inverse>
- <component>collections</component>
- <category>collections</category>
- <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
- <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
- <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedInsertion"/>
- <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
- <owl:propertyChainAxiom rdf:parseType="Collection">
- <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedInsertion"/>
- <rdf:Description rdf:about="http://www.w3.org/ns/prov#dictionary"/>
- </owl:propertyChainAxiom>
- </owl:ObjectProperty>
- <owl:Axiom>
- <rdfs:comment>Insertion is a form of derivation (see http://www.w3.org/TR/prov-dm/#term-dictionary-insertion) that transforms a dictionary into another, by insertion of one or more key-entity pairs. </rdfs:comment>
- <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
- <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#derivedByInsertionFrom"/>
- <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
- </owl:Axiom>
-
-
-
- <!-- http://www.w3.org/ns/prov#derivedByRemovalFrom -->
-
- <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#derivedByRemovalFrom">
- <rdfs:comment xml:lang="en">The dictionary was derived from the other by removal. prov:qualifiedRemoval shows details of the removal, in particular the removed key-value pairs.</rdfs:comment>
- <component>collections</component>
- <category>collections</category>
- <inverse>hadDerivationByRemoval</inverse>
- <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
- <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Removal"/>
- <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedRemoval"/>
- <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
- <owl:propertyChainAxiom rdf:parseType="Collection">
- <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedRemoval"/>
- <rdf:Description rdf:about="http://www.w3.org/ns/prov#dictionary"/>
- </owl:propertyChainAxiom>
- </owl:ObjectProperty>
- <owl:Axiom>
- <rdfs:comment>Removal is a form of derivation (see http://www.w3.org/TR/prov-dm/#term-dictionary-removal) that transforms a dictionary into another, by removing one or more key-entity pairs. </rdfs:comment>
- <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
- <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#derivedByRemovalFrom"/>
- <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
- </owl:Axiom>
-
-
-
- <!-- http://www.w3.org/ns/prov#dictionary -->
-
- <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#dictionary">
- <inverse>dictionaryOfInvolvement</inverse>
- <rdfs:comment xml:lang="en">The property used by a prov:DictionaryInvolvement to cite the prov:Dictionary that was prov:involved in insertion or removal of elements of a collection. </rdfs:comment>
- <editorialNote xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</editorialNote>
- <component>collections</component>
- <category>collections</category>
- <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#DictionaryInvolvement"/>
- <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#DictionaryInvolvement"/>
- <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involvee"/>
- </owl:ObjectProperty>
-
-
-
<!-- http://www.w3.org/ns/prov#entity -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#entity">
@@ -381,14 +313,10 @@
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Collection"/>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Collection"/>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
- <owl:propertyChainAxiom rdf:parseType="Collection">
- <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedMembership"/>
- <rdf:Description rdf:about="http://www.w3.org/ns/prov#pair"/>
- </owl:propertyChainAxiom>
</owl:ObjectProperty>
<owl:Axiom>
+ <rdfs:comment 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.</rdfs:comment>
<prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection</prov-dm>
- <rdfs:comment 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.</rdfs:comment>
<owl:annotatedProperty rdf:resource="&rdfs;range"/>
<owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#Entity"/>
<owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
@@ -526,20 +454,6 @@
- <!-- http://www.w3.org/ns/prov#inserted -->
-
- <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#inserted">
- <rdfs:comment xml:lang="en">An object property to refer to the prov:KeyValuePair inserted into a prov:Dictionary.</rdfs:comment>
- <inverse>wasInsertedBy</inverse>
- <component>collections</component>
- <category>collections</category>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
- <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
- <rdfs:range rdf:resource="http://www.w3.org/ns/prov#KeyValuePair"/>
- </owl:ObjectProperty>
-
-
-
<!-- http://www.w3.org/ns/prov#involved -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#involved">
@@ -569,37 +483,6 @@
- <!-- http://www.w3.org/ns/prov#pair -->
-
- <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#pair">
- <component>collections</component>
- <category>collections</category>
- <rdfs:comment xml:lang="en">A membership can have multiple members.</rdfs:comment>
- <editorsDefinition xml:lang="en">The KeyValuePair(s) whose membership is being qualified by this instance of prov:Membership.</editorsDefinition>
- <editorialNote xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</editorialNote>
- <inverse>inMembership</inverse>
- <rdfs:range rdf:resource="http://www.w3.org/ns/prov#KeyValuePair"/>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Membership"/>
- <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involvee"/>
- </owl:ObjectProperty>
-
-
-
- <!-- http://www.w3.org/ns/prov#pairValue -->
-
- <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#pairValue">
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
- <editorsDefinition xml:lang="en">The Entity value of a KeyValuePair, which may go into a prov:Dictionary under the key specified by prov:pairKey.</editorsDefinition>
- <rdfs:comment xml:lang="en">The value of a KeyValuePair. See also prov:pairKey.</rdfs:comment>
- <category>collections</category>
- <inverse>valueOf</inverse>
- <component>collections</component>
- <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#KeyValuePair"/>
- </owl:ObjectProperty>
-
-
-
<!-- http://www.w3.org/ns/prov#qualifiedAssociation -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedAssociation">
@@ -712,21 +595,6 @@
- <!-- 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>
- <category>collections</category>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
- <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
- <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
- <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByInsertionFrom"/>
- </owl:ObjectProperty>
-
-
-
<!-- http://www.w3.org/ns/prov#qualifiedInvalidation -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedInvalidation">
@@ -743,22 +611,6 @@
- <!-- http://www.w3.org/ns/prov#qualifiedMembership -->
-
- <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedMembership">
- <rdfs:label xml:lang="en">qualifiedMembership</rdfs:label>
- <category>collections</category>
- <editorialNote xml:lang="en">This property is NOT inverse functional, since the membership of many distinct KeyValuePairs can be qualified using a single instance of prov:Membership.</editorialNote>
- <component>collections</component>
- <rdfs:comment xml:lang="en">The collection included the specified membership of keys-values.</rdfs:comment>
- <inverse>membershipOf</inverse>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
- <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Membership"/>
- <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Membership"/>
- </owl:ObjectProperty>
-
-
-
<!-- http://www.w3.org/ns/prov#qualifiedQuotation -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedQuotation">
@@ -775,21 +627,6 @@
- <!-- http://www.w3.org/ns/prov#qualifiedRemoval -->
-
- <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedRemoval">
- <inverse>removedFromDictionary</inverse>
- <category>collections</category>
- <component>collections</component>
- <rdfs:comment xml:lang="en">If this Dictionary prov:derivedByRemovalFrom another Dictionary :e, then it can qualify how it did perform the Removal using prov:qualifiedRemoval [ a prov:Removal; prov:dictionary :c; prov:removed "k1"^^xsd:string ].</rdfs:comment>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
- <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Removal"/>
- <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Removal"/>
- <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByRemovalFrom"/>
- </owl:ObjectProperty>
-
-
-
<!-- http://www.w3.org/ns/prov#qualifiedRevision -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedRevision">
@@ -1248,20 +1085,6 @@
- <!-- http://www.w3.org/ns/prov#pairKey -->
-
- <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#pairKey">
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
- <definition xml:lang="en">The key with which an Entity has been inserted into a prov:Dictionary; a key is expected to be unique within each prov:Dictionary.</definition>
- <category>collections</category>
- <component>collections</component>
- <rdfs:comment xml:lang="en">The key of a KeyValuePair, which is an element of a prov:Dictionary. See also prov:pairValue.</rdfs:comment>
- <rdfs:range rdf:resource="&rdfs;Literal"/>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#KeyValuePair"/>
- </owl:DatatypeProperty>
-
-
-
<!-- http://www.w3.org/ns/prov#provenanceUriTemplate -->
<owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#provenanceUriTemplate">
@@ -1272,21 +1095,6 @@
- <!-- 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#startedAtTime -->
<owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#startedAtTime">
@@ -1499,18 +1307,6 @@
- <!-- 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"/>
- <category>collections</category>
- <rdfs:comment xml:lang="en">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.</rdfs:comment>
- <component xml:lang="en">collections</component>
- </owl:Class>
-
-
-
<!-- http://www.w3.org/ns/prov#ContextualizedEntity -->
<owl:Class rdf:about="http://www.w3.org/ns/prov#ContextualizedEntity">
@@ -1556,49 +1352,6 @@
- <!-- http://www.w3.org/ns/prov#Dictionary -->
-
- <owl:Class rdf:about="http://www.w3.org/ns/prov#Dictionary">
- <rdfs:label xml:lang="en">Dictionary</rdfs:label>
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Collection"/>
- <prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#component6</prov-n>
- <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary</prov-dm>
- <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#collection-constraints</prov-dm-constraints>
- <definition xml:lang="en">A dictionary is a collection whose members are indexed by keys.</definition>
- <rdfs:comment xml:lang="en">A given dictionary forms a given structure for its members. A different structure (obtained either by insertion or removal of members) constitutes a different dictionary.</rdfs:comment>
- <component>collections</component>
- <rdfs:comment xml:lang="en">PROV-DM defines a specific type of collection, a dictionary...</rdfs:comment>
- <rdfs:comment xml:lang="en">This concept allows for the provenance of the dictionary, but also of its constituents to be expressed. Such a notion of dictionary corresponds to a wide variety of concrete data structures, such as a maps or associative arrays.</rdfs:comment>
- <category>collections</category>
- </owl:Class>
-
-
-
- <!-- http://www.w3.org/ns/prov#DictionaryInvolvement -->
-
- <owl:Class rdf:about="http://www.w3.org/ns/prov#DictionaryInvolvement">
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
- <category>collections</category>
- <component>collections</component>
- <editorsDefinition xml:lang="en">prov:DictionaryInvolvement provides descriptions of any binary involvement between any instance and a prov:Dictionary. The property prov:dictionary is used to reference the object of the triple being described.</editorsDefinition>
- </owl:Class>
-
-
-
- <!-- http://www.w3.org/ns/prov#EmptyCollection -->
-
- <owl:Class rdf:about="http://www.w3.org/ns/prov#EmptyCollection">
- <rdfs:label xml:lang="en">Dictionary</rdfs:label>
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Collection"/>
- <component>collections</component>
- <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary</prov-dm>
- <category>collections</category>
- <definition xml:lang="en">An empty collection is a collection without members.</definition>
- <rdfs:comment xml:lang="en">An empty dictionary.</rdfs:comment>
- </owl:Class>
-
-
-
<!-- http://www.w3.org/ns/prov#End -->
<owl:Class rdf:about="http://www.w3.org/ns/prov#End">
@@ -1671,23 +1424,6 @@
- <!-- http://www.w3.org/ns/prov#Insertion -->
-
- <owl:Class rdf:about="http://www.w3.org/ns/prov#Insertion">
- <rdfs:label>Insertion</rdfs:label>
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#DictionaryInvolvement"/>
- <definition>Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-value pairs.</definition>
- <rdfs:comment xml:lang="en">Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-value pairs.</rdfs:comment>
- <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-insertion</prov-dm>
- <prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-collection-insertion</prov-n>
- <component>collections</component>
- <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection</prov-dm-constraints>
- <category>collections</category>
- <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByInsertionFrom"/>
- </owl:Class>
-
-
-
<!-- http://www.w3.org/ns/prov#InstantaneousEvent -->
<owl:Class rdf:about="http://www.w3.org/ns/prov#InstantaneousEvent">
@@ -1730,16 +1466,6 @@
- <!-- http://www.w3.org/ns/prov#KeyValuePair -->
-
- <owl:Class rdf:about="http://www.w3.org/ns/prov#KeyValuePair">
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Entity"/>
- <rdfs:comment xml:lang="en">A key-value pair. Part of a prov:Dictionary through prov:Membership. The key is any RDF Literal, the value is a prov:Entity.</rdfs:comment>
- <category>collections</category>
- </owl:Class>
-
-
-
<!-- http://www.w3.org/ns/prov#Location -->
<owl:Class rdf:about="http://www.w3.org/ns/prov#Location">
@@ -1755,19 +1481,6 @@
- <!-- 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#EntityInvolvement"/>
- <editorsDefinition xml:lang="en">An optional set of descriptions about the membership of KeyValuePairs in a prov:Dictionary.</editorsDefinition>
- <rdfs:comment xml:lang="en">The descriptions on this Membership applies to the memberships of all KeyValuePairs cited by prov:pair.</rdfs:comment>
- <category>collections</category>
- <component>collections</component>
- <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
- </owl:Class>
-
-
-
<!-- http://www.w3.org/ns/prov#Organization -->
<owl:Class rdf:about="http://www.w3.org/ns/prov#Organization">
@@ -1844,23 +1557,6 @@
- <!-- http://www.w3.org/ns/prov#Removal -->
-
- <owl:Class rdf:about="http://www.w3.org/ns/prov#Removal">
- <rdfs:label>Removal</rdfs:label>
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#DictionaryInvolvement"/>
- <category>collections</category>
- <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection</prov-dm-constraints>
- <definition>Removal is a derivation that transforms a dictionary into another, by removing one or more key-value pairs.</definition>
- <rdfs:comment xml:lang="en">Removal is a derivation that transforms a dictionary into another, by removing one or more key-value pairs.</rdfs:comment>
- <prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-collection-removal</prov-n>
- <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-removal</prov-dm>
- <component>collections</component>
- <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByRemovalFrom"/>
- </owl:Class>
-
-
-
<!-- http://www.w3.org/ns/prov#Revision -->
<owl:Class rdf:about="http://www.w3.org/ns/prov#Revision">
--- a/ontology/prov.ttl Fri Jun 29 15:57:30 2012 -0400
+++ b/ontology/prov.ttl Fri Jun 29 16:00:57 2012 -0400
@@ -161,14 +161,6 @@
:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-wasInformedBy" ;
:unqualifiedForm :wasInformedBy .
-: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 .
-
:ContextualizedEntity
a owl:Class ;
rdfs:comment "expanded" ;
@@ -202,35 +194,6 @@
:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#Derivation-Relation" ;
:unqualifiedForm :wasDerivedFrom .
-: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" .
-
:End
a owl:Class ;
rdfs:comment "An instance of prov:End provides additional descriptions about the binary prov:wasEndedBy relation from some ended prov:Activity to an prov:Entity that ended it. For example, :ball_game prov:wasEndedBy :buzzer; prov:qualified [ a prov:Usage; prov:entity :buzzer; :foo :bar; prov:atTime '2012-03-09T08:05:08-05:00'^^xsd:dateTime ]."@en ;
@@ -281,19 +244,6 @@
:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Generation" ;
:unqualifiedForm :wasGeneratedBy .
-: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 ;
@@ -323,12 +273,6 @@
: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" .
-
:Location
a owl:Class ;
rdfs:comment "A location can be an identifiable geographic place (ISO 19112), but it can also be a non-geographic place such as a directory, row, or column. As such, there are numerous ways in which location can be expressed, such as by a coordinate, address, landmark, and so forth."@en ;
@@ -340,15 +284,6 @@
:prov-dm-constraints "" ;
:prov-n "" .
-:Membership
- a owl:Class ;
- rdfs:comment "The descriptions on this Membership applies to the memberships of all KeyValuePairs cited by prov:pair."@en ;
- rdfs:subClassOf :EntityInvolvement ;
- :category "collections" ;
- :component "collections" ;
- :editorsDefinition "An optional set of descriptions about the membership of KeyValuePairs in a prov:Dictionary."@en ;
- :unqualifiedForm :hadMember .
-
:Organization
a owl:Class ;
rdfs:comment "Agents of type Organization are social institutions such as companies, societies etc."@en ;
@@ -405,19 +340,6 @@
:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-quotation" ;
:unqualifiedForm :wasQuotedFrom .
-: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 .
-
:Revision
a owl:Class ;
rdfs:comment "An instance of prov:Revision provides additional descriptions about the binary prov:wasRevisionOf relation from some prov:Entity to another prov:Entity. For example, :draft_2 prov:wasRevisionOf :draft_1; prov:qualified [ a prov:Source; prov:entity :draft_1; :foo :bar ]."@en ;
@@ -598,46 +520,6 @@
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 .
@@ -721,9 +603,6 @@
a owl:ObjectProperty ;
rdfs:domain :Collection ;
rdfs:range :Entity ;
- owl:propertyChainAxiom (:qualifiedMembership
- :pair
- ) ;
:category "collections" ;
:component "collections" ;
:inverse "wasMemberOf" ;
@@ -812,16 +691,6 @@
:inverse "contextOf" ;
:sharesDefinitionWith :ContextualizedEntity .
-: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 .
-
:invalidatedAtTime
a owl:DatatypeProperty, owl:FunctionalProperty ;
rdfs:comment "The time at which an entity began to be invalidated (i.e., no longer usable)."@en ;
@@ -858,37 +727,6 @@
: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:domain :Membership ;
- 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 .
@@ -1010,17 +848,6 @@
:sharesDefinitionWith :Generation ;
:unqualifiedForm :wasGeneratedBy .
-: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 .
-
:qualifiedInvalidation
a owl:InverseFunctionalProperty, owl:ObjectProperty ;
rdfs:comment "If this Entity prov:wasInvalidatedBy Activity :a, then it can qualify how it was invalidated using prov:qualifiedInvalidation [ a prov:Invalidation; prov:activity :a; :foo :bar ]."@en ;
@@ -1032,18 +859,6 @@
:sharesDefinitionWith :Invalidation ;
:unqualifiedForm :wasInvalidatedBy .
-:qualifiedMembership
- a owl:ObjectProperty ;
- rdfs:comment "The collection included the specified membership of keys-values."@en ;
- rdfs:domain :Dictionary ;
- rdfs:label "qualifiedMembership"@en ;
- rdfs:range :Membership ;
- :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 .
-
:qualifiedQuotation
a owl:InverseFunctionalProperty, owl:ObjectProperty ;
rdfs:comment "If this Entity prov:wasQuotedFrom Entity :e, then it can qualify how using prov:qualifiedQuotation [ a prov:Quotation; prov:entity :e; :foo :bar ]."@en ;
@@ -1055,17 +870,6 @@
:sharesDefinitionWith :Quotation ;
:unqualifiedForm :wasQuotedFrom .
-: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 .
-
:qualifiedRevision
a owl:InverseFunctionalProperty, owl:ObjectProperty ;
rdfs:comment "If this Entity prov:wasRevisionOf Entity :e, then it can qualify how it was revised using prov:qualifiedRevision [ a prov:Revision; prov:entity :e; :foo :bar ]."@en ;
@@ -1121,17 +925,6 @@
:sharesDefinitionWith :Usage ;
:unqualifiedForm :used .
-: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 .
@@ -1355,14 +1148,6 @@
[]
a owl:Axiom ;
- rdfs:comment "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."@en ;
- owl:annotatedProperty rdfs:range ;
- owl:annotatedSource :hadMember ;
- owl:annotatedTarget :Entity ;
- :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection" .
-
-[]
- a owl:Axiom ;
rdfs:comment "hadOriginalSource property is a particular case of wasDerivedFrom (see http://www.w3.org/TR/prov-dm/#term-original-source) that aims to give credit to the source that originated some information." ;
owl:annotatedProperty rdfs:subPropertyOf ;
owl:annotatedSource :hadPrimarySource ;
@@ -1393,13 +1178,6 @@
[]
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 """Revision is a derivation (see http://www.w3.org/TR/prov-dm/#term-Revision). Moreover, according to
http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Revision 23 April 2012 'wasRevisionOf is a strict sub-relation of wasDerivedFrom since two entities e2 and e1 may satisfy wasDerivedFrom(e2,e1) without being a variant of each other.'""" ;
owl:annotatedProperty rdfs:subPropertyOf ;
@@ -1408,8 +1186,9 @@
[]
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 .
+ rdfs:comment "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."@en ;
+ owl:annotatedProperty rdfs:range ;
+ owl:annotatedSource :hadMember ;
+ owl:annotatedTarget :Entity ;
+ :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection" .