added prov:category annotations to many classes and properties in preparation for automated PROV-O HTML
authorTim L <lebot@rpi.edu>
Mon, 05 Mar 2012 20:08:57 -0500
changeset 1768 d1be71ac1a6c
parent 1767 1fcccd147926
child 1769 6669e548420c
added prov:category annotations to many classes and properties in preparation for automated PROV-O HTML
ontology/ProvenanceOntology.owl
--- a/ontology/ProvenanceOntology.owl	Mon Mar 05 19:09:41 2012 -0500
+++ b/ontology/ProvenanceOntology.owl	Mon Mar 05 20:08:57 2012 -0500
@@ -58,6 +58,7 @@
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
     </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
+    <owl:AnnotationProperty rdf:about="&prov;category"/>
     <owl:AnnotationProperty rdf:about="&prov;involvementProperty">
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
     </owl:AnnotationProperty>
@@ -99,6 +100,7 @@
 
     <owl:ObjectProperty rdf:about="&prov;activity">
         <rdfs:comment xml:lang="en">The property used by a prov:EntityInvolvement to cite the Entity that was prov:involved with either an Activity or Entity.</rdfs:comment>
+        <prov:category>qualified</prov:category>
         <rdfs:comment xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prov: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"/>
@@ -116,6 +118,7 @@
         <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+        <prov:category>qualified</prov:category>
         <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="&prov;Association"/>
@@ -155,6 +158,7 @@
     <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: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"/>
@@ -194,6 +198,7 @@
     <!-- http://www.w3.org/ns/prov#hadQuotedAgent -->
 
     <owl:ObjectProperty rdf:about="&prov;hadQuotedAgent">
+        <prov:category>additional</prov:category>
         <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
         <rdfs:range rdf:resource="&prov;Agent"/>
@@ -205,6 +210,7 @@
     <!-- http://www.w3.org/ns/prov#hadQuoterAgent -->
 
     <owl:ObjectProperty rdf:about="&prov;hadQuoterAgent">
+        <prov:category>additional</prov:category>
         <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
         <rdfs:range rdf:resource="&prov;Agent"/>
@@ -218,6 +224,7 @@
     <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:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribute"/>
         <rdfs:range rdf:resource="&prov;Role"/>
         <rdfs:domain rdf:resource="&prov;Roled"/>
@@ -295,6 +302,7 @@
 
     <owl:ObjectProperty rdf:about="&prov;qualified">
         <rdfs:comment>This one property is used to associate a prov:Element (prov:Entity or prov:Activity) with an instance of any subclass of prov:Involvement, which will provide additional descriptions about the binary prov:involved relation. For example, :baking prov:used :pan, :egg; prov:wasAssociatedWith :baker; prov:generated :dirty_pan; prov:qualified [ a prov:Usage; prov:entity :egg; prov:role :ingredient], [ a prov:Association; prov:entity :baker; prov:role :leader ] .</rdfs:comment>
+        <prov:category>qualified</prov:category>
         <rdfs:comment>The subproperties here can be deleted without concern. For example, :element prov:qualified [ a prov:Usage ] handles the case of prov:hadQualifiedUsage . http://www.w3.org/2011/prov/track/issues/255</rdfs:comment>
         <rdfs:domain rdf:resource="&prov;Element"/>
         <rdfs:range rdf:resource="&prov;Involvement"/>
@@ -542,6 +550,7 @@
         <rdfs:subClassOf rdf:resource="&prov;Durable"/>
         <rdfs:subClassOf rdf:resource="&prov;Element"/>
         <owl:disjointWith rdf:resource="&prov;Entity"/>
+        <prov:category rdf:datatype="&rdfs;Literal">core</prov:category>
         <rdfs:comment xml:lang="en">Activity is defined to be &#39;an identifiable activity, which performs a piece of work.&#39;</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
     </owl:Class>
@@ -553,6 +562,7 @@
     <owl:Class rdf:about="&prov;ActivityInvolvement">
         <rdfs:subClassOf rdf:resource="&prov;Involvement"/>
         <owl:disjointWith rdf:resource="&prov;EntityInvolvement"/>
+        <prov:category rdf:datatype="&rdfs;Literal">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>
     
@@ -562,6 +572,7 @@
 
     <owl:Class rdf:about="&prov;Agent">
         <rdfs:subClassOf rdf:resource="&prov;Entity"/>
+        <prov:category rdf:datatype="&rdfs;Literal">core</prov:category>
         <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>
@@ -581,6 +592,7 @@
 
     <owl:Class rdf:about="&prov;Association">
         <rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
+        <prov:category rdf:datatype="&rdfs;Literal">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:involvementProperty rdf:resource="&prov;wasAssociatedWith"/>
@@ -592,6 +604,7 @@
 
     <owl:Class rdf:about="&prov;Attribution">
         <rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
+        <prov:category rdf:datatype="&rdfs;Literal">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:involvementProperty rdf:resource="&prov;wasAttributedTo"/>
@@ -613,6 +626,7 @@
 
     <owl:Class rdf:about="&prov;Derivation">
         <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
+        <prov:category rdf:datatype="&rdfs;Literal">core</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"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
@@ -630,6 +644,7 @@
     <!-- http://www.w3.org/ns/prov#Element -->
 
     <owl:Class rdf:about="&prov;Element">
+        <rdfs:comment rdf:datatype="&rdfs;Literal">Element could be avoided if we could specify unions on domains and ranges.</rdfs:comment>
         <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>
@@ -642,6 +657,7 @@
     <owl:Class rdf:about="&prov;End">
         <rdfs:subClassOf rdf:resource="&prov;Association"/>
         <rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
+        <prov:category rdf:datatype="&rdfs;Literal">qualified</prov:category>
         <rdfs:comment>An Agent ends an Activity, optionally at a particular TimeInstant.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Ending"/>
         <prov:involvementProperty rdf:resource="&prov;wasEndedBy"/>
@@ -653,6 +669,7 @@
 
     <owl:Class rdf:about="&prov;Entity">
         <rdfs:subClassOf rdf:resource="&prov;Element"/>
+        <prov:category rdf:datatype="&rdfs;Literal">core</prov:category>
         <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>
@@ -663,6 +680,7 @@
 
     <owl:Class rdf:about="&prov;EntityInvolvement">
         <rdfs:subClassOf rdf:resource="&prov;Involvement"/>
+        <prov:category rdf:datatype="&rdfs;Literal">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>
     
@@ -674,6 +692,7 @@
         <rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
         <rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
         <rdfs:subClassOf rdf:resource="&prov;Roled"/>
+        <prov:category rdf:datatype="&rdfs;Literal">core</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:involvementProperty rdf:resource="&prov;wasGeneratedBy"/>
@@ -701,6 +720,7 @@
     <!-- http://www.w3.org/ns/prov#Involvement -->
 
     <owl:Class rdf:about="&prov;Involvement">
+        <prov:category rdf:datatype="&rdfs;Literal">qualified</prov:category>
         <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>
         <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"/>
@@ -714,6 +734,7 @@
     <!-- http://www.w3.org/ns/prov#Location -->
 
     <owl:Class rdf:about="&prov;Location">
+        <prov:category rdf:datatype="&rdfs;Literal">core</prov:category>
         <rdfs:comment>This is wgs:SpatialThing</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Location"/>
         <rdfs:seeAlso rdf:resource="&prov;hadSpatialExtent"/>
@@ -724,6 +745,7 @@
     <!-- http://www.w3.org/ns/prov#Note -->
 
     <owl:Class rdf:about="&prov;Note">
+        <prov:category rdf:datatype="&rdfs;Literal">core</prov:category>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Note"/>
         <rdfs:seeAlso rdf:resource="&prov;hadNote"/>
     </owl:Class>
@@ -734,6 +756,7 @@
 
     <owl:Class rdf:about="&prov;Organization">
         <rdfs:subClassOf rdf:resource="&prov;Agent"/>
+        <prov:category rdf:datatype="&rdfs;Literal">additional</prov:category>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Organization"/>
     </owl:Class>
     
@@ -743,6 +766,7 @@
 
     <owl:Class rdf:about="&prov;Person">
         <rdfs:subClassOf rdf:resource="&prov;Agent"/>
+        <prov:category rdf:datatype="&rdfs;Literal">additional</prov:category>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Person"/>
     </owl:Class>
     
@@ -752,6 +776,8 @@
 
     <owl:Class rdf:about="&prov;Plan">
         <rdfs:subClassOf rdf:resource="&prov;Entity"/>
+        <prov:category rdf:datatype="&rdfs;Literal"></prov:category>
+        <prov:category rdf:datatype="&rdfs;Literal">core</prov:category>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
     </owl:Class>
     
@@ -761,6 +787,7 @@
 
     <owl:Class rdf:about="&prov;Quotation">
         <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
+        <prov:category rdf:datatype="&rdfs;Literal">additional</prov:category>
         <rdfs:comment xml:lang="en">TODO: Shouldn&#39;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:involvementProperty rdf:resource="&prov;wasQuotedFrom"/>
@@ -772,6 +799,7 @@
 
     <owl:Class rdf:about="&prov;Responsibility">
         <rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
+        <prov:category rdf:datatype="&rdfs;Literal">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:involvementProperty rdf:resource="&prov;actedOnBehalfOf"/>
@@ -783,6 +811,7 @@
 
     <owl:Class rdf:about="&prov;Revision">
         <rdfs:subClassOf rdf:resource="&prov;Source"/>
+        <prov:category rdf:datatype="&rdfs;Literal">additional</prov:category>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
         <prov:involvementProperty rdf:resource="&prov;wasRevisionOf"/>
     </owl:Class>
@@ -811,6 +840,7 @@
 
     <owl:Class rdf:about="&prov;SoftwareAgent">
         <rdfs:subClassOf rdf:resource="&prov;Agent"/>
+        <prov:category rdf:datatype="&rdfs;Literal">additional</prov:category>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#SoftwareAgent"/>
     </owl:Class>
     
@@ -820,6 +850,7 @@
 
     <owl:Class rdf:about="&prov;Source">
         <rdfs:subClassOf rdf:resource="&prov;Derivation"/>
+        <prov:category rdf:datatype="&rdfs;Literal">additional</prov:category>
         <rdfs:comment rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Original_Source"/>
         <prov:involvementProperty rdf:resource="&prov;hadOriginalSource"/>
     </owl:Class>
@@ -831,6 +862,7 @@
     <owl:Class rdf:about="&prov;Start">
         <rdfs:subClassOf rdf:resource="&prov;Association"/>
         <rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
+        <prov:category rdf:datatype="&rdfs;Literal">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:involvementProperty rdf:resource="&prov;wasStartedBy"/>
@@ -853,6 +885,7 @@
 
     <owl:Class rdf:about="&prov;Summarization">
         <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
+        <prov:category rdf:datatype="&rdfs;Literal">additional</prov:category>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Summary"/>
         <prov:involvementProperty rdf:resource="&prov;wasSummaryOf"/>
     </owl:Class>
@@ -908,6 +941,7 @@
         <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
         <rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
         <rdfs:subClassOf rdf:resource="&prov;Roled"/>
+        <prov:category rdf:datatype="&rdfs;Literal">core</prov:category>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
         <prov:involvementProperty rdf:resource="&prov;used"/>
     </owl:Class>