--- a/ontology/ProvenanceOntology.owl Sun Oct 23 22:25:01 2011 -0400
+++ b/ontology/ProvenanceOntology.owl Mon Oct 24 14:42:03 2011 +0100
@@ -21,10 +21,9 @@
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="">
+ <owl:Ontology rdf:about="http://www.w3.org/ns/prov-o/">
<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).
+ <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/TR/prov-o/"/>
@@ -35,6 +34,28 @@
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
+ // Annotation properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Datatypes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
@@ -69,135 +90,132 @@
<!-- http://www.w3.org/ns/prov-o/assumedRole -->
- <owl:ObjectProperty rdf:about="assumedRole">
+ <owl:ObjectProperty rdf:about="&prov-o;assumedRole">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdfs:label xml:lang="en">assumed role</rdfs:label>
- <rdfs:domain rdf:resource="EntityInRole"/>
- <rdfs:range rdf:resource="Role"/>
- <rdfs:subPropertyOf rdf:resource="wasComplementOf"/>
+ <rdfs:domain rdf:resource="&prov-o;EntityInRole"/>
+ <rdfs:range rdf:resource="&prov-o;Role"/>
+ <rdfs:subPropertyOf rdf:resource="&prov-o;wasComplementOf"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/assumedRoleAt -->
- <owl:ObjectProperty rdf:about="assumedRoleAt">
+ <owl:ObjectProperty rdf:about="&prov-o;assumedRoleAt">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdfs:label xml:lang="en">assumed role at</rdfs:label>
<rdfs:range rdf:resource="&time;Instant"/>
<rdfs:subPropertyOf rdf:resource="&time;hasBeginning"/>
- <rdfs:domain rdf:resource="EntityInRole"/>
- <rdfs:subPropertyOf rdf:resource="hadTemporalValue"/>
+ <rdfs:domain rdf:resource="&prov-o;EntityInRole"/>
+ <rdfs:subPropertyOf rdf:resource="&prov-o;hadTemporalValue"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/dependedOn -->
- <owl:ObjectProperty rdf:about="dependedOn">
+ <owl:ObjectProperty rdf:about="&prov-o;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"/>
+ <rdfs:range rdf:resource="&prov-o;Entity"/>
+ <rdfs:domain rdf:resource="&prov-o;Entity"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/endedAt -->
- <owl:ObjectProperty rdf:about="endedAt">
+ <owl:ObjectProperty rdf:about="&prov-o;endedAt">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdfs:label xml:lang="en">ended at</rdfs:label>
<rdfs:range rdf:resource="&time;Instant"/>
<rdfs:subPropertyOf rdf:resource="&time;hasEnd"/>
- <rdfs:domain rdf:resource="ProcessExecution"/>
- <rdfs:subPropertyOf rdf:resource="hadTemporalValue"/>
+ <rdfs:domain rdf:resource="&prov-o;ProcessExecution"/>
+ <rdfs:subPropertyOf rdf:resource="&prov-o;hadTemporalValue"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/followed -->
- <owl:ObjectProperty rdf:about="followed">
+ <owl:ObjectProperty rdf:about="&prov-o;followed">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">preceded</rdfs:label>
<rdfs:subPropertyOf rdf:resource="&time;after"/>
- <rdfs:domain rdf:resource="ProcessExecution"/>
- <rdfs:range rdf:resource="ProcessExecution"/>
+ <rdfs:range rdf:resource="&prov-o;ProcessExecution"/>
+ <rdfs:domain rdf:resource="&prov-o;ProcessExecution"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/hadLocation -->
- <owl:ObjectProperty rdf:about="hadLocation">
+ <owl:ObjectProperty rdf:about="&prov-o;hadLocation">
<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="Entity"/>
- <rdfs:range rdf:resource="Location"/>
+ <rdfs:domain rdf:resource="&prov-o;Entity"/>
+ <rdfs:range rdf:resource="&prov-o;Location"/>
</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 rdf:about="&prov-o;hadOriginalSource">
+ <rdfs:comment rdf:datatype="&xsd;string">how is this different from wasDerivedFrom?</rdfs:comment>
+ <rdfs:domain rdf:resource="&prov-o;Entity"/>
+ <rdfs:range rdf:resource="&prov-o;Entity"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/hadParticipant -->
- <owl:ObjectProperty rdf:about="hadParticipant">
+ <owl:ObjectProperty rdf:about="&prov-o;hadParticipant">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdfs:label xml:lang="en">had participant</rdfs:label>
- <rdfs:range rdf:resource="Entity"/>
- <rdfs:domain rdf:resource="ProcessExecution"/>
+ <rdfs:range rdf:resource="&prov-o;Entity"/>
+ <rdfs:domain rdf:resource="&prov-o;ProcessExecution"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/hadRecipe -->
- <owl:ObjectProperty rdf:about="hadRecipe">
+ <owl:ObjectProperty rdf:about="&prov-o;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
+ <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="ProcessExecution"/>
- <rdfs:range rdf:resource="Recipe"/>
+ <rdfs:domain rdf:resource="&prov-o;ProcessExecution"/>
+ <rdfs:range rdf:resource="&prov-o;Recipe"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/hadTemporalValue -->
- <owl:ObjectProperty rdf:about="hadTemporalValue">
- <rdfs:label xml:lang="en"
- >has temporal value</rdfs:label>
+ <owl:ObjectProperty rdf:about="&prov-o;hadTemporalValue">
+ <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="Entity"/>
- <rdf:Description rdf:about="ProcessExecution"/>
+ <rdf:Description rdf:about="&prov-o;Entity"/>
+ <rdf:Description rdf:about="&prov-o;ProcessExecution"/>
</owl:unionOf>
</owl:Class>
</rdfs:domain>
@@ -207,182 +225,244 @@
<!-- http://www.w3.org/ns/prov-o/startedAt -->
- <owl:ObjectProperty rdf:about="startedAt">
+ <owl:ObjectProperty rdf:about="&prov-o;startedAt">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdfs:label xml:lang="en">started at</rdfs:label>
<rdfs:range rdf:resource="&time;Instant"/>
<rdfs:subPropertyOf rdf:resource="&time;hasBeginning"/>
- <rdfs:domain rdf:resource="ProcessExecution"/>
- <rdfs:subPropertyOf rdf:resource="hadTemporalValue"/>
+ <rdfs:domain rdf:resource="&prov-o;ProcessExecution"/>
+ <rdfs:subPropertyOf rdf:resource="&prov-o;hadTemporalValue"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/used -->
- <owl:ObjectProperty rdf:about="used">
+ <owl:ObjectProperty rdf:about="&prov-o;used">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdfs:label xml:lang="en">used</rdfs:label>
- <rdfs:range rdf:resource="Entity"/>
- <rdfs:domain rdf:resource="ProcessExecution"/>
+ <rdfs:range rdf:resource="&prov-o;Entity"/>
+ <rdfs:domain rdf:resource="&prov-o;ProcessExecution"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/wasAssumedBy -->
- <owl:ObjectProperty rdf:about="wasAssumedBy">
+ <owl:ObjectProperty rdf:about="&prov-o;wasAssumedBy">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdfs:label xml:lang="en">assumed by</rdfs:label>
- <rdfs:range rdf:resource="Entity"/>
- <rdfs:domain rdf:resource="EntityInRole"/>
+ <rdfs:range rdf:resource="&prov-o;Entity"/>
+ <rdfs:domain rdf:resource="&prov-o;EntityInRole"/>
</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 rdf:about="&prov-o;wasAttributedTo">
+ <rdfs:range rdf:resource="&prov-o;Agent"/>
+ <rdfs:domain rdf:resource="&prov-o;Entity"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/wasComplementOf -->
- <owl:ObjectProperty rdf:about="wasComplementOf">
+ <owl:ObjectProperty rdf:about="&prov-o;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"/>
+ <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="&prov-o;Entity"/>
+ <rdfs:range rdf:resource="&prov-o;Entity"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/wasControlledBy -->
- <owl:ObjectProperty rdf:about="wasControlledBy">
+ <owl:ObjectProperty rdf:about="&prov-o;wasControlledBy">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <rdfs:label xml:lang="en"
- >was controlled by</rdfs:label>
- <rdfs:range rdf:resource="Agent"/>
- <rdfs:domain rdf:resource="ProcessExecution"/>
+ <rdfs:label xml:lang="en">was controlled by</rdfs:label>
+ <rdfs:range rdf:resource="&prov-o;Agent"/>
+ <rdfs:domain rdf:resource="&prov-o;ProcessExecution"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/wasDerivedFrom -->
- <owl:ObjectProperty rdf:about="wasDerivedFrom">
+ <owl:ObjectProperty rdf:about="&prov-o;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"/>
+ <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="&prov-o;Entity"/>
+ <rdfs:domain rdf:resource="&prov-o;Entity"/>
+ <rdfs:subPropertyOf rdf:resource="&prov-o;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.
+ <owl:ObjectProperty rdf:about="&prov-o;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"/>
+ <rdfs:range rdf:resource="&prov-o;Entity"/>
+ <rdfs:domain rdf:resource="&prov-o;Entity"/>
+ <rdfs:subPropertyOf rdf:resource="&prov-o;wasDerivedFrom"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prov-o/wasExpandedAt -->
+
+ <owl:ObjectProperty rdf:about="&prov-o;wasExpandedAt">
+ <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <rdfs:comment xml:lang="en">The collection was extended at the given key.</rdfs:comment>
+ <rdfs:domain rdf:resource="&prov-o;ExpandedCollection"/>
+ <rdfs:subPropertyOf rdf:resource="&prov-o;wasDerivedFrom"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prov-o/wasExpandedBy -->
+
+ <owl:ObjectProperty rdf:about="&prov-o;wasExpandedBy">
+ <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <rdfs:domain rdf:resource="&prov-o;ExpandedCollection"/>
+ <rdfs:subPropertyOf rdf:resource="&prov-o;wasDerivedFrom"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prov-o/wasExpandedFrom -->
+
+ <owl:ObjectProperty rdf:about="&prov-o;wasExpandedFrom">
+ <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <rdfs:range rdf:resource="&prov-o;Collection"/>
+ <rdfs:domain rdf:resource="&prov-o;ExpandedCollection"/>
+ <rdfs:subPropertyOf rdf:resource="&prov-o;wasDerivedFrom"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/wasGeneratedAt -->
- <owl:ObjectProperty rdf:about="wasGeneratedAt">
+ <owl:ObjectProperty rdf:about="&prov-o;wasGeneratedAt">
<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 at</rdfs:label>
+ <rdfs:label xml:lang="en">was generated at</rdfs:label>
<rdfs:range rdf:resource="&time;Instant"/>
<rdfs:subPropertyOf rdf:resource="&time;hasBeginning"/>
- <rdfs:domain rdf:resource="Entity"/>
- <rdfs:subPropertyOf rdf:resource="hadTemporalValue"/>
+ <rdfs:domain rdf:resource="&prov-o;Entity"/>
+ <rdfs:subPropertyOf rdf:resource="&prov-o;hadTemporalValue"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/wasGeneratedBy -->
- <owl:ObjectProperty rdf:about="wasGeneratedBy">
+ <owl:ObjectProperty rdf:about="&prov-o;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:domain rdf:resource="Entity"/>
- <rdfs:range rdf:resource="ProcessExecution"/>
+ <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:domain rdf:resource="&prov-o;Entity"/>
+ <rdfs:range rdf:resource="&prov-o;ProcessExecution"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/wasInformedBy -->
- <owl:ObjectProperty rdf:about="wasInformedBy">
+ <owl:ObjectProperty rdf:about="&prov-o;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:range rdf:resource="ProcessExecution"/>
- <rdfs:domain rdf:resource="ProcessExecution"/>
+ <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="&prov-o;ProcessExecution"/>
+ <rdfs:range rdf:resource="&prov-o;ProcessExecution"/>
</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 rdf:about="&prov-o;wasQuoteOf">
+ <rdfs:comment rdf:datatype="&xsd;string">Different from wasAttributedTo?</rdfs:comment>
+ <rdfs:range rdf:resource="&prov-o;Agent"/>
+ <rdfs:domain rdf:resource="&prov-o;Entity"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prov-o/wasReducedAt -->
+
+ <owl:ObjectProperty rdf:about="&prov-o;wasReducedAt">
+ <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <rdfs:domain rdf:resource="&prov-o;ReducedCollection"/>
+ <rdfs:subPropertyOf rdf:resource="&prov-o;wasDerivedFrom"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prov-o/wasReducedBy -->
+
+ <owl:ObjectProperty rdf:about="&prov-o;wasReducedBy">
+ <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <rdfs:domain rdf:resource="&prov-o;ReducedCollection"/>
+ <rdfs:subPropertyOf rdf:resource="&prov-o;wasDerivedFrom"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prov-o/wasReducedFrom -->
+
+ <owl:ObjectProperty rdf:about="&prov-o;wasReducedFrom">
+ <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <rdfs:domain rdf:resource="&prov-o;ReducedCollection"/>
+ <rdfs:subPropertyOf rdf:resource="&prov-o;wasDerivedFrom"/>
</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="ProcessExecution"/>
- <rdfs:domain rdf:resource="ProcessExecution"/>
+ <owl:ObjectProperty rdf:about="&prov-o;wasScheduledAfter">
+ <rdfs:label xml:lang="en">was scheduled after</rdfs:label>
+ <rdfs:range rdf:resource="&prov-o;ProcessExecution"/>
+ <rdfs:domain rdf:resource="&prov-o;ProcessExecution"/>
</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 rdf:about="&prov-o;wasSummaryOf">
+ <rdfs:range rdf:resource="&prov-o;Entity"/>
+ <rdfs:domain rdf:resource="&prov-o;Entity"/>
</owl:ObjectProperty>
@@ -457,45 +537,67 @@
<!-- http://www.w3.org/ns/prov-o/Agent -->
- <owl:Class rdf:about="Agent">
+ <owl:Class rdf:about="&prov-o;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>
+ <rdfs:subClassOf rdf:resource="&prov-o;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/Collection -->
+
+ <owl:Class rdf:about="&prov-o;Collection">
+ <rdfs:label xml:lang="en">Collection</rdfs:label>
+ <rdfs:subClassOf rdf:resource="&prov-o;Entity"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prov-o/EmptyCollection -->
+
+ <owl:Class rdf:about="&prov-o;EmptyCollection">
+ <rdfs:subClassOf rdf:resource="&prov-o;Collection"/>
</owl:Class>
<!-- http://www.w3.org/ns/prov-o/Entity -->
- <owl:Class rdf:about="Entity">
+ <owl:Class rdf:about="&prov-o;Entity">
<rdfs:label xml:lang="en">Entity</rdfs:label>
- <rdfs:comment xml:lang="en"
- >An identifiable characterized entity.</rdfs:comment>
+ <rdfs:comment xml:lang="en">An identifiable characterized entity.</rdfs:comment>
</owl:Class>
<!-- http://www.w3.org/ns/prov-o/EntityInRole -->
- <owl:Class rdf:about="EntityInRole">
+ <owl:Class rdf:about="&prov-o;EntityInRole">
<rdfs:label xml:lang="en">Entity In Role</rdfs:label>
- <rdfs:subClassOf rdf:resource="Entity"/>
+ <rdfs:subClassOf rdf:resource="&prov-o;Entity"/>
<rdfs:subClassOf>
<owl:Restriction>
- <owl:onProperty rdf:resource="wasAssumedBy"/>
+ <owl:onProperty rdf:resource="&prov-o;wasAssumedBy"/>
<owl:someValuesFrom rdf:resource="&owl;Thing"/>
</owl:Restriction>
</rdfs:subClassOf>
- <rdfs:comment xml:lang="en"
- >Entity in role is defined to be "a function assumed by a entity or an agent."</rdfs:comment>
+ <rdfs:comment xml:lang="en">Entity in role is defined to be "a function assumed by a entity or an agent."</rdfs:comment>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prov-o/ExpandedCollection -->
+
+ <owl:Class rdf:about="&prov-o;ExpandedCollection">
+ <rdfs:subClassOf rdf:resource="&prov-o;Collection"/>
</owl:Class>
<!-- http://www.w3.org/ns/prov-o/Location -->
- <owl:Class rdf:about="Location">
+ <owl:Class rdf:about="&prov-o;Location">
<rdfs:label xml:lang="en">Location</rdfs:label>
</owl:Class>
@@ -503,22 +605,18 @@
<!-- http://www.w3.org/ns/prov-o/ProcessExecution -->
- <owl:Class rdf:about="ProcessExecution">
- <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 rdf:about="&prov-o;ProcessExecution">
+ <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/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.
+ <owl:Class rdf:about="&prov-o;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>
@@ -527,25 +625,32 @@
<!-- http://www.w3.org/ns/prov-o/Recipe -->
- <owl:Class rdf:about="Recipe">
+ <owl:Class rdf:about="&prov-o;Recipe">
<rdfs:label xml:lang="en">Recipe</rdfs:label>
</owl:Class>
+ <!-- http://www.w3.org/ns/prov-o/ReducedCollection -->
+
+ <owl:Class rdf:about="&prov-o;ReducedCollection">
+ <rdfs:subClassOf rdf:resource="&prov-o;Collection"/>
+ </owl:Class>
+
+
+
<!-- http://www.w3.org/ns/prov-o/Revision -->
- <owl:Class rdf:about="Revision">
+ <owl:Class rdf:about="&prov-o;Revision">
<rdfs:label xml:lang="en">Revision</rdfs:label>
- <rdfs:comment xml:lang="en"
- >Revision is defined as a modified version of a Entity.</rdfs:comment>
+ <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/Role -->
- <owl:Class rdf:about="Role">
+ <owl:Class rdf:about="&prov-o;Role">
<rdfs:label xml:lang="en">Role</rdfs:label>
</owl:Class>
@@ -553,7 +658,7 @@
<!-- http://www.w3.org/ns/prov-o/Time -->
- <owl:Class rdf:about="Time">
+ <owl:Class rdf:about="&prov-o;Time">
<rdfs:label xml:lang="en">Time</rdfs:label>
<owl:equivalentClass>
<owl:Restriction>
@@ -562,8 +667,7 @@
</owl:Restriction>
</owl:equivalentClass>
<rdfs:subClassOf rdf:resource="&time;Instant"/>
- <rdfs:comment xml:lang="en"
- >An time:Instant with time:inXSDDateTime specified</rdfs:comment>
+ <rdfs:comment xml:lang="en">An time:Instant with time:inXSDDateTime specified</rdfs:comment>
</owl:Class>
@@ -581,10 +685,12 @@
<!-- http://www.w3.org/TR/prov-o/ -->
- <owl:Thing rdf:about="http://www.w3.org/TR/prov-o/"/>
+ <owl:Thing rdf:about="http://www.w3.org/TR/prov-o/">
+ <rdf:type rdf:resource="&owl;NamedIndividual"/>
+ </owl:Thing>
</rdf:RDF>
-<!-- Generated by the OWL API (version 2.2.1.1138) http://owlapi.sourceforge.net -->
+<!-- Generated by the OWL API (version 3.2.3.1824) http://owlapi.sourceforge.net -->