Ontology update in PROV Dictionary
authorSam Coppens <sam.coppens@ugent.be>
Tue, 18 Dec 2012 16:35:25 +0100
changeset 5377 eb4c7da180e4
parent 5376 2477121ed7de
child 5378 2ebc3c9ccf41
Ontology update in PROV Dictionary
dictionary/prov-dictionary.html
--- a/dictionary/prov-dictionary.html	Tue Dec 18 09:44:42 2012 +0000
+++ b/dictionary/prov-dictionary.html	Tue Dec 18 16:35:25 2012 +0100
@@ -1281,9 +1281,6 @@
      class="prov-collections owl-classes at-a-glance">
   <ul class="hlist">
     <li>
-      <a href="#CompleteMembership">prov:CompleteMembership</a>
-    </li>
-    <li>
       <a href="#Dictionary">prov:Dictionary</a>
     </li>
     <li>
@@ -1351,78 +1348,6 @@
      xmlns:dcterms="http://purl.org/dc/terms/"
      xmlns:prov="http://www.w3.org/ns/prov#">
 
-  <div id="CompleteMembership" class="entity">
-    <h3>
-      Class: <a href="#CompleteMembership"><span class="dotted" title="http://www.w3.org/ns/prov#CompleteMembership">prov:CompleteMembership</span></a>
-      <span class="backlink">
-         back to <a href="#prov-collections-owl-terms-at-a-glance">collections classes</a>
-      </span>
-    </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#CompleteMembership</p>
-
-    <div about="#example-for-class-CompleteMembership" typeof="prov:Entity" class="example">
-      <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#CompleteMembership"></span>
-      <strong>Example</strong>
-      <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_CompleteMembership.ttl"
-           property="prov:value">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
-@prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
-@prefix owl:  &lt;http://www.w3.org/2002/07/owl#&gt; .
-@prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
-@prefix :     &lt;http://example.com/&gt; .
-
-:e1 a prov:Entity .
-:e2 a prov:Entity .
-
-:c1 a prov:Dictionary, prov:Entity;
-   prov:membership [ 
-      a prov:CompleteMembership, prov:Membership;
-      # These are the members, and all the members of c1
-      prov:member [ 
-         a prov:KeyValuePair;
-         prov:key   &quot;k1&quot;^^xsd:string;
-         prov:value :e1;
-      ], [ 
-         a prov:KeyValuePair;
-         prov:key   &quot;k2&quot;^^xsd:string;
-         prov:value :e2;
-      ]
-   ] .
-
-:c2 
-   a prov:Dictionary, prov:Entity;
-   prov:derivedByRemovalFrom :c1;
-   prov:qualifiedRemoval [
-      a prov:Removal;
-      prov:collection :c1;
-      prov:removedKey &quot;k1&quot;^^xsd:string, 
-                      &quot;k2&quot;^^xsd:string;
-   ];
-.
-
-## As membership on :c1 is complete, we can infer:
-#
-# :c2 a prov:EmptyDictionary;
-#     prov:membership [ 
-#        a prov:CompleteMembership 
-#     ] . 
-</pre>
-    </div>
-
-    <dl class="description">
-    <dd class="comment"><p>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.</p>
-    </dd>
-
-      <dt>is subclass of</dt>
-      <dd>
-        <a title="http://www.w3.org/ns/prov#Membership" href="#Membership" class="owlclass">prov:Membership</a>
-      </dd>
-
-      <dt>parent is in domain of</dt>
-      <dd>
-        <a title="http://www.w3.org/ns/prov#member" href="#member">prov:member</a>      </dd>
-    </dl>
-  </div>
-
   <div id="Dictionary" class="entity">
     <h3>
       Class: <a href="#Dictionary"><span class="dotted" title="http://www.w3.org/ns/prov#Dictionary">prov:Dictionary</span></a>
@@ -1815,11 +1740,6 @@
         <a title="http://www.w3.org/ns/prov#membership" href="#membership">prov:membership</a><sup class="type-op" title="object property">op</sup>
       </dd>
 
-      <dt>has subclass</dt>
-      <dd>
-        <a title="http://www.w3.org/ns/prov#CompleteMembership" href="#CompleteMembership" class="owlclass">prov:CompleteMembership</a>
-      </dd>
-
       <dt>qualifies</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#membership" href="#membership" class="owlproperty">prov:membership</a>