moved qualifiedMembership back into prov.owl
authorTim L <lebot@rpi.edu>
Wed, 11 Jul 2012 09:28:47 -0400
changeset 3945 cac5a2993c80
parent 3942 f19206f24b29
child 3946 61ebd83b4338
moved qualifiedMembership back into prov.owl
ontology/ProvenanceOntology.owl
ontology/prov-dictionary.owl
ontology/prov.ttl
--- a/ontology/ProvenanceOntology.owl	Wed Jul 11 09:08:58 2012 -0400
+++ b/ontology/ProvenanceOntology.owl	Wed Jul 11 09:28:47 2012 -0400
@@ -794,6 +794,19 @@
     </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 -->
 
@@ -1232,13 +1245,48 @@
     ///////////////////////////////////////////////////////////////////////////////////////
      -->
 
+
     
 
 
     <!-- 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 -->
--- a/ontology/prov-dictionary.owl	Wed Jul 11 09:08:58 2012 -0400
+++ b/ontology/prov-dictionary.owl	Wed Jul 11 09:28:47 2012 -0400
@@ -284,21 +284,6 @@
     
 
 
-    <!-- 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#Dictionary"/>
-        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Membership"/>
-    </owl:ObjectProperty>
-    
-
-
     <!-- http://www.w3.org/ns/prov#qualifiedRemoval -->
 
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedRemoval">
@@ -471,17 +456,6 @@
     
 
 
-    <!-- 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#Dictionary -->
 
@@ -512,19 +486,6 @@
     
 
 
-    <!-- http://www.w3.org/ns/prov#EmptyCollection -->
-
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#EmptyCollection">
-        <rdfs:label xml:lang="en">Dictionary</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#Entity -->
 
--- a/ontology/prov.ttl	Wed Jul 11 09:08:58 2012 -0400
+++ b/ontology/prov.ttl	Wed Jul 11 09:28:47 2012 -0400
@@ -148,6 +148,14 @@
     :n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-wasInformedBy"^^xsd:anyURI ;
     :unqualifiedForm :wasInformedBy .
 
+:CompleteCollection
+    a owl:Class ;
+    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" ;
+    :component "collections"@en .
+
 :Delegation
     a owl:Class ;
     rdfs:comment "An instance of prov:Delegation 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:qualifiedDelegation [ a prov:Delegation; prov:entity :mother; :foo :bar ]."@en ;
@@ -177,6 +185,16 @@
     :n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#Derivation-Relation"^^xsd:anyURI ;
     :unqualifiedForm :wasDerivedFrom .
 
+:EmptyCollection
+    a owl:Class ;
+    rdfs:comment "An empty dictionary."@en ;
+    rdfs:label "EmptyCollection"@en ;
+    rdfs:subClassOf :Collection ;
+    :category "collections" ;
+    :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" .
+
 :End
     a owl:Class ;
     rdfs:comment "An instance of prov:End provides additional descriptions about the binary prov:wasEndedBy relation from some ended prov:Activity to an prov:Entity that ended it. For example, :ball_game prov:wasEndedBy :buzzer; prov:qualifiedEnd [ a prov:End; prov:entity :buzzer; :foo :bar; prov:atTime '2012-03-09T08:05:08-05:00'^^xsd:dateTime ]."@en ;
@@ -273,6 +291,15 @@
     :dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-attribute-location"^^xsd:anyURI ;
     :n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-attribute"^^xsd:anyURI .
 
+:Membership
+    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" ;
+    :component "collections" ;
+    :editorsDefinition "An optional set of descriptions about the membership of KeyValuePairs in a prov:Dictionary."@en ;
+    :unqualifiedForm :hadMember .
+
 :Organization
     a owl:Class ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
@@ -913,6 +940,17 @@
     :sharesDefinitionWith :Invalidation ;
     :unqualifiedForm :wasInvalidatedBy .
 
+:qualifiedMembership
+    a owl:ObjectProperty ;
+    rdfs:comment "The collection included the specified membership of keys-values."@en ;
+    rdfs:domain :Collection ;
+    rdfs:label "qualifiedMembership"@en ;
+    :category "collections" ;
+    :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" ;
+    :sharesDefinitionWith :Membership .
+
 :qualifiedQuotation
     a owl:ObjectProperty ;
     rdfs:comment "If this Entity prov:wasQuotedFrom Entity :e, then it can qualify how using prov:qualifiedQuotation [ a prov:Quotation;  prov:entity :e; :foo :bar ]."@en ;