Added CompleteMembership to represent memberOf(..,..,{}, true)
authorStian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Thu, 19 Apr 2012 10:15:08 +0100
changeset 2438 dcdcd9b3de2b
parent 2389 c717707b05ec
child 2439 5068ef761cff
Added CompleteMembership to represent memberOf(..,..,{}, true)
ontology/ProvenanceOntology.owl
--- a/ontology/ProvenanceOntology.owl	Thu Apr 19 09:50:47 2012 +0100
+++ b/ontology/ProvenanceOntology.owl	Thu Apr 19 10:15:08 2012 +0100
@@ -51,8 +51,8 @@
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
     </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&prov;definition"/>
+    <owl:AnnotationProperty rdf:about="&rdfs;label"/>
     <owl:AnnotationProperty rdf:about="&prov;editorialNote"/>
-    <owl:AnnotationProperty rdf:about="&rdfs;label"/>
     <owl:AnnotationProperty rdf:about="&prov;inverse"/>
     <owl:AnnotationProperty rdf:about="&rdfs;comment"/>
     <owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
@@ -1166,6 +1166,18 @@
     
 
 
+    <!-- http://www.w3.org/ns/prov#CompleteMembership -->
+
+    <owl:Class rdf:about="&prov;CompleteMembership">
+        <rdfs:label xml:lang="en">CompleteMembership</rdfs:label>
+        <rdfs:subClassOf rdf:resource="&prov;Membership"/>
+        <prov:category>collections</prov: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>
+        <prov:component xml:lang="en">collections</prov:component>
+    </owl:Class>
+    
+
+
     <!-- http://www.w3.org/ns/prov#Derivation -->
 
     <owl:Class rdf:about="&prov;Derivation">