--- 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: <http://www.w3.org/2000/01/rdf-schema#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix owl: <http://www.w3.org/2002/07/owl#> .
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix : <http://example.com/> .
-
-: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 "k1"^^xsd:string;
- prov:value :e1;
- ], [
- a prov:KeyValuePair;
- prov:key "k2"^^xsd:string;
- prov:value :e2;
- ]
- ] .
-
-:c2
- a prov:Dictionary, prov:Entity;
- prov:derivedByRemovalFrom :c1;
- prov:qualifiedRemoval [
- a prov:Removal;
- prov:collection :c1;
- prov:removedKey "k1"^^xsd:string,
- "k2"^^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>