--- a/ontology/ProvenanceOntology.owl Thu Jun 14 12:50:49 2012 +0100
+++ b/ontology/ProvenanceOntology.owl Sun Jun 17 22:37:52 2012 -0700
@@ -219,6 +219,15 @@
+ <!-- http://www.w3.org/ns/prov#contextualized -->
+
+ <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#contextualized">
+ <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#ContextualizedEntity"/>
+ <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#specializationOf"/>
+ </owl:ObjectProperty>
+
+
+
<!-- http://www.w3.org/ns/prov#derivedByInsertionFrom -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#derivedByInsertionFrom">
@@ -373,8 +382,8 @@
</owl:propertyChainAxiom>
</owl:ObjectProperty>
<owl:Axiom>
+ <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>
- <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection</prov-dm>
<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"/>
@@ -498,6 +507,14 @@
+ <!-- http://www.w3.org/ns/prov#inContext -->
+
+ <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#inContext">
+ <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#ContextualizedEntity"/>
+ </owl:ObjectProperty>
+
+
+
<!-- http://www.w3.org/ns/prov#inserted -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#inserted">
@@ -785,7 +802,7 @@
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Source"/>
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Source"/>
- <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#hadOriginalSource"/>
+ <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#hadPrimarySource"/>
</owl:ObjectProperty>
@@ -838,7 +855,6 @@
-
<!-- http://www.w3.org/ns/prov#specializationOf -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#specializationOf">
@@ -943,9 +959,9 @@
</owl:propertyChainAxiom>
</owl:ObjectProperty>
<owl:Axiom>
- <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>
<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>
<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"/>
@@ -1460,6 +1476,26 @@
+ <!-- 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">
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Entity"/>
+ </owl:Class>
+
+
+
<!-- http://www.w3.org/ns/prov#Delegation -->
<owl:Class rdf:about="http://www.w3.org/ns/prov#Delegation">
@@ -1523,16 +1559,16 @@
- <!-- http://www.w3.org/ns/prov#EmptyDictionary -->
+ <!-- http://www.w3.org/ns/prov#EmptyCollection -->
- <owl:Class rdf:about="http://www.w3.org/ns/prov#EmptyDictionary">
+ <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#Dictionary"/>
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Collection"/>
+ <definition xml:lang="en">An empty dictionary is a dictionary without member.</definition>
<component>collections</component>
+ <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary</prov-dm>
+ <rdfs:comment xml:lang="en">An empty dictionary.</rdfs:comment>
<category>collections</category>
- <rdfs:comment xml:lang="en">An empty dictionary.</rdfs:comment>
- <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary</prov-dm>
- <definition xml:lang="en">An empty dictionary is a dictionary without member.</definition>
</owl:Class>
--- a/ontology/prov.ttl Thu Jun 14 12:50:49 2012 +0100
+++ b/ontology/prov.ttl Sun Jun 17 22:37:52 2012 -0700
@@ -159,6 +159,18 @@
: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:subClassOf :Entity .
+
:Delegation
a owl:Class ;
rdfs:comment "An instance of prov:Delegation provides additional descriptions about the binary prov:actedOnBehalfOf relation from a performing prov:Agent to some prov:Agent for whom it was performed. For example, :mixing prov:wasAssociatedWith :toddler . :toddler prov:actedOnBehalfOf :mother; prov:qualifiedDelegation [ a prov:Delegation; prov:entity :mother; :foo :bar ]."@en ;
@@ -204,11 +216,11 @@
: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 .
-:EmptyDictionary
+:EmptyCollection
a owl:Class ;
rdfs:comment "An empty dictionary."@en ;
rdfs:label "Dictionary"@en ;
- rdfs:subClassOf :Dictionary ;
+ rdfs:subClassOf :Collection ;
:category "collections" ;
:component "collections" ;
:definition "An empty dictionary is a dictionary without member."@en ;
@@ -568,6 +580,11 @@
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 .
+:contextualized
+ a owl:ObjectProperty ;
+ rdfs:domain :ContextualizedEntity ;
+ rdfs:subPropertyOf :specializationOf .
+
: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 .
@@ -772,6 +789,10 @@
:category "access-and-query" ;
:prov-aq "http://dvcs.w3.org/hg/prov/raw-file/tip/paq/prov-aq.html#todo" .
+:inContext
+ a owl:ObjectProperty ;
+ rdfs:domain :ContextualizedEntity .
+
:inserted
a owl:ObjectProperty ;
rdfs:comment "An object property to refer to the prov:KeyValuePair inserted into a prov:Dictionary."@en ;
@@ -1040,7 +1061,7 @@
:component "derivations" ;
:inverse "qualifiedSourceOf" ;
:sharesDefinitionWith :Source ;
- :unqualifiedForm :hadOriginalSource .
+ :unqualifiedForm :hadPrimarySource .
:qualifiedStart
a owl:InverseFunctionalProperty, owl:ObjectProperty ;