2nd attempt at staging prov-dictionary
authorTom De Nies <tom.denies@ugent.be>
Tue, 16 Apr 2013 16:25:57 +0200
changeset 6182 ae8f7f548b28
parent 6181 b4872f213088
child 6183 8790eaa37831
2nd attempt at staging prov-dictionary
dictionary/releases/NOTE-prov-dictionary-20130430/Overview.html
--- a/dictionary/releases/NOTE-prov-dictionary-20130430/Overview.html	Tue Apr 16 16:04:29 2013 +0200
+++ b/dictionary/releases/NOTE-prov-dictionary-20130430/Overview.html	Tue Apr 16 16:25:57 2013 +0200
@@ -3,7 +3,7 @@
 <head> 
     <title>PROV-Dictionary: Modeling Provenance for Dictionary Data Structures</title> 
     <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> 
-<style type="text/css">/* --- EXAMPLES --- */
+<style>/* --- EXAMPLES --- */
 div.example-title {
     min-width: 7.5em;
     color: #b9ab2d;
@@ -35,7 +35,19 @@
 aside.example div.example div.example-title {
     color: #999;
 }
-
+</style><link rel="http://www.w3.org/ns/prov#has_provenance" href="http://www.w3.org/2011/prov/provenance/prov-dictionary">
+
+
+
+
+
+
+
+ 
+
+
+
+<style type="text/css">
       .note { font-size:small; margin-left:50px }
 
   .entity {
@@ -721,10 +733,7 @@
 .section dl.attrs dd, .section dl.eldef dd {
     margin-bottom:  0;
 }
-</style><link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/W3C-NOTE"><!--[if lt IE 9]><script src='https://www.w3.org/2008/site/js/html5shiv.js'></script><![endif]-->
-
- <link rel="http://www.w3.org/ns/prov#has_provenance" href="http://www.w3.org/2011/prov/provenance/prov-dictionary">
-</head> 
+</style><link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/W3C-NOTE"><!--[if lt IE 9]><script src='https://www.w3.org/2008/site/js/html5shiv.js'></script><![endif]--><!--[if lt IE 9]><script src='https://www.w3.org/2008/site/js/html5shiv.js'></script><![endif]--></head> 
   <body><div class="head">
   <p>
     
@@ -770,10 +779,10 @@
   
     
       <p class="copyright">
-        <a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a>  
+        <a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a> © 
         2013
         
-        <a href="http://www.w3.org/"><abbr title="World Wide Web Consortium">W3C</abbr></a><sup></sup> 
+        <a href="http://www.w3.org/"><abbr title="World Wide Web Consortium">W3C</abbr></a><sup>®</sup> 
         (<a href="http://www.csail.mit.edu/"><abbr title="Massachusetts Institute of Technology">MIT</abbr></a>,
         <a href="http://www.ercim.eu/"><abbr title="European Research Consortium for Informatics and Mathematics">ERCIM</abbr></a>,
         <a href="http://www.keio.ac.jp/">Keio</a>, <a href="http://ev.buaa.edu.cn/">Beihang</a>), All Rights Reserved.
@@ -936,7 +945,7 @@
 
 <p>Note that the complete content of a dictionary is unknown unless it can be traced back to an empty dictionary through a series of insertions and removals. If an asserter wants to explicitly state that a dictionary is empty, it is recommended that the <span class="name">prov:type</span> <span class="name">prov:EmptyDictionary</span> is used.
 
-</p><div class="anexample" id="example_1"><div class="anexampleTitle">Example 1<sup><a class="internalDFN" href="#example_1"><span class="diamond"> ?</span></a></sup></div>
+</p><div class="anexample" id="example_1"><div class="anexampleTitle">Example 1<sup><a class="internalDFN" href="#example_1"><span class="diamond"> ◊</span></a></sup></div>
 <pre class="codeexample">entity(d0, [prov:type='prov:EmptyDictionary' ])  // d0 is an empty dictionary
 entity(d1, [prov:type='prov:Dictionary'  ])      // d1 is a dictionary, with (so far) unknown content
 </pre>
@@ -953,7 +962,7 @@
 	</p>
 
 <div class="attributes" id="attributes-hadMember-d">
- A <dfn title="hadMember-d" id="dfn-hadmember-d" class="internalDFN">dictionary membership</dfn><sup><a class="internalDFN" href="#dfn-hadmember-d"><span class="diamond"> ?</span></a></sup> relation, written <span class="pnExpression">prov:hadDictionaryMember(d, e_1, key_1)</span>, has:
+ A <dfn title="hadMember-d" id="dfn-hadmember-d" class="internalDFN">dictionary membership</dfn><sup><a class="internalDFN" href="#dfn-hadmember-d"><span class="diamond"> ◊</span></a></sup> relation, written <span class="pnExpression">prov:hadDictionaryMember(d, e_1, key_1)</span>, has:
 <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>
@@ -964,7 +973,7 @@
 	
 </div>
 
-<div class="anexample" id="example_2"><div class="anexampleTitle">Example 2<sup><a class="internalDFN" href="#example_2"><span class="diamond"> ?</span></a></sup></div>
+<div class="anexample" id="example_2"><div class="anexampleTitle">Example 2<sup><a class="internalDFN" href="#example_2"><span class="diamond"> ◊</span></a></sup></div>
 <pre class="codeexample">entity(d, [prov:type='prov:Dictionary' ])    // d is a dictionary, with (so far) unknown content
 
 entity(e1)
@@ -990,7 +999,7 @@
 <span class="glossary-ref"></span>
 
 <div class="attributes" id="attributes-derivedByInsertionFrom">
-<p>An <dfn title="derivedByInsertionFrom" id="dfn-derivedbyinsertionfrom" class="internalDFN">Insertion</dfn><sup><a class="internalDFN" href="#dfn-derivedbyinsertionfrom"><span class="diamond"> ?</span></a></sup> relation<span class="withPn">, written <span class="pnExpression">prov:derivedByInsertionFrom(id; d2, d1, {(key_1, e_1), ..., (key_n, e_n)}, attrs)</span>,</span> has:</p>
+<p>An <dfn title="derivedByInsertionFrom" id="dfn-derivedbyinsertionfrom" class="internalDFN">Insertion</dfn><sup><a class="internalDFN" href="#dfn-derivedbyinsertionfrom"><span class="diamond"> ◊</span></a></sup> relation<span class="withPn">, written <span class="pnExpression">prov:derivedByInsertionFrom(id; d2, d1, {(key_1, e_1), ..., (key_n, e_n)}, attrs)</span>,</span> has:</p>
 <ul>
 <li><span class="attribute" id="insertion.id">id</span>:  an <em class="rfc2119" title="OPTIONAL">OPTIONAL</em> identifier identifying the relation;</li>
 <li><span class="attribute" id="insertion.after">after</span>: an identifier (<span class="name">d2</span>) for the dictionary <em>after</em> insertion; </li>
@@ -1007,7 +1016,7 @@
 following the insertion of key-entity pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span> into dictionary  <span class="name">d1</span>. In other words, the set of key-entity pairs <span class="name">{(key_1, e_1), ...,(key_n, e_n)}</span> is to be seen as the difference between <span class="name">d1</span> and <span class="name">d2</span>.
 Note that this key-entity-set is considered to be complete. This means that we assume that no unknown keys were inserted in or removed from a dictionary derived by an insertion relation. This is formalized in <a href="#membership-insertion-membership-inference">Inference D4</a>.</p>
 
-<div class="anexample" id="example_3"><div class="anexampleTitle">Example 3<sup><a class="internalDFN" href="#example_3"><span class="diamond"> ?</span></a></sup></div>
+<div class="anexample" id="example_3"><div class="anexampleTitle">Example 3<sup><a class="internalDFN" href="#example_3"><span class="diamond"> ◊</span></a></sup></div>
 <pre class="codeexample">entity(d0, [prov:type='prov:EmptyDictionary' ])    // d0 is an empty dictionary
 entity(e1)
 entity(e2)
@@ -1028,7 +1037,7 @@
 <p>Futhermore, insertion provides an "update semantics" for the keys that are already present in a dictionary,
 since a new pair replaces an existing pair with the same key in the new dictionary. This is illustrated by the following example.</p>
 
-<div class="anexample" id="example_4"><div class="anexampleTitle">Example 4<sup><a class="internalDFN" href="#example_4"><span class="diamond"> ?</span></a></sup></div>
+<div class="anexample" id="example_4"><div class="anexampleTitle">Example 4<sup><a class="internalDFN" href="#example_4"><span class="diamond"> ◊</span></a></sup></div>
 <pre class="codeexample">entity(d0, [prov:type='prov:EmptyDictionary' ])    // d0 is an empty dictionary
 entity(e1)
 entity(e2)
@@ -1058,7 +1067,7 @@
 
 
 <div class="attributes" id="attributes-derivedByRemovalFrom">
-<p> A <dfn title="derivedByRemovalFrom" id="dfn-derivedbyremovalfrom" class="internalDFN">Removal</dfn><sup><a class="internalDFN" href="#dfn-derivedbyremovalfrom"><span class="diamond"> ?</span></a></sup> relation, written <span class="pnExpression">prov:derivedByRemovalFrom(id; d2, d1, {key_1, ... key_n}, attrs)</span>, has:</p>
+<p> A <dfn title="derivedByRemovalFrom" id="dfn-derivedbyremovalfrom" class="internalDFN">Removal</dfn><sup><a class="internalDFN" href="#dfn-derivedbyremovalfrom"><span class="diamond"> ◊</span></a></sup> relation, written <span class="pnExpression">prov:derivedByRemovalFrom(id; d2, d1, {key_1, ... key_n}, attrs)</span>, has:</p>
 <ul>
 <li><span class="attribute" id="removal.id">id</span>:  an <em class="rfc2119" title="OPTIONAL">OPTIONAL</em> identifier identifying the relation;</li>
 <li><span class="attribute" id="removal.after">after</span>: an identifier (<span class="name">d2</span>) for the dictionary  <em>after</em> the deletion; </li>
@@ -1072,7 +1081,7 @@
   In other words, the key-set <span class="name">{key_1,...,key_n}</span> is to be seen as the difference in keys and corresponding entities between <span class="name">d1</span> and <span class="name">d2</span>. Note that this key-set is considered to be complete. This means that we assume that no unknown keys were inserted in or removed from a dictionary derived by a removal relation. This is formalized in <a href="#membership-removal-membership-inference">Inference D5</a>. 
 </p>
 
-<div class="anexample" id="example_5"><div class="anexampleTitle">Example 5<sup><a class="internalDFN" href="#example_5"><span class="diamond"> ?</span></a></sup></div>
+<div class="anexample" id="example_5"><div class="anexampleTitle">Example 5<sup><a class="internalDFN" href="#example_5"><span class="diamond"> ◊</span></a></sup></div>
 <pre class="codeexample">entity(d0, [prov:type="prov:EmptyDictionary"])    // d0 is an empty dictionary
 entity(e1)
 entity(e2)
@@ -1113,7 +1122,7 @@
 <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-entityExpression">entityExpression</a></code> with attribute 
 <span id="provn-type-Dictionary"><code>prov:type='prov:Dictionary'</code></span>, or
 <span id="provn-type-EmptyDictionary"><code>prov:type='prov:EmptyDictionary'</code></span>, respectively.
-<div class="anexample" id="example_6"><div class="anexampleTitle">Example 6<sup><a class="internalDFN" href="#example_6"><span class="diamond"> ?</span></a></sup></div>
+<div class="anexample" id="example_6"><div class="anexampleTitle">Example 6<sup><a class="internalDFN" href="#example_6"><span class="diamond"> ◊</span></a></sup></div>
 <p>The  following two expressions are about a dictionary and an empty dictionary, respectively.
 </p><pre class="codeexample">  entity(ex:d1,   [ prov:type='prov:Dictionary' ])
   entity(ex:d2,   [ prov:type='prov:EmptyDictionary' ])
@@ -1158,7 +1167,7 @@
 
 
 
-<div class="anexample" id="example_7"><div class="anexampleTitle">Example 7<sup><a class="internalDFN" href="#example_7"><span class="diamond"> ?</span></a></sup></div>
+<div class="anexample" id="example_7"><div class="anexampleTitle">Example 7<sup><a class="internalDFN" href="#example_7"><span class="diamond"> ◊</span></a></sup></div>
 	<p>In this example, d is a dictionary known to have <span class="name">e0</span> as member, and may have other members.</p>
 <pre class="codeexample">entity(e0)
 
@@ -1214,7 +1223,7 @@
 </div>
 
 
-<div class="anexample" id="example_8"><div class="anexampleTitle">Example 8<sup><a class="internalDFN" href="#example_8"><span class="diamond"> ?</span></a></sup></div>
+<div class="anexample" id="example_8"><div class="anexampleTitle">Example 8<sup><a class="internalDFN" href="#example_8"><span class="diamond"> ◊</span></a></sup></div>
     <pre class="codeexample"> prov:derivedByInsertionFrom(id; d1, d, {("k1", e1), ("k2", e2)}, [])  
   </pre>
 <p>  Here
@@ -1282,7 +1291,7 @@
 
 
 
-<div class="anexample" id="example_9"><div class="anexampleTitle">Example 9<sup><a class="internalDFN" href="#example_9"><span class="diamond"> ?</span></a></sup></div>
+<div class="anexample" id="example_9"><div class="anexampleTitle">Example 9<sup><a class="internalDFN" href="#example_9"><span class="diamond"> ◊</span></a></sup></div>
     <pre class="codeexample"> prov:derivedByRemovalFrom(id; d3, d, {"k1", "k2"}, [])  
   </pre>
 <p>  Here
@@ -2786,7 +2795,7 @@
 	 <div class="inference" id="cmembership-dmembership-inference">
 	<span class="ruleTitle"><a class="internalDFN" href="#cmembership-dmembership-inference">Inference D2 (collection-membership-dictionary-membership)</a></span>
 <p>
-<span class="conditional">IF</span>  <span class="name">hadMember(d, e)</span> and <span class="name">'prov:Dictionary' ? typeOf(d)</span> <span class="conditional">THEN</span> there exists a 
+<span class="conditional">IF</span>  <span class="name">hadMember(d, e)</span> and <span class="name">'prov:Dictionary' ∈ typeOf(d)</span> <span class="conditional">THEN</span> there exists a 
 key <span class="name">k</span> such that <span class="name">prov:hadDictionaryMember(d, e, k)</span>
 </p></div>
 
@@ -2805,11 +2814,11 @@
 <p>Here, KV1 is a set of key-entity pairs and K1 is the key-set of KV1.</p>
   <ol>
 <li><span class="conditional">IF</span>  <span class="name">prov:hadDictionaryMember(d1, e, k)</span>
-   and <span class="name">prov:derivedByInsertionFrom(d2, d1, KV1)</span> and <span class="name">k</span> ? <span class="name">K1</span>
+   and <span class="name">prov:derivedByInsertionFrom(d2, d1, KV1)</span> and <span class="name">k</span> ∉ <span class="name">K1</span>
    <span class="conditional">THEN</span> <span class="name">prov:hadDictionaryMember(d2, e, k)</span></li>
    
 <li><span class="conditional">IF</span>  <span class="name">prov:hadDictionaryMember(d2, e, k)</span>
-   and <span class="name">prov:derivedByInsertionFrom(d2, d1, KV1)</span> and <span class="name">k</span> ? <span class="name">K1</span>
+   and <span class="name">prov:derivedByInsertionFrom(d2, d1, KV1)</span> and <span class="name">k</span> ∉ <span class="name">K1</span>
    <span class="conditional">THEN</span> <span class="name">prov:hadDictionaryMember(d1, e, k)</span></li>
   </ol></div>
   
@@ -2819,7 +2828,7 @@
   <p>Here, K1 is a set of keys.</p>
   <ol>
 <li><span class="conditional">IF</span>  <span class="name">prov:hadDictionaryMember(d1, e, k)</span>
-   and <span class="name">prov:derivedByRemovalFrom(d2, d1, K1)</span> and <span class="name">k</span> ? <span class="name">K1</span>
+   and <span class="name">prov:derivedByRemovalFrom(d2, d1, K1)</span> and <span class="name">k</span> ∉ <span class="name">K1</span>
    <span class="conditional">THEN</span> <span class="name">prov:hadDictionaryMember(d2, e, k)</span></li>
    
 <li><span class="conditional">IF</span>  <span class="name">prov:hadDictionaryMember(d2, e, k)</span>
@@ -2842,7 +2851,7 @@
  <p>Here, KV1 is a set of key-entity pairs.</p>
   <p>
 <span class="conditional">IF</span> <span class="name">prov:derivedByInsertionFrom(d2, d1, KV1)</span> 
-   <span class="conditional">THEN</span> <span class="name">prov:hadDictionaryMember(d2, e, k) for each (k, e) ? KV1</span>
+   <span class="conditional">THEN</span> <span class="name">prov:hadDictionaryMember(d2, e, k) for each (k, e) ∈ KV1</span>
 </p></div>
 
 <p id="insertion-derivation-inference_text">Insertion and removal are special cases of derivation.</p>
@@ -2874,7 +2883,7 @@
   <p>Here, <span class="name">K1</span> is a set of key-entity pairs.</p>
    <p>
 <span class="conditional">IF</span> <span class="name">prov:derivedByRemovalFrom(d2, d1, K1)</span> and 
-    <span class="name">prov:hadDictionaryMember(d2, e, k)</span> and <span class="name">k ? K1</span> <span class="conditional">THEN</span> <span class="conditional">INVALID</span>
+    <span class="name">prov:hadDictionaryMember(d2, e, k)</span> and <span class="name">k ∈ K1</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>
@@ -2918,23 +2927,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">prov: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>
@@ -2942,14 +2951,14 @@
 			<p>Here, KV is a set of key-entity pairs</p>
 			<p>
 			<span class="conditional">IF</span>  <span class="name">prov: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">prov: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>
@@ -2975,10 +2984,10 @@
 <td>48</td><td> <a href="http://dbpedia.org/resource/Scott_Atchison" title="Scott Atchison">Scott Atchison</a></td>
 <td>51</td><td> <a href="http://dbpedia.org/resource/Daniel_Bard" title="Daniel Bard">Daniel Bard</a></td></tr>
 <tr><td>19</td><td> <a href="http://dbpedia.org/resource/Josh_Beckett" title="Josh Beckett">Josh Beckett</a></td>
-<td>23</td><td> <a href="http://dbpedia.org/resource/%C3%89rik_B%C3%A9dard" title="rik Bdard">rik Bdard</a></td>
+<td>23</td><td> <a href="http://dbpedia.org/resource/%C3%89rik_B%C3%A9dard" title="Érik Bédard">Érik Bédard</a></td>
 <td>64</td><td> <a href="http://dbpedia.org/resource/Michael_Bowden_(baseball)" title="Michael Bowden (baseball)">Michael Bowden</a></td>
 <td>11</td><td> <a href="http://dbpedia.org/resource/Clay_Buchholz" title="Clay Buchholz">Clay Buchholz</a></td></tr>
-<tr><td>61</td><td> <a href="http://dbpedia.org/resource/F%C3%A9lix_Doubront" title="Flix Doubront">Flix Doubront</a></td>
+<tr><td>61</td><td> <a href="http://dbpedia.org/resource/F%C3%A9lix_Doubront" title="Félix Doubront">Félix Doubront</a></td>
 <td>53</td><td> <a href="http://dbpedia.org/resource/Rich_Hill_(pitcher)" title="Rich Hill (pitcher)">Rich Hill</a></td>
 <td>68</td><td> <a href="http://dbpedia.org/resource/Tommy_Hottovy" title="Tommy Hottovy">Tommy Hottovy</a></td>
 <td>52</td><td> <a href="http://dbpedia.org/resource/Bobby_Jenks" title="Bobby Jenks">Bobby Jenks</a></td></tr>
@@ -3000,9 +3009,9 @@
 <td>39</td><td> <a href="http://dbpedia.org/resource/Jarrod_Saltalamacchia" title="Jarrod Saltalamacchia">Jarrod Saltalamacchia</a></td></tr>
 <tr><td>33</td><td> <a href="http://dbpedia.org/resource/Jason_Varitek" title="Jason Varitek">Jason Varitek</a></td>
 <td>62</td><td> <a href="http://dbpedia.org/resource/Lars_Anderson_(baseball)" title="Lars Anderson (baseball)">Lars Anderson</a></td>
-<td>3</td><td> <a href="http://dbpedia.org/resource/Mike_Avil%C3%A9s" title="Mike Avils">Mike Avils</a></td>
+<td>3</td><td> <a href="http://dbpedia.org/resource/Mike_Avil%C3%A9s" title="Mike Avilés">Mike Avilés</a></td>
 <td>28</td><td> <a href="http://dbpedia.org/resource/Adrian_Gonzalez" title="Adrian Gonzalez">Adrian Gonzalez</a></td></tr>
-<tr><td>76</td><td> <a href="http://dbpedia.org/resource/Jos%C3%A9_Iglesias_(baseball)" title="Jos Iglesias (baseball)">Jos Iglesias</a></td>
+<tr><td>76</td><td> <a href="http://dbpedia.org/resource/Jos%C3%A9_Iglesias_(baseball)" title="José Iglesias (baseball)">José Iglesias</a></td>
 <td>12</td><td> <a href="http://dbpedia.org/resource/Jed_Lowrie" title="Jed Lowrie">Jed Lowrie</a></td>
 <td>60</td><td> <a href="http://dbpedia.org/resource/Yamaico_Navarro" title="Yamaico Navarro">Yamaico Navarro</a></td>
 <td>34</td><td> <a href="http://dbpedia.org/resource/David_Ortiz" title="David Ortiz">David Ortiz</a></td></tr>
@@ -3036,7 +3045,7 @@
 <td>11</td><td> <a href="http://dbpedia.org/resource/Clay_Buchholz" title="Clay Buchholz">Clay Buchholz</a></td>
 <td>52</td><td> <a href="http://dbpedia.org/resource/Chris_Carpenter" title="Chris Carpenter">Chris Carpenter</a></td>
 <td>35</td><td> <a href="http://dbpedia.org/resource/Aaron_Cook_(baseball)" title="Aaron Cook (baseball)">Aaron Cook</a></td></tr>
-<tr><td>61</td><td> <a href="http://dbpedia.org/resource/F%C3%A9lix_Doubront" title="Flix Doubront">Flix Doubront</a></td>
+<tr><td>61</td><td> <a href="http://dbpedia.org/resource/F%C3%A9lix_Doubront" title="Félix Doubront">Félix Doubront</a></td>
 <td>47</td><td> <a href="http://dbpedia.org/resource/Justin_Germano" title="Justin Germano">Justin Germano</a></td>
 <td>53</td><td> <a href="http://dbpedia.org/resource/Rich_Hill_(pitcher)" title="Rich Hill (pitcher)">Rich Hill</a></td>
 <td>31</td><td> <a href="http://dbpedia.org/resource/Jon_Lester" title="Jon Lester">Jon Lester</a></td></tr>
@@ -3050,16 +3059,16 @@
 <td>63</td><td> <a href="http://dbpedia.org/resource/Junichi_Tazawa" title="Junichi Tazawa">Junichi Tazawa</a></td></tr>
 <tr><td>78</td><td> <a href="http://dbpedia.org/resource/Justin_Thomas" title="Justin Thomas">Justin Thomas</a></td>
 <td>60</td><td> <a href="http://dbpedia.org/resource/Ryan_Lavarnway" title="Ryan Lavarnway">Ryan Lavarnway</a></td>
-<td>62</td><td> <a href="http://dbpedia.org/resource/Guillermo_Quir%C3%B3z" title="Guillermo Quirz">Guillermo Quirz</a></td>
+<td>62</td><td> <a href="http://dbpedia.org/resource/Guillermo_Quir%C3%B3z" title="Guillermo Quiróz">Guillermo Quiróz</a></td>
 <td>39</td><td> <a href="http://dbpedia.org/resource/Jarrod_Saltalamacchia" title="Jarrod Saltalamacchia">Jarrod Saltalamacchia</a></td></tr>
 <tr><td>10</td><td> <a href="http://dbpedia.org/resource/Kelly_Shoppach" title="Kelly Shoppach">Kelly Shoppach</a></td>
 <td>62</td><td> <a href="http://dbpedia.org/resource/Lars_Anderson_(baseball)" title="Lars Anderson (baseball)">Lars Anderson</a></td>
-<td>3</td><td> <a href="http://dbpedia.org/resource/Mike_Avil%C3%A9s" title="Mike Avils">Mike Avils</a></td>
+<td>3</td><td> <a href="http://dbpedia.org/resource/Mike_Avil%C3%A9s" title="Mike Avilés">Mike Avilés</a></td>
 <td>77</td><td> <a href="http://dbpedia.org/resource/Pedro_Ciriaco" title="Pedro Ciriaco">Pedro Ciriaco</a></td></tr>
-<tr><td>56</td><td> <a href="http://dbpedia.org/resource/Iv%C3%A1n_DeJes%C3%BAs,_Jr." title="Ivn DeJess, Jr.">Ivn DeJess, Jr.</a></td>
+<tr><td>56</td><td> <a href="http://dbpedia.org/resource/Iv%C3%A1n_DeJes%C3%BAs,_Jr." title="Iván DeJesús, Jr.">Iván DeJesús, Jr.</a></td>
 <td>50</td><td> <a href="http://dbpedia.org/resource/Mauro_Gomez" title="Mauro Gomez" class="mw-redirect">Mauro Gomez</a></td>
 <td>28</td><td> <a href="http://dbpedia.org/resource/Adrian_Gonzalez" title="Adrian Gonzalez">Adrian Gonzalez</a></td>
-<td>58</td><td> <a href="http://dbpedia.org/resource/Jos%C3%A9_Iglesias_(baseball)" title="Jos Iglesias (baseball)">Jos Iglesias</a></td></tr>
+<td>58</td><td> <a href="http://dbpedia.org/resource/Jos%C3%A9_Iglesias_(baseball)" title="José Iglesias (baseball)">José Iglesias</a></td></tr>
 <tr><td>23</td><td> <a href="http://dbpedia.org/resource/Brent_Lillibridge" title="Brent Lillibridge">Brent Lillibridge</a></td>
 <td>22</td><td> <a href="http://dbpedia.org/resource/James_Loney_(baseball)" title="James Loney (baseball)" class="mw-redirect">James Loney</a></td>
 <td>64</td><td> <a href="http://dbpedia.org/resource/Will_Middlebrooks" title="Will Middlebrooks">Will Middlebrooks</a></td>
@@ -3109,7 +3118,7 @@
   <tr><td>RF</td><td><a href="http://dbpedia.org/resource/Ryan_Sweeney" title="Ryan Sweeney">Ryan Sweeney</a></td></tr>
   <tr><td>LF</td><td><a href="http://dbpedia.org/resource/Cody_Ross" title="Cody Ross">Cody Ross</a></td></tr>
   <tr><td>C</td><td><a href="http://dbpedia.org/resource/Jarrod_Saltalamacchia" title="Jarrod Saltalamacchia">Jarrod Saltalamacchia</a></td></tr>
-  <tr><td>SS</td><td><a href="http://dbpedia.org/resource/Mike_Avil%C3%A9s" title="Mike Avils">Mike Avils</a></td></tr>
+  <tr><td>SS</td><td><a href="http://dbpedia.org/resource/Mike_Avil%C3%A9s" title="Mike Avilés">Mike Avilés</a></td></tr>
   <tr><td>SP</td><td><a href="http://dbpedia.org/resource/Jon_Lester" title="Jon Lester">Jon Lester</a></td></tr>
 </tbody></table>
 </section> <!-- data -->
@@ -3671,7 +3680,7 @@
       <!--OddPage--><h2><span class="secno">C. </span>Acknowledgements</h2> 
       <p>This document has been produced by the PROV Working Group, and its contents reflect extensive discussion within the Working Group as a whole. The editors would especially like to thank Paolo Missier, James Cheney, Luc Moreau, Paul Groth, Stian Soiland-Reyes, Khalid Belhajjame, Timothy Lebo, Curt Tilmes, Stephan Zednik, Graham Klyne and Simon Miles for their contributions and their detailed reviews of this document. </p>
       <p> 
-        Members of the Provenance Working Group at the time of publication of this document were: Ilkay Altintas (Invited expert), Reza B'Far (Oracle Corporation), Khalid Belhajjame (University of Manchester), James Cheney (University of Edinburgh, School of Informatics), Sam Coppens (iMinds - Ghent University), David Corsar (University of Aberdeen, Computing Science), Stephen Cresswell (The National Archives), Tom De Nies (iMinds - Ghent University), Helena Deus (DERI Galway at the National University of Ireland, Galway, Ireland), Simon Dobson (Invited expert), Martin Doerr (Foundation for Research and Technology - Hellas(FORTH)), Kai Eckert (Invited expert), Jean-Pierre EVAIN (European Broadcasting Union, EBU-UER), James Frew (Invited expert), Irini Fundulaki (Foundation for Research and Technology - Hellas(FORTH)), Daniel Garijo (Universidad Politcnica de Madrid), Yolanda Gil (Invited expert), Ryan Golden (Oracle Corporation), Paul Groth (Vrije Universiteit), Olaf Hartig (Invited expert), David Hau (National Cancer Institute, NCI), Sandro Hawke (<abbr title="World Wide Web Consortium">W3C</abbr>/<abbr title="Massachusetts Institute of Technology">MIT</abbr>), Jrn Hees (German Research Center for Artificial Intelligence (DFKI) Gmbh), Ivan Herman, (<abbr title="World Wide Web Consortium">W3C</abbr>/<abbr title="European Research Consortium for Informatics and Mathematics">ERCIM</abbr>), Ralph Hodgson (TopQuadrant), Hook Hua (Invited expert), Trung Dong Huynh (University of Southampton), Graham Klyne (University of Oxford), Michael Lang (Revelytix, Inc.), Timothy Lebo (Rensselaer Polytechnic Institute), James McCusker (Rensselaer Polytechnic Institute), Deborah McGuinness (Rensselaer Polytechnic Institute), Simon Miles (Invited expert), Paolo Missier (School of Computing Science, Newcastle university), Luc Moreau (University of Southampton), James Myers (Rensselaer Polytechnic Institute), Vinh Nguyen (Wright State University), Edoardo Pignotti (University of Aberdeen, Computing Science), Paulo da Silva Pinheiro (Rensselaer Polytechnic Institute), Carl Reed (Open Geospatial Consortium), Adam Retter (Invited Expert), Christine Runnegar (Invited expert), Satya Sahoo (Invited expert), David Schaengold (Revelytix, Inc.), Daniel Schutzer (FSTC, Financial Services Technology Consortium), Yogesh Simmhan (Invited expert), Stian Soiland-Reyes (University of Manchester), Eric Stephan (Pacific Northwest National Laboratory), Linda Stewart (The National Archives), Ed Summers (Library of Congress), Maria Theodoridou (Foundation for Research and Technology - Hellas(FORTH)), Ted Thibodeau (OpenLink Software Inc.), Curt Tilmes (National Aeronautics and Space Administration), Craig Trim (IBM Corporation), Stephan Zednik (Rensselaer Polytechnic Institute), Jun Zhao (University of Oxford), Yuting Zhao (University of Aberdeen, Computing Science). 
+        Members of the Provenance Working Group at the time of publication of this document were: Ilkay Altintas (Invited expert), Reza B'Far (Oracle Corporation), Khalid Belhajjame (University of Manchester), James Cheney (University of Edinburgh, School of Informatics), Sam Coppens (iMinds - Ghent University), David Corsar (University of Aberdeen, Computing Science), Stephen Cresswell (The National Archives), Tom De Nies (iMinds - Ghent University), Helena Deus (DERI Galway at the National University of Ireland, Galway, Ireland), Simon Dobson (Invited expert), Martin Doerr (Foundation for Research and Technology - Hellas(FORTH)), Kai Eckert (Invited expert), Jean-Pierre EVAIN (European Broadcasting Union, EBU-UER), James Frew (Invited expert), Irini Fundulaki (Foundation for Research and Technology - Hellas(FORTH)), Daniel Garijo (Universidad Politécnica de Madrid), Yolanda Gil (Invited expert), Ryan Golden (Oracle Corporation), Paul Groth (Vrije Universiteit), Olaf Hartig (Invited expert), David Hau (National Cancer Institute, NCI), Sandro Hawke (<abbr title="World Wide Web Consortium">W3C</abbr>/<abbr title="Massachusetts Institute of Technology">MIT</abbr>), Jörn Hees (German Research Center for Artificial Intelligence (DFKI) Gmbh), Ivan Herman, (<abbr title="World Wide Web Consortium">W3C</abbr>/<abbr title="European Research Consortium for Informatics and Mathematics">ERCIM</abbr>), Ralph Hodgson (TopQuadrant), Hook Hua (Invited expert), Trung Dong Huynh (University of Southampton), Graham Klyne (University of Oxford), Michael Lang (Revelytix, Inc.), Timothy Lebo (Rensselaer Polytechnic Institute), James McCusker (Rensselaer Polytechnic Institute), Deborah McGuinness (Rensselaer Polytechnic Institute), Simon Miles (Invited expert), Paolo Missier (School of Computing Science, Newcastle university), Luc Moreau (University of Southampton), James Myers (Rensselaer Polytechnic Institute), Vinh Nguyen (Wright State University), Edoardo Pignotti (University of Aberdeen, Computing Science), Paulo da Silva Pinheiro (Rensselaer Polytechnic Institute), Carl Reed (Open Geospatial Consortium), Adam Retter (Invited Expert), Christine Runnegar (Invited expert), Satya Sahoo (Invited expert), David Schaengold (Revelytix, Inc.), Daniel Schutzer (FSTC, Financial Services Technology Consortium), Yogesh Simmhan (Invited expert), Stian Soiland-Reyes (University of Manchester), Eric Stephan (Pacific Northwest National Laboratory), Linda Stewart (The National Archives), Ed Summers (Library of Congress), Maria Theodoridou (Foundation for Research and Technology - Hellas(FORTH)), Ted Thibodeau (OpenLink Software Inc.), Curt Tilmes (National Aeronautics and Space Administration), Craig Trim (IBM Corporation), Stephan Zednik (Rensselaer Polytechnic Institute), Jun Zhao (University of Oxford), Yuting Zhao (University of Aberdeen, Computing Science). 
       </p> 
     </section>