--- a/ontology/ProvenanceOntology.owl Sun Oct 16 20:31:50 2011 -0400
+++ b/ontology/ProvenanceOntology.owl Mon Oct 17 21:32:43 2011 -0400
@@ -2,6 +2,7 @@
<!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#" >
@@ -14,6 +15,7 @@
<rdf:RDF xmlns="http://www.w3.org/ns/prov-o/"
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#"
@@ -59,6 +61,17 @@
+ <!-- http://www.w3.org/ns/prov-o/followed -->
+
+ <owl:ObjectProperty rdf:about="followed">
+ <rdf:type rdf:resource="&owl;TransitiveProperty"/>
+ <rdfs:label xml:lang="en">preceded</rdfs:label>
+ <rdfs:domain rdf:resource="ProcessExecution"/>
+ <rdfs:range rdf:resource="ProcessExecution"/>
+ </owl:ObjectProperty>
+
+
+
<!-- http://www.w3.org/ns/prov-o/hadLocation -->
<owl:ObjectProperty rdf:about="hadLocation">
@@ -97,15 +110,18 @@
- <!-- http://www.w3.org/ns/prov-o/preceded -->
+ <!-- http://www.w3.org/ns/prov-o/hasTemporalValue -->
- <owl:ObjectProperty rdf:about="preceded">
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <rdf:type rdf:resource="&owl;ReflexiveProperty"/>
- <rdf:type rdf:resource="&owl;TransitiveProperty"/>
- <rdfs:label xml:lang="en">preceded</rdfs:label>
- <rdfs:domain rdf:resource="ProcessExecution"/>
- <rdfs:range rdf:resource="ProcessExecution"/>
+ <owl:ObjectProperty rdf:about="hasTemporalValue">
+ <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"/>
+ </owl:unionOf>
+ </owl:Class>
+ </rdfs:domain>
</owl:ObjectProperty>
@@ -165,6 +181,20 @@
+ <!-- http://www.w3.org/ns/prov-o/wasEventuallyDerivedFrom -->
+
+ <owl:ObjectProperty rdf:about="wasEventuallyDerivedFrom">
+ <rdfs:comment rdf:datatype="&xsd;string"
+ >The current definition of "wasDerivedFrom" states that there was an activity of "transformed from, created from, or affected by" that links the two Entity instances, which is *summarized* by the wasDerivedFrom property. Hence, "Process Execution Independent Derivation Expression" 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"/>
+ </owl:ObjectProperty>
+
+
+
<!-- http://www.w3.org/ns/prov-o/wasGeneratedBy -->
<owl:ObjectProperty rdf:about="wasGeneratedBy">
@@ -180,6 +210,46 @@
+ <!-- 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 "Dependencies amongst Process Executions" to avoid ambiguities</rdfs:comment>
+ <rdfs:range rdf:resource="ProcessExecution"/>
+ <rdfs:domain rdf:resource="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>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // 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>
+
+
+
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
@@ -191,6 +261,39 @@
+ <!-- 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>
+ <rdfs:comment xml:lang="en"
+ >Time represents temporal information about entities in the Provenance model.</rdfs:comment>
+ </owl:Class>
+
+
+
<!-- http://www.w3.org/ns/prov-o/Agent -->
<owl:Class rdf:about="Agent">
@@ -243,8 +346,10 @@
<owl:Class rdf:about="ProvenanceContainer">
<rdfs:label xml:lang="en"
>Provenance Container</rdfs:label>
- <rdfs:comment xml:lang="en"
- >ProvenanceContainer is defined to be an aggregation of provenance assertions. A provenance container SHOULD have an URI associated with it.</rdfs:comment>
+ <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>
@@ -261,15 +366,6 @@
<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="Time">
- <rdfs:comment xml:lang="en"
- >Time represents temporal information about entities in the Provenance model.</rdfs:comment>
- </owl:Class>
</rdf:RDF>