Also releasing ProvenanceOntology.owl
authorStian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Thu, 08 Dec 2011 14:13:26 +0000
changeset 1200 aed4fa71497c
parent 1199 ae1c9c37769f
child 1201 d6e5c2f209b5
Also releasing ProvenanceOntology.owl
ontology/fpwd/ProvenanceOntology.owl
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/fpwd/ProvenanceOntology.owl	Thu Dec 08 14:13:26 2011 +0000
@@ -0,0 +1,549 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+    <!ENTITY time "http://www.w3.org/2006/time#" >
+    <!ENTITY prov-o "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#" >
+    <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
+    <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
+]>
+
+
+<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:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
+     xmlns:prov-o="http://www.w3.org/ns/prov-o/"
+     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="">
+        <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>
+    </owl:Ontology>
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // Object Properties
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/dependedOn -->
+
+    <owl:ObjectProperty rdf:about="dependedOn">
+        <rdf:type rdf:resource="&owl;TransitiveProperty"/>
+        <rdfs:label xml:lang="en">depended on</rdfs:label>
+        <rdfs:range rdf:resource="Entity"/>
+        <rdfs:domain rdf:resource="Entity"/>
+    </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:subPropertyOf rdf:resource="hadTemporalValue"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/hadLocation -->
+
+    <owl:ObjectProperty rdf:about="hadLocation">
+        <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+        <rdfs:label xml:lang="en">had location</rdfs:label>
+        <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>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/hadOriginalSource -->
+
+    <owl:ObjectProperty rdf:about="hadOriginalSource">
+        <rdfs:comment rdf:datatype="&xsd;string"
+            >how is this different from wasDerivedFrom?</rdfs:comment>
+        <rdfs:range rdf:resource="Entity"/>
+        <rdfs:domain rdf:resource="Entity"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/hadParticipant -->
+
+    <owl:ObjectProperty rdf:about="hadParticipant">
+        <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+        <rdfs:label xml:lang="en">had participant</rdfs:label>
+        <rdfs:domain rdf:resource="Activity"/>
+        <rdfs:range rdf:resource="Entity"/>
+    </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>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/hadQualifiedEntity -->
+
+    <owl:ObjectProperty rdf:about="hadQualifiedEntity">
+        <rdfs:range rdf:resource="Entity"/>
+        <rdfs:domain rdf:resource="QualifiedInvolvement"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/hadQualifiedGeneration -->
+
+    <owl:ObjectProperty rdf:about="hadQualifiedGeneration">
+        <rdfs:domain rdf:resource="Activity"/>
+        <rdfs:range rdf:resource="Generation"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- 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">
+        <rdfs:domain rdf:resource="Activity"/>
+        <rdfs:range rdf:resource="Usage"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/hadRecipe -->
+
+    <owl:ObjectProperty rdf:about="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
+            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="Recipe"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/hadRole -->
+
+    <owl:ObjectProperty rdf:about="hadRole">
+        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+        <rdfs:domain rdf:resource="QualifiedInvolvement"/>
+        <rdfs:range rdf:resource="Role"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/hadTemporalValue -->
+
+    <owl:ObjectProperty rdf:about="hadTemporalValue">
+        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+        <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="Activity"/>
+                    <rdf:Description rdf:about="Entity"/>
+                    <rdf:Description rdf:about="QualifiedInvolvement"/>
+                </owl:unionOf>
+            </owl:Class>
+        </rdfs:domain>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/startedAt -->
+
+    <owl:ObjectProperty rdf:about="startedAt">
+        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+        <rdfs:range rdf:resource="&time;Instant"/>
+        <rdfs:domain rdf:resource="Activity"/>
+        <rdfs:subPropertyOf rdf:resource="hadTemporalValue"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/used -->
+
+    <owl:ObjectProperty rdf:about="used">
+        <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+        <rdfs:label xml:lang="en">used</rdfs:label>
+        <rdfs:domain rdf:resource="Activity"/>
+        <rdfs:range rdf:resource="Entity"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/wasAttributedTo -->
+
+    <owl:ObjectProperty rdf:about="wasAttributedTo">
+        <rdfs:range rdf:resource="Agent"/>
+        <rdfs:domain rdf:resource="Entity"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/wasComplementOf -->
+
+    <owl:ObjectProperty rdf:about="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"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/wasControlledBy -->
+
+    <owl:ObjectProperty rdf:about="wasControlledBy">
+        <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+        <rdfs:label xml:lang="en"
+            >was controlled by</rdfs:label>
+        <rdfs:domain rdf:resource="Activity"/>
+        <rdfs:range rdf:resource="Agent"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/wasDerivedFrom -->
+
+    <owl:ObjectProperty rdf:about="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"/>
+    </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.
+
+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/wasGeneratedAt -->
+
+    <owl:ObjectProperty rdf:about="wasGeneratedAt">
+        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+        <rdfs:range rdf:resource="&time;Instant"/>
+        <rdfs:domain rdf:resource="Entity"/>
+        <rdfs:subPropertyOf rdf:resource="hadTemporalValue"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/wasGeneratedBy -->
+
+    <owl:ObjectProperty rdf:about="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:range rdf:resource="Activity"/>
+        <rdfs:domain rdf:resource="Entity"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/wasInformedBy -->
+
+    <owl:ObjectProperty rdf:about="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="Activity"/>
+        <rdfs:range rdf:resource="Activity"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/wasQuoteOf -->
+
+    <owl:ObjectProperty rdf:about="wasQuoteOf">
+        <rdfs:comment rdf:datatype="&xsd;string"
+            >Different from wasAttributedTo?</rdfs:comment>
+        <rdfs:range rdf:resource="Agent"/>
+        <rdfs:domain rdf:resource="Entity"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/wasRevisionOf -->
+
+    <owl:ObjectProperty rdf:about="wasRevisionOf">
+        <rdfs:comment rdf:datatype="&xsd;string"
+            >How is this property distinct from wasDerivedFrom?</rdfs:comment>
+        <rdfs:domain rdf:resource="Entity"/>
+        <rdfs:range rdf:resource="Entity"/>
+        <rdfs:subPropertyOf rdf:resource="wasEventuallyDerivedFrom"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/wasScheduledAfter -->
+
+    <owl:ObjectProperty rdf:about="wasScheduledAfter">
+        <rdfs:label xml:lang="en"
+            >was scheduled after</rdfs:label>
+        <rdfs:range rdf:resource="Activity"/>
+        <rdfs:domain rdf:resource="Activity"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/wasSummaryOf -->
+
+    <owl:ObjectProperty rdf:about="wasSummaryOf">
+        <rdfs:domain rdf:resource="Entity"/>
+        <rdfs:range rdf:resource="Entity"/>
+    </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>
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // Classes
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- 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 -->
+
+    <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>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/Activity -->
+
+    <owl:Class rdf:about="Activity">
+        <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/Agent -->
+
+    <owl:Class rdf:about="Agent">
+        <rdfs:label xml:lang="en">Agent</rdfs:label>
+        <rdfs:subClassOf rdf:resource="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/Control -->
+
+    <owl:Class rdf:about="Control">
+        <rdfs:subClassOf rdf:resource="QualifiedInvolvement"/>
+    </owl:Class>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/Entity -->
+
+    <owl:Class rdf:about="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/Generation -->
+
+    <owl:Class rdf:about="Generation">
+        <rdfs:subClassOf rdf:resource="QualifiedInvolvement"/>
+    </owl:Class>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/Location -->
+
+    <owl:Class rdf:about="Location">
+        <rdfs:label xml:lang="en">Location</rdfs:label>
+    </owl:Class>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/Participation -->
+
+    <owl:Class rdf:about="Participation">
+        <rdfs:subClassOf rdf:resource="QualifiedInvolvement"/>
+    </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.
+
+The ProvenanceContainer (and Account) can be instantiated as a RDF graph.</rdfs:comment>
+    </owl:Class>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/QualifiedInvolvement -->
+
+    <owl:Class rdf:about="QualifiedInvolvement"/>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/Recipe -->
+
+    <owl:Class rdf:about="Recipe">
+        <rdfs:label xml:lang="en">Recipe</rdfs:label>
+    </owl:Class>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/Role -->
+
+    <owl:Class rdf:about="Role"/>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o/Usage -->
+
+    <owl:Class rdf:about="Usage">
+        <rdfs:subClassOf rdf:resource="QualifiedInvolvement"/>
+    </owl:Class>
+</rdf:RDF>
+
+
+
+<!-- Generated by the OWL API (version 2.2.1.1138) http://owlapi.sourceforge.net -->
+