changing domain of hadRole per http://www.w3.org/2011/prov/track/issues/456
authorTim L <lebot@rpi.edu>
Tue, 24 Jul 2012 09:07:01 -0400
changeset 4243 de3bac05e091
parent 4242 ec83dea1402f
child 4244 3bd37d2518aa
changing domain of hadRole per http://www.w3.org/2011/prov/track/issues/456
ontology/ProvenanceOntology.owl
ontology/prov.ttl
--- a/ontology/ProvenanceOntology.owl	Tue Jul 24 02:11:29 2012 -0600
+++ b/ontology/ProvenanceOntology.owl	Tue Jul 24 09:07:01 2012 -0400
@@ -8,6 +8,7 @@
     <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
 ]>
 
+
 <rdf:RDF xmlns="http://www.w3.org/ns/prov#"
      xml:base="http://www.w3.org/ns/prov"
      xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
@@ -51,14 +52,14 @@
         <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>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     </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>
+        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&rdfs;label">
         <rdfs:comment xml:lang="en"></rdfs:comment>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     </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>
-        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
-    </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"/>
@@ -73,19 +74,19 @@
         <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#category">
+        <rdfs:comment xml:lang="en">Classify prov-o terms into three categories, including &#39;starting-point&#39;, &#39;qualifed&#39;, and &#39;extended&#39;. This classification is used by the prov-o html document to gently introduce prov-o terms to its users. </rdfs:comment>
+        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+    </owl:AnnotationProperty>
     <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"/>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#category">
-        <rdfs:comment xml:lang="en">Classify prov-o terms into three categories, including &#39;starting-point&#39;, &#39;qualifed&#39;, and &#39;extended&#39;. This classification is used by the prov-o html document to gently introduce prov-o terms to its users. </rdfs:comment>
-        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
-    </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>
@@ -408,10 +409,10 @@
     <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>
         <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>
-        <definition xml:lang="en">prov:hadRole references the Role (i.e. the function of an entity with respect to an activity), in the context of a usage, generation, association, start, and end.</definition>
         <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"/>
@@ -420,11 +421,7 @@
             <owl:Class>
                 <owl:unionOf rdf:parseType="Collection">
                     <rdf:Description rdf:about="http://www.w3.org/ns/prov#Association"/>
-                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#End"/>
-                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Generation"/>
-                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Invalidation"/>
-                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Start"/>
-                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Usage"/>
+                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#InstantaneousEvent"/>
                 </owl:unionOf>
             </owl:Class>
         </rdfs:domain>
@@ -652,18 +649,18 @@
         <inverse>qualifiedInfluenceOf</inverse>
         <component>derivations</component>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
-		<rdfs:domain>
-		    <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:domain>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Influence"/>
         <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Influence"/>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
+        <rdfs:domain>
+            <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:domain>
     </owl:ObjectProperty>
     
 
@@ -957,6 +954,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:domain>
+            <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:domain>
         <rdfs:range>
             <owl:Class>
                 <owl:unionOf rdf:parseType="Collection">
@@ -966,20 +972,11 @@
                 </owl:unionOf>
             </owl:Class>
         </rdfs:range>
-        <rdfs:domain>
-            <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:domain>
     </owl:ObjectProperty>
     <owl:Axiom>
+        <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
         <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"/>
+        <owl:annotatedProperty rdf:resource="&rdfs;range"/>
         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
         <owl:annotatedTarget>
             <owl:Class>
@@ -992,9 +989,9 @@
         </owl:annotatedTarget>
     </owl:Axiom>
     <owl:Axiom>
-        <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence</dm>
-        <owl:annotatedProperty rdf:resource="&rdfs;range"/>
+        <definition>influencee: an identifier (o2) for an entity, activity, or agent; </definition>
+        <owl:annotatedProperty rdf:resource="&rdfs;domain"/>
         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
         <owl:annotatedTarget>
             <owl:Class>
--- a/ontology/prov.ttl	Tue Jul 24 02:11:29 2012 -0600
+++ b/ontology/prov.ttl	Tue Jul 24 09:07:01 2012 -0400
@@ -682,11 +682,7 @@
     rdfs:domain :Influence, [
         a owl:Class ;
         owl:unionOf (:Association
-            :End
-            :Generation
-            :Invalidation
-            :Start
-            :Usage
+            :InstantaneousEvent
         )
     ] ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
@@ -694,7 +690,7 @@
     rdfs:range :Role ;
     :category "qualified" ;
     :component "agents-responsibility" ;
-    :definition "prov:hadRole references the Role (i.e. the function of an entity with respect to an activity), in the context of a usage, generation, association, start, and end."@en ;
+    :editorsDefinition "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."@en ;
     :inverse "wasRoleIn" ;
     :sharesDefinitionWith :Role .
 
@@ -910,7 +906,13 @@
 :qualifiedInfluence
     a owl:ObjectProperty ;
     rdfs:comment "Because prov:qualifiedInfluence is a broad relation, the more specific relations (qualifiedCommunication, qualifiedDelegation, qualifiedEnd, etc.) should be used when applicable."@en ;
-    rdfs:domain :Entity ;
+    rdfs:domain [
+        a owl:Class ;
+        owl:unionOf (:Activity
+            :Agent
+            :Entity
+        )
+    ] ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
     rdfs:label "qualifiedInfluence" ;
     rdfs:range :Influence ;
@@ -1295,6 +1297,20 @@
 
 []
     a owl:Axiom ;
+    owl:annotatedProperty rdfs:range ;
+    owl:annotatedSource :wasInfluencedBy ;
+    owl:annotatedTarget [
+        a owl:Class ;
+        owl:unionOf (:Activity
+            :Agent
+            :Entity
+        )
+    ] ;
+    :definition "influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;" ;
+    :dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence" .
+
+[]
+    a owl:Axiom ;
     owl:annotatedProperty rdfs:domain ;
     owl:annotatedSource :wasInfluencedBy ;
     owl:annotatedTarget [
@@ -1309,20 +1325,6 @@
 
 []
     a owl:Axiom ;
-    owl:annotatedProperty rdfs:range ;
-    owl:annotatedSource :wasInfluencedBy ;
-    owl:annotatedTarget [
-        a owl:Class ;
-        owl:unionOf (:Activity
-            :Agent
-            :Entity
-        )
-    ] ;
-    :definition "influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;" ;
-    :dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence" .
-
-[]
-    a owl:Axiom ;
     rdfs:comment "Quotation is a particular case of derivation (see http://www.w3.org/TR/prov-dm/#term-quotation) in which an entity is derived from an original entity by copying, or \"quoting\", some or all of it. " ;
     owl:annotatedProperty rdfs:subPropertyOf ;
     owl:annotatedSource :wasQuotedFrom ;