prov:wasStartedBy and prov:wasEndedBy should have range prov:Entity
authorStian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Thu, 19 Apr 2012 09:50:26 +0100
changeset 2388 f97e161190f8
parent 2386 e35dff3bbd37
child 2389 c717707b05ec
prov:wasStartedBy and prov:wasEndedBy should have range prov:Entity

and not be subproperties of prov:wasAssociatedWith
ontology/ProvenanceOntology.owl
--- a/ontology/ProvenanceOntology.owl	Wed Apr 18 19:14:28 2012 -0400
+++ b/ontology/ProvenanceOntology.owl	Thu Apr 19 09:50:26 2012 +0100
@@ -51,8 +51,8 @@
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
     </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&prov;definition"/>
+    <owl:AnnotationProperty rdf:about="&prov;editorialNote"/>
     <owl:AnnotationProperty rdf:about="&rdfs;label"/>
-    <owl:AnnotationProperty rdf:about="&prov;editorialNote"/>
     <owl:AnnotationProperty rdf:about="&prov;inverse"/>
     <owl:AnnotationProperty rdf:about="&rdfs;comment"/>
     <owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
@@ -86,6 +86,17 @@
     <!-- 
     ///////////////////////////////////////////////////////////////////////////////////////
     //
+    // Datatypes
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
     // Object Properties
     //
     ///////////////////////////////////////////////////////////////////////////////////////
@@ -506,7 +517,7 @@
         <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
         <prov:category>qualified</prov:category>
         <prov:component>entities-activities</prov:component>
-        <rdfs:comment xml:lang="en">If this Activity prov:wasEndedBy Agent :ag, then it can qualify how it was ended using prov:qualifiedEnd [ a prov:End;  prov:agent :ag; :foo :bar ].</rdfs:comment>
+        <rdfs:comment xml:lang="en">If this Activity prov:wasEndedBy Entity :e1, then it can qualify how it was ended using prov:qualifiedEnd [ a prov:End;  prov:entity :e1; :foo :bar ].</rdfs:comment>
         <rdfs:domain rdf:resource="&prov;Activity"/>
         <rdfs:range rdf:resource="&prov;End"/>
         <prov:unqualifiedForm rdf:resource="&prov;wasEndedBy"/>
@@ -616,7 +627,7 @@
         <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
         <prov:category>qualified</prov:category>
         <prov:component>entities-activities</prov:component>
-        <rdfs:comment xml:lang="en">If this Activity prov:wasStartedBy Agent :ag, then it can qualify how it was started using prov:qualifiedStart [ a prov:Start;  prov:agent :ag; :foo :bar ].</rdfs:comment>
+        <rdfs:comment xml:lang="en">If this Activity prov:wasStartedBy Entity :e1, then it can qualify how it was started using prov:qualifiedStart [ a prov:Start;  prov:entity :e1; :foo :bar ].</rdfs:comment>
         <rdfs:domain rdf:resource="&prov;Activity"/>
         <rdfs:range rdf:resource="&prov;Start"/>
         <prov:unqualifiedForm rdf:resource="&prov;wasStartedBy"/>
@@ -795,8 +806,9 @@
         <rdfs:comment xml:lang="en">End is when an activity is deemed to have ended. An end may refer to an entity, known as trigger, that terminated the activity.</rdfs:comment>
         <rdfs:domain rdf:resource="&prov;Activity"/>
         <prov:qualifiedForm rdf:resource="&prov;End"/>
+        <rdfs:range rdf:resource="&prov;Entity"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
         <prov:qualifiedForm rdf:resource="&prov;qualifiedEnd"/>
-        <rdfs:subPropertyOf rdf:resource="&prov;wasAssociatedWith"/>
     </owl:ObjectProperty>
     
 
@@ -873,8 +885,8 @@
         <rdfs:domain rdf:resource="&prov;Activity"/>
         <rdfs:range rdf:resource="&prov;Entity"/>
         <prov:qualifiedForm rdf:resource="&prov;Start"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
         <prov:qualifiedForm rdf:resource="&prov;qualifiedStart"/>
-        <rdfs:subPropertyOf rdf:resource="&prov;wasAssociatedWith"/>
     </owl:ObjectProperty>
     
 
@@ -1608,5 +1620,5 @@
 
 
 
-<!-- Generated by the OWL API (version 3.1.0.20069) http://owlapi.sourceforge.net -->
+<!-- Generated by the OWL API (version 3.2.3.1824) http://owlapi.sourceforge.net -->