--- a/ontology/ProvenanceOntology.owl Tue Mar 13 10:25:03 2012 -0400
+++ b/ontology/ProvenanceOntology.owl Tue Mar 13 12:35:10 2012 -0400
@@ -13,12 +13,12 @@
<rdf:RDF xmlns="http://example.com/"
xml:base="http://example.com/"
- xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
- xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:prov="http://www.w3.org/ns/prov#"
- xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
- xmlns:owl="http://www.w3.org/2002/07/owl#">
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
+ 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/prov#">
<rdfs:label xml:lang="en">PROV Ontology</rdfs:label>
<rdfs:comment rdf:datatype="&xsd;string">0.2</rdfs:comment>
@@ -39,7 +39,11 @@
///////////////////////////////////////////////////////////////////////////////////////
-->
+ <owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
<owl:AnnotationProperty rdf:about="&prov;category"/>
+ <owl:AnnotationProperty rdf:about="&prov;unqualifiedForm">
+ <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
+ </owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&prov;qualifiedForm">
<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.
@@ -58,23 +62,8 @@
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;comment"/>
<owl:AnnotationProperty rdf:about="&rdfs;label"/>
- <owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
- <owl:AnnotationProperty rdf:about="&prov;unqualifiedForm">
- <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
- </owl:AnnotationProperty>
-
-
-
- <!--
- ///////////////////////////////////////////////////////////////////////////////////////
- //
- // Datatypes
- //
- ///////////////////////////////////////////////////////////////////////////////////////
- -->
-
+ <owl:AnnotationProperty rdf:about="&rdfs;comment"/>
@@ -100,8 +89,8 @@
<owl:ObjectProperty rdf:about="&prov;actedOnBehalfOf">
<prov:category>simple</prov:category>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
+ <rdfs:domain rdf:resource="&prov;Agent"/>
<rdfs:range rdf:resource="&prov;Agent"/>
- <rdfs:domain rdf:resource="&prov;Agent"/>
<prov:qualifiedForm rdf:resource="&prov;Responsibility"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedResponsibility"/>
@@ -128,8 +117,8 @@
<!-- http://www.w3.org/ns/prov#agent -->
<owl:ObjectProperty rdf:about="&prov;agent">
+ <rdfs:comment>This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</rdfs:comment>
<prov:category>qualified</prov:category>
- <rdfs:comment>This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</rdfs:comment>
<rdfs:range rdf:resource="&prov;Agent"/>
<rdfs:domain rdf:resource="&prov;AgentInvolvement"/>
</owl:ObjectProperty>
@@ -143,8 +132,8 @@
<prov:category>simple</prov:category>
<rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#AlternateOf"/>
+ <rdfs:domain rdf:resource="&prov;Entity"/>
<rdfs:range rdf:resource="&prov;Entity"/>
- <rdfs:domain rdf:resource="&prov;Entity"/>
<rdfs:seeAlso rdf:resource="&prov;specializationOf"/>
</owl:ObjectProperty>
@@ -153,9 +142,9 @@
<!-- http://www.w3.org/ns/prov#entity -->
<owl:ObjectProperty rdf:about="&prov;entity">
+ <rdfs:comment xml:lang="en">The property used by a prov:ActivityInvolvement to cite the Activity that was prov: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 prov:involved triple.</rdfs:comment>
<prov:category>qualified</prov:category>
- <rdfs:comment xml:lang="en">The property used by a prov:ActivityInvolvement to cite the Activity that was prov:involved with either an Activity or Entity.</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"/>
@@ -187,9 +176,9 @@
<owl:ObjectProperty rdf:about="&prov;hadLocation">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <rdfs:comment>This property is not functional because the many values could be at a variety of granularies (In this room, in that chair).</rdfs:comment>
+ <rdfs:comment>DM: Location is an optional attribute of Entity and Activity.</rdfs:comment>
<prov:category>simple</prov:category>
- <rdfs:comment>DM: Location is an optional attribute of Entity and Activity.</rdfs:comment>
- <rdfs:comment>This property is not functional because the many values could be at a variety of granularies (In this room, in that chair).</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Location"/>
<rdfs:range rdf:resource="&prov;Location"/>
</owl:ObjectProperty>
@@ -202,8 +191,8 @@
<prov:category>additional</prov:category>
<rdfs:comment xml:lang="en">how is this different from wasDerivedFrom?</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Original_Source"/>
+ <rdfs:range rdf:resource="&prov;Entity"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
- <rdfs:range rdf:resource="&prov;Entity"/>
<prov:qualifiedForm rdf:resource="&prov;Source"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedSource"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
@@ -254,8 +243,8 @@
<owl:ObjectProperty rdf:about="&prov;hadRole">
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <rdfs:comment xml:lang="en">When an instance of prov:Involvement uses the prov:hadRole property to cite a prov:Role, it is providing a role for the instance referenced by the prov:entity or the prov:activity properties. For example, :baking prov:used :spoon; prov:qualified [ a prov:Usage; prov:entity :spoon; prov:hadRole roles:mixing_implement ].</rdfs:comment>
<prov:category>qualified</prov:category>
- <rdfs:comment xml:lang="en">When an instance of prov:Involvement uses the prov:hadRole property to cite a prov:Role, it is providing a role for the instance referenced by the prov:entity or the prov:activity properties. For example, :baking prov:used :spoon; prov:qualified [ a prov:Usage; prov:entity :spoon; prov:hadRole roles:mixing_implement ].</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribute"/>
<rdfs:domain rdf:resource="&prov;Involvement"/>
<rdfs:range rdf:resource="&prov;Role"/>
@@ -303,8 +292,8 @@
<owl:ObjectProperty rdf:about="&prov;qualifiedAttribution">
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
+ <prov:category>qualified</prov:category>
<rdfs:comment>If this Entity prov:wasAttributedTo Agent :ag, then it can qualify how it was using prov:qualifiedAttribution [ a prov:Attribution; prov:agent :ag; :foo :bar ].</rdfs:comment>
- <prov:category>qualified</prov:category>
<rdfs:range rdf:resource="&prov;Attribution"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
<prov:unqualifiedForm rdf:resource="&prov;wasAttributedTo"/>
@@ -329,8 +318,8 @@
<owl:ObjectProperty rdf:about="&prov;qualifiedEnd">
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
+ <prov:category>qualified</prov:category>
<rdfs:comment>If this Activity prov:wasEndedBy Agent :ag, then it can qualify how it was ended using prov:qualifiedEnd [ a prov:End; prov:agent :ag; :foo :bar ].</rdfs:comment>
- <prov:category>qualified</prov:category>
<rdfs:domain rdf:resource="&prov;Activity"/>
<rdfs:range rdf:resource="&prov;End"/>
<prov:unqualifiedForm rdf:resource="&prov;wasEndedBy"/>
@@ -355,8 +344,8 @@
<owl:ObjectProperty rdf:about="&prov;qualifiedInform">
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
+ <rdfs:comment>If this Activity prov:wasInformedBy Activity :a, then it can qualify how it was Inform[ed] using prov:qualifiedInform [ a prov:Inform; prov:activity :a; :foo :bar ].</rdfs:comment>
<prov:category>qualified</prov:category>
- <rdfs:comment>If this Activity prov:wasInformedBy Activity :a, then it can qualify how it was Inform[ed] using prov:qualifiedInform [ a prov:Inform; prov:activity :a; :foo :bar ].</rdfs:comment>
<rdfs:domain rdf:resource="&prov;Activity"/>
<rdfs:range rdf:resource="&prov;Inform"/>
<prov:unqualifiedForm rdf:resource="&prov;wasInformedBy"/>
@@ -420,8 +409,8 @@
<owl:ObjectProperty rdf:about="&prov;qualifiedStart">
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
+ <prov:category>qualified</prov:category>
<rdfs:comment>If this Activity prov:wasStartedBy Agent :ag, then it can qualify how it was started using prov:qualifiedStart [ a prov:Start; prov:agent :ag; :foo :bar ].</rdfs:comment>
- <prov:category>qualified</prov:category>
<rdfs:domain rdf:resource="&prov;Activity"/>
<rdfs:range rdf:resource="&prov;Start"/>
<prov:unqualifiedForm rdf:resource="&prov;wasStartedBy"/>
@@ -474,8 +463,8 @@
<prov:category>simple</prov:category>
<rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#SpecializationOf"/>
+ <rdfs:domain rdf:resource="&prov;Entity"/>
<rdfs:range rdf:resource="&prov;Entity"/>
- <rdfs:domain rdf:resource="&prov;Entity"/>
<rdfs:seeAlso rdf:resource="&prov;alternateOf"/>
</owl:ObjectProperty>
@@ -502,8 +491,8 @@
<owl:ObjectProperty rdf:about="&prov;used">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <prov:category>simple</prov:category>
<rdfs:comment xml:lang="en">A prov:Entity that was used by this prov:Activity. For example, :baking prov:used :spoon, :egg, :oven .</rdfs:comment>
- <prov:category>simple</prov:category>
<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="&prov;Activity"/>
@@ -625,8 +614,8 @@
<prov:category>additional</prov:category>
<rdfs:comment xml:lang="en">Different from wasAttributedTo?</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
+ <rdfs:domain rdf:resource="&prov;Entity"/>
<rdfs:range rdf:resource="&prov;Entity"/>
- <rdfs:domain rdf:resource="&prov;Entity"/>
<prov:qualifiedForm rdf:resource="&prov;Quotation"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedQuotation"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
@@ -639,8 +628,8 @@
<owl:ObjectProperty rdf:about="&prov;wasRevisionOf">
<prov:category>additional</prov:category>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
+ <rdfs:range rdf:resource="&prov;Entity"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
- <rdfs:range rdf:resource="&prov;Entity"/>
<prov:qualifiedForm rdf:resource="&prov;Revision"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedRevision"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
@@ -666,8 +655,8 @@
<owl:ObjectProperty rdf:about="&prov;wasStartedByActivity">
<prov:category>simple</prov:category>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Started_by_activity"/>
+ <rdfs:range rdf:resource="&prov;Activity"/>
<rdfs:domain rdf:resource="&prov;Activity"/>
- <rdfs:range rdf:resource="&prov;Activity"/>
<prov:qualifiedForm rdf:resource="&prov;StartByActivity"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedStartByActivity"/>
@@ -740,8 +729,8 @@
<owl:Class rdf:about="&prov;Activity">
<owl:disjointWith rdf:resource="&prov;Entity"/>
+ <rdfs:comment xml:lang="en">Activity is defined to be 'an identifiable activity, which performs a piece of work.'</rdfs:comment>
<prov:category>simple</prov:category>
- <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>
@@ -752,8 +741,8 @@
<owl:Class rdf:about="&prov;ActivityInvolvement">
<rdfs:subClassOf rdf:resource="&prov;Involvement"/>
<owl:disjointWith rdf:resource="&prov;EntityInvolvement"/>
+ <prov:category>qualified</prov:category>
<rdfs:comment xml:lang="en">An instance of prov:ActivityInvolvement is used to provide additional descriptions of a binary relation from any instance to an instance of prov:Activity.</rdfs:comment>
- <prov:category>qualified</prov:category>
</owl:Class>
@@ -782,8 +771,8 @@
<owl:Class rdf:about="&prov;Association">
<rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
+ <prov:category>qualified</prov:category>
<rdfs:comment>An instance of prov:Association provides additional descriptions about the binary prov:wasAssociatedWith relation from a prov:Activity to some prov:Agent that is responsible for it. For example, :baking prov:wasAssociatedWith :baker; prov:qualified [ a prov:Association; prov:entity :baker; :foo :bar ].</rdfs:comment>
- <prov:category>qualified</prov:category>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
<prov:unqualifiedForm rdf:resource="&prov;wasAssociatedWith"/>
</owl:Class>
@@ -794,8 +783,8 @@
<owl:Class rdf:about="&prov;Attribution">
<rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
+ <rdfs:comment>An instance of prov:Attribution provides additional descriptions about the binary prov:wasAttributedTo relation from a prov:Entity to some prov:Agent that is responsible for it. For example, :cake prov:wasAttributedTo :baker; prov:qualified [ a prov:Attribution; prov:entity :baker; :foo :bar ].</rdfs:comment>
<prov:category>qualified</prov:category>
- <rdfs:comment>An instance of prov:Attribution provides additional descriptions about the binary prov:wasAttributedTo relation from a prov:Entity to some prov:Agent that is responsible for it. For example, :cake prov:wasAttributedTo :baker; prov:qualified [ a prov:Attribution; prov:entity :baker; :foo :bar ].</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
<prov:unqualifiedForm rdf:resource="&prov;wasAttributedTo"/>
</owl:Class>
@@ -807,8 +796,8 @@
<owl:Class rdf:about="&prov;Bundle">
<rdfs:subClassOf rdf:resource="&prov;Entity"/>
<rdfs:comment xml:lang="en">A prov:Bundle is a group of PROV statements.</rdfs:comment>
+ <prov:category>simple</prov:category>
<rdfs:comment xml:lang="en">prov:Bundles are best modeled using sd:NamedGraphs.</rdfs:comment>
- <prov:category>simple</prov:category>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Bundle"/>
</owl:Class>
@@ -854,8 +843,8 @@
<owl:Class rdf:about="&prov;EntityInvolvement">
<rdfs:subClassOf rdf:resource="&prov;Involvement"/>
+ <prov:category>qualified</prov:category>
<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>
- <prov:category>qualified</prov:category>
</owl:Class>
@@ -865,8 +854,8 @@
<owl:Class rdf:about="&prov;Generation">
<rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
<rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
+ <rdfs:comment xml:lang="de">An instance of prov:Generation provides additional descriptions about the binary prov:wasGeneratedBy relation from a generated prov:Entity to the prov:Activity that generated it. For example, :cake prov:wasGeneratedBy :baking; prov:qualified [ a prov:Generation; prov:entity :baking; :foo :bar ].</rdfs:comment>
<prov:category>qualified</prov:category>
- <rdfs:comment xml:lang="de">An instance of prov:Generation provides additional descriptions about the binary prov:wasGeneratedBy relation from a generated prov:Entity to the prov:Activity that generated it. For example, :cake prov:wasGeneratedBy :baking; prov:qualified [ a prov:Generation; prov:entity :baking; :foo :bar ].</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
<prov:unqualifiedForm rdf:resource="&prov;wasGeneratedBy"/>
</owl:Class>
@@ -895,9 +884,9 @@
<!-- http://www.w3.org/ns/prov#Involvement -->
<owl:Class rdf:about="&prov;Involvement">
- <prov:category>qualified</prov:category>
<rdfs:comment>TODO: For simplicity, the hierarchy "stops" at the primary Elements (Activity, Entity, Agent)</rdfs:comment>
<rdfs:comment xml:lang="en">An instance of prov:Involvement is used to provide additional descriptions of a prov:qualifiable binary involvement. A description (via prov:Involvement) of the binary involvement implies the assertion of the binary involvement.</rdfs:comment>
+ <prov:category>qualified</prov:category>
<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"/>
@@ -962,8 +951,8 @@
<owl:Class rdf:about="&prov;Quotation">
<rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
+ <rdfs:comment xml:lang="en">TODO: Shouldn't Quotation be a subtype of Derivation (and same for the binary relations?) -Tim</rdfs:comment>
<prov:category>additional</prov:category>
- <rdfs:comment xml:lang="en">TODO: Shouldn't Quotation be a subtype of Derivation (and same for the binary relations?) -Tim</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
<prov:unqualifiedForm rdf:resource="&prov;wasQuotedFrom"/>
</owl:Class>
@@ -974,8 +963,8 @@
<owl:Class rdf:about="&prov;Responsibility">
<rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
+ <rdfs:comment xml:lang="en">An instance of prov:Responsibility provides additional descriptions about the binary prov:actedOnBehalfOf relation from a performing prov:Agent to some prov:Agent for whom it was performed. For example, :mixing prov:wasAssociatedWith :toddler . :toddler prov:actedOnBehalfOf :mother; prov:qualified [ a prov:Responsiblity; prov:entity :mother; :foo :bar ].</rdfs:comment>
<prov:category>qualified</prov:category>
- <rdfs:comment xml:lang="en">An instance of prov:Responsibility provides additional descriptions about the binary prov:actedOnBehalfOf relation from a performing prov:Agent to some prov:Agent for whom it was performed. For example, :mixing prov:wasAssociatedWith :toddler . :toddler prov:actedOnBehalfOf :mother; prov:qualified [ a prov:Responsiblity; prov:entity :mother; :foo :bar ].</rdfs:comment>
<rdfs:comment rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
<prov:unqualifiedForm rdf:resource="&prov;actedOnBehalfOf"/>
</owl:Class>
@@ -996,7 +985,7 @@
<!-- http://www.w3.org/ns/prov#Role -->
<owl:Class rdf:about="&prov;Role">
- <prov:category>simple</prov:category>
+ <prov:category>qualified</prov:category>
<rdfs:comment rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribute"/>
<rdfs:seeAlso rdf:resource="&prov;hadRole"/>
</owl:Class>
@@ -1029,8 +1018,8 @@
<owl:Class rdf:about="&prov;Start">
<rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
<rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
+ <rdfs:comment>An Agent starts an Activity, optionally at a particular TimeInstant.</rdfs:comment>
<prov:category>qualified</prov:category>
- <rdfs:comment>An Agent starts an Activity, optionally at a particular TimeInstant.</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting"/>
<prov:unqualifiedForm rdf:resource="&prov;wasStartedBy"/>
</owl:Class>
@@ -1052,9 +1041,9 @@
<owl:Class rdf:about="&prov;Trace">
<rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
+ <prov:category>qualified</prov:category>
<rdfs:comment xml:lang="en">A prov:Trace can be from any prov:Element to any prov:Element, so it cannot be a subclass of prov:EntityInvolvement or prov:ActivityInvolvement.</rdfs:comment>
<rdfs:comment xml:lang="en">An instance of prov:Trace provides additional descriptions about the binary prov:tracedTo relation from some prov:Element (Entity or Activity) to some other prov:Element. For example, :stomach_ache prov:tracedTo :spoon; prov:qualified [ a prov:Trace; prov:entity :spoon; :foo :bar ].</rdfs:comment>
- <prov:category>qualified</prov:category>
<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"/>
<prov:unqualifiedForm rdf:resource="&prov;tracedTo"/>
@@ -1075,5 +1064,5 @@
-<!-- Generated by the OWL API (version 3.2.3.22702) http://owlapi.sourceforge.net -->
+<!-- Generated by the OWL API (version 3.1.0.20069) http://owlapi.sourceforge.net -->