Included relevant concepts from owl-time
authorStian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Fri, 21 Oct 2011 11:29:34 +0100
changeset 761 cc9ca0b7cce6
parent 760 996447ae712d
child 762 f0aa275db3a0
Included relevant concepts from owl-time

This avoids affecting DL levels. ALUN(D)

Added labels to various properties.

Set assymetric/etc. for some properties.

prov:Time now requires time:inXSDDateTime
ontology/ProvenanceOntology.owl
--- a/ontology/ProvenanceOntology.owl	Thu Oct 20 17:48:02 2011 +0100
+++ b/ontology/ProvenanceOntology.owl	Fri Oct 21 11:29:34 2011 +0100
@@ -3,7 +3,6 @@
 
 <!DOCTYPE rdf:RDF [
     <!ENTITY time "http://www.w3.org/2006/time#" >
-    <!ENTITY prov "http://www.w3.org/ns/prov-o/" >
     <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
     <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
     <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-xml#" >
@@ -16,18 +15,17 @@
      xml:base="http://www.w3.org/ns/prov-o/"
      xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
      xmlns:time="http://www.w3.org/2006/time#"
-     xmlns:prov="http://www.w3.org/ns/prov-o/"
      xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
      xmlns:owl="http://www.w3.org/2002/07/owl#"
      xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
      xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
-    <owl:Ontology rdf:about="">
-        <owl:versionInfo rdf:datatype="&xsd;string">0.02</owl:versionInfo>
-        <owl:imports rdf:resource="&time;" /> 
-        <rdfs:comment xml:lang="en"
-            >This document is published by the Provenance Working Group (http://www.w3.org/2011/prov/wiki/Main_Page). 
+    <owl:Ontology rdf:about="http://www.w3.org/ns/prov-o/">
+        <rdfs:comment rdf:datatype="&xsd;string">0.1</rdfs:comment>
+        <rdfs:comment xml:lang="en">This document is published by the Provenance Working Group (http://www.w3.org/2011/prov/wiki/Main_Page). 
 
 If you wish to make comments regarding this document, please send them to public-prov-wg@w3.org (subscribe, archives). All feedback is welcome.</rdfs:comment>
+        <rdfs:seeAlso rdf:resource="Overview.html"/>
+        <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-o/"/>
     </owl:Ontology>
     
 
@@ -35,6 +33,28 @@
     <!-- 
     ///////////////////////////////////////////////////////////////////////////////////////
     //
+    // Annotation properties
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // Datatypes
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
     // Object Properties
     //
     ///////////////////////////////////////////////////////////////////////////////////////
@@ -43,229 +63,302 @@
     
 
 
-    <!-- http://www.w3.org/ns/prov-o/assumedRoleOf -->
+    <!-- http://www.w3.org/2006/time#after -->
 
-    <owl:ObjectProperty rdf:about="assumedRoleOf">
-        <rdfs:domain rdf:resource="Entity"/>
-        <rdfs:range rdf:resource="EntityInRole"/>
+    <owl:ObjectProperty rdf:about="&time;after"/>
+    
+
+
+    <!-- http://www.w3.org/2006/time#hasBeginning -->
+
+    <owl:ObjectProperty rdf:about="&time;hasBeginning">
+        <rdfs:range rdf:resource="&time;Instant"/>
+        <rdfs:domain rdf:resource="&time;TemporalEntity"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/2006/time#hasEnd -->
+
+    <owl:ObjectProperty rdf:about="&time;hasEnd">
+        <rdfs:range rdf:resource="&time;Instant"/>
+        <rdfs:domain rdf:resource="&time;TemporalEntity"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/assumedBy -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o/assumedBy">
+        <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+        <rdfs:label xml:lang="en">assumed by</rdfs:label>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov-o/EntityInRole"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/assumedRoleAt -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o/assumedRoleAt">
+        <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+        <rdfs:label xml:lang="en">assumed role at</rdfs:label>
+        <rdfs:range rdf:resource="&time;Instant"/>
+        <rdfs:subPropertyOf rdf:resource="&time;hasBeginning"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov-o/EntityInRole"/>
+        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov-o/hasTemporalValue"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/dependedOn -->
 
-    <owl:ObjectProperty rdf:about="dependedOn">
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o/dependedOn">
         <rdf:type rdf:resource="&owl;TransitiveProperty"/>
-        <rdfs:range rdf:resource="Entity"/>
-        <rdfs:domain rdf:resource="Entity"/>
+        <rdfs:label xml:lang="en">depended on</rdfs:label>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/endedAt -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o/endedAt">
+        <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+        <rdfs:label xml:lang="en">ended at</rdfs:label>
+        <rdfs:range rdf:resource="&time;Instant"/>
+        <rdfs:subPropertyOf rdf:resource="&time;hasEnd"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov-o/ProcessExecution"/>
+        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov-o/hasTemporalValue"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/followed -->
 
-    <owl:ObjectProperty rdf:about="followed">
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o/followed">
+        <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
         <rdf:type rdf:resource="&owl;TransitiveProperty"/>
         <rdfs:label xml:lang="en">preceded</rdfs:label>
-        <rdfs:domain rdf:resource="ProcessExecution"/>
-        <rdfs:range rdf:resource="ProcessExecution"/>
-        <rdfs:subPropertyOf rdf:resource="&time;intervalAfter" />
+        <rdfs:subPropertyOf rdf:resource="&time;after"/>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov-o/ProcessExecution"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov-o/ProcessExecution"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/hadLocation -->
 
-    <owl:ObjectProperty rdf:about="hadLocation">
-        <rdfs:domain rdf:resource="Entity"/>
-        <rdfs:range rdf:resource="Location"/>
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o/hadLocation">
+        <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+        <rdfs:label xml:lang="en">had location</rdfs:label>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov-o/Location"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/hadParticipant -->
 
-    <owl:ObjectProperty rdf:about="hadParticipant">
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o/hadParticipant">
         <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
         <rdfs:label xml:lang="en">had participant</rdfs:label>
-        <rdfs:range rdf:resource="Entity"/>
-        <rdfs:domain rdf:resource="ProcessExecution"/>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov-o/ProcessExecution"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/hadRecipe -->
 
-    <owl:ObjectProperty rdf:about="hadRecipe">
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o/hadRecipe">
         <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
         <rdfs:label xml:lang="en">had recipe</rdfs:label>
-        <rdfs:comment xml:lang="en"
-            >The ProcessExecution activity performed was described by
+        <rdfs:comment xml:lang="en">The ProcessExecution activity performed was described by
             the given recipe resource. Process specifications, as
             referred to by recipe links, are out of scope of this
             specification</rdfs:comment>
-        <rdfs:domain rdf:resource="ProcessExecution"/>
-        <rdfs:range rdf:resource="Recipe"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov-o/ProcessExecution"/>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov-o/Recipe"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/hasTemporalValue -->
 
-    <owl:ObjectProperty rdf:about="hasTemporalValue">
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o/hasTemporalValue">
+        <rdfs:label xml:lang="en">has temporal value</rdfs:label>
         <rdfs:range rdf:resource="&time;TemporalEntity"/>
         <rdfs:domain>
             <owl:Class>
                 <owl:unionOf rdf:parseType="Collection">
-                    <rdf:Description rdf:about="Entity"/>
-                        <rdf:Description rdf:about="ProcessExecution"/>
+                    <rdf:Description rdf:about="http://www.w3.org/ns/prov-o/Entity"/>
+                    <rdf:Description rdf:about="http://www.w3.org/ns/prov-o/ProcessExecution"/>
                 </owl:unionOf>
             </owl:Class>
         </rdfs:domain>
     </owl:ObjectProperty>
     
-    <!-- adapted from components/Time.ttl and
-    components/Time/example-3-extension.ttl -->
-    <owl:ObjectProperty rdf:about="startedAt">
-        <rdfs:subPropertyOf rdf:resource="hasTemporalValue" />
-        <rdfs:subPropertyOf rdf:resource="&time;hasBeginning" />
-        <rdfs:domain rdf:resource="ProcessExecution"/>
+
+
+    <!-- http://www.w3.org/ns/prov-o/startedAt -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o/startedAt">
+        <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+        <rdfs:label xml:lang="en">started at</rdfs:label>
         <rdfs:range rdf:resource="&time;Instant"/>
-    </owl:ObjectProperty>
-    <owl:ObjectProperty rdf:about="endedAt">
-        <rdfs:subPropertyOf rdf:resource="hasTemporalValue" />
-        <rdfs:subPropertyOf rdf:resource="&time;hasEnd" />
-        <rdfs:domain rdf:resource="ProcessExecution"/>
-        <rdfs:range rdf:resource="&time;Instant"/>
-    </owl:ObjectProperty>
-    <owl:ObjectProperty rdf:about="wasGeneratedAt">
-        <rdfs:subPropertyOf rdf:resource="hasTemporalValue" />
-        <rdfs:subPropertyOf rdf:resource="&time;hasBeginning" />
-        <rdfs:domain rdf:resource="Entity"/>
-        <rdfs:range rdf:resource="&time;Instant"/>
-    </owl:ObjectProperty>
-    <owl:ObjectProperty rdf:about="assumedRoleAt">
-        <rdfs:subPropertyOf rdf:resource="hasTemporalValue" />
-        <rdfs:subPropertyOf rdf:resource="&time;hasBeginning" />
-        <rdfs:domain rdf:resource="EntityInRole"/>
-        <rdfs:range rdf:resource="&time;Instant"/>
+        <rdfs:subPropertyOf rdf:resource="&time;hasBeginning"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov-o/ProcessExecution"/>
+        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov-o/hasTemporalValue"/>
     </owl:ObjectProperty>
     
-    <owl:Class rdf:about="Time">
-        <rdfs:subClassOf rdf:resource="&time;Instant" />
-        <rdfs:comment xml:lang="en">
-        FIXME: should be an equivalent class of time:Instant when
-        time:inDateTimeXSD is given 
-        </rdfs:comment>
-    </owl:Class>  
-  
+
 
     <!-- http://www.w3.org/ns/prov-o/used -->
 
-    <owl:ObjectProperty rdf:about="used">
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o/used">
         <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
-        <rdfs:range rdf:resource="Entity"/>
-        <rdfs:domain rdf:resource="ProcessExecution"/>
+        <rdfs:label xml:lang="en">used</rdfs:label>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov-o/ProcessExecution"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/wasComplementOf -->
 
-    <owl:ObjectProperty rdf:about="wasComplementOf">
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o/wasComplementOf">
         <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
-        <rdfs:label xml:lang="en"
-            >was complement of</rdfs:label>
-        <rdfs:comment xml:lang="en"
-            >wasComplementOf links two instances of Entity, where &quot;it is relationship between two characterized entities asserted to have compatible characterization over some continuous time interval.&quot;</rdfs:comment>
-        <rdfs:domain rdf:resource="Entity"/>
-        <rdfs:range rdf:resource="Entity"/>
+        <rdfs:label xml:lang="en">was complement of</rdfs:label>
+        <rdfs:comment xml:lang="en">wasComplementOf links two instances of Entity, where &quot;it is relationship between two characterized entities asserted to have compatible characterization over some continuous time interval.&quot;</rdfs:comment>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/wasControlledBy -->
 
-    <owl:ObjectProperty rdf:about="wasControlledBy">
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o/wasControlledBy">
         <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
-        <rdfs:label xml:lang="en"
-            >was controlled by</rdfs:label>
-        <rdfs:range rdf:resource="Agent"/>
-        <rdfs:domain rdf:resource="ProcessExecution"/>
+        <rdfs:label xml:lang="en">was controlled by</rdfs:label>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov-o/Agent"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov-o/ProcessExecution"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/wasDerivedFrom -->
 
-    <owl:ObjectProperty rdf:about="wasDerivedFrom">
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o/wasDerivedFrom">
         <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
-        <rdfs:label xml:lang="en"
-            >was derived from</rdfs:label>
-        <rdfs:comment xml:lang="en"
-            >wasDerivedFrom links two distinct characterized entities, where &quot;some characterized entity is transformed from, created from, or affected by another characterized entity.&quot;</rdfs:comment>
-        <rdfs:range rdf:resource="Entity"/>
-        <rdfs:domain rdf:resource="Entity"/>
-        <rdfs:subPropertyOf rdf:resource="dependedOn"/>
+        <rdfs:label xml:lang="en">was derived from</rdfs:label>
+        <rdfs:comment xml:lang="en">wasDerivedFrom links two distinct characterized entities, where &quot;some characterized entity is transformed from, created from, or affected by another characterized entity.&quot;</rdfs:comment>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov-o/dependedOn"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/wasEventuallyDerivedFrom -->
 
-    <owl:ObjectProperty rdf:about="wasEventuallyDerivedFrom">
-        <rdfs:comment rdf:datatype="&xsd;string"
-            >The current definition of &quot;wasDerivedFrom&quot; states that there was an activity of &quot;transformed from, created from, or affected by&quot; that links the two Entity instances, which is *summarized* by the wasDerivedFrom property. Hence, &quot;Process Execution Independent Derivation Expression&quot; is not consistent with current definition of derivation.
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o/wasEventuallyDerivedFrom">
+        <rdfs:comment rdf:datatype="&xsd;string">The current definition of &quot;wasDerivedFrom&quot; states that there was an activity of &quot;transformed from, created from, or affected by&quot; that links the two Entity instances, which is *summarized* by the wasDerivedFrom property. Hence, &quot;Process Execution Independent Derivation Expression&quot; is not consistent with current definition of derivation.
 
 This is Issue 126 (http://www.w3.org/2011/prov/track/issues/126)</rdfs:comment>
-        <rdfs:range rdf:resource="Entity"/>
-        <rdfs:domain rdf:resource="Entity"/>
-        <rdfs:subPropertyOf rdf:resource="wasDerivedFrom"/>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov-o/wasDerivedFrom"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/wasGeneratedAt -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o/wasGeneratedAt">
+        <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+        <rdfs:label xml:lang="en">was generated at</rdfs:label>
+        <rdfs:range rdf:resource="&time;Instant"/>
+        <rdfs:subPropertyOf rdf:resource="&time;hasBeginning"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov-o/hasTemporalValue"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/wasGeneratedBy -->
 
-    <owl:ObjectProperty rdf:about="wasGeneratedBy">
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o/wasGeneratedBy">
         <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
-        <rdfs:label xml:lang="en"
-            >was generated by</rdfs:label>
-        <rdfs:comment xml:lang="en"
-            >wasGeneratedBy links Entitites with ProcessExecution representing that entity was generated as a result of ProcessExecution</rdfs:comment>
-        <rdfs:domain rdf:resource="Entity"/>
-        <rdfs:range rdf:resource="ProcessExecution"/>
+        <rdfs:label xml:lang="en">was generated by</rdfs:label>
+        <rdfs:comment xml:lang="en">wasGeneratedBy links Entitites with ProcessExecution representing that entity was generated as a result of ProcessExecution</rdfs:comment>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov-o/ProcessExecution"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/wasInformedBy -->
 
-    <owl:ObjectProperty rdf:about="wasInformedBy">
-        <rdfs:comment rdf:datatype="&xsd;string"
-            >Proposal to change the name to &quot;Dependencies amongst Process Executions&quot; to avoid ambiguities</rdfs:comment>
-        <rdfs:range rdf:resource="ProcessExecution"/>
-        <rdfs:domain rdf:resource="ProcessExecution"/>
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o/wasInformedBy">
+        <rdfs:label xml:lang="en">was informed by</rdfs:label>
+        <rdfs:comment rdf:datatype="&xsd;string">Proposal to change the name to &quot;Dependencies amongst Process Executions&quot; to avoid ambiguities</rdfs:comment>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov-o/ProcessExecution"/>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov-o/ProcessExecution"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/wasScheduledAfter -->
 
-    <owl:ObjectProperty rdf:about="wasScheduledAfter">
-        <rdfs:range rdf:resource="ProcessExecution"/>
-        <rdfs:domain rdf:resource="ProcessExecution"/>
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o/wasScheduledAfter">
+        <rdfs:label xml:lang="en">was scheduled after</rdfs:label>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov-o/ProcessExecution"/>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov-o/ProcessExecution"/>
     </owl:ObjectProperty>
     
 
 
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // Data properties
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- http://www.w3.org/2006/time#inXSDDateTime -->
+
+    <owl:DatatypeProperty rdf:about="&time;inXSDDateTime">
+        <rdfs:range rdf:resource="&xsd;dateTime"/>
+        <rdfs:domain rdf:resource="&time;Instant"/>
+    </owl:DatatypeProperty>
+    
 
 
     <!-- 
@@ -281,61 +374,86 @@
 
     <!-- http://www.w3.org/2006/time#Instant -->
 
+    <owl:Class rdf:about="&time;Instant">
+        <rdfs:subClassOf rdf:resource="&time;TemporalEntity"/>
+    </owl:Class>
+    
+
+
+    <!-- http://www.w3.org/2006/time#Interval -->
+
+    <owl:Class rdf:about="&time;Interval">
+        <rdfs:subClassOf rdf:resource="&time;TemporalEntity"/>
+    </owl:Class>
+    
+
+
+    <!-- http://www.w3.org/2006/time#TemporalEntity -->
+
+    <owl:Class rdf:about="&time;TemporalEntity">
+        <owl:equivalentClass>
+            <owl:Class>
+                <owl:unionOf rdf:parseType="Collection">
+                    <rdf:Description rdf:about="&time;Instant"/>
+                    <rdf:Description rdf:about="&time;Interval"/>
+                </owl:unionOf>
+            </owl:Class>
+        </owl:equivalentClass>
+    </owl:Class>
+    
+
 
     <!-- http://www.w3.org/ns/prov-o/Agent -->
 
-    <owl:Class rdf:about="Agent">
-        <rdfs:subClassOf rdf:resource="Entity"/>
-        <rdfs:comment xml:lang="en"
-            >An agent represents a characterized entity capable of activity.</rdfs:comment>
+    <owl:Class rdf:about="http://www.w3.org/ns/prov-o/Agent">
+        <rdfs:label xml:lang="en">Agent</rdfs:label>
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+        <rdfs:comment xml:lang="en">An agent represents a characterized entity capable of activity.</rdfs:comment>
     </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/Entity -->
 
-    <owl:Class rdf:about="Entity">
-        <rdfs:comment xml:lang="en"
-            >An identifiable characterized entity.</rdfs:comment>
+    <owl:Class rdf:about="http://www.w3.org/ns/prov-o/Entity">
+        <rdfs:label xml:lang="en">Entity</rdfs:label>
+        <rdfs:comment xml:lang="en">An identifiable characterized entity.</rdfs:comment>
     </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/EntityInRole -->
 
-    <owl:Class rdf:about="EntityInRole">
-        <rdfs:label xml:lang="en">Entity in Role</rdfs:label>
-        <rdfs:subClassOf rdf:resource="Entity"/>
-        <rdfs:comment xml:lang="en"
-            >Entity in role is defined to be &quot;a function assumed by a entity or an agent.&quot;</rdfs:comment>
+    <owl:Class rdf:about="http://www.w3.org/ns/prov-o/EntityInRole">
+        <rdfs:label xml:lang="en">Entity In Role</rdfs:label>
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+        <rdfs:comment xml:lang="en">Entity in role is defined to be &quot;a function assumed by a entity or an agent.&quot;</rdfs:comment>
     </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/Location -->
 
-    <owl:Class rdf:about="Location"/>
+    <owl:Class rdf:about="http://www.w3.org/ns/prov-o/Location">
+        <rdfs:label xml:lang="en">Location</rdfs:label>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/ProcessExecution -->
 
-    <owl:Class rdf:about="ProcessExecution">
-        <rdfs:label xml:lang="en"
-            >Process Execution</rdfs:label>
-        <rdfs:comment xml:lang="en"
-            >ProcessExecution is defined to be &quot;an identifiable activity, which performs a piece of work.&quot;</rdfs:comment>
+    <owl:Class rdf:about="http://www.w3.org/ns/prov-o/ProcessExecution">
+        <rdfs:label xml:lang="en">Process Execution</rdfs:label>
+        <rdfs:comment xml:lang="en">ProcessExecution is defined to be &quot;an identifiable activity, which performs a piece of work.&quot;</rdfs:comment>
     </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/ProvenanceContainer -->
 
-    <owl:Class rdf:about="ProvenanceContainer">
-        <rdfs:label xml:lang="en"
-            >Provenance Container</rdfs:label>
-        <rdfs:comment rdf:datatype="&xsd;string"
-            >ProvenanceContainer is defined to be an aggregation of provenance assertions. A provenance container SHOULD have an URI associated with it.
+    <owl:Class rdf:about="http://www.w3.org/ns/prov-o/ProvenanceContainer">
+        <rdfs:label xml:lang="en">Provenance Container</rdfs:label>
+        <rdfs:comment rdf:datatype="&xsd;string">ProvenanceContainer is defined to be an aggregation of provenance assertions. A provenance container SHOULD have an URI associated with it.
 
 The ProvenanceContainer (and Account) can be instantiated as a RDF graph.</rdfs:comment>
     </owl:Class>
@@ -344,19 +462,37 @@
 
     <!-- http://www.w3.org/ns/prov-o/Recipe -->
 
-    <owl:Class rdf:about="Recipe"/>
+    <owl:Class rdf:about="http://www.w3.org/ns/prov-o/Recipe">
+        <rdfs:label xml:lang="en">Recipe</rdfs:label>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/Revision -->
 
-    <owl:Class rdf:about="Revision">
-        <rdfs:comment xml:lang="en"
-            >Revision is defined as a modified version of a Entity.</rdfs:comment>
+    <owl:Class rdf:about="http://www.w3.org/ns/prov-o/Revision">
+        <rdfs:label xml:lang="en">Revision</rdfs:label>
+        <rdfs:comment xml:lang="en">Revision is defined as a modified version of a Entity.</rdfs:comment>
+    </owl:Class>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/Time -->
+
+    <owl:Class rdf:about="http://www.w3.org/ns/prov-o/Time">
+        <rdfs:label xml:lang="en">Time</rdfs:label>
+        <owl:equivalentClass>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="&time;inXSDDateTime"/>
+                <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
+            </owl:Restriction>
+        </owl:equivalentClass>
+        <rdfs:subClassOf rdf:resource="&time;Instant"/>
+        <rdfs:comment xml:lang="en">An time:Instant with time:inXSDDateTime specified</rdfs:comment>
     </owl:Class>
 </rdf:RDF>
 
 
 
-<!-- Generated by the OWL API (version 2.2.1.1138) http://owlapi.sourceforge.net -->
+<!-- Generated by the OWL API (version 3.2.3.1824) http://owlapi.sourceforge.net -->