added Activity as domain of endedAtTime/startedAtTime - PROV-ISSUE-104
authorTim L <lebot@rpi.edu>
Fri, 09 Mar 2012 08:29:37 -0500
changeset 1847 a52fd5a26104
parent 1828 69004edd5f65
child 1848 878e96a62f9c
added Activity as domain of endedAtTime/startedAtTime - PROV-ISSUE-104
ontology/ProvenanceOntology.owl
--- a/ontology/ProvenanceOntology.owl	Thu Mar 08 22:41:06 2012 +0000
+++ b/ontology/ProvenanceOntology.owl	Fri Mar 09 08:29:37 2012 -0500
@@ -175,8 +175,8 @@
         <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
         <rdfs:comment>This property is not functional because the many values could be at a variety of granularies (In this room, in that chair).</rdfs:comment>
+        <rdfs:comment>DM: Location is an optional attribute of Entity and Activity.</rdfs:comment>
         <prov:category>simple</prov:category>
-        <rdfs:comment>DM: Location is an optional attribute of Entity and Activity.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Location"/>
         <rdfs:range rdf:resource="&prov;Location"/>
     </owl:ObjectProperty>
@@ -486,8 +486,8 @@
     <owl:ObjectProperty rdf:about="&prov;used">
         <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+        <prov:category>simple</prov:category>
         <rdfs:comment xml:lang="en">A prov:Entity that was used by this prov:Activity. For example, :baking prov:used :spoon, :egg, :oven .</rdfs:comment>
-        <prov:category>simple</prov:category>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
         <rdfs:domain rdf:resource="&prov;Activity"/>
@@ -685,16 +685,7 @@
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <prov:category>simple</prov:category>
         <rdfs:range rdf:resource="&xsd;dateTime"/>
-    </owl:DatatypeProperty>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#inXSDDateTime -->
-
-    <owl:DatatypeProperty rdf:about="&prov;inXSDDateTime">
-        <prov:category>simple</prov:category>
-        <rdfs:range rdf:resource="&xsd;dateTime"/>
-        <rdfs:domain rdf:resource="&prov;TimeInstant"/>
+        <rdfs:domain rdf:resource="&prov;Activity"/>
     </owl:DatatypeProperty>
     
 
@@ -705,6 +696,7 @@
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <prov:category>simple</prov:category>
         <rdfs:range rdf:resource="&xsd;dateTime"/>
+        <rdfs:domain rdf:resource="&prov;Activity"/>
     </owl:DatatypeProperty>
     
 
@@ -731,8 +723,8 @@
     <owl:Class rdf:about="&prov;Activity">
         <rdfs:subClassOf rdf:resource="&owl;Thing"/>
         <owl:disjointWith rdf:resource="&prov;Entity"/>
+        <rdfs:comment xml:lang="en">Activity is defined to be &#39;an identifiable activity, which performs a piece of work.&#39;</rdfs:comment>
         <prov:category>simple</prov:category>
-        <rdfs:comment xml:lang="en">Activity is defined to be &#39;an identifiable activity, which performs a piece of work.&#39;</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
     </owl:Class>
     
@@ -753,8 +745,8 @@
 
     <owl:Class rdf:about="&prov;Agent">
         <rdfs:subClassOf rdf:resource="&prov;Entity"/>
+        <prov:category>simple</prov:category>
         <rdfs:comment xml:lang="en">An agent represents a characterized entity capable of activity.</rdfs:comment>
-        <prov:category>simple</prov:category>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent"/>
     </owl:Class>
     
@@ -1045,8 +1037,8 @@
 
     <owl:Class rdf:about="&prov;TimeInstant">
         <rdfs:subClassOf rdf:resource="&owl;Thing"/>
+        <rdfs:comment>deprecate in favor of InstantaneousEvent? -Tim 6 march 2012</rdfs:comment>
         <prov:category>simple</prov:category>
-        <rdfs:comment>deprecate in favor of InstantaneousEvent? -Tim 6 march 2012</rdfs:comment>
         <rdfs:comment xml:lang="en">&#39;Instants are, intuitively, point-like in that they have no interior points&#39;
 reusing notion from W3C OWL-Time Working Draft (http://www.w3.org/TR/owl-time/), but not associating to it directly because it is not a Recommendation.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
@@ -1062,8 +1054,8 @@
     <owl:Class rdf:about="&prov;Trace">
         <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
         <rdfs:comment xml:lang="en">A prov:Trace can be from any prov:Element to any prov:Element, so it cannot be a subclass of prov:EntityInvolvement or prov:ActivityInvolvement.</rdfs:comment>
+        <prov:category>simple</prov:category>
         <rdfs:comment xml:lang="en">An instance of prov:Trace provides additional descriptions about the binary prov:tracedTo relation from some prov:Element (Entity or Activity) to some other prov:Element. For example, :stomach_ache prov:tracedTo :spoon; prov:qualified [ a prov:Trace; prov:entity :spoon; :foo :bar ].</rdfs:comment>
-        <prov:category>simple</prov:category>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Traceability"/>
         <prov:unqualifiedForm rdf:resource="&prov;tracedTo"/>