--- a/ontology/ProvenanceOntology.owl Wed Oct 24 16:03:44 2012 +0200
+++ b/ontology/ProvenanceOntology.owl Wed Oct 24 14:04:09 2012 -0400
@@ -85,10 +85,10 @@
<rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
</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#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"/>
@@ -255,13 +255,14 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#atLocation">
<rdfs:label>atLocation</rdfs:label>
<rdfs:comment xml:lang="en">The Location of any resource.</rdfs:comment>
+ <inverse>locationOf</inverse>
<editorialNote xml:lang="en">The naming of prov:atLocation parallels prov:atTime, and is not named prov:hadLocation to avoid conflicting with the convention that prov:had* properties are used on prov:Influence classes.</editorialNote>
- <inverse>locationOf</inverse>
+ <rdfs:comment>This property has multiple RDFS domains to suit multiple OWL Profiles. See <a href="#prov-o-owl-profile">PROV-O OWL Profile</a>.</rdfs:comment>
<editorialNote xml:lang="en">This property is not functional because the many values could be at a variety of granularies (In this building, in this room, in that chair).</editorialNote>
<category>expanded</category>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Location"/>
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Location"/>
- <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Location"/>
<rdfs:domain>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
@@ -315,6 +316,7 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadActivity">
<rdfs:label>hadActivity</rdfs:label>
+ <rdfs:comment>This property has multiple RDFS domains to suit multiple OWL Profiles. See <a href="#prov-o-owl-profile">PROV-O OWL Profile</a>.</rdfs:comment>
<rdfs:comment xml:lang="en">The _optional_ Activity of an Influence, which used, generated, invalidated, or was the responsibility of some Entity. This property is _not_ used by ActivityInfluence (use prov:activity instead).</rdfs:comment>
<editorialNote xml:lang="en">The multiple rdfs:domain assertions are intended. One is simpler and works for OWL-RL, the union is more specific but is not recognized by OWL-RL.</editorialNote>
<component>derivations</component>
@@ -425,11 +427,11 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadRole">
<rdfs:label>hadRole</rdfs:label>
<component>agents-responsibility</component>
+ <editorsDefinition xml:lang="en">prov:hadRole references the Role (i.e. the function of an entity with respect to an activity), in the context of an instantaneous usage, generation, association, start, and end.</editorsDefinition>
<inverse>wasRoleIn</inverse>
<rdfs:comment>This property has multiple RDFS domains to suit multiple OWL Profiles. See <a href="#prov-o-owl-profile">PROV-O OWL Profile</a>.</rdfs:comment>
<category>qualified</category>
<rdfs:comment xml:lang="en">The _optional_ Role that an Entity assumed in the context of an Activity. For example, :baking prov:used :spoon; prov:qualified [ a prov:Usage; prov:entity :spoon; prov:hadRole roles:mixing_implement ].</rdfs:comment>
- <editorsDefinition xml:lang="en">prov:hadRole references the Role (i.e. the function of an entity with respect to an activity), in the context of an instantaneous usage, generation, association, start, and end.</editorsDefinition>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Influence"/>
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Role"/>
@@ -875,8 +877,8 @@
</owl:propertyChainAxiom>
</owl:ObjectProperty>
<owl:Axiom>
+ <definition>IF wasAttributedTo(e2,ag1,aAttr) holds, THEN wasInfluencedBy(e2,ag1) also holds. </definition>
<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 wasInfluencedBy(e2,ag1) also holds. </definition>
<owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
<owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasAttributedTo"/>
<owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
@@ -959,6 +961,7 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasInfluencedBy">
<rdfs:label>wasInfluencedBy</rdfs:label>
+ <rdfs:comment>This property has multiple RDFS domains to suit multiple OWL Profiles. See <a href="#prov-o-owl-profile">PROV-O OWL Profile</a>.</rdfs:comment>
<rdfs:comment>Because prov:wasInfluencedBy is a broad relation, the more specific relations (prov:wasInformedBy, prov:actedOnBehalfOf, prov:endedBy, etc.) should be used when applicable.</rdfs:comment>
<editorialNote xml:lang="en">The sub-properties of prov:wasInfluencedBy can be elaborated 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 :spoon; prov:atLocation :kitchen ] .
@@ -971,6 +974,15 @@
<component>agents-responsibility</component>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Influence"/>
+ <rdfs:range>
+ <owl:Class>
+ <owl:unionOf rdf:parseType="Collection">
+ <rdf:Description rdf:about="http://www.w3.org/ns/prov#Activity"/>
+ <rdf:Description rdf:about="http://www.w3.org/ns/prov#Agent"/>
+ <rdf:Description rdf:about="http://www.w3.org/ns/prov#Entity"/>
+ </owl:unionOf>
+ </owl:Class>
+ </rdfs:range>
<rdfs:domain>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
@@ -980,20 +992,11 @@
</owl:unionOf>
</owl:Class>
</rdfs:domain>
- <rdfs:range>
- <owl:Class>
- <owl:unionOf rdf:parseType="Collection">
- <rdf:Description rdf:about="http://www.w3.org/ns/prov#Activity"/>
- <rdf:Description rdf:about="http://www.w3.org/ns/prov#Agent"/>
- <rdf:Description rdf:about="http://www.w3.org/ns/prov#Entity"/>
- </owl:unionOf>
- </owl:Class>
- </rdfs:range>
</owl:ObjectProperty>
<owl:Axiom>
- <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
+ <definition>influencee: an identifier (o2) for an entity, activity, or agent; </definition>
<dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence</dm>
- <owl:annotatedProperty rdf:resource="&rdfs;range"/>
+ <owl:annotatedProperty rdf:resource="&rdfs;domain"/>
<owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
<owl:annotatedTarget>
<owl:Class>
@@ -1007,8 +1010,8 @@
</owl:Axiom>
<owl:Axiom>
<dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence</dm>
- <definition>influencee: an identifier (o2) for an entity, activity, or agent; </definition>
- <owl:annotatedProperty rdf:resource="&rdfs;domain"/>
+ <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
+ <owl:annotatedProperty rdf:resource="&rdfs;range"/>
<owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
<owl:annotatedTarget>
<owl:Class>