merge
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Thu, 19 Apr 2012 10:35:05 +0100
changeset 2392 a65811ebbda5
parent 2391 056bb5eaed1b (current diff)
parent 2389 c717707b05ec (diff)
child 2393 95cae3e3243f
merge
--- a/ontology/ProvenanceOntology.owl	Thu Apr 19 10:34:49 2012 +0100
+++ b/ontology/ProvenanceOntology.owl	Thu Apr 19 10:35:05 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 -->