removed StartByActivity
authorTim L <lebot@rpi.edu>
Tue, 15 May 2012 10:04:27 -0400
changeset 2831 4a589776bff9
parent 2830 1525ee04b900
child 2832 8eef80481036
removed StartByActivity
ontology/ProvenanceOntology.owl
ontology/prov.ttl
--- a/ontology/ProvenanceOntology.owl	Tue May 15 13:18:05 2012 +0100
+++ b/ontology/ProvenanceOntology.owl	Tue May 15 10:04:27 2012 -0400
@@ -57,22 +57,22 @@
     <owl:AnnotationProperty rdf:about="&prov;definition">
         <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>
     </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&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>
+    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&rdfs;label">
         <rdfs:comment xml:lang="en"></rdfs:comment>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&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>
-    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&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>
     </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&rdfs;comment">
         <rdfs:comment xml:lang="en"></rdfs:comment>
     </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="&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>
     </owl:AnnotationProperty>
@@ -321,6 +321,7 @@
                     <rdf:Description rdf:about="&prov;Derivation"/>
                     <rdf:Description rdf:about="&prov;Invalidation"/>
                     <rdf:Description rdf:about="&prov;Responsibility"/>
+                    <rdf:Description rdf:about="&prov;Start"/>
                 </owl:unionOf>
             </owl:Class>
         </rdfs:domain>
@@ -706,21 +707,6 @@
     
 
 
-    <!-- http://www.w3.org/ns/prov#qualifiedStartByActivity -->
-
-    <owl:ObjectProperty rdf:about="&prov;qualifiedStartByActivity">
-        <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
-        <prov:inverse>activityStartedActivity</prov:inverse>
-        <prov:category>qualified</prov:category>
-        <rdfs:comment xml:lang="en">If this Activity prov:wasStartedByActivity :a, then it can qualify how it was started using prov:qualifiedStart [ a prov:Start;  prov:activity :a; :foo :bar ].</rdfs:comment>
-        <prov:component>entities-activities</prov:component>
-        <rdfs:domain rdf:resource="&prov;Activity"/>
-        <rdfs:range rdf:resource="&prov;StartByActivity"/>
-        <prov:unqualifiedForm rdf:resource="&prov;wasStartedByActivity"/>
-    </owl:ObjectProperty>
-    
-
-
     <!-- http://www.w3.org/ns/prov#qualifiedTrace -->
 
     <owl:ObjectProperty rdf:about="&prov;qualifiedTrace">
@@ -1057,26 +1043,6 @@
     
 
 
-    <!-- http://www.w3.org/ns/prov#wasStartedByActivity -->
-
-    <owl:ObjectProperty rdf:about="&prov;wasStartedByActivity">
-        <prov:category>starting-point</prov:category>
-        <prov:inverse>activityStarted</prov:inverse>
-        <prov:component>entities-activities</prov:component>
-        <rdfs:comment xml:lang="en">The start of an activity with an implicit trigger generated by another activity.</rdfs:comment>
-        <rdfs:range rdf:resource="&prov;Activity"/>
-        <rdfs:domain rdf:resource="&prov;Activity"/>
-        <prov:qualifiedForm rdf:resource="&prov;StartByActivity"/>
-        <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
-        <prov:qualifiedForm rdf:resource="&prov;qualifiedStartByActivity"/>
-        <owl:propertyChainAxiom rdf:parseType="Collection">
-            <rdf:Description rdf:about="&prov;qualifiedStartByActivity"/>
-            <rdf:Description rdf:about="&prov;activity"/>
-        </owl:propertyChainAxiom>
-    </owl:ObjectProperty>
-    
-
-
     <!-- 
     ///////////////////////////////////////////////////////////////////////////////////////
     //
@@ -1773,24 +1739,6 @@
     
 
 
-    <!-- http://www.w3.org/ns/prov#StartByActivity -->
-
-    <owl:Class rdf:about="&prov;StartByActivity">
-        <rdfs:label>StartByActivity</rdfs:label>
-        <rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
-        <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-wasStartedByActivity</prov:prov-dm>
-        <prov:definition>Start by Activity is the start of an activity with an implicit trigger generated by another activity.</prov:definition>
-        <rdfs:comment xml:lang="en">An instance of prov:StartedByActivity provides additional descriptions about the binary prov:wasStartedByActivity relation from some started prov:Activity to another prov:Activity started it. For example, :second_leg_of_relay prov:wasStartedByActivity :handed_baton; prov:qualified [ a prov:Usage; prov:entity :handed_baton; :foo :bar; prov:atTime &#39;2012-03-09T08:05:08-05:00&#39;^^xsd:dateTime ].</rdfs:comment>
-        <prov:category>qualified</prov:category>
-        <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#types-of-events</prov:prov-dm-constraints>
-        <prov:component>entities-activities</prov:component>
-        <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-StartByActivity</prov:prov-dm-constraints>
-        <prov:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-startByActivity</prov:prov-n>
-        <prov:unqualifiedForm rdf:resource="&prov;wasStartedByActivity"/>
-    </owl:Class>
-    
-
-
     <!-- http://www.w3.org/ns/prov#Trace -->
 
     <owl:Class rdf:about="&prov;Trace">
--- a/ontology/prov.ttl	Tue May 15 13:18:05 2012 +0100
+++ b/ontology/prov.ttl	Tue May 15 10:04:27 2012 -0400
@@ -454,19 +454,6 @@
     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Start" ;
     prov:unqualifiedForm prov:wasStartedBy .
 
-prov:StartByActivity
-    a owl:Class ;
-    rdfs:comment "An instance of prov:StartedByActivity provides additional descriptions about the binary prov:wasStartedByActivity relation from some started prov:Activity to another prov:Activity started it. For example, :second_leg_of_relay prov:wasStartedByActivity :handed_baton; prov:qualified [ a prov:Usage; prov:entity :handed_baton; :foo :bar; prov:atTime '2012-03-09T08:05:08-05:00'^^xsd:dateTime ]."@en ;
-    rdfs:label "StartByActivity" ;
-    rdfs:subClassOf prov:ActivityInvolvement ;
-    prov:category "qualified" ;
-    prov:component "entities-activities" ;
-    prov:definition "Start by Activity is the start of an activity with an implicit trigger generated by another activity." ;
-    prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-wasStartedByActivity" ;
-    prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-StartByActivity", "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#types-of-events" ;
-    prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-startByActivity" ;
-    prov:unqualifiedForm prov:wasStartedByActivity .
-
 prov:Trace
     a owl:Class ;
     rdfs:comment "An instance of prov:Trace provides additional descriptions about the binary prov:tracedTo relation from some prov:Entity to some other prov:Element. For example, :stomach_ache prov:tracedTo :spoon; prov:qualified [ a prov:Trace; prov:entity :spoon; :foo :bar ]."@en ;
@@ -660,6 +647,7 @@
         owl:unionOf (prov:Derivation
             prov:Invalidation
             prov:Responsibility
+            prov:Start
         )
     ] ;
     rdfs:range prov:Activity ;
@@ -972,16 +960,6 @@
     prov:inverse "startedActivity" ;
     prov:unqualifiedForm prov:wasStartedBy .
 
-prov:qualifiedStartByActivity
-    a owl:InverseFunctionalProperty, owl:ObjectProperty ;
-    rdfs:comment "If this Activity prov:wasStartedByActivity :a, then it can qualify how it was started using prov:qualifiedStart [ a prov:Start;  prov:activity :a; :foo :bar ]."@en ;
-    rdfs:domain prov:Activity ;
-    rdfs:range prov:StartByActivity ;
-    prov:category "qualified" ;
-    prov:component "entities-activities" ;
-    prov:inverse "activityStartedActivity" ;
-    prov:unqualifiedForm prov:wasStartedByActivity .
-
 prov:qualifiedTrace
     a owl:InverseFunctionalProperty, owl:ObjectProperty ;
     rdfs:comment "If this prov:wasAttributedTo Entity :e, then it can qualify how using prov:qualifiedTrace [ a prov:Trace;  prov:entity :e; :foo :bar ]. If this prov:wasAttributedTo Activity :a, then it can qualify how using prov:qualifiedTrace [ a prov:Trace;  prov:activity :a; :foo :bar ]."@en ;
@@ -1221,20 +1199,6 @@
     prov:inverse "started" ;
     prov:qualifiedForm prov:Start, prov:qualifiedStart .
 
-prov:wasStartedByActivity
-    a owl:ObjectProperty ;
-    rdfs:comment "The start of an activity with an implicit trigger generated by another activity."@en ;
-    rdfs:domain prov:Activity ;
-    rdfs:range prov:Activity ;
-    rdfs:subPropertyOf prov:involved ;
-    owl:propertyChainAxiom (prov:qualifiedStartByActivity
-        prov:activity
-    ) ;
-    prov:category "starting-point" ;
-    prov:component "entities-activities" ;
-    prov:inverse "activityStarted" ;
-    prov:qualifiedForm prov:StartByActivity, prov:qualifiedStartByActivity .
-
 []
     a owl:Axiom ;
     rdfs:comment "hadOriginalSource property is a particular case of wasDerivedFrom that aims to give credit to the source that originated some information." ;