prov:category on collection
authorTim L <lebot@rpi.edu>
Wed, 11 Jul 2012 12:24:14 -0400
changeset 3956 8857caef87bc
parent 3946 61ebd83b4338
child 3957 6d1df7518f7d
prov:category on collection
ontology/ProvenanceOntology.owl
ontology/prov.ttl
--- a/ontology/ProvenanceOntology.owl	Wed Jul 11 09:28:59 2012 -0400
+++ b/ontology/ProvenanceOntology.owl	Wed Jul 11 12:24:14 2012 -0400
@@ -53,14 +53,14 @@
         <rdfs:comment xml:lang="en">A definition quoted from PROV-DM or PROV-CONSTRAINTS that describes the concept expressed with this OWL term.</rdfs:comment>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#editorialNote">
+        <rdfs:comment xml:lang="en">A note by the OWL development team about how this term expresses the PROV-DM concept, or how it should be used in context of semantic web or linked data.</rdfs:comment>
+        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&rdfs;label">
         <rdfs:comment xml:lang="en"></rdfs:comment>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#editorialNote">
-        <rdfs:comment xml:lang="en">A note by the OWL development team about how this term expresses the PROV-DM concept, or how it should be used in context of semantic web or linked data.</rdfs:comment>
-        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
-    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#inverse">
         <rdfs:comment xml:lang="en">PROV-O does not define all property inverses. The directionalities defined in PROV-O should be given preference over those not defined. However, if users wish to name the inverse of a PROV-O property, the local name given by prov:inverse should be used.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-o/#names-of-inverse-properties"/>
@@ -75,19 +75,19 @@
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
     <owl:AnnotationProperty rdf:about="&rdfs;seeAlso">
         <rdfs:comment xml:lang="en"></rdfs:comment>
     </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
+    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#category">
+        <rdfs:comment xml:lang="en">Classify prov-o terms into three categories, including &#39;starting-point&#39;, &#39;qualifed&#39;, and &#39;extended&#39;. This classification is used by the prov-o html document to gently introduce prov-o terms to its users. </rdfs:comment>
+        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#dm">
         <rdfs:comment xml:lang="en">A reference to the principal section of the PROV-DM document that describes this concept.</rdfs:comment>
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#category">
-        <rdfs:comment xml:lang="en">Classify prov-o terms into three categories, including &#39;starting-point&#39;, &#39;qualifed&#39;, and &#39;extended&#39;. This classification is used by the prov-o html document to gently introduce prov-o terms to its users. </rdfs:comment>
-        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
-    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&rdfs;isDefinedBy"/>
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#editorsDefinition">
         <rdfs:comment xml:lang="en">When the prov-o term does not have a definition drawn from prov-dm, and the prov-o editor provides one.</rdfs:comment>
@@ -221,11 +221,11 @@
 
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#asInBundle">
         <rdfs:label>asInBundle</rdfs:label>
+        <inverse>contextOf</inverse>
+        <category>expanded</category>
         <rdfs:comment xml:lang="en">The prov:mentionOf and prov:asInBundle properties are &quot;at risk&quot; (http://www.w3.org/2005/10/Process-20051014/tr#cfi) and may be removed from this specification based on feedback. Please send feedback to [email protected]
 
 These two properties are used to encode the PROV-DM&#39;s Mention construct (http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-mention), which might be removed from PROV if implementation experience reveals problems with supporting this construct. </rdfs:comment>
-        <inverse>contextOf</inverse>
-        <category>expanded</category>
         <rdfs:comment xml:lang="en">When :x prov:mentionOf :y and :y is described in Bundle :b, the triple :x prov:asInBundle :b is also asserted to cite the Bundle in which :y was described.</rdfs:comment>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Bundle"/>
@@ -342,8 +342,8 @@
 
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadMember">
         <rdfs:label>hadMember</rdfs:label>
-        <component>collections</component>
         <category>expanded</category>
+        <component>expanded</component>
         <inverse>wasMemberOf</inverse>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Collection"/>
@@ -351,8 +351,8 @@
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
     </owl:ObjectProperty>
     <owl:Axiom>
+        <rdfs:comment xml:lang="en">A collection is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the collections.</rdfs:comment>
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection</dm>
-        <rdfs:comment xml:lang="en">A collection is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the collections.</rdfs:comment>
         <owl:annotatedProperty rdf:resource="&rdfs;range"/>
         <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#Entity"/>
         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
@@ -668,6 +668,21 @@
     
 
 
+    <!-- http://www.w3.org/ns/prov#qualifiedMembership -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedMembership">
+        <rdfs:label xml:lang="en">qualifiedMembership</rdfs:label>
+        <category>expanded</category>
+        <component>collections</component>
+        <rdfs:comment xml:lang="en">The collection included the specified membership of keys-values.</rdfs:comment>
+        <editorialNote xml:lang="en">This property is NOT inverse functional, since the membership of many distinct KeyValuePairs can be qualified using a single instance of prov:Membership.</editorialNote>
+        <inverse>membershipOf</inverse>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Collection"/>
+        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Membership"/>
+    </owl:ObjectProperty>
+    
+
+
     <!-- http://www.w3.org/ns/prov#qualifiedQuotation -->
 
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedQuotation">
@@ -794,19 +809,6 @@
     </owl:ObjectProperty>
     
 
-    <!-- http://www.w3.org/ns/prov#qualifiedMembership -->
-
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedMembership">
-        <rdfs:label xml:lang="en">qualifiedMembership</rdfs:label>
-        <category>collections</category>
-        <component>collections</component>
-        <rdfs:comment xml:lang="en">The collection included the specified membership of keys-values.</rdfs:comment>
-        <editorialNote xml:lang="en">This property is NOT inverse functional, since the membership of many distinct KeyValuePairs can be qualified using a single instance of prov:Membership.</editorialNote>
-        <inverse>membershipOf</inverse>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Collection"/>
-        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Membership"/>
-    </owl:ObjectProperty>
-
 
     <!-- http://www.w3.org/ns/prov#wasAssociatedWith -->
 
@@ -968,8 +970,8 @@
         </rdfs:range>
     </owl:ObjectProperty>
     <owl:Axiom>
+        <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence</dm>
-        <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
         <owl:annotatedProperty rdf:resource="&rdfs;range"/>
         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
         <owl:annotatedTarget>
@@ -1203,6 +1205,12 @@
     
 
 
+    <!-- http://www.w3.org/ns/prov#prov-dm -->
+
+    <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#prov-dm"/>
+    
+
+
     <!-- http://www.w3.org/ns/prov#startedAtTime -->
 
     <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#startedAtTime">
@@ -1245,48 +1253,13 @@
     ///////////////////////////////////////////////////////////////////////////////////////
      -->
 
-
     
 
 
     <!-- http://www.w3.org/2002/07/owl#Thing -->
 
     <owl:Class rdf:about="&owl;Thing"/>
-
-
-<!-- http://www.w3.org/ns/prov#Membership -->
-
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Membership">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInfluence"/>
-        <editorsDefinition xml:lang="en">An optional set of descriptions about the membership of KeyValuePairs in a prov:Dictionary.</editorsDefinition>
-        <rdfs:comment xml:lang="en">The descriptions on this Membership applies to the memberships of all KeyValuePairs cited by prov:pair.</rdfs:comment>
-        <category>collections</category>
-        <component>collections</component>
-        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
-    </owl:Class>
-
-
-    <!-- http://www.w3.org/ns/prov#EmptyCollection -->
-
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#EmptyCollection">
-        <rdfs:label xml:lang="en">EmptyCollection</rdfs:label>
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Collection"/>
-        <component>collections</component>
-        <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary</prov-dm>
-        <category>collections</category>
-        <definition xml:lang="en">An empty collection is a collection without members.</definition>
-        <rdfs:comment xml:lang="en">An empty dictionary.</rdfs:comment>
-    </owl:Class>
-
-    <!-- http://www.w3.org/ns/prov#CompleteCollection -->
-
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#CompleteCollection">
-        <rdfs:label xml:lang="en">CompleteMembership</rdfs:label>
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Collection"/>
-        <category>collections</category>
-        <rdfs:comment xml:lang="en">Indicates that no other member belongs to the collection, that is all the prov:member stated for this CompleteMembership constitutes all members of the collection.</rdfs:comment>
-        <component xml:lang="en">collections</component>
-    </owl:Class>    
+    
 
 
     <!-- http://www.w3.org/ns/prov#Activity -->
@@ -1441,6 +1414,18 @@
     
 
 
+    <!-- http://www.w3.org/ns/prov#CompleteCollection -->
+
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#CompleteCollection">
+        <rdfs:label xml:lang="en">CompleteMembership</rdfs:label>
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Collection"/>
+        <category>expanded</category>
+        <rdfs:comment xml:lang="en">Indicates that no other member belongs to the collection, that is all the prov:member stated for this CompleteMembership constitutes all members of the collection.</rdfs:comment>
+        <component xml:lang="en">collections</component>
+    </owl:Class>
+    
+
+
     <!-- http://www.w3.org/ns/prov#Delegation -->
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#Delegation">
@@ -1478,6 +1463,19 @@
     
 
 
+    <!-- http://www.w3.org/ns/prov#EmptyCollection -->
+
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#EmptyCollection">
+        <rdfs:label xml:lang="en">EmptyCollection</rdfs:label>
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Collection"/>
+        <component>collections</component>
+        <rdfs:comment xml:lang="en">An empty dictionary.</rdfs:comment>
+        <category>expanded</category>
+        <definition xml:lang="en">An empty collection is a collection without members.</definition>
+    </owl:Class>
+    
+
+
     <!-- http://www.w3.org/ns/prov#End -->
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#End">
@@ -1611,6 +1609,19 @@
     
 
 
+    <!-- http://www.w3.org/ns/prov#Membership -->
+
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Membership">
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInfluence"/>
+        <editorsDefinition xml:lang="en">An optional set of descriptions about the membership of KeyValuePairs in a prov:Dictionary.</editorsDefinition>
+        <rdfs:comment xml:lang="en">The descriptions on this Membership applies to the memberships of all KeyValuePairs cited by prov:pair.</rdfs:comment>
+        <category>expanded</category>
+        <component>collections</component>
+        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
+    </owl:Class>
+    
+
+
     <!-- http://www.w3.org/ns/prov#Organization -->
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#Organization">
@@ -1777,6 +1788,30 @@
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#used"/>
     </owl:Class>
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // Individuals
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- http://www.w3.org/ns/prov#EmptyCollection -->
+
+    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#EmptyCollection">
+        <rdfs:label xml:lang="en">EmptyCollection</rdfs:label>
+        <component>collections</component>
+        <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary</prov-dm>
+        <rdfs:comment xml:lang="en">An empty dictionary.</rdfs:comment>
+        <category>expanded</category>
+        <definition xml:lang="en">An empty collection is a collection without members.</definition>
+    </owl:NamedIndividual>
 </rdf:RDF>
 
 
--- a/ontology/prov.ttl	Wed Jul 11 09:28:59 2012 -0400
+++ b/ontology/prov.ttl	Wed Jul 11 12:24:14 2012 -0400
@@ -153,7 +153,7 @@
     rdfs:comment "Indicates that no other member belongs to the collection, that is all the prov:member stated for this CompleteMembership constitutes all members of the collection."@en ;
     rdfs:label "CompleteMembership"@en ;
     rdfs:subClassOf :Collection ;
-    :category "collections" ;
+    :category "expanded" ;
     :component "collections"@en .
 
 :Delegation
@@ -186,11 +186,11 @@
     :unqualifiedForm :wasDerivedFrom .
 
 :EmptyCollection
-    a owl:Class ;
+    a owl:Class, owl:NamedIndividual ;
     rdfs:comment "An empty dictionary."@en ;
     rdfs:label "EmptyCollection"@en ;
     rdfs:subClassOf :Collection ;
-    :category "collections" ;
+    :category "expanded" ;
     :component "collections" ;
     :definition "An empty collection is a collection without members."@en ;
     :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary" .
@@ -295,7 +295,7 @@
     a owl:Class ;
     rdfs:comment "The descriptions on this Membership applies to the memberships of all KeyValuePairs cited by prov:pair."@en ;
     rdfs:subClassOf :EntityInfluence ;
-    :category "collections" ;
+    :category "expanded" ;
     :component "collections" ;
     :editorsDefinition "An optional set of descriptions about the membership of KeyValuePairs in a prov:Dictionary."@en ;
     :unqualifiedForm :hadMember .
@@ -661,7 +661,7 @@
     rdfs:label "hadMember" ;
     rdfs:range :Entity ;
     :category "expanded" ;
-    :component "collections" ;
+    :component "expanded" ;
     :inverse "wasMemberOf" ;
     :sharesDefinitionWith :Collection .
 
@@ -800,6 +800,9 @@
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
     rdfs:subPropertyOf rdfs:seeAlso .
 
+:prov-dm
+    a owl:DatatypeProperty .
+
 :qualifiedAssociation
     a owl:ObjectProperty ;
     rdfs:comment "If this Activity prov:wasAssociatedWith Agent :ag, then it can qualify the Association using prov:qualifiedAssociation [ a prov:Association;  prov:agent :ag; :foo :bar ]."@en ;
@@ -945,7 +948,7 @@
     rdfs:comment "The collection included the specified membership of keys-values."@en ;
     rdfs:domain :Collection ;
     rdfs:label "qualifiedMembership"@en ;
-    :category "collections" ;
+    :category "expanded" ;
     :component "collections" ;
     :editorialNote "This property is NOT inverse functional, since the membership of many distinct KeyValuePairs can be qualified using a single instance of prov:Membership."@en ;
     :inverse "membershipOf" ;