--- /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 "it is relationship between two characterized entities asserted to have compatible characterization over some continuous time interval."</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 "some characterized entity is transformed from, created from, or affected by another characterized entity."</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 "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/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 "Dependencies amongst Process Executions" 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"
+ >"Instants are, intuitively, point-like in that they have no interior points"
+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"
+ >"Intervals are, intuitively, things with extent" 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 "an identifiable activity, which performs a piece of work."</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 -->
+