--- a/dictionary/releases/WD-prov-dictionary-20130312/prov-dictionary.html Mon Mar 04 10:37:45 2013 +0100
+++ b/dictionary/releases/WD-prov-dictionary-20130312/prov-dictionary.html Mon Mar 04 10:45:22 2013 +0100
@@ -773,7 +773,7 @@
.section dl.attrs dd, .section dl.eldef dd {
margin-bottom: 0;
}
-</style><link rel="stylesheet" href="http://www.w3.org/StyleSheets/TR/W3C-WD"><!--[if lt IE 9]><script src='http://www.w3.org/2008/site/js/html5shiv.js'></script><![endif]--></head>
+</style><link rel="stylesheet" href="http://www.w3.org/StyleSheets/TR/W3C-WD"><!--[if lt IE 9]><script src='http://www.w3.org/2008/site/js/html5shiv.js'></script><![endif]--><!--[if lt IE 9]><script src='http://www.w3.org/2008/site/js/html5shiv.js'></script><![endif]--><!--[if lt IE 9]><script src='http://www.w3.org/2008/site/js/html5shiv.js'></script><![endif]--></head>
<body><div class="head">
<p>
@@ -1004,7 +1004,7 @@
<ul>
<li><span class="attribute" id="membership-d.dictionary">dictionary</span>: an identifier (<span class="name">d</span>) for the dictionary whose members are asserted; </li>
<li><span class="attribute" id="membership-d.entity">entity</span>: an entity <span class="name">e_1</span> that is associated with the key and is a member of the dictionary;</li>
-<li><span class="attribute" id="membership-d.key">key</span>: a key <span class="name">key_1</span> that is associated with the specified entity. <span class="name">key_1 is a <a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-value">value</a> ;</span></li>
+<li><span class="attribute" id="membership-d.key">key</span>: a key <span class="name">key_1</span> that is associated with the specified entity. <span class="name">key_1</span> is a <a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-value">value</a> ;</li>
</ul>
<p>Keys cannot be repeated in the same dictionary. However, a dictionary can contain the same entity more than once, as long as it is associated with different keys.</p>
<p>Note that the <a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-membership">collection membership</a> relation, written <span class="name">hadMember(c, e)</span>, can be used when <span class="name">c</span> has <span class="name">prov:type = 'prov:Collection'</span> or <span class="name">prov:type = 'prov:Dictionary'</span>. However, the <a href="#term-dictionary-membership">dictionary membership</a>, written <span class="name">hadDictionaryMember(d, e, "k")</span>, can only be used when <span class="name">d</span> has <span class="name">prov:type = 'prov:Dictionary'</span>. </p>
@@ -1380,7 +1380,7 @@
</p>
-<div about="#narrative-example-dictionaries-1" typeof="prov:Entity" class="exampleOuter" xmlns:prov="http://www.w3.org/ns/prov#">
+<div class="exampleOuter">
<div class="example"><div class="example-title"><span>Example 1</span></div><pre class="example">@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix : <http://example.org/> .
@@ -1417,7 +1417,7 @@
:e1)</code> and <code>("k2", :e2)</code>.
</p>
-<div about="#narrative-example-dictionaries-2" typeof="prov:Entity" class="exampleOuter" xmlns:prov="http://www.w3.org/ns/prov#">
+<div class="exampleOuter">
<div class="example"><div class="example-title"><span>Example 2</span></div><pre class="example">@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix : <http://example.org/> .
@@ -1455,7 +1455,7 @@
:e2)</code> from <code>:d2</code>.
</p>
-<div about="#narrative-example-dictionaries-3" typeof="prov:Entity" class="exampleOuter" xmlns:prov="http://www.w3.org/ns/prov#">
+<div class="exampleOuter">
<div class="example"><div class="example-title"><span>Example 3</span></div><pre class="example">@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix : <http://example.org/> .
@@ -1538,8 +1538,7 @@
<div class="definition"><p>A dictionary is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the dictionary.</p>
</div>
- <div about="#example-for-class-Dictionary" typeof="prov:Entity" class="example">
- <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#Dictionary"></span>
+ <div class="example">
<strong>Example</strong>
<pre>@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@@ -1601,8 +1600,7 @@
</h3>
<p><strong>IRI:</strong>http://www.w3.org/ns/prov#EmptyDictionary</p>
- <div about="#example-for-class-EmptyDictionary" typeof="prov:Entity" class="example">
- <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#EmptyDictionary"></span>
+ <div class="example">
<strong>Example</strong>
<pre>@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@@ -1638,10 +1636,9 @@
<div class="definition"><p>Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-value pairs.</p>
</div>
- <div about="#example-for-class-Insertion" typeof="prov:Entity" class="example">
- <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#Insertion"></span>
+ <div class="example">
<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_Insertion.ttl" property="prov:pairValue">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+ <pre>@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#> .
@@ -1703,10 +1700,9 @@
</h3>
<p><strong>IRI:</strong>http://www.w3.org/ns/prov#KeyValuePair</p>
- <div about="#example-for-class-KeyValuePair" typeof="prov:Entity" class="example">
- <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#KeyValuePair"></span>
+ <div class="example">
<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_KeyValuePair.ttl" property="prov:pairValue">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+ <pre>@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#> .
@@ -1762,10 +1758,9 @@
<div class="definition"><p>Removal is a derivation that transforms a dictionary into another, by removing one or more key-value pairs.</p>
</div>
- <div about="#example-for-class-Removal" typeof="prov:Entity" class="example">
- <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#Removal"></span>
+ <div class="example">
<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_Removal.ttl" property="prov:pairValue">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+ <pre>@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#> .
@@ -1786,7 +1781,7 @@
.
</pre>
</div>
-
+<div>
<dl class="description">
<dd class="comment"><p>Removal is a derivation that transforms a dictionary into another, by removing one or more key-value pairs specified by <a title="http://www.w3.org/ns/prov#removedKey" href="#removedKey">prov:removedKey</a>.</p>
</dd>
@@ -1813,11 +1808,11 @@
</dd>
</dl>
</div>
-
+</div>
</section>
<section id="Properties">
<h3><span class="secno">4.3 </span>Dictionary Properties</h3>
-<div class="prov-collections owl-properties crossreference" xmlns:prov="http://www.w3.org/ns/prov#">
+<div class="prov-collections owl-properties crossreference">
<div id="derivedByInsertionFrom" class="entity">
<h3 id="property-prov-derivedbyinsertionfromop">
Property: <a href="#derivedByInsertionFrom"><span class="dotted" title="http://www.w3.org/ns/prov#derivedByInsertionFrom">prov:derivedByInsertionFrom</span></a><sup class="type-op" title="object property">op</sup>
@@ -1825,10 +1820,9 @@
</h3>
<p><strong>IRI:</strong>http://www.w3.org/ns/prov#derivedByInsertionFrom</p>
- <div about="#example-for-property-derivedByInsertionFrom" typeof="prov:Entity" class="example">
- <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#derivedByInsertionFrom"></span>
+ <div class="example">
<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/property_derivedByInsertionFrom.ttl" property="prov:pairValue">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+ <pre>@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#> .
@@ -1913,10 +1907,9 @@
</h3>
<p><strong>IRI:</strong>http://www.w3.org/ns/prov#derivedByRemovalFrom</p>
- <div about="#example-for-property-derivedByRemovalFrom" typeof="prov:Entity" class="example">
- <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#derivedByRemovalFrom"></span>
+ <div class="example">
<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/property_derivedByRemovalFrom.ttl" property="prov:pairValue">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+ <pre>@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#> .
@@ -1992,10 +1985,9 @@
</h3>
<p><strong>IRI:</strong>http://www.w3.org/ns/prov#dictionary</p>
- <div about="#example-for-property-dictionary" typeof="prov:Entity" class="example">
- <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#dictionary"></span>
+ <div class="example">
<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/property_dictionary.ttl" property="prov:pairValue">@prefix prov: <http://www.w3.org/ns/prov#> .
+ <pre>@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix : <http://example.org/> .
@@ -2062,10 +2054,9 @@
</h3>
<p><strong>IRI:</strong>http://www.w3.org/ns/prov#insertedKeyValuePair</p>
- <div about="#example-for-property-inserted" typeof="prov:Entity" class="example">
- <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#insertedKeyValuePair"></span>
+ <div class="example">
<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/property_inserted.ttl" property="prov:pairValue">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+ <pre>@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#> .
@@ -2126,10 +2117,9 @@
</h3>
<p><strong>IRI:</strong>http://www.w3.org/ns/prov#hadDictionaryMember</p>
- <div about="#example-for-property-member" typeof="prov:Entity" class="example">
- <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#hadDictionaryMember"></span>
+ <div class="example">
<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/property_member.ttl" property="prov:pairValue">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+ <pre>@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#> .
@@ -2189,10 +2179,9 @@
</h3>
<p><strong>IRI:</strong>http://www.w3.org/ns/prov#pairKey</p>
- <div about="#example-for-property-key" typeof="prov:Entity" class="example">
- <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#pairKey"></span>
+ <div class="example">
<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/property_key.ttl" property="prov:pairValue">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+ <pre>@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#> .
@@ -2252,10 +2241,9 @@
</h3>
<p><strong>IRI:</strong>http://www.w3.org/ns/prov#pairValue</p>
- <div about="#example-for-property-pairValue" typeof="prov:Entity" class="example">
- <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#pairValue"></span>
+ <div class="example">
<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/property_value.ttl" property="prov:pairValue">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+ <pre>@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#> .
@@ -2315,10 +2303,9 @@
</h3>
<p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedInsertion</p>
- <div about="#example-for-property-qualifiedInsertion" typeof="prov:Entity" class="example">
- <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#qualifiedInsertion"></span>
+ <div class="example">
<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/property_qualifiedInsertion.ttl" property="prov:pairValue">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+ <pre>@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#> .
@@ -2387,10 +2374,9 @@
</h3>
<p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedRemoval</p>
- <div about="#example-for-property-qualifiedRemoval" typeof="prov:Entity" class="example">
- <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#qualifiedRemoval"></span>
+ <div class="example">
<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/property_qualifiedRemoval.ttl" property="prov:pairValue">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+ <pre>@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#> .
@@ -2450,10 +2436,9 @@
</h3>
<p><strong>IRI:</strong>http://www.w3.org/ns/prov#removedKey</p>
- <div about="#example-for-property-removedKey" typeof="prov:Entity" class="example">
- <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#removedKey"></span>
+ <div class="example">
<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/property_removedKey.ttl" property="prov:pairValue">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+ <pre>@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#> .
@@ -2772,7 +2757,7 @@
<span class="ruleTitle"><a class="internalDFN" href="#insertion-membership-inference">Inference D4 (insertion-membership)</a></span>
<p>
<span class="conditional">IF</span> <span class="name">derivedByInsertionFrom(d2, d1, {("k1", e1),...,("kn",en)})</span>
- <span class="conditional">THEN</span> <span class="name">hadDictionaryMember(d2, ei, "ki") for each i ∈ [1..n]</span>
+ <span class="conditional">THEN</span> <span class="name">hadDictionaryMember(d2, ei, "ki") for each i ∈ [1..n]</span>
</p></div>
@@ -2832,7 +2817,7 @@
<span class="ruleTitle"><a class="internalDFN" href="#impossible-removal-membership-constraint">Constraint D8 (impossible-removal-membership)</a></span>
<p>
<span class="conditional">IF</span> <span class="name">derivedByRemovalFrom(d2, d1, {"k1",...,"kn"})</span> and
- <span class="name">hadDictionaryMember(d2, e, "ki")</span> and <span class="name">i ∈ [1..n]</span> <span class="conditional">THEN</span> <span class="conditional">INVALID</span>
+ <span class="name">hadDictionaryMember(d2, e, "ki")</span> and <span class="name">i ∈ [1..n]</span> <span class="conditional">THEN</span> <span class="conditional">INVALID</span>
</p></div>
<p id="impossible-removal-insertion_text">A dictionary must not be derived through multiple insertion or removal relations.</p>
@@ -2876,23 +2861,23 @@
<li>
<p>
<span class="conditional">IF</span> <span class="name">entity(d, [prov:type='prov:Dictionary'])</span> <span class="conditional">THEN</span>
- <span class="name">'prov:Dictionary' ∈ typeOf(d)</span> and <span class="name">'prov:Collection' ∈ typeOf(d)</span>
- and <span class="name">'entity' ∈ typeOf(d)</span>
+ <span class="name">'prov:Dictionary' ∈ typeOf(d)</span> and <span class="name">'prov:Collection' ∈ typeOf(d)</span>
+ and <span class="name">'entity' ∈ typeOf(d)</span>
</p>
</li>
<li>
<p>
<span class="conditional">IF</span> <span class="name">entity(d, [prov:type='prov:EmptyDictionary'])</span> <span class="conditional">THEN</span>
- <span class="name">'prov:EmptyDictionary' ∈ typeOf(d)</span> and <span class="name">'prov:Dictionary' ∈ typeOf(d)</span>
- and <span class="name">'prov:Collection' ∈ typeOf(d)</span>
- and <span class="name">'prov:EmptyCollection' ∈ typeOf(d)</span>
- and <span class="name">'entity' ∈ typeOf(d)</span>
+ <span class="name">'prov:EmptyDictionary' ∈ typeOf(d)</span> and <span class="name">'prov:Dictionary' ∈ typeOf(d)</span>
+ and <span class="name">'prov:Collection' ∈ typeOf(d)</span>
+ and <span class="name">'prov:EmptyCollection' ∈ typeOf(d)</span>
+ and <span class="name">'entity' ∈ typeOf(d)</span>
</p>
</li>
<li>
<p>
<span class="conditional">IF</span> <span class="name">hadDictionaryMember(d, e, "k")</span> <span class="conditional">THEN</span>
- <span class="name">'prov:Dictionary' ∈ typeOf(d)</span> and <span class="name">'prov:Collection' ∈ typeOf(d)</span> and <span class="name">'entity' ∈ typeOf(d)</span> and <span class="name">'entity' ∈ typeOf(e)</span>
+ <span class="name">'prov:Dictionary' ∈ typeOf(d)</span> and <span class="name">'prov:Collection' ∈ typeOf(d)</span> and <span class="name">'entity' ∈ typeOf(d)</span> and <span class="name">'entity' ∈ typeOf(e)</span>
</p>
</li>
<li>
@@ -2900,14 +2885,14 @@
<p>Here, KV is a set of key-entity pairs</p>
<p>
<span class="conditional">IF</span> <span class="name">derivedByInsertionFrom(d2, d1, KV)</span> <span class="conditional">THEN</span>
- <span class="name">'prov:Dictionary' ∈ typeOf(d1)</span> and <span class="name">'prov:Dictionary' ∈ typeOf(d2)</span> and <span class="name">'prov:Collection' ∈ typeOf(d1)</span> and <span class="name">'entity' ∈ typeOf(d1)</span> and <span class="name">'prov:Collection' ∈ typeOf(d2)</span> and <span class="name">'entity' ∈ typeOf(d2)</span> and <span class="name">'entity' ∈ typeOf(e1)</span>
+ <span class="name">'prov:Dictionary' ∈ typeOf(d1)</span> and <span class="name">'prov:Dictionary' ∈ typeOf(d2)</span> and <span class="name">'prov:Collection' ∈ typeOf(d1)</span> and <span class="name">'entity' ∈ typeOf(d1)</span> and <span class="name">'prov:Collection' ∈ typeOf(d2)</span> and <span class="name">'entity' ∈ typeOf(d2)</span> and <span class="name">'entity' ∈ typeOf(e1)</span>
</p>
</li>
<li>
<p>Here, K is a set of keys</p>
<p>
<span class="conditional">IF</span> <span class="name">derivedByRemovalFrom(d2, d1, K)</span> <span class="conditional">THEN</span>
- <span class="name">'prov:Dictionary' ∈ typeOf(d1)</span> and <span class="name">'prov:Dictionary' ∈ typeOf(d2)</span> and <span class="name">'prov:Collection' ∈ typeOf(d1)</span> and <span class="name">'entity' ∈ typeOf(d1)</span> and <span class="name">'prov:Collection' ∈ typeOf(d2)</span> and <span class="name">'entity' ∈ typeOf(d2)</span>
+ <span class="name">'prov:Dictionary' ∈ typeOf(d1)</span> and <span class="name">'prov:Dictionary' ∈ typeOf(d2)</span> and <span class="name">'prov:Collection' ∈ typeOf(d1)</span> and <span class="name">'entity' ∈ typeOf(d1)</span> and <span class="name">'prov:Collection' ∈ typeOf(d2)</span> and <span class="name">'entity' ∈ typeOf(d2)</span>
</p>
</li>
</ol>