--- a/ontology/ProvenanceOntology.owl Tue Mar 13 12:02:25 2012 +0000
+++ b/ontology/ProvenanceOntology.owl Tue Mar 13 14:52:05 2012 +0100
@@ -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: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#">
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:owl="http://www.w3.org/2002/07/owl#">
<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,11 +39,7 @@
///////////////////////////////////////////////////////////////////////////////////////
-->
- <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.
@@ -62,8 +58,23 @@
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;comment"/>
+ <owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
+ <owl:AnnotationProperty rdf:about="&prov;unqualifiedForm">
+ <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
+ </owl:AnnotationProperty>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Datatypes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
@@ -89,8 +100,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:range rdf:resource="&prov;Agent"/>
<rdfs:domain rdf:resource="&prov;Agent"/>
- <rdfs:range rdf:resource="&prov;Agent"/>
<prov:qualifiedForm rdf:resource="&prov;Responsibility"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedResponsibility"/>
@@ -117,8 +128,8 @@
<!-- http://www.w3.org/ns/prov#agent -->
<owl:ObjectProperty rdf:about="&prov;agent">
+ <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>
- <prov:category>qualified</prov:category>
<rdfs:range rdf:resource="&prov;Agent"/>
<rdfs:domain rdf:resource="&prov;AgentInvolvement"/>
</owl:ObjectProperty>
@@ -132,8 +143,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:range rdf:resource="&prov;Entity"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
- <rdfs:range rdf:resource="&prov;Entity"/>
<rdfs:seeAlso rdf:resource="&prov;specializationOf"/>
</owl:ObjectProperty>
@@ -142,9 +153,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"/>
@@ -163,6 +174,8 @@
<owl:ObjectProperty rdf:about="&prov;generated">
<prov:category>simple</prov:category>
<rdfs:comment>This inverse of prov: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:domain rdf:resource="&prov;Activity"/>
+ <rdfs:range rdf:resource="&prov;Entity"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
<owl:inverseOf rdf:resource="&prov;wasGeneratedBy"/>
</owl:ObjectProperty>
@@ -174,9 +187,9 @@
<owl:ObjectProperty rdf:about="&prov;hadLocation">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <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:comment>DM: Location is an optional attribute of Entity and Activity.</rdfs:comment>
- <prov:category>simple</prov:category>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Location"/>
<rdfs:range rdf:resource="&prov;Location"/>
</owl:ObjectProperty>
@@ -189,8 +202,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:domain rdf:resource="&prov;Entity"/>
<rdfs:range rdf:resource="&prov;Entity"/>
- <rdfs:domain rdf:resource="&prov;Entity"/>
<prov:qualifiedForm rdf:resource="&prov;Source"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedSource"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
@@ -241,9 +254,10 @@
<owl:ObjectProperty rdf:about="&prov;hadRole">
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <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>
- <prov:category>qualified</prov:category>
<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"/>
</owl:ObjectProperty>
@@ -289,8 +303,8 @@
<owl:ObjectProperty rdf:about="&prov;qualifiedAttribution">
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
+ <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: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>
<rdfs:range rdf:resource="&prov;Attribution"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
<prov:unqualifiedForm rdf:resource="&prov;wasAttributedTo"/>
@@ -315,8 +329,8 @@
<owl:ObjectProperty rdf:about="&prov;qualifiedEnd">
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
+ <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: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>
<rdfs:domain rdf:resource="&prov;Activity"/>
<rdfs:range rdf:resource="&prov;End"/>
<prov:unqualifiedForm rdf:resource="&prov;wasEndedBy"/>
@@ -341,8 +355,8 @@
<owl:ObjectProperty rdf:about="&prov;qualifiedInform">
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
+ <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>
- <prov:category>qualified</prov:category>
<rdfs:domain rdf:resource="&prov;Activity"/>
<rdfs:range rdf:resource="&prov;Inform"/>
<prov:unqualifiedForm rdf:resource="&prov;wasInformedBy"/>
@@ -406,8 +420,8 @@
<owl:ObjectProperty rdf:about="&prov;qualifiedStart">
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
+ <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: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>
<rdfs:domain rdf:resource="&prov;Activity"/>
<rdfs:range rdf:resource="&prov;Start"/>
<prov:unqualifiedForm rdf:resource="&prov;wasStartedBy"/>
@@ -434,6 +448,8 @@
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<prov:category>qualified</prov:category>
<rdfs:comment>If this prov:wasAttributedTo Entity :e, then it can qualify how using prov:qualifiedTrace [ a prov:Trace; prov:entity :e; :foo :bar ]. If this prov:wasAttributedTo Activity :a, then it can qualify how using prov:qualifiedTrace [ a prov:Trace; prov:activity :a; :foo :bar ].</rdfs:comment>
+ <rdfs:domain rdf:resource="&prov;Entity"/>
+ <rdfs:range rdf:resource="&prov;Trace"/>
<prov:unqualifiedForm rdf:resource="&prov;tracedTo"/>
</owl:ObjectProperty>
@@ -458,8 +474,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:range rdf:resource="&prov;Entity"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
- <rdfs:range rdf:resource="&prov;Entity"/>
<rdfs:seeAlso rdf:resource="&prov;alternateOf"/>
</owl:ObjectProperty>
@@ -486,8 +502,8 @@
<owl:ObjectProperty rdf:about="&prov;used">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <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:comment xml:lang="en">A prov:Entity that was used by this prov:Activity. For example, :baking prov: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="&prov;Activity"/>
@@ -609,8 +625,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:range rdf:resource="&prov;Entity"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
- <rdfs:range rdf:resource="&prov;Entity"/>
<prov:qualifiedForm rdf:resource="&prov;Quotation"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedQuotation"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
@@ -623,8 +639,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:domain rdf:resource="&prov;Entity"/>
<rdfs:range rdf:resource="&prov;Entity"/>
- <rdfs:domain rdf:resource="&prov;Entity"/>
<prov:qualifiedForm rdf:resource="&prov;Revision"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedRevision"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
@@ -650,8 +666,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:domain rdf:resource="&prov;Activity"/>
<rdfs:range rdf:resource="&prov;Activity"/>
- <rdfs:domain rdf:resource="&prov;Activity"/>
<prov:qualifiedForm rdf:resource="&prov;StartByActivity"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedStartByActivity"/>
@@ -724,8 +740,8 @@
<owl:Class rdf:about="&prov;Activity">
<owl:disjointWith rdf:resource="&prov;Entity"/>
+ <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>
- <prov:category>simple</prov:category>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
</owl:Class>
@@ -736,8 +752,8 @@
<owl:Class rdf:about="&prov;ActivityInvolvement">
<rdfs:subClassOf rdf:resource="&prov;Involvement"/>
<owl:disjointWith rdf:resource="&prov;EntityInvolvement"/>
+ <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>
- <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>
</owl:Class>
@@ -766,8 +782,8 @@
<owl:Class rdf:about="&prov;Association">
<rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
+ <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: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>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
<prov:unqualifiedForm rdf:resource="&prov;wasAssociatedWith"/>
</owl:Class>
@@ -778,8 +794,8 @@
<owl:Class rdf:about="&prov;Attribution">
<rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
+ <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>
- <prov:category>qualified</prov:category>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
<prov:unqualifiedForm rdf:resource="&prov;wasAttributedTo"/>
</owl:Class>
@@ -791,8 +807,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>
+ <rdfs:comment xml:lang="en">prov:Bundles are best modeled using sd:NamedGraphs.</rdfs:comment>
<prov:category>simple</prov:category>
- <rdfs:comment xml:lang="en">prov:Bundles are best modeled using sd:NamedGraphs.</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Bundle"/>
</owl:Class>
@@ -838,8 +854,8 @@
<owl:Class rdf:about="&prov;EntityInvolvement">
<rdfs:subClassOf rdf:resource="&prov;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>
<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>
</owl:Class>
@@ -849,8 +865,8 @@
<owl:Class rdf:about="&prov;Generation">
<rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
<rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
+ <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>
- <prov:category>qualified</prov:category>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
<prov:unqualifiedForm rdf:resource="&prov;wasGeneratedBy"/>
</owl:Class>
@@ -879,9 +895,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"/>
@@ -946,8 +962,8 @@
<owl:Class rdf:about="&prov;Quotation">
<rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
+ <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>
- <prov:category>additional</prov:category>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
<prov:unqualifiedForm rdf:resource="&prov;wasQuotedFrom"/>
</owl:Class>
@@ -958,8 +974,8 @@
<owl:Class rdf:about="&prov;Responsibility">
<rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
+ <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>
- <prov:category>qualified</prov:category>
<rdfs:comment rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
<prov:unqualifiedForm rdf:resource="&prov;actedOnBehalfOf"/>
</owl:Class>
@@ -1013,8 +1029,8 @@
<owl:Class rdf:about="&prov;Start">
<rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
<rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
+ <prov:category>qualified</prov:category>
<rdfs:comment>An Agent starts an Activity, optionally at a particular TimeInstant.</rdfs:comment>
- <prov:category>qualified</prov:category>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting"/>
<prov:unqualifiedForm rdf:resource="&prov;wasStartedBy"/>
</owl:Class>
@@ -1036,9 +1052,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"/>
@@ -1059,5 +1075,5 @@
-<!-- Generated by the OWL API (version 3.1.0.20069) http://owlapi.sourceforge.net -->
+<!-- Generated by the OWL API (version 3.2.3.22702) http://owlapi.sourceforge.net -->