second revision of PROV-O owl
authorSatya Sahoo <satya.sahoo@case.edu>
Tue, 14 Feb 2012 13:37:38 -0500
changeset 1556 c76557e0bae4
parent 1555 0a2af4117594
child 1557 fa51f375ea10
second revision of PROV-O owl
ontology/ProvenanceOntology.owl
--- a/ontology/ProvenanceOntology.owl	Tue Feb 14 12:27:18 2012 +0000
+++ b/ontology/ProvenanceOntology.owl	Tue Feb 14 13:37:38 2012 -0500
@@ -22,7 +22,7 @@
      xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
      xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
     <owl:Ontology rdf:about="">
-        <rdfs:comment rdf:datatype="&xsd;string">0.1</rdfs:comment>
+        <rdfs:comment rdf:datatype="&xsd;string">0.2</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). 
 
@@ -51,12 +51,29 @@
     
 
 
+    <!-- http://www.w3.org/ns/prov-o/adoptedPlan -->
+
+    <owl:ObjectProperty rdf:about="adoptedPlan">
+        <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
+            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="Association"/>
+        <rdfs:range rdf:resource="Plan"/>
+    </owl:ObjectProperty>
+    
+
+
     <!-- http://www.w3.org/ns/prov-o/endedAt -->
 
     <owl:ObjectProperty rdf:about="endedAt">
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
-        <rdfs:range rdf:resource="&time;Instant"/>
         <rdfs:domain rdf:resource="Activity"/>
+        <rdfs:range rdf:resource="Instant"/>
         <rdfs:subPropertyOf rdf:resource="hadTemporalValue"/>
     </owl:ObjectProperty>
     
@@ -68,15 +85,8 @@
         <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="&owl;Thing"/>
         <rdfs:range rdf:resource="Location"/>
-        <rdfs:domain>
-            <owl:Class>
-                <owl:unionOf rdf:parseType="Collection">
-                    <rdf:Description rdf:about="Entity"/>
-                    <rdf:Description rdf:about="QualifiedInvolvement"/>
-                </owl:unionOf>
-            </owl:Class>
-        </rdfs:domain>
     </owl:ObjectProperty>
     
 
@@ -92,28 +102,10 @@
     
 
 
-    <!-- http://www.w3.org/ns/prov-o/hadPlan -->
-
-    <owl:ObjectProperty rdf:about="hadPlan">
-        <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
-            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="Activity"/>
-        <rdfs:range rdf:resource="Plan"/>
-    </owl:ObjectProperty>
-    
-
-
     <!-- http://www.w3.org/ns/prov-o/hadQualifiedControl -->
 
     <owl:ObjectProperty rdf:about="hadQualifiedControl">
         <rdfs:domain rdf:resource="Activity"/>
-        <rdfs:range rdf:resource="Control"/>
     </owl:ObjectProperty>
     
 
@@ -136,15 +128,6 @@
     
 
 
-    <!-- http://www.w3.org/ns/prov-o/hadQualifiedParticipation -->
-
-    <owl:ObjectProperty rdf:about="hadQualifiedParticipation">
-        <rdfs:domain rdf:resource="Activity"/>
-        <rdfs:range rdf:resource="Participation"/>
-    </owl:ObjectProperty>
-    
-
-
     <!-- http://www.w3.org/ns/prov-o/hadQualifiedUsage -->
 
     <owl:ObjectProperty rdf:about="hadQualifiedUsage">
@@ -169,7 +152,7 @@
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
         <rdfs:label xml:lang="en"
             >has temporal value</rdfs:label>
-        <rdfs:range rdf:resource="&time;TemporalEntity"/>
+        <rdfs:range rdf:resource="TemporalEntity"/>
         <rdfs:domain>
             <owl:Class>
                 <owl:unionOf rdf:parseType="Collection">
@@ -185,7 +168,9 @@
 
     <!-- http://www.w3.org/ns/prov-o/hasAnnotation -->
 
-    <owl:ObjectProperty rdf:about="hasAnnotation"/>
+    <owl:ObjectProperty rdf:about="hasAnnotation">
+        <rdfs:range rdf:resource="Note"/>
+    </owl:ObjectProperty>
     
 
 
@@ -193,8 +178,8 @@
 
     <owl:ObjectProperty rdf:about="startedAt">
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
-        <rdfs:range rdf:resource="&time;Instant"/>
         <rdfs:domain rdf:resource="Activity"/>
+        <rdfs:range rdf:resource="Instant"/>
         <rdfs:subPropertyOf rdf:resource="hadTemporalValue"/>
     </owl:ObjectProperty>
     
@@ -235,6 +220,7 @@
     <owl:ObjectProperty rdf:about="wasAttributedTo">
         <rdfs:range rdf:resource="Agent"/>
         <rdfs:domain rdf:resource="Entity"/>
+        <rdfs:subPropertyOf rdf:resource="tracedTo"/>
     </owl:ObjectProperty>
     
 
@@ -267,8 +253,8 @@
 
     <owl:ObjectProperty rdf:about="wasGeneratedAt">
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
-        <rdfs:range rdf:resource="&time;Instant"/>
         <rdfs:domain rdf:resource="Entity"/>
+        <rdfs:range rdf:resource="Instant"/>
         <rdfs:subPropertyOf rdf:resource="hadTemporalValue"/>
     </owl:ObjectProperty>
     
@@ -357,9 +343,7 @@
 
     <owl:DatatypeProperty rdf:about="&time;inXSDDateTime">
         <rdfs:range rdf:resource="&xsd;dateTime"/>
-        <rdfs:domain rdf:resource="&time;Instant"/>
-        <rdfs:domain rdf:resource="Activity"/>
-        <rdfs:domain rdf:resource="QualifiedInvolvement"/>
+        <rdfs:domain rdf:resource="Instant"/>
     </owl:DatatypeProperty>
     
 
@@ -375,48 +359,16 @@
     
 
 
-    <!-- http://www.w3.org/2006/time#Instant -->
-
-    <owl:Class rdf:about="&time;Instant">
-        <rdfs:subClassOf rdf:resource="&time;TemporalEntity"/>
-        <rdfs:comment rdf:datatype="&xsd;string"
-            >&quot;Instants are, intuitively, point-like in that they have no interior points&quot;
-from the W3C OWL-Time Working Draft (http://www.w3.org/TR/owl-time/).</rdfs:comment>
-    </owl:Class>
-    
-
-
-    <!-- http://www.w3.org/2006/time#Interval -->
+    <!-- http://www.w3.org/2002/07/owl#Thing -->
 
-    <owl:Class rdf:about="&time;Interval">
-        <rdfs:subClassOf rdf:resource="&time;TemporalEntity"/>
-        <rdfs:comment rdf:datatype="&xsd;string"
-            >&quot;Intervals are, intuitively, things with extent&quot; from W3C OWL-Time Working Draft (http://www.w3.org/TR/owl-time/).</rdfs:comment>
-    </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>
-        <rdfs:comment rdf:datatype="&xsd;string"
-            >TemporalEntity represents time information, both time instant (having 0 time duration) and interval (having a non-zero duration).</rdfs:comment>
-    </owl:Class>
+    <owl:Class rdf:about="&owl;Thing"/>
     
 
 
     <!-- http://www.w3.org/ns/prov-o/Account -->
 
     <owl:Class rdf:about="Account">
-        <rdfs:subClassOf rdf:resource="Entity"/>
+        <rdfs:subClassOf rdf:resource="&owl;Thing"/>
     </owl:Class>
     
 
@@ -424,10 +376,9 @@
     <!-- http://www.w3.org/ns/prov-o/Activity -->
 
     <owl:Class rdf:about="Activity">
-        <rdfs:label xml:lang="en"
-            >Process Execution</rdfs:label>
+        <rdfs:label xml:lang="en">Activity</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>
+            >Activity is defined to be &quot;an identifiable activity, which performs a piece of work.&quot;</rdfs:comment>
     </owl:Class>
     
 
@@ -443,9 +394,9 @@
     
 
 
-    <!-- http://www.w3.org/ns/prov-o/Control -->
+    <!-- http://www.w3.org/ns/prov-o/Association -->
 
-    <owl:Class rdf:about="Control">
+    <owl:Class rdf:about="Association">
         <rdfs:subClassOf rdf:resource="QualifiedInvolvement"/>
     </owl:Class>
     
@@ -469,11 +420,32 @@
     
 
 
+    <!-- http://www.w3.org/ns/prov-o/Instant -->
+
+    <owl:Class rdf:about="Instant">
+        <rdfs:subClassOf rdf:resource="TemporalEntity"/>
+        <rdfs:comment rdf:datatype="&xsd;string"
+            >&quot;Instants are, intuitively, point-like in that they have no interior points&quot;
+from the W3C OWL-Time Working Draft (http://www.w3.org/TR/owl-time/).</rdfs:comment>
+    </owl:Class>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/Interval -->
+
+    <owl:Class rdf:about="Interval">
+        <rdfs:subClassOf rdf:resource="TemporalEntity"/>
+        <rdfs:comment rdf:datatype="&xsd;string"
+            >&quot;Intervals are, intuitively, things with extent&quot; from W3C OWL-Time Working Draft (http://www.w3.org/TR/owl-time/).</rdfs:comment>
+    </owl:Class>
+    
+
+
     <!-- http://www.w3.org/ns/prov-o/Location -->
 
     <owl:Class rdf:about="Location">
         <rdfs:label xml:lang="en">Location</rdfs:label>
-        <rdfs:subClassOf rdf:resource="Entity"/>
+        <rdfs:subClassOf rdf:resource="&owl;Thing"/>
     </owl:Class>
     
 
@@ -481,15 +453,7 @@
     <!-- http://www.w3.org/ns/prov-o/Note -->
 
     <owl:Class rdf:about="Note">
-        <rdfs:subClassOf rdf:resource="Entity"/>
-    </owl:Class>
-    
-
-
-    <!-- http://www.w3.org/ns/prov-o/Participation -->
-
-    <owl:Class rdf:about="Participation">
-        <rdfs:subClassOf rdf:resource="QualifiedInvolvement"/>
+        <rdfs:subClassOf rdf:resource="&owl;Thing"/>
     </owl:Class>
     
 
@@ -503,22 +467,26 @@
     
 
 
-    <!-- http://www.w3.org/ns/prov-o/ProvenanceContainer -->
+    <!-- http://www.w3.org/ns/prov-o/QualifiedInvolvement -->
 
-    <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.
-
-The ProvenanceContainer (and Account) can be instantiated as a RDF graph.</rdfs:comment>
-    </owl:Class>
+    <owl:Class rdf:about="QualifiedInvolvement"/>
     
 
 
-    <!-- http://www.w3.org/ns/prov-o/QualifiedInvolvement -->
+    <!-- http://www.w3.org/ns/prov-o/TemporalEntity -->
 
-    <owl:Class rdf:about="QualifiedInvolvement"/>
+    <owl:Class rdf:about="TemporalEntity">
+        <owl:equivalentClass>
+            <owl:Class>
+                <owl:unionOf rdf:parseType="Collection">
+                    <rdf:Description rdf:about="Instant"/>
+                    <rdf:Description rdf:about="Interval"/>
+                </owl:unionOf>
+            </owl:Class>
+        </owl:equivalentClass>
+        <rdfs:comment rdf:datatype="&xsd;string"
+            >TemporalEntity represents time information, both time instant (having 0 time duration) and interval (having a non-zero duration).</rdfs:comment>
+    </owl:Class>