--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/working-dir/prova.owl Mon Feb 27 14:13:03 2012 +0100
@@ -0,0 +1,455 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY prova "http://www.w3.org/ns/prova#" >
+ <!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://example.com/"
+ xml:base="http://example.com/"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
+ xmlns:prova="http://www.w3.org/ns/prova#"
+ 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="http://www.w3.org/ns/prova#">
+ <rdfs:label xml:lang="en">PROV Ontology</rdfs:label>
+ <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).
+
+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="http://www.w3.org/2011/prov/wiki/ProvRDF"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-o/"/>
+ </owl:Ontology>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Annotation properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+ <owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
+ <owl:AnnotationProperty rdf:about="&rdfs;label"/>
+ <owl:AnnotationProperty rdf:about="&rdfs;comment"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Datatypes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://www.w3.org/2002/07/owl#topObjectProperty -->
+
+ <owl:ObjectProperty rdf:about="&owl;topObjectProperty"/>
+
+
+
+ <!-- http://www.w3.org/ns/prova#actedOnBehalfOf -->
+
+ <owl:ObjectProperty rdf:about="&prova;actedOnBehalfOf">
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
+ <rdfs:domain rdf:resource="&prova;Agent"/>
+ <rdfs:range rdf:resource="&prova;Agent"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#adoptedPlan -->
+
+ <owl:ObjectProperty rdf:about="&prova;adoptedPlan">
+ <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <rdfs:comment xml:lang="en">The Activity performed was described by the given plan resource. Activity specifications, as referred to by plan links, are out of scope of this specification</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
+ <rdfs:domain rdf:resource="&prova;Association"/>
+ <rdfs:range rdf:resource="&prova;Plan"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#alternateOf -->
+
+ <owl:ObjectProperty rdf:about="&prova;alternateOf">
+ <rdfs:comment xml:lang="en">Another prova:Entity that characterizes the same thing as this prova:Entity, potentially in a different manner.</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#AlternateOf"/>
+ <rdfs:domain rdf:resource="&prova;Entity"/>
+ <rdfs:range rdf:resource="&prova;Entity"/>
+ <rdfs:seeAlso rdf:resource="&prova;specializationOf"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#derivedEntity -->
+
+ <owl:ObjectProperty rdf:about="&prova;derivedEntity">
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdfs:domain rdf:resource="&prova;Derivation"/>
+ <rdfs:range rdf:resource="&prova;Entity"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#generatedEntity -->
+
+ <owl:ObjectProperty rdf:about="&prova;generatedEntity">
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdfs:comment xml:lang="en">The property used by a prova:EntityInvolvement to cite the Entity that was prova:involved with either an Activity or Entity.</rdfs:comment>
+ <rdfs:comment xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prova:involved triple.</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity_Ordering"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting_again"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
+ <rdfs:range rdf:resource="&prova;Entity"/>
+ <rdfs:domain rdf:resource="&prova;Generation"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#generatingActivity -->
+
+ <owl:ObjectProperty rdf:about="&prova;generatingActivity">
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdfs:comment xml:lang="en">The property used by a prova:EntityInvolvement to cite the Entity that was prova:involved with either an Activity or Entity.</rdfs:comment>
+ <rdfs:comment xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prova:involved triple.</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity_Ordering"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting_again"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
+ <rdfs:range rdf:resource="&prova;Activity"/>
+ <rdfs:domain rdf:resource="&prova;Generation"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#sourceEntity -->
+
+ <owl:ObjectProperty rdf:about="&prova;sourceEntity">
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdfs:domain rdf:resource="&prova;Derivation"/>
+ <rdfs:range rdf:resource="&prova;Entity"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#specializationOf -->
+
+ <owl:ObjectProperty rdf:about="&prova;specializationOf">
+ <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#SpecializationOf"/>
+ <rdfs:range rdf:resource="&prova;Entity"/>
+ <rdfs:domain rdf:resource="&prova;Entity"/>
+ <rdfs:seeAlso rdf:resource="&prova;alternateOf"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#startedAt -->
+
+ <owl:ObjectProperty rdf:about="&prova;startedAt">
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdfs:comment>TODO: range should be an xsd:dateTime directly to avoid proliferation of bnodes and to keep it simple. The elaborate form should also be permitted, but more practical uses will want it directly.</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
+ <rdfs:domain rdf:resource="&prova;Activity"/>
+ <rdfs:range rdf:resource="&prova;TimeInstant"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#used -->
+
+ <owl:ObjectProperty rdf:about="&prova;used">
+ <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+ <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <rdfs:comment xml:lang="en">A prova:Entity that was used by this prova:Activity. For example, :baking prova:used :spoon, :egg, :oven .</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
+ <rdfs:domain rdf:resource="&prova;Activity"/>
+ <rdfs:range rdf:resource="&prova;Entity"/>
+ <rdfs:seeAlso rdf:resource="&prova;Usage"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#usedEntity -->
+
+ <owl:ObjectProperty rdf:about="&prova;usedEntity">
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdfs:comment xml:lang="en">The property used by a prova:ActivityInvolvement to cite the Activity that was prova:involved with either an Activity or Entity.</rdfs:comment>
+ <rdfs:comment xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prova:involved triple.</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Original_Source"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
+ <rdfs:range rdf:resource="&prova;Entity"/>
+ <rdfs:domain rdf:resource="&prova;Usage"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#usingActivity -->
+
+ <owl:ObjectProperty rdf:about="&prova;usingActivity">
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdfs:comment xml:lang="en">The property used by a prova:ActivityInvolvement to cite the Activity that was prova:involved with either an Activity or Entity.</rdfs:comment>
+ <rdfs:comment xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prova:involved triple.</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Original_Source"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
+ <rdfs:range rdf:resource="&prova;Activity"/>
+ <rdfs:domain rdf:resource="&prova;Usage"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#wasAssociatedWith -->
+
+ <owl:ObjectProperty rdf:about="&prova;wasAssociatedWith">
+ <rdfs:comment xml:lang="en">A prova:Agent that had some (unspecified) responsibility for the occurrence of this prova:Activity.</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
+ <rdfs:domain rdf:resource="&prova;Activity"/>
+ <rdfs:range rdf:resource="&prova;Agent"/>
+ <rdfs:seeAlso rdf:resource="&prova;Association"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#wasDerivedFrom -->
+
+ <owl:ObjectProperty rdf:about="&prova;wasDerivedFrom">
+ <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+ <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <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:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#imprecise-1"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#imprecise-n"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#precise-1"/>
+ <rdfs:range rdf:resource="&prova;Entity"/>
+ <rdfs:domain rdf:resource="&prova;Entity"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#wasGeneratedBy -->
+
+ <owl:ObjectProperty rdf:about="&prova;wasGeneratedBy">
+ <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <rdfs:comment xml:lang="en">wasGeneratedBy links Entitites with Activity representing that entity was generated as a result of Activity</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
+ <rdfs:range rdf:resource="&prova;Activity"/>
+ <rdfs:domain rdf:resource="&prova;Entity"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#wasInformedBy -->
+
+ <owl:ObjectProperty rdf:about="&prova;wasInformedBy">
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity_Ordering"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting_again"/>
+ <rdfs:range rdf:resource="&prova;Activity"/>
+ <rdfs:domain rdf:resource="&prova;Activity"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#wasRevisionOf -->
+
+ <owl:ObjectProperty rdf:about="&prova;wasRevisionOf">
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
+ <rdfs:range rdf:resource="&prova;Entity"/>
+ <rdfs:domain rdf:resource="&prova;Entity"/>
+ </owl:ObjectProperty>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Data properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://www.w3.org/ns/prova#inXSDDateTime -->
+
+ <owl:DatatypeProperty rdf:about="&prova;inXSDDateTime">
+ <rdfs:range rdf:resource="&xsd;dateTime"/>
+ <rdfs:domain rdf:resource="&prova;TimeInstant"/>
+ </owl:DatatypeProperty>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://www.w3.org/2002/07/owl#Thing -->
+
+ <owl:Class rdf:about="&owl;Thing"/>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Activity -->
+
+ <owl:Class rdf:about="&prova;Activity">
+ <rdfs:comment xml:lang="en">Activity is defined to be 'an identifiable activity, which performs a piece of work.'</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Agent -->
+
+ <owl:Class rdf:about="&prova;Agent">
+ <rdfs:subClassOf rdf:resource="&prova;Entity"/>
+ <rdfs:comment xml:lang="en">An agent represents a characterized entity capable of activity.</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Association -->
+
+ <owl:Class rdf:about="&prova;Association">
+ <rdfs:comment>An instance of prova:Association provides additional descriptions about the binary prova:wasAssociatedWith relation from a prova:Activity to some prova:Agent that is responsible for it. For example, :baking prova:wasAssociatedWith :baker; prova:qualified [ a prova:Association; prova:entity :baker; :foo :bar ].</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Attribution -->
+
+ <owl:Class rdf:about="&prova;Attribution">
+ <rdfs:comment>An instance of prova:Attribution provides additional descriptions about the binary prova:wasAttributedTo relation from a prova:Entity to some prova:Agent that is responsible for it. For example, :cake prova:wasAttributedTo :baker; prova:qualified [ a prova:Attribution; prova:entity :baker; :foo :bar ].</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Derivation -->
+
+ <owl:Class rdf:about="&prova;Derivation">
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Traceability"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Entity -->
+
+ <owl:Class rdf:about="&prova;Entity">
+ <rdfs:comment xml:lang="en">An identifiable characterized entity.</rdfs:comment>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Generation -->
+
+ <owl:Class rdf:about="&prova;Generation">
+ <rdfs:comment xml:lang="de">An instance of prova:Generation provides additional descriptions about the binary prova:wasGeneratedBy relation from a generated prova:Entity to the prova:Activity that generated it. For example, :cake prova:wasGeneratedBy :baking; prova:qualified [ a prova:Generation; prova:entity :baking; :foo :bar ].</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Inform -->
+
+ <owl:Class rdf:about="&prova;Inform">
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity_Ordering"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Plan -->
+
+ <owl:Class rdf:about="&prova;Plan"/>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Responsibility -->
+
+ <owl:Class rdf:about="&prova;Responsibility">
+ <rdfs:comment xml:lang="en">An instance of prova:Responsibility provides additional descriptions about the binary prova:actedOnBehalfOf relation from a performing prova:Agent to some prova:Agent for whom it was performed. For example, :mixing prova:wasAssociatedWith :toddler . :toddler prova:actedOnBehalfOf :mother; prova:qualified [ a prova:Responsiblity; prova:entity :mother; :foo :bar ].</rdfs:comment>
+ <rdfs:comment rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Revision -->
+
+ <owl:Class rdf:about="&prova;Revision">
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prova#TimeInstant -->
+
+ <owl:Class rdf:about="&prova;TimeInstant"/>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Usage -->
+
+ <owl:Class rdf:about="&prova;Usage">
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
+ </owl:Class>
+</rdf:RDF>
+
+
+
+<!-- Generated by the OWL API (version 3.2.3.1824) http://owlapi.sourceforge.net -->
+
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/working-dir/provb.owl Mon Feb 27 14:13:03 2012 +0100
@@ -0,0 +1,379 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY provb "http://www.w3.org/ns/provb#" >
+ <!ENTITY prova "http://www.w3.org/ns/prova#" >
+ <!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://example.com/"
+ xml:base="http://example.com/"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
+ xmlns:prova="http://www.w3.org/ns/prova#"
+ xmlns:provb="http://www.w3.org/ns/provb#"
+ 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="http://www.w3.org/ns/provb#">
+ <rdfs:label xml:lang="en">PROV Ontology</rdfs:label>
+ <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).
+
+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="http://www.w3.org/2011/prov/wiki/ProvRDF"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-o/"/>
+ <owl:imports rdf:resource="http://www.w3.org/ns/prova#"/>
+ </owl:Ontology>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Annotation properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+ <owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
+ <owl:AnnotationProperty rdf:about="&provb;involvementClass">
+ <rdfs:comment xml:lang="en">This annotation property links a prov:involved subproperty with a prov:Involved subclass. This indicates that the property can be qualified by using prov:qualified.
+
+Example:
+ prov:wasGeneratedBy prov:involvementClass prov:Generation .
+
+Then this unqualified assertion:
+ :entity1 prov:wasGeneratedBy :activity1 .
+
+can be qualified by adding:
+ :entity1 prov:qualified :entity1Gen .
+ :entity1Gen a prov:Generation;
+ prov:activity :activity1 ;
+ :customValue 1337 .
+
+Note how the range of the unqualified property is mirrored by the prov:activity or prov:entity on the involvement class.</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
+ </owl:AnnotationProperty>
+ <owl:AnnotationProperty rdf:about="&rdfs;label"/>
+ <owl:AnnotationProperty rdf:about="&rdfs;comment"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Datatypes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://www.w3.org/2002/07/owl#topObjectProperty -->
+
+ <owl:ObjectProperty rdf:about="&owl;topObjectProperty"/>
+
+
+
+ <!-- http://www.w3.org/ns/prova#actedOnBehalfOf -->
+
+ <owl:ObjectProperty rdf:about="&prova;actedOnBehalfOf">
+ <provb:involvementClass rdf:resource="&prova;Responsibility"/>
+ <rdfs:subPropertyOf rdf:resource="&provb;involved"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#generatingActivity -->
+
+ <rdf:Description rdf:about="&prova;generatingActivity">
+ <rdfs:subPropertyOf rdf:resource="&provb;activity"/>
+ </rdf:Description>
+
+
+
+ <!-- http://www.w3.org/ns/prova#sourceEntity -->
+
+ <rdf:Description rdf:about="&prova;sourceEntity">
+ <rdfs:subPropertyOf rdf:resource="&provb;entity"/>
+ </rdf:Description>
+
+
+
+ <!-- http://www.w3.org/ns/prova#used -->
+
+ <owl:ObjectProperty rdf:about="&prova;used">
+ <provb:involvementClass rdf:resource="&prova;Usage"/>
+ <rdfs:subPropertyOf rdf:resource="&provb;involved"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#usedEntity -->
+
+ <rdf:Description rdf:about="&prova;usedEntity">
+ <rdfs:subPropertyOf rdf:resource="&provb;entity"/>
+ </rdf:Description>
+
+
+
+ <!-- http://www.w3.org/ns/prova#wasAssociatedWith -->
+
+ <owl:ObjectProperty rdf:about="&prova;wasAssociatedWith">
+ <provb:involvementClass rdf:resource="&prova;Association"/>
+ <rdfs:subPropertyOf rdf:resource="&provb;involved"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#wasDerivedFrom -->
+
+ <owl:ObjectProperty rdf:about="&prova;wasDerivedFrom">
+ <provb:involvementClass rdf:resource="&prova;Derivation"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#wasGeneratedBy -->
+
+ <owl:ObjectProperty rdf:about="&prova;wasGeneratedBy">
+ <provb:involvementClass rdf:resource="&prova;Generation"/>
+ <rdfs:subPropertyOf rdf:resource="&provb;involved"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prova#wasInformedBy -->
+
+ <owl:ObjectProperty rdf:about="&prova;wasInformedBy">
+ <provb:involvementClass rdf:resource="&prova;Inform"/>
+ <rdfs:subPropertyOf rdf:resource="&provb;involved"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/provb#activity -->
+
+ <owl:ObjectProperty rdf:about="&provb;activity">
+ <rdfs:comment xml:lang="en">The property used by a prova:EntityInvolvement to cite the Entity that was prova:involved with either an Activity or Entity.</rdfs:comment>
+ <rdfs:comment xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prova:involved triple.</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity_Ordering"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting_again"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
+ <rdfs:range rdf:resource="&prova;Activity"/>
+ <rdfs:domain rdf:resource="&provb;ActivityInvolvement"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/provb#entity -->
+
+ <owl:ObjectProperty rdf:about="&provb;entity">
+ <rdfs:comment xml:lang="en">The property used by a prova:ActivityInvolvement to cite the Activity that was prova:involved with either an Activity or Entity.</rdfs:comment>
+ <rdfs:comment xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prova:involved triple.</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Original_Source"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
+ <rdfs:range rdf:resource="&prova;Entity"/>
+ <rdfs:domain rdf:resource="&provb;EntityInvolvement"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/provb#generated -->
+
+ <owl:ObjectProperty rdf:about="&provb;generated">
+ <rdfs:comment>This inverse of prova:wasGeneratedBy is defined so that Activities being described can reference their generated outputs directly without needing to 'stop' and start describing the Entity. This helps 'Activity-centric' modeling as opposed to 'Entity-centric' modeling.</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
+ <owl:inverseOf rdf:resource="&prova;wasGeneratedBy"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/provb#involved -->
+
+ <owl:ObjectProperty rdf:about="&provb;involved">
+ <rdfs:comment xml:lang="en">Subproperties of prova:involved may be be qualified by creating instances of a corresponding prova:Involvement class. For example, the binary relation :baking prova:used :spoon can be qualified by asserting :baking prova:qualified [ a prova:Usage; prova:entity :baking; :foo :bar ]
+
+prova:involved should not be used without also using the subproperty.
+
+Subproperties of prova:involved may also be asserted directly without being qualified.</rdfs:comment>
+ <rdfs:comment xml:lang="en">The subproperties here can be deleted without concern. For example, :element prova:qualified [ a prova:Usage ] handles the case of prova:hadQualifiedUsage . http://www.w3.org/2011/prov/track/issues/255</rdfs:comment>
+ <rdfs:comment xml:lang="en">This one property is used to associate a prova:Element (prova:Entity or prova:Activity) with an instance of any subclass of prova:Involvement, which will provide additional descriptions about the binary prova:involved relation. For example, :baking prova:used :pan, :egg; prova:wasAssociatedWith :baker; prova:generated :dirty_pan; prova:qualified [ a prova:Usage; prova:entity :egg; prova:role :ingredient], [ a prova:Association; prova:entity :baker; prova:role :leader ] .</rdfs:comment>
+ <rdfs:range rdf:resource="&provb;Element"/>
+ <rdfs:domain rdf:resource="&provb;Element"/>
+ <rdfs:range rdf:resource="&provb;Involvement"/>
+ </owl:ObjectProperty>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://www.w3.org/ns/prova#Activity -->
+
+ <owl:Class rdf:about="&prova;Activity">
+ <rdfs:subClassOf rdf:resource="&provb;Element"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Association -->
+
+ <owl:Class rdf:about="&prova;Association">
+ <rdfs:subClassOf rdf:resource="&provb;AgentInvolvement"/>
+ <rdfs:comment>An instance of prova:Association provides additional descriptions about the binary prova:wasAssociatedWith relation from a prova:Activity to some prova:Agent that is responsible for it. For example, :baking prova:wasAssociatedWith :baker; prova:qualified [ a prova:Association; prova:entity :baker; :foo :bar ].</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Attribution -->
+
+ <owl:Class rdf:about="&prova;Attribution">
+ <rdfs:subClassOf rdf:resource="&provb;AgentInvolvement"/>
+ <rdfs:comment>An instance of prova:Attribution provides additional descriptions about the binary prova:wasAttributedTo relation from a prova:Entity to some prova:Agent that is responsible for it. For example, :cake prova:wasAttributedTo :baker; prova:qualified [ a prova:Attribution; prova:entity :baker; :foo :bar ].</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Derivation -->
+
+ <owl:Class rdf:about="&prova;Derivation">
+ <rdfs:subClassOf rdf:resource="&provb;EntityInvolvement"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Traceability"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Entity -->
+
+ <owl:Class rdf:about="&prova;Entity">
+ <rdfs:subClassOf rdf:resource="&provb;Element"/>
+ <rdfs:comment xml:lang="en">An identifiable characterized entity.</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Entity"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Generation -->
+
+ <owl:Class rdf:about="&prova;Generation">
+ <rdfs:subClassOf rdf:resource="&provb;ActivityInvolvement"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Inform -->
+
+ <owl:Class rdf:about="&prova;Inform">
+ <rdfs:subClassOf rdf:resource="&provb;ActivityInvolvement"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity_Ordering"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Responsibility -->
+
+ <owl:Class rdf:about="&prova;Responsibility">
+ <rdfs:subClassOf rdf:resource="&provb;AgentInvolvement"/>
+ <rdfs:comment xml:lang="en">An instance of prova:Responsibility provides additional descriptions about the binary prova:actedOnBehalfOf relation from a performing prova:Agent to some prova:Agent for whom it was performed. For example, :mixing prova:wasAssociatedWith :toddler . :toddler prova:actedOnBehalfOf :mother; prova:qualified [ a prova:Responsiblity; prova:entity :mother; :foo :bar ].</rdfs:comment>
+ <rdfs:comment rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prova#Usage -->
+
+ <owl:Class rdf:about="&prova;Usage">
+ <rdfs:subClassOf rdf:resource="&provb;EntityInvolvement"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/provb#ActivityInvolvement -->
+
+ <owl:Class rdf:about="&provb;ActivityInvolvement">
+ <rdfs:subClassOf rdf:resource="&provb;Involvement"/>
+ <owl:disjointWith rdf:resource="&provb;EntityInvolvement"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/provb#AgentInvolvement -->
+
+ <owl:Class rdf:about="&provb;AgentInvolvement">
+ <rdfs:subClassOf rdf:resource="&provb;EntityInvolvement"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/provb#Element -->
+
+ <owl:Class rdf:about="&provb;Element">
+ <rdfs:comment xml:lang="en">Element is the union of Activity and Entity, which are the principal topics of PROV.
+
+(Due to OWL-RL restriction this union is not specified here)</rdfs:comment>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/provb#EntityInvolvement -->
+
+ <owl:Class rdf:about="&provb;EntityInvolvement">
+ <rdfs:subClassOf rdf:resource="&provb;Involvement"/>
+ <rdfs:comment xml:lang="en">An instance of EntityInvolvement is used to provide additional descriptions of a binary relation from any instance to an instance of Entity.</rdfs:comment>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/provb#Involvement -->
+
+ <owl:Class rdf:about="&provb;Involvement">
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
+ </owl:Class>
+</rdf:RDF>
+
+
+
+<!-- Generated by the OWL API (version 3.2.3.1824) http://owlapi.sourceforge.net -->
+