Primer: rewritten intuition section on specialization and alternate
authorSimon Miles <simon.miles@kcl.ac.uk>
Sat, 03 Nov 2012 17:44:15 +0000
changeset 4627 ed22b6fc382f
parent 4626 095c61a54b32
child 4629 b6c6896623ec
Primer: rewritten intuition section on specialization and alternate
primer/Primer.html
--- a/primer/Primer.html	Sat Nov 03 12:29:08 2012 +0000
+++ b/primer/Primer.html	Sat Nov 03 17:44:15 2012 +0000
@@ -449,6 +449,51 @@
   <section>
    <h3>Alternate Entities and Specialization</h3>
    <p>
+    There is often more than one way to describe something in a record of
+    provenance. Each perspective will be referred to by a separately identified
+    entity, and PROV provides a mechanism for linking the different descriptions of
+    the same thing together through the mechanism of <i>specialization</i>. One
+    entity is a specialization of another entity if it shares the same fixed attributes,
+    with the possible addition of further fixed attributes. This concept is best
+    illustrated through a few use cases, as below.
+   </p>
+   <p>
+    Entities can be mutable things. For example, a webpage is a single
+    entity, W, despite being edited over time. Each version of the webpage is
+    also an entity, W1, W2... To connect an individual version to the webpage
+    in general, we say that the former is a specialization of the latter: W1 is a
+    specialization of W, W2 is a specialization of W, and so on.
+   </p>
+   <p>
+    Two individuals may create provenance referring to the same thing from different
+    perspectives. For example, the author of an article may attribute that article
+    to themselves using PROV while, independently, a reader might quote a fact from that
+    article elsewhere and document this in PROV. If the author later changes the fact,
+    then from the reader's perspective there are now two versions of the article, and
+    they had quoted from the version before the change. From the author's perspective,
+    there is a single article, attributed to themselves. If either of them, or a
+    third party, were to connect the two PROV records, they would say that the
+    article as referred to by the reader is a specialization of the same article
+    as referred to by the author.
+   </p>
+   <p>
+    If a file, F, is copied from one directory to another, we may want to say that
+    these are both the same file, just in a different location. We may say that
+    the file in the first directory, F1, is a specialization of F, and that the
+    file in the second directory, F2, is a specialization of F. Note that it is
+    the context (location) rather than content of the file that changes in this case.
+   </p>
+   <p>
+    The above are just some examples of where we may want to connect entities by
+    saying that they refer to the same thing, but at different levels of specialization.
+    PROV also allows us to more generally draw a connection between two descriptions
+    of the same thing, even if not at different levels of specialization. For example,
+    two versions of the webpage above, W1 and W2, are alternates of each other because
+    they describe the same webpage.
+   </p>
+   <!--
+   <h3>Alternate Entities and Specialization</h3>
+   <p>
     Entities are defined in a flexible way in PROV, allowing for different
     perspectives to be taken as appropriate for the application. The following
     are examples illustrating this idea.
@@ -481,6 +526,7 @@
     with a unique identifier even though it is specified as different alternates 
     throughout the provenance records.
    </p>
+   -->
   </section>   
 
  </section>
@@ -569,10 +615,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:article     a prov:Entity ;
@@ -587,10 +633,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   entity(ex:article, [dcterms:title="Crime rises in cities"])
@@ -604,10 +650,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:entity prov:id="ex:article"&gt;
@@ -648,10 +694,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:compile a prov:Activity .
@@ -661,10 +707,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   activity(ex:compile)
@@ -674,10 +720,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:activity prov:id="ex:compile"/&gt;
@@ -694,10 +740,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:compose    a prov:Activity .
@@ -708,10 +754,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   activity(ex:compose)
@@ -722,10 +768,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:used&gt;
@@ -774,10 +820,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:compose      prov:used           ex:dataSet1 ;
@@ -789,10 +835,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   used(ex:compose, ex:dataSet1, -)
@@ -808,10 +854,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:used&gt;
@@ -836,10 +882,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:illustrate prov:used           ex:composition .
@@ -850,10 +896,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   used(ex:illustrate, ex:composition, -)
@@ -864,10 +910,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:used&gt;
@@ -899,10 +945,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:compose    prov:wasAssociatedWith ex:derek .
@@ -913,10 +959,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   wasAssociatedWith(ex:compose, ex:derek, -)
@@ -927,10 +973,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:wasAssociatedWith&gt;
@@ -953,10 +999,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:derek a prov:Agent ;
@@ -969,10 +1015,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   agent(ex:derek,
@@ -984,10 +1030,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:agent prov:id="ex:derek"&gt;
@@ -1006,10 +1052,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:derek prov:actedOnBehalfOf ex:chartgen .
@@ -1022,10 +1068,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   agent(ex:chartgen,
@@ -1038,10 +1084,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:agent prov:id="ex:chartgen"&gt;
@@ -1063,10 +1109,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:chart1 prov:wasAttributedTo ex:derek .
@@ -1076,10 +1122,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   wasAttributedTo(ex:chart1, ex:derek)
@@ -1089,10 +1135,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:wasAttributedTo&gt;
@@ -1132,10 +1178,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:dataToCompose        a prov:Role .
@@ -1152,10 +1198,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:compose prov:used ex:dataSet1 .
@@ -1177,10 +1223,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:compose prov:qualifiedUsage [
@@ -1198,10 +1244,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   used(ex:compose, ex:dataSet1, -, [prov:role='ex:dataToCompose'])
@@ -1211,10 +1257,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:used&gt;
@@ -1232,10 +1278,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:compose prov:qualifiedUsage [
@@ -1249,10 +1295,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   used(ex:compose, ex:regionList, -, [prov:role='ex:regionsToAggregateBy'])
@@ -1262,10 +1308,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:used&gt;
@@ -1285,10 +1331,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:compose prov:qualifiedAssociation [
@@ -1307,10 +1353,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   wasAssociatedWith(ex:compose, ex:derek, -, [prov:role='ex:analyst'])
@@ -1321,10 +1367,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:wasAssociatedWith&gt;
@@ -1362,10 +1408,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:dataSet2 a prov:Entity ;
@@ -1376,10 +1422,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   entity(ex:dataSet2)
@@ -1390,10 +1436,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;entity prov:id="dataSet2"/&gt;
@@ -1415,10 +1461,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:chart2 a prov:Entity ;
@@ -1429,10 +1475,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   wasDerivedFrom(ex:chart2, ex:dataSet2)
@@ -1442,10 +1488,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:wasDerivedFrom&gt;
@@ -1460,10 +1506,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:chart2 a prov:Entity ;
@@ -1474,10 +1520,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   entity(ex:chart2)
@@ -1488,10 +1534,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;entity prov:id="chart2"/&gt;
@@ -1524,10 +1570,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:correct      a prov:Activity .
@@ -1539,10 +1585,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   activity(ex:correct)
@@ -1554,10 +1600,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:activity prov:id="ex:correct"/&gt;
@@ -1575,10 +1621,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:correct prov:qualifiedAssociation [
@@ -1596,10 +1642,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   wasAssociatedWith(ex:correct, ex:edith, ex:instructions)
@@ -1610,10 +1656,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:wasAssociatedWith&gt;
@@ -1648,10 +1694,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:chart1 prov:generatedAtTime "2012-03-02T10:30:00"^^xsd:dateTime .
@@ -1662,10 +1708,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   wasGeneratedBy(ex:chart1, ex:compile,  2012-03-02T10:30:00)
@@ -1676,10 +1722,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:wasGeneratedBy&gt;
@@ -1704,10 +1750,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:correct prov:startedAtTime "2012-03-31T09:21:00"^^xsd:dateTime ;
@@ -1718,10 +1764,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   activity(ex:correct, 2012-03-31T09:21:00, 2012-04-01T15:21:00)
@@ -1731,10 +1777,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:activity prov:id="ex:correct"&gt;
@@ -1762,10 +1808,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:blogEntry a prov:Entity ;
@@ -1776,10 +1822,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   entity(ex:blogEntry)
@@ -1790,10 +1836,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:entity prov:id="ex:blogEntry"/&gt;
@@ -1816,10 +1862,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:articleV1 a prov:Entity ;
@@ -1830,10 +1876,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   entity(ex:articleV1)
@@ -1844,10 +1890,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:entity prov:id="ex:articleV1"/&gt;
@@ -1869,24 +1915,24 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>Turtle Example</b>
       <a onclick="
-          set_display_by_class('pre','turtle example','none');
-          set_display_by_class('div','turtle example','none');
-          set_display_by_id('hide-turtle-examples','none');
-          set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','turtle example','none');
+       set_display_by_class('div','turtle example','none');
+       set_display_by_id('hide-turtle-examples','none');
+       set_display_by_id('show-turtle-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   ex:articleV2 prov:specializationOf ex:article .
-  ex:articleV2 prov:alternateOf      ex:articleV1 .
+  ex:articleV2 prov:alternateOf      ex:articleV1 
     </pre>
    </div>
    <div class="provn example">
     <div class="exampleheader">
      <span class="exampleheader"><b>PROV-N Example</b>
       <a onclick="
-            set_display_by_class('pre','provn example','none');
-            set_display_by_class('div','provn example','none');
-            set_display_by_id('hide-provn-examples','none');
-            set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provn example','none');
+       set_display_by_class('div','provn example','none');
+       set_display_by_id('hide-provn-examples','none');
+       set_display_by_id('show-provn-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   specializationOf(ex:articleV2, ex:article)
@@ -1897,10 +1943,10 @@
     <div class="exampleheader">
      <span class="exampleheader"><b>XML Example</b>
       <a onclick="
-            set_display_by_class('pre','provxml example','none');
-            set_display_by_class('div','provxml example','none');
-            set_display_by_id('hide-provxml-examples','none');
-            set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
+       set_display_by_class('pre','provxml example','none');
+       set_display_by_class('div','provxml example','none');
+       set_display_by_id('hide-provxml-examples','none');
+       set_display_by_id('show-provxml-examples','');"><u><i>(hide all)</i></u></a>
      </span></div>
     <pre>
   &lt;prov:specializationOf&gt;
@@ -1952,6 +1998,8 @@
    <li>Added supporting files containing full PROV-O and PROV-N examples.</li>
    <li>Figures edited so that each CURIEs is on one line rather being split across two.</li>
    <li>Added buttons to hide all Turtle or PROV-N examples throughout document.</li>
+   <li>Added XML examples throughout, including buttons to hide/show and a link to a supporting complete XML file.</li>
+   <li>Rewritten intuition section on specialization and alternate to be clearer and more case-based.</li>
    <li>Fixed minor typos.</li>
   </ul>
  </section>