renamed hasTemporalExtent to occurredAt, changed domain from Involved to Timed.
authorTim L <lebot@rpi.edu>
Thu, 23 Feb 2012 22:33:38 -0500
changeset 1672 d6db71fbccbf
parent 1671 99092133673b
child 1673 91e8f1942bc9
renamed hasTemporalExtent to occurredAt, changed domain from Involved to Timed.
added prov:generated as inverse of wasGeneratedBy
added Timed, made Usage, Generation and Activity subclasses of Timed.
ontology/ProvenanceOntology.owl
--- a/ontology/ProvenanceOntology.owl	Thu Feb 23 22:24:48 2012 -0500
+++ b/ontology/ProvenanceOntology.owl	Thu Feb 23 22:33:38 2012 -0500
@@ -69,17 +69,6 @@
     <!-- 
     ///////////////////////////////////////////////////////////////////////////////////////
     //
-    // Datatypes
-    //
-    ///////////////////////////////////////////////////////////////////////////////////////
-     -->
-
-    
-
-
-    <!-- 
-    ///////////////////////////////////////////////////////////////////////////////////////
-    //
     // Object Properties
     //
     ///////////////////////////////////////////////////////////////////////////////////////
@@ -179,6 +168,16 @@
     
 
 
+    <!-- http://www.w3.org/ns/prov#generated -->
+
+    <owl:ObjectProperty rdf:about="&prov;generated">
+        <rdfs:comment>This inverse of prov:wasGeneratedBy is defined so that Activities being described can reference their generated outputs directly without needing to &#39;stop&#39; and start describing the Entity. This helps &#39;Activity-centric&#39; modeling as opposed to &#39;Entity-centric&#39; modeling.</rdfs:comment>
+        <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
+        <owl:inverseOf rdf:resource="&prov;wasGeneratedBy"/>
+    </owl:ObjectProperty>
+    
+
+
     <!-- http://www.w3.org/ns/prov#hadOriginalSource -->
 
     <owl:ObjectProperty rdf:about="&prov;hadOriginalSource">
@@ -238,18 +237,6 @@
     
 
 
-    <!-- http://www.w3.org/ns/prov#hadTemporalExtent -->
-
-    <owl:ObjectProperty rdf:about="&prov;hadTemporalExtent">
-        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
-        <rdfs:label xml:lang="en">had temporal extent</rdfs:label>
-        <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
-        <rdfs:domain rdf:resource="&prov;Involvement"/>
-        <rdfs:range rdf:resource="&prov;TimeInstant"/>
-    </owl:ObjectProperty>
-    
-
-
     <!-- http://www.w3.org/ns/prov#hasAnnotation -->
 
     <owl:ObjectProperty rdf:about="&prov;hasAnnotation">
@@ -271,6 +258,18 @@
     
 
 
+    <!-- http://www.w3.org/ns/prov#occurredAt -->
+
+    <owl:ObjectProperty rdf:about="&prov;occurredAt">
+        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+        <rdfs:label xml:lang="en">had temporal extent</rdfs:label>
+        <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
+        <rdfs:range rdf:resource="&prov;TimeInstant"/>
+        <rdfs:domain rdf:resource="&prov;Timed"/>
+    </owl:ObjectProperty>
+    
+
+
     <!-- http://www.w3.org/ns/prov#qualified -->
 
     <owl:ObjectProperty rdf:about="&prov;qualified">
@@ -531,6 +530,7 @@
     <owl:Class rdf:about="&prov;Activity">
         <rdfs:label xml:lang="en">Activity</rdfs:label>
         <rdfs:subClassOf rdf:resource="&prov;Element"/>
+        <rdfs:subClassOf rdf:resource="&prov;Timed"/>
         <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>
@@ -580,6 +580,7 @@
 
     <owl:Class rdf:about="&prov;Attribution">
         <rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
+        <rdfs:comment>An instance of prov:Attribution provides additional descriptions about the binary prov:wasAttributedTo relation from a prov:Entity to some prov:Agent that is responsible for it. For example, :cake prov:wasAttributedTo :baker; prov:qualified [ a prov:Attribution; prov:entity :baker; :foo :bar ].</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
     </owl:Class>
     
@@ -649,6 +650,7 @@
 
     <owl:Class rdf:about="&prov;Generation">
         <rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
+        <rdfs:subClassOf rdf:resource="&prov;Timed"/>
         <rdfs:comment xml:lang="de">An instance of prov:Generation provides additional descriptions about the binary prov:wasGeneratedBy relation from a generated prov:Entity to the prov:Activity that generated it. For example, :cake prov:wasGeneratedBy :baking; prov:qualified [ a prov:Generation; prov:entity :baking; :foo :bar ].</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
     </owl:Class>
@@ -819,6 +821,12 @@
     
 
 
+    <!-- http://www.w3.org/ns/prov#Timed -->
+
+    <owl:Class rdf:about="&prov;Timed"/>
+    
+
+
     <!-- http://www.w3.org/ns/prov#Trace -->
 
     <owl:Class rdf:about="&prov;Trace">
@@ -835,11 +843,12 @@
 
     <owl:Class rdf:about="&prov;Usage">
         <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
+        <rdfs:subClassOf rdf:resource="&prov;Timed"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
     </owl:Class>
 </rdf:RDF>
 
 
 
-<!-- Generated by the OWL API (version 3.2.3.1824) http://owlapi.sourceforge.net -->
+<!-- Generated by the OWL API (version 3.1.0.20069) http://owlapi.sourceforge.net -->