added IncompleteCollection
authorTim L <lebot@rpi.edu>
Wed, 11 Jul 2012 12:50:08 -0400
changeset 3964 42a225bb3045
parent 3963 a31eb0bbb64b
child 3965 bc83fa22e685
added IncompleteCollection
ontology/ProvenanceOntology.owl
ontology/prov.ttl
--- a/ontology/ProvenanceOntology.owl	Wed Jul 11 12:39:32 2012 -0400
+++ b/ontology/ProvenanceOntology.owl	Wed Jul 11 12:50:08 2012 -0400
@@ -1394,7 +1394,7 @@
         <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection</dm>
         <component>collections</component>
         <category>expanded</category>
-        <definition 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. Many different types of collections exist, such as a sets, dictionaries, or lists. Using Collections, one can express the provenance of the collection itself in addition to that of the members.</definition>
+        <definition 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.</definition>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     </owl:Class>
     
@@ -1423,9 +1423,10 @@
     <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"/>
+        <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-membership</dm>
+        <category>expanded</category>
+        <definition xml:lang="en">The collection is believed to include all and only the members specified in the entity-set.</definition>
         <component xml:lang="en">collections</component>
-        <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>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     </owl:Class>
     
@@ -1551,6 +1552,20 @@
     
 
 
+    <!-- http://www.w3.org/ns/prov#IncompleteCollection -->
+
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#IncompleteCollection">
+        <rdfs:label xml:lang="en">IncompleteCollection</rdfs:label>
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Collection"/>
+        <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-membership</dm>
+        <definition xml:lang="en">A collection that is believed to include more members in addition to those specified in the entity-set.</definition>
+        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+        <category>expanded</category>
+        <component>collections</component>
+    </owl:Class>
+    
+
+
     <!-- http://www.w3.org/ns/prov#Influence -->
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#Influence">
@@ -1619,9 +1634,9 @@
 
     <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>
+        <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-membership</dm>
         <category>qualified</category>
+        <definition xml:lang="en">Membership is the belonging of an entity to a collection.</definition>
         <component>collections</component>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
--- a/ontology/prov.ttl	Wed Jul 11 12:39:32 2012 -0400
+++ b/ontology/prov.ttl	Wed Jul 11 12:50:08 2012 -0400
@@ -131,7 +131,7 @@
     rdfs:subClassOf :Entity ;
     :category "expanded" ;
     :component "collections" ;
-    :definition "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. Many different types of collections exist, such as a sets, dictionaries, or lists. Using Collections, one can express the provenance of the collection itself in addition to that of the members."@en ;
+    :definition "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."@en ;
     :dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection"^^xsd:anyURI .
 
 :Communication
@@ -150,12 +150,13 @@
 
 :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:isDefinedBy <http://www.w3.org/ns/prov#> ;
     rdfs:label "CompleteMembership"@en ;
     rdfs:subClassOf :Collection ;
     :category "expanded" ;
-    :component "collections"@en .
+    :component "collections"@en ;
+    :definition "The collection is believed to include all and only the members specified in the entity-set."@en ;
+    :dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-membership"^^xsd:anyURI .
 
 :Delegation
     a owl:Class ;
@@ -247,6 +248,16 @@
     :n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Generation"^^xsd:anyURI ;
     :unqualifiedForm :wasGeneratedBy .
 
+:IncompleteCollection
+    a owl:Class ;
+    rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+    rdfs:label "IncompleteCollection"@en ;
+    rdfs:subClassOf :Collection ;
+    :category "expanded" ;
+    :component "collections" ;
+    :definition "A collection that is believed to include more members in addition to those specified in the entity-set."@en ;
+    :dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-membership"^^xsd:anyURI .
+
 :Influence
     a owl:Class ;
     rdfs:comment "An instance of prov:Influence provides additional descriptions about the binary prov:wasInfluencedBy relation from some influenced Activity, Entity, or Agent to the influencing Activity, Entity, or Agent. For example, :stomach_ache prov:wasInfluencedBy :spoon; prov:qualifiedInfluence [ a prov:Influence; prov:entity :spoon; :foo :bar ] . Because prov:Influence is a broad relation, the more specific relations (Communication, Delegation, End, etc.) should be used when applicable."@en, "Any resource influenced by a prov:Entity, prov:Activity, or prov:Agent can qualify the influence by referencing an instance of prov:Influence. Instances of prov:Influence in turn cite the influencing Entity, Activity, or Agent (using prov:entity, prov:activity, or prov:agent, respectively) and may be further described with any kind of attributes, including user-defined attributes and those provided by PROV (prov:hadRole, prov:hadPlan, prov:atTime, prov:atLocation). A description (via prov:Influence) of the binary influence implies the assertion of the binary influence."@en ;
@@ -295,12 +306,12 @@
 
 :Membership
     a owl:Class ;
-    rdfs:comment "The descriptions on this Membership applies to the memberships of all KeyValuePairs cited by prov:pair."@en ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
     rdfs:subClassOf :EntityInfluence ;
     :category "qualified" ;
     :component "collections" ;
-    :editorsDefinition "An optional set of descriptions about the membership of KeyValuePairs in a prov:Dictionary."@en ;
+    :definition "Membership is the belonging of an entity to a collection."@en ;
+    :dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-membership"^^xsd:anyURI ;
     :unqualifiedForm :hadMember .
 
 :Organization