iscw12 prov-dm overview
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Sun, 04 Nov 2012 13:13:53 +0000
changeset 4629 b6c6896623ec
parent 4628 fd444428dd19 (current diff)
parent 4627 ed22b6fc382f (diff)
child 4630 38d5d16a9bed
iscw12 prov-dm overview
model/prov-dm.html
--- a/model/prov-dm.html	Sun Nov 04 13:13:39 2012 +0000
+++ b/model/prov-dm.html	Sun Nov 04 13:13:53 2012 +0000
@@ -2208,7 +2208,7 @@
 wasGeneratedBy(g2; e2, a, -)
 used(u1; a, e1, -)
 </pre>
-<p>With such a comprehensive description of derivation, a program that analyzes provenance can identify the activity underpinning the derivation, it can identify how the original entity <span class="name">e1</span> was used by  the activity (e.g. for instance, which argument it was passed as, if the activity is the result of a function invocation), and which output the derived entity <span class="name">e2</span> was obtained from (say, for a function returning multiple results).</p>
+<p>With such a comprehensive description of derivation, a program that analyzes provenance can identify the activity underpinning the derivation, it can identify how the preceding entity <span class="name">e1</span> was used by  the activity (e.g. for instance, which argument it was passed as, if the activity is the result of a function invocation), and which output the derived entity <span class="name">e2</span> was obtained from (say, for a function returning multiple results).</p>
 </div>
 
 
@@ -2226,7 +2226,7 @@
   The implication here is that
      the resulting entity contains substantial content from the
      original.
-A <dfn>revision</dfn> relation is a particular case of a <a>derivation</a> relation between an entity and its revised version.
+A <dfn>revision</dfn> relation is a kind of <a>derivation</a> relation from a revised entity to a preceding  entity.
 The type of a revision relation is denoted by:
 <dfn title="dfn-prov:revision" id="dfn-prov:revision"><span class="name">prov:Revision</span></dfn>.
 PROV defines no revision-specific attributes.
@@ -2260,7 +2260,7 @@
 </p>
 
 <p>A <dfn>quotation</dfn> relation
- is a particular case of a  <a>derivation</a> relation, for which an entity was derived from an original entity by copying, or "quoting", some or all of it.
+ is a kind of  <a>derivation</a> relation, for which an entity was derived from a preceding entity by copying, or "quoting", some or all of it.
 The type is of a quotation derivation is denoted by:
 <dfn title="dfn-prov:quotation" id="dfn-prov:quotation"><span class="name">prov:Quotation</span></dfn>.
 PROV defines no quotation-specific attributes.
@@ -2311,7 +2311,7 @@
 
 <p>It is also important to note that a given entity might be a primary source for one entity but not another. It the reason why Primary Source is defined as a relation as opposed to a subtype of Entity.</p>
 
-<p>A <dfn>primary source</dfn> relation is a particular case of a <a>derivation</a> relation from
+<p>A <dfn>primary source</dfn> relation is a kind of a <a>derivation</a> relation from
 secondary materials to their primary sources. It is recognized that
 the determination of primary sources can be up to interpretation, and
 should be done according to conventions accepted within the
@@ -2951,7 +2951,7 @@
 <p>An entity <span class="name">e1</span> may be mentioned in a bundle <span class="name">b</span>, which contains some
  descriptions about this entity <span class="name">e1</span>: how <span class="name">e1</span> was generated and used, which activities <span class="name">e1</span> is involved with, the agents <span class="name">e1</span> is attributed to, etc. Other bundles may contain other descriptions about the same entity <span class="name">e1</span>.
 Some applications may want to interpret
-this entity <span class="name">e1</span> with respect to the descriptions found in the bundle <span class="name">b</span> it occurs in. To this end, PROV allows a new entity <span class="name">e2</span> to be created, which is a specialization of the original entity <span class="name">e1</span>, and which presents an additional aspect:  the bundle <span class="name">b</span> containing some descriptions of <span class="name">e1</span>.  With this relation, applications that process <span class="name">e2</span>
+this entity <span class="name">e1</span> with respect to the descriptions found in the bundle <span class="name">b</span> it occurs in. To this end, PROV allows a new entity <span class="name">e2</span> to be created, which is a specialization of the preceding entity <span class="name">e1</span>, and which presents an additional aspect:  the bundle <span class="name">b</span> containing some descriptions of <span class="name">e1</span>.  With this relation, applications that process <span class="name">e2</span>
 can know that the attributes of <span class="name">e2</span> may have been computed according to the descriptions of <span class="name">e1</span> in <span class="name">b</span>.</p>
 
 
@@ -3923,6 +3923,7 @@
 <li> <a href="http://www.w3.org/2011/prov/track/issues/462">ISSUE-462</a>: Added clarification regarding entity attributes (with respect to fixed aspects) and role of identifier with respect to equality.
 <li> <a href="http://www.w3.org/2011/prov/track/issues/518">ISSUE-518</a>: Added clarifying sentence of primary source.
 <li> <a href="http://www.w3.org/2011/prov/track/issues/552">ISSUE-552</a>: Clarifying phrasing around a quotation/revision/primary-source relation is a particular case of a derivation relation ...
+<li> Rephrased original entity to preceding entity.
 </ul>
 
 </section>
--- a/model/prov-n.html	Sun Nov 04 13:13:39 2012 +0000
+++ b/model/prov-n.html	Sun Nov 04 13:13:53 2012 +0000
@@ -2197,12 +2197,12 @@
 </table>
 
 <p>A <code><a class="grammarRef" href="#prod-namespaceDeclaration">namespaceDeclaration</a></code> consists of a binding between a prefix and a namespace. Every qualified name with this prefix in the scope of this declaration belongs to this namespace. 
-A <code><a class="grammarRef" href="#prod-defaultNamespaceDeclaration">defaultNamespaceDeclaration</a></code> consists of a namespace. Every qualified name without prefix in the scope of this declaration belongs to this namespace. Scope of a declaration is specified as follows:</p>
+A <code><a class="grammarRef" href="#prod-defaultNamespaceDeclaration">defaultNamespaceDeclaration</a></code> consists of a namespace. Every qualified name without prefix in the scope of this declaration belongs to this namespace. Scope of a prefix-namespace declaration is specified as follows:</p>
 <ul>
 <li> 
-The scope of a namespace declaration directly occurring in a <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> is the <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> itself.</li>
+The scope of a prefix-namespace declaration directly occurring in a <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> is the <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> itself.</li>
 <li>
-The scope of a namespace declaration directly occurring in a <code><a class="grammarRef" href="#prod-document">document</a></code> is the <code><a class="grammarRef" href="#prod-document">document</a></code> itself, excluding the <code><a class="grammarRef" href="#prod-bundle">bundles</a></code> it may contain.</li>
+The scope of a prefix-namespace declaration directly occurring in a <code><a class="grammarRef" href="#prod-document">document</a></code> is the <code><a class="grammarRef" href="#prod-document">document</a></code> including the <code><a class="grammarRef" href="#prod-bundle">bundles</a></code> it contains but excluding those <code><a class="grammarRef" href="#prod-bundle">bundles</a></code> that redeclares this prefix-namespace pair.</li>
 </ul>
 
 <p>A set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code> MUST NOT re-declare the same prefix.</p>
@@ -2244,6 +2244,24 @@
 </div>
 
 
+<div class="anexample" id="anexample-namespace-scope2">
+<p>In the following example, a document declares a namespace with prefix <code>ex</code> and the occurrence of
+<code>ex:e001</code> directly occurring in the document refers to that namespace.
+In a nested bundle, the occurrence of
+<code>ex:e001</code> also  refers to the same namespace.</p>
+<pre class="codeexample">
+document
+  prefix ex &lt;http://example.org/1/&gt;
+  entity(ex:e001)                            // IRI: http://example.org/1/e001
+
+  bundle b
+    entity(ex:001)                           // IRI: http://example.org/1/e001
+  endBundle
+endDocument
+</pre>
+</div>
+
+
 
 
 </section>
@@ -2535,6 +2553,8 @@
 <li> <a href="http://www.w3.org/2011/prov/track/issues/547">ISSUE-547</a>: Aligned terminology and productions with prov-constraints document, renaming 'toplevel bundle' to 'document', and renaming 'named bundle' to 'bundle'.
 <li> <a href="http://www.w3.org/2011/prov/track/issues/496">ISSUE-496</a>: For each prov-n term, added a cross-reference to corresponding prov-dm term (see table following each production). Rephrased text related to scope of a namespace declaration. Added an informative file with all productions.
 <li> <a href="http://www.w3.org/2011/prov/track/issues/573">ISSUE-573</a>: Updated Media Type section. 
+<li> <a href="http://www.w3.org/2011/prov/track/issues/589">ISSUE-589</a>: updated scoping rule for prefix-namespace declaration.
+
 </ul>
 </section>
 
--- a/ontology/ProvenanceOntology.owl	Sun Nov 04 13:13:39 2012 +0000
+++ b/ontology/ProvenanceOntology.owl	Sun Nov 04 13:13:53 2012 +0000
@@ -85,10 +85,10 @@
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
     <owl:AnnotationProperty rdf:about="&rdfs;seeAlso">
         <rdfs:comment xml:lang="en"></rdfs:comment>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#dm">
         <rdfs:comment xml:lang="en">A reference to the principal section of the PROV-DM document that describes this concept.</rdfs:comment>
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
@@ -427,11 +427,11 @@
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadRole">
         <rdfs:label>hadRole</rdfs:label>
         <component>agents-responsibility</component>
-        <editorsDefinition xml:lang="en">prov:hadRole references the Role (i.e. the function of an entity with respect to an activity), in the context of an instantaneous usage, generation, association, start, and end.</editorsDefinition>
         <inverse>wasRoleIn</inverse>
         <rdfs:comment>This property has multiple RDFS domains to suit multiple OWL Profiles. See &lt;a href=&quot;#prov-o-owl-profile&quot;&gt;PROV-O OWL Profile&lt;/a&gt;.</rdfs:comment>
         <category>qualified</category>
         <rdfs:comment xml:lang="en">The _optional_ Role that an Entity assumed in the context of an Activity. For example, :baking prov:used :spoon; prov:qualified [ a prov:Usage; prov:entity :spoon; prov:hadRole roles:mixing_implement ].</rdfs:comment>
+        <editorsDefinition xml:lang="en">prov:hadRole references the Role (i.e. the function of an entity with respect to an activity), in the context of an instantaneous usage, generation, association, start, and end.</editorsDefinition>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Influence"/>
         <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Role"/>
@@ -1009,8 +1009,8 @@
         </owl:annotatedTarget>
     </owl:Axiom>
     <owl:Axiom>
+        <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence</dm>
-        <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
         <owl:annotatedProperty rdf:resource="&rdfs;range"/>
         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
         <owl:annotatedTarget>
@@ -1308,8 +1308,8 @@
             </owl:Restriction>
         </rdfs:subClassOf>
         <owl:disjointWith rdf:resource="http://www.w3.org/ns/prov#EntityInfluence"/>
-        <rdfs:comment xml:lang="en">ActivityInfluence is intended to be a general subclass of Influence of an Activity. It is a superclass for more specific kinds of Influences (e.g. Generation, Communication, and Invalidation).</rdfs:comment>
-        <editorsDefinition xml:lang="en">ActivityInfluence provides additional descriptions of an Activity&#39;s binary influence upon any other kind of resource. Instances of ActivityInfluence use the prov:activity property to cite the influencing Activity.</editorsDefinition>
+        <editorsDefinition xml:lang="en">ActivitiyInfluence is the capacity of an activity to have an effect on the character, development, or behavior of another by means of generation, invalidation, communication, or other.</editorsDefinition>
+        <rdfs:comment xml:lang="en">ActivityInfluence provides additional descriptions of an Activity&#39;s binary influence upon any other kind of resource. Instances of ActivityInfluence use the prov:activity property to cite the influencing Activity.</rdfs:comment>
         <rdfs:comment xml:lang="en">It is not recommended that the type ActivityInfluence be asserted without also asserting one of its more specific subclasses.</rdfs:comment>
         <category>qualified</category>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
@@ -1338,9 +1338,9 @@
     <owl:Class rdf:about="http://www.w3.org/ns/prov#AgentInfluence">
         <rdfs:label>AgentInfluence</rdfs:label>
         <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Influence"/>
+        <editorsDefinition xml:lang="en">AgentInfluence is the capacity of an agent to have an effect on the character, development, or behavior of another by means of attribution, association, delegation, or other.</editorsDefinition>
+        <rdfs:comment xml:lang="en">AgentInfluence provides additional descriptions of an Agent&#39;s binary influence upon any other kind of resource. Instances of AgentInfluence use the prov:agent property to cite the influencing Agent.</rdfs:comment>
         <category>qualified</category>
-        <rdfs:comment xml:lang="en">AgentInfluence is intended to be a general subclass of Influence of an Agenty. It is a superclass for more specific kinds of Influences (e.g. Association, Attribution, Delegation).</rdfs:comment>
-        <editorsDefinition xml:lang="en">AgentInfluence provides additional descriptions of an Agent&#39;s binary influence upon any other kind of resource. Instances of AgentInfluence use the prov:agent property to cite the influencing Agent.</editorsDefinition>
         <rdfs:comment xml:lang="en">It is not recommended that the type AgentInfluence be asserted without also asserting one of its more specific subclasses.</rdfs:comment>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov#agent"/>
@@ -1522,10 +1522,10 @@
     <owl:Class rdf:about="http://www.w3.org/ns/prov#EntityInfluence">
         <rdfs:label>EntityInfluence</rdfs:label>
         <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Influence"/>
+        <editorsDefinition xml:lang="en">EntityInfluence is the capacity of an entity to have an effect on the character, development, or behavior of another by means of usage, start, end, derivation, or other. </editorsDefinition>
+        <rdfs:comment xml:lang="en">EntityInfluence provides additional descriptions of an Entity&#39;s binary influence upon any other kind of resource. Instances of EntityInfluence use the prov:entity property to cite the influencing Entity.</rdfs:comment>
+        <rdfs:comment xml:lang="en">It is not recommended that the type EntityInfluence be asserted without also asserting one of its more specific subclasses.</rdfs:comment>
         <category>qualified</category>
-        <rdfs:comment xml:lang="en">EntityInfluence is intended to be a general subclass of Influence of an Entity. It is a superclass for more specific kinds of Influences (e.g. Start, Usage, Derivation, End).</rdfs:comment>
-        <editorsDefinition xml:lang="en">EntityInfluence provides additional descriptions of an Entity&#39;s binary influence upon any other kind of resource. Instances of EntityInfluence use the prov:entity property to cite the influencing Entity.</editorsDefinition>
-        <rdfs:comment xml:lang="en">It is not recommended that the type EntityInfluence be asserted without also asserting one of its more specific subclasses.</rdfs:comment>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov#entity"/>
     </owl:Class>
@@ -1560,7 +1560,7 @@
         <component>derivations</component>
         <rdfs:comment xml:lang="en">An instance of prov:Influence provides additional descriptions about the binary prov:wasInfluencedBy relation from some influenced Activity, Entity, or Agent to the influencing Activity, Entity, or Agent. For example, :stomach_ache prov:wasInfluencedBy :spoon; prov:qualifiedInfluence [ a prov:Influence; prov:entity :spoon; :foo :bar ] . Because prov:Influence is a broad relation, the more specific relations (Communication, Delegation, End, etc.) should be used when applicable.</rdfs:comment>
         <category>qualified</category>
-        <definition xml:lang="en">Influence is the capacity an entity, activity, or agent to have an effect on the character, development, or behavior of another by means of usage, start, end, generation, invalidation, communication, derivation, attribution, association, or delegation. </definition>
+        <definition xml:lang="en">Influence is the capacity of an entity, activity, or agent to have an effect on the character, development, or behavior of another by means of usage, start, end, generation, invalidation, communication, derivation, attribution, association, or delegation.</definition>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
     </owl:Class>
@@ -1665,7 +1665,7 @@
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#PrimarySource">
         <rdfs:label>PrimarySource</rdfs:label>
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInfluence"/>
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Derivation"/>
         <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-primary-source</dm>
         <n rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-original-source</n>
         <category>qualified</category>
@@ -1686,7 +1686,7 @@
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#Quotation">
         <rdfs:label>Quotation</rdfs:label>
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInfluence"/>
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Derivation"/>
         <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-quotation</dm>
         <n rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-quotation</n>
         <rdfs:comment xml:lang="en">An instance of prov:Quotation provides additional descriptions about the binary prov:wasQuotedFrom relation from some taken prov:Entity from an earlier, larger prov:Entity. For example, :here_is_looking_at_you_kid prov:wasQuotedFrom :casablanca_script; prov:qualifiedQuotation [ a prov:Quotation; prov:entity :casablanca_script; :foo :bar ].</rdfs:comment>
@@ -1703,7 +1703,7 @@
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#Revision">
         <rdfs:label>Revision</rdfs:label>
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInfluence"/>
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Derivation"/>
         <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-revision</dm>
         <n rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Revision</n>
         <component>derivations</component>
--- a/ontology/prov.ttl	Sun Nov 04 13:13:39 2012 +0000
+++ b/ontology/prov.ttl	Sun Nov 04 13:13:53 2012 +0000
@@ -51,7 +51,7 @@
 
 :ActivityInfluence
     a owl:Class ;
-    rdfs:comment "ActivityInfluence is intended to be a general subclass of Influence of an Activity. It is a superclass for more specific kinds of Influences (e.g. Generation, Communication, and Invalidation)."@en, "It is not recommended that the type ActivityInfluence be asserted without also asserting one of its more specific subclasses."@en ;
+    rdfs:comment "ActivityInfluence provides additional descriptions of an Activity's binary influence upon any other kind of resource. Instances of ActivityInfluence use the prov:activity property to cite the influencing Activity."@en, "It is not recommended that the type ActivityInfluence be asserted without also asserting one of its more specific subclasses."@en ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
     rdfs:label "ActivityInfluence" ;
     rdfs:seeAlso :activity ;
@@ -62,7 +62,7 @@
     ] ;
     owl:disjointWith :EntityInfluence ;
     :category "qualified" ;
-    :editorsDefinition "ActivityInfluence provides additional descriptions of an Activity's binary influence upon any other kind of resource. Instances of ActivityInfluence use the prov:activity property to cite the influencing Activity."@en .
+    :editorsDefinition "ActivitiyInfluence is the capacity of an activity to have an effect on the character, development, or behavior of another by means of generation, invalidation, communication, or other."@en .
 
 :Agent
     a owl:Class ;
@@ -77,13 +77,13 @@
 
 :AgentInfluence
     a owl:Class ;
-    rdfs:comment "AgentInfluence is intended to be a general subclass of Influence of an Agenty. It is a superclass for more specific kinds of Influences (e.g. Association, Attribution, Delegation)."@en, "It is not recommended that the type AgentInfluence be asserted without also asserting one of its more specific subclasses."@en ;
+    rdfs:comment "AgentInfluence provides additional descriptions of an Agent's binary influence upon any other kind of resource. Instances of AgentInfluence use the prov:agent property to cite the influencing Agent."@en, "It is not recommended that the type AgentInfluence be asserted without also asserting one of its more specific subclasses."@en ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
     rdfs:label "AgentInfluence" ;
     rdfs:seeAlso :agent ;
     rdfs:subClassOf :Influence ;
     :category "qualified" ;
-    :editorsDefinition "AgentInfluence provides additional descriptions of an Agent's binary influence upon any other kind of resource. Instances of AgentInfluence use the prov:agent property to cite the influencing Agent."@en .
+    :editorsDefinition "AgentInfluence is the capacity of an agent to have an effect on the character, development, or behavior of another by means of attribution, association, delegation, or other."@en .
 
 :Association
     a owl:Class ;
@@ -215,13 +215,13 @@
 
 :EntityInfluence
     a owl:Class ;
-    rdfs:comment "EntityInfluence is intended to be a general subclass of Influence of an Entity. It is a superclass for more specific kinds of Influences (e.g. Start, Usage, Derivation, End)."@en, "It is not recommended that the type EntityInfluence be asserted without also asserting one of its more specific subclasses."@en ;
+    rdfs:comment "EntityInfluence provides additional descriptions of an Entity's binary influence upon any other kind of resource. Instances of EntityInfluence use the prov:entity property to cite the influencing Entity."@en, "It is not recommended that the type EntityInfluence be asserted without also asserting one of its more specific subclasses."@en ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
     rdfs:label "EntityInfluence" ;
     rdfs:seeAlso :entity ;
     rdfs:subClassOf :Influence ;
     :category "qualified" ;
-    :editorsDefinition "EntityInfluence provides additional descriptions of an Entity's binary influence upon any other kind of resource. Instances of EntityInfluence use the prov:entity property to cite the influencing Entity."@en .
+    :editorsDefinition "EntityInfluence is the capacity of an entity to have an effect on the character, development, or behavior of another by means of usage, start, end, derivation, or other. "@en .
 
 :Generation
     a owl:Class ;
@@ -244,7 +244,7 @@
     rdfs:label "Influence" ;
     :category "qualified" ;
     :component "derivations" ;
-    :definition "Influence is the capacity an entity, activity, or agent to have an effect on the character, development, or behavior of another by means of usage, start, end, generation, invalidation, communication, derivation, attribution, association, or delegation. "@en ;
+    :definition "Influence is the capacity of an entity, activity, or agent to have an effect on the character, development, or behavior of another by means of usage, start, end, generation, invalidation, communication, derivation, attribution, association, or delegation."@en ;
     :dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence"^^xsd:anyURI ;
     :n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-influence"^^xsd:anyURI ;
     :unqualifiedForm :wasInfluencedBy .
@@ -322,7 +322,7 @@
     rdfs:comment "An instance of prov:PrimarySource provides additional descriptions about the binary prov:hadPrimarySource relation from some secondary prov:Entity to an earlier, primary prov:Entity. For example, :blog prov:hadPrimarySource :newsArticle; prov:qualifiedPrimarySource [ a prov:PrimarySource; prov:entity :newsArticle; :foo :bar ] ."@en ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
     rdfs:label "PrimarySource" ;
-    rdfs:subClassOf :EntityInfluence ;
+    rdfs:subClassOf :Derivation ;
     :category "qualified" ;
     :component "derivations" ;
     :definition """A primary source for a topic refers to something produced by some agent with direct experience and knowledge about the topic, at the time of the topic's study, without benefit from hindsight.
@@ -339,7 +339,7 @@
     rdfs:comment "An instance of prov:Quotation provides additional descriptions about the binary prov:wasQuotedFrom relation from some taken prov:Entity from an earlier, larger prov:Entity. For example, :here_is_looking_at_you_kid prov:wasQuotedFrom :casablanca_script; prov:qualifiedQuotation [ a prov:Quotation; prov:entity :casablanca_script; :foo :bar ]."@en ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
     rdfs:label "Quotation" ;
-    rdfs:subClassOf :EntityInfluence ;
+    rdfs:subClassOf :Derivation ;
     :category "qualified" ;
     :component "derivations" ;
     :definition "A quotation is the repeat of (some or all of) an entity, such as text or image, by someone who may or may not be its original author. Quotation is a particular case of derivation."@en ;
@@ -352,7 +352,7 @@
     rdfs:comment "An instance of prov:Revision provides additional descriptions about the binary prov:wasRevisionOf relation from some newer prov:Entity to an earlier prov:Entity. For example, :draft_2 prov:wasRevisionOf :draft_1; prov:qualifiedRevision [ a prov:Revision; prov:entity :draft_1; :foo :bar ]."@en ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
     rdfs:label "Revision" ;
-    rdfs:subClassOf :EntityInfluence ;
+    rdfs:subClassOf :Derivation ;
     :category "qualified" ;
     :component "derivations" ;
     :definition "A revision is a derivation for which the resulting entity is a revised version of some original. The implication here is that the resulting entity contains substantial content from the original. Revision is a particular case of derivation."@en ;
--- a/primer/Primer.html	Sun Nov 04 13:13:39 2012 +0000
+++ b/primer/Primer.html	Sun Nov 04 13:13:53 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>
@@ -535,6 +581,19 @@
             set_display_by_class('div','provn example','');
             set_display_by_id('hide-provn-examples','');
             set_display_by_id('show-provn-examples','none');" />
+    <input id="hide-provxml-examples" type="button" value="Hide XML Examples"
+           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','');" />
+    <input id="show-provxml-examples" type="button" value="Show XML Examples" 
+           style="display:none"
+           onclick="
+            set_display_by_class('pre','provxml example','');
+            set_display_by_class('div','provxml example','');
+            set_display_by_id('hide-provxml-examples','');
+            set_display_by_id('show-provxml-examples','none');" />
    </p> 
   </form>
 
@@ -556,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 ;
@@ -574,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"])
@@ -587,6 +646,25 @@
   entity(ex:chart1)
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:entity prov:id="ex:article"&gt;
+	&lt;dct:title&gt;Crime rises in cities&lt;/dct:title&gt;
+  &lt;/prov:entity&gt;
+  &lt;prov:entity prov:id="ex:dataSet1"/&gt;
+  &lt;prov:entity prov:id="ex:regionList"/&gt;
+  &lt;prov:entity prov:id="ex:composition"/&gt;
+  &lt;prov:entity prov:id="ex:chart1"/&gt;
+    </pre>
+   </div>
    <p>
     These statements, in order, refer to the article (<code>ex:article</code>),
     an original data set (<code>ex:dataSet1</code>),
@@ -616,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 .
@@ -629,33 +707,43 @@
     <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)
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:activity prov:id="ex:compile"/&gt;
+  &lt;prov:activity prov:id="ex:compose"/&gt;
+  &lt;prov:activity prov:id="ex:illustrate"/&gt;
+    </pre>
+   </div>
    <p>
     The provenance also includes reference to the more specific steps involved in this compilation,
     which are first composing the data by region (<code>ex:compose</code>) and then generating the
     chart graphic (<code>ex:illustrate</code>).
    </p>
-   <!--p>
-    Further, the provenance describes the activities involved in generating chart from the data,
-    first composing the data by region (<code>ex:compose</code>) and then generating the
-    chart graphic (<code>ex:illustrate</code>).
-   </p -->
    <div class="turtle example">
     <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 .
@@ -666,16 +754,48 @@
     <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)
   activity(ex:illustrate)
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:used&gt;
+    &lt;prov:activity prov:ref="ex:compose"/&gt;
+    &lt;prov:entity prov:ref="ex:dataset1"/&gt;
+  &lt;/prov:used&gt;
+  &lt;prov:used&gt;
+    &lt;prov:activity prov:ref="ex:compose"/&gt;
+    &lt;prov:entity prov:ref="ex:regionList"/&gt;
+  &lt;/prov:used&gt;
+  &lt;prov:wasGeneratedBy&gt;
+    &lt;prov:entity prov:ref="ex:composition"/&gt;
+    &lt;prov:activity prov:ref="ex:compose"/&gt;
+  &lt;/prov:wasGeneratedBy&gt;
+  &lt;prov:used&gt;
+    &lt;prov:activity prov:ref="ex:illustrate"/&gt;
+    &lt;prov:entity prov:ref="ex:composition"/&gt;
+  &lt;/prov:used&gt;
+  &lt;prov:wasGeneratedBy&gt;
+    &lt;prov:entity prov:ref="ex:chart1"/&gt;
+    &lt;prov:activity prov:ref="ex:illustrate"/&gt;
+  &lt;/prov:wasGeneratedBy&gt;
+    </pre>
+   </div>
    <p>
     In visualizations of the PROV data, activities are depicted as rectangles, as below.
    </p>
@@ -700,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 ;
@@ -715,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, -)
@@ -730,6 +850,30 @@
      may be expressed in each PROV-N statement.
     </p>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:used&gt;
+    &lt;prov:activity prov:ref="ex:compose"/&gt;
+    &lt;prov:entity prov:ref="ex:dataset1"/&gt;
+  &lt;/prov:used&gt;
+  &lt;prov:used&gt;
+    &lt;prov:activity prov:ref="ex:compose"/&gt;
+    &lt;prov:entity prov:ref="ex:regionList"/&gt;
+  &lt;/prov:used&gt;
+  &lt;prov:wasGeneratedBy&gt;
+    &lt;prov:entity prov:ref="ex:composition"/&gt;
+    &lt;prov:activity prov:ref="ex:compose"/&gt;
+  &lt;/prov:wasGeneratedBy&gt;
+    </pre>
+   </div>
    <p>
     Similarly, the chart graphic creation activity (<code>ex:illustrate</code>)
     used the composed data, and the chart was generated by this activity.
@@ -738,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 .
@@ -752,16 +896,36 @@
     <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, -)
   wasGeneratedBy(ex:chart1, ex:illustrate, -)
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:used&gt;
+    &lt;prov:activity prov:ref="ex:illustrate"/&gt;
+    &lt;prov:entity prov:ref="ex:composition"/&gt;
+  &lt;/prov:used&gt;
+  &lt;prov:wasGeneratedBy&gt;
+    &lt;prov:entity prov:ref="ex:chart1"/&gt;
+    &lt;prov:activity prov:ref="ex:illustrate"/&gt;
+  &lt;/prov:wasGeneratedBy&gt;
+    </pre>
+   </div>
    <p>
     In visualizing the PROV data, usage and generation are connections between
     entities and activities. The arrows point from the future to the past.
@@ -781,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 .
@@ -795,16 +959,36 @@
     <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, -)
   wasAssociatedWith(ex:illustrate, ex:derek, -)
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:wasAssociatedWith&gt;
+    &lt;prov:activity prov:ref="ex:compose"/&gt;
+    &lt;prov:agent prov:ref="ex:derek"/&gt;
+  &lt;/prov:wasAssociatedWith&gt;
+  &lt;prov:wasAssociatedWith&gt;
+    &lt;prov:activity prov:ref="ex:illustrate"/&gt;
+    &lt;prov:agent prov:ref="ex:derek"/&gt;
+  &lt;/prov:wasAssociatedWith&gt;
+    </pre>
+   </div>
    <p>
     The record for Derek provides the
     following description that
@@ -815,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 ;
@@ -831,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,
@@ -842,6 +1026,23 @@
          foaf:mbox="&lt;mailto:derek@example.org&gt;"])
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:agent prov:id="ex:derek"&gt;
+    &lt;prov:type&gt;prov:Person&lt;/prov:type&gt;
+    &lt;foaf:givenName&gt;Derek&lt;/foaf:givenName&gt;
+    &lt;foaf:mbox&gt;mailto:derek@example.org&lt;/foaf:mbox&gt;
+  &lt;/prov:agent&gt;
+    </pre>
+   </div>
    <p>
     Derek works as part of an organization, Chart Generators Inc, and so the provenance
     declares that he acts on their behalf. Note that the organization is itself
@@ -851,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 .
@@ -867,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,
@@ -879,6 +1080,27 @@
   actedOnBehalfOf(ex:derek, ex:chartgen, ex:compose)
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:agent prov:id="ex:chartgen"&gt;
+    &lt;prov:type&gt;prov:Organization&lt;/prov:type&gt;
+    &lt;foaf:name&gt;Chart Generators Inc&lt;/foaf:name&gt;
+  &lt;/prov:agent&gt;
+  &lt;prov:actedOnBehalfOf&gt;
+    &lt;prov:delegate prov:ref="ex:derek"/&gt;
+    &lt;prov:responsible prov:ref="ex:chartgen"/&gt;
+    &lt;prov:activity prov:ref="ex:compose"/&gt;
+  &lt;/prov:actedOnBehalfOf&gt;
+    </pre>
+   </div>
    <p>
     Finally, there is an explicit statement in the provenance that the chart was
     attributed to Derek.
@@ -887,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 .
@@ -900,15 +1122,31 @@
     <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)
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:wasAttributedTo&gt;
+    &lt;prov:entity prov:ref="ex:chart1"/&gt;
+    &lt;prov:agent prov:ref="ex:derek"/&gt;
+  &lt;/prov:wasAttributedTo&gt;
+    </pre>
+   </div>
 
    <p>
     We can extend our graphical depiction to show the agents, association and attribution links.
@@ -940,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 .
@@ -960,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 .
@@ -985,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 [
@@ -1006,15 +1244,32 @@
     <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'])
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:used&gt;
+    &lt;prov:activity prov:ref="ex:compose"/&gt;
+    &lt;prov:entity prov:ref="ex:dataSet1"/&gt;
+    &lt;prov:role&gt;ex:dataToCompose&lt;/prov:role&gt;
+  &lt;/prov:used&gt;
+    </pre>
+   </div>
    <p>
     This can then be distinguished from the same activity's usage of the list of
     regions because the roles played are different.
@@ -1023,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 [
@@ -1040,15 +1295,32 @@
     <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'])
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:used&gt;
+    &lt;prov:activity prov:ref="ex:compose"/&gt;
+    &lt;prov:entity prov:ref="ex:regionList"/&gt;
+    &lt;prov:role&gt;ex:regionsToAggregateBy&lt;/prov:role&gt;
+  &lt;/prov:used&gt;
+    </pre>
+   </div>
    <p>
     Similarly, the provenance includes descriptions that the same activity was
     enacted in a particular way by Derek, so it indicates that he had the role of 
@@ -1059,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 [
@@ -1081,16 +1353,38 @@
     <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'])
   wasGeneratedBy(ex:composition, ex:compose, -, [prov:role='ex:composedData'])
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:wasAssociatedWith&gt;
+    &lt;prov:activity prov:ref="ex:compose"/&gt;
+    &lt;prov:agent prov:ref="ex:derek"/&gt;
+    &lt;prov:role&gt;ex:analyst&lt;/prov:role&gt;
+  &lt;/prov:wasAssociatedWith&gt;
+  &lt;prov:wasGeneratedBy&gt;
+    &lt;prov:entity prov:ref="ex:composition"/&gt;
+    &lt;prov:activity prov:ref="ex:compose"/&gt;
+    &lt;prov:role&gt;ex:composedData&lt;/prov:role&gt;
+  &lt;/prov:wasGeneratedBy&gt;
+    </pre>
+   </div>
    <p>
     Depicting the above visually, we have the following.
    </p>
@@ -1114,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 ;
@@ -1128,16 +1422,34 @@
     <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)
   wasDerivedFrom(ex:dataSet2, ex:dataSet1, [prov:type='prov:Revision'])
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;entity prov:id="dataSet2"/&gt;
+  &lt;prov:wasDerivedFrom&gt;
+    &lt;prov:generatedEntity prov:ref="ex:dataSet2"/&gt;
+    &lt;prov:usedEntity prov:ref="ex:dataSet1"/&gt;
+    &lt;prov:type&gt;prov:Revision&lt;/prov:type&gt;
+  &lt;/prov:wasDerivedFrom&gt;
+    </pre>
+   </div>
    <p>
     Derek notices that there is a new dataset available and creates a new chart based on the revised data, 
     using another compilation activity. Betty checks the article again at a
@@ -1149,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 ;
@@ -1163,25 +1475,41 @@
     <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)
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:wasDerivedFrom&gt;
+    &lt;prov:generatedEntity prov:ref="ex:chart2"/&gt;
+    &lt;prov:usedEntity prov:ref="ex:dataSet2"/&gt;
+  &lt;/prov:wasDerivedFrom&gt;
+    </pre>
+   </div>
    <p>and that the new chart is a revision of the original one:
    </p>
    <div class="turtle example">
     <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 ;
@@ -1192,16 +1520,34 @@
     <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)
   wasDerivedFrom(ex:chart2, ex:chart1, [prov:type='prov:Revision'])
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;entity prov:id="chart2"/&gt;
+  &lt;prov:wasDerivedFrom&gt;
+    &lt;prov:generatedEntity prov:ref="ex:chart2"/&gt;
+    &lt;prov:usedEntity prov:ref="ex:chart1"/&gt;
+    &lt;prov:type&gt;prov:Revision&lt;/prov:type&gt;
+  &lt;/prov:wasDerivedFrom&gt;
+    </pre>
+   </div>
    <p>
     Derivation and revision are connections between entities, and so depicted
     with arrows in our visualization.
@@ -1224,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 .
@@ -1239,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)
@@ -1250,6 +1596,22 @@
   entity(ex:instructions)
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:activity prov:id="ex:correct"/&gt;
+  &lt;prov:agent prov:id="ex:edith"&gt;
+    &lt;prov:type&gt;prov:Person&lt;/prov:type&gt;
+  &lt;/prov:agent&gt;
+    </pre>
+   </div>
    <div class="turtle example">
     <p>
      The connection between them is expressed in PROV-O using a qualified association giving details of
@@ -1259,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 [
@@ -1280,16 +1642,37 @@
     <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)
   wasGeneratedBy(ex:dataSet2, ex:correct, -)
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:wasAssociatedWith&gt;
+    &lt;prov:activity prov:ref="ex:correct"/&gt;
+    &lt;prov:agent prov:ref="ex:edith"/&gt;
+    &lt;prov:plan&gt;ex:instructions&lt;/prov:plan&gt;
+  &lt;/prov:wasAssociatedWith&gt;
+  &lt;prov:wasGeneratedBy&gt;
+    &lt;prov:entity prov:ref="ex:dataSet2"/&gt;
+    &lt;prov:activity prov:ref="ex:correct"/&gt;
+  &lt;/prov:wasGeneratedBy&gt;
+    </pre>
+   </div>
    <p>
     Plans are additional information about the connection from an activity to
     an agent, and so, in our visualization, connect to the link between them.
@@ -1311,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 .
@@ -1325,16 +1708,36 @@
     <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)
   wasGeneratedBy(ex:chart2, ex:compile2, 2012-04-01T15:21:00)
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:wasGeneratedBy&gt;
+    &lt;prov:entity prov:ref="ex:chart1"/&gt;
+    &lt;prov:time&gt;2012-03-02T10:30:00&lt;/prov:time&gt;
+  &lt;/prov:wasGeneratedBy&gt;
+  &lt;prov:wasGeneratedBy&gt;
+    &lt;prov:entity prov:ref="ex:chart2"/&gt;
+    &lt;prov:time&gt;2012-04-01T15:21:00&lt;/prov:time&gt;
+  &lt;/prov:wasGeneratedBy&gt;
+    </pre>
+   </div>
 
    <p>
     To ensure their procedures are efficient, the agency also wish to know how long the
@@ -1347,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 ;
@@ -1361,15 +1764,31 @@
     <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)
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:activity prov:id="ex:correct"&gt;
+    &lt;prov:startTime&gt;2012-03-31T09:21:00&lt;/prov:startTime&gt;
+    &lt;prov:endTime&gt;2012-04-01T15:21:00&lt;/prov:endTime&gt;
+  &lt;/prov:activity&gt;
+    </pre>
+   </div>
    <p>
     Time is visualized as additional information regarding activities or the
     links between activities and entities or agents.
@@ -1389,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 ;
@@ -1403,16 +1822,34 @@
     <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)
   wasDerivedFrom(ex:blogEntry, ex:article, [prov:type='prov:Quotation'])
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:entity prov:id="ex:blogEntry"/&gt;
+  &lt;prov:wasDerivedFrom&gt;
+    &lt;prov:generatedEntity prov:ref="ex:blogEntry"/&gt;
+    &lt;prov:usedEntity prov:ref="ex:article"/&gt;
+    &lt;prov:type&gt;prov:Quotation&lt;/prov:type&gt;
+  &lt;/prov:wasDerivedFrom&gt;
+    </pre>
+   </div>
    <p>
     The newspaper, from past experience, anticipated that there could be revisions
     to the article, and so created identifiers for both the article in general
@@ -1425,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 ;
@@ -1439,16 +1876,33 @@
     <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)
   specializationOf(ex:articleV1, ex:article)
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:entity prov:id="ex:articleV1"/&gt;
+  &lt;prov:specializationOf&gt;
+    &lt;prov:specificEntity prov:ref="ex:articleV1"/&gt;
+    &lt;prov:generalEntity prov:ref="ex:article"/&gt;
+  &lt;/prov:specializationOf&gt;
+    </pre>
+   </div>
    <p>
     Later, after the data set is corrected and the new chart generated, a new version
     of the article is created, <code>ex:articleV2</code>, with its own URI where the article
@@ -1461,30 +1915,50 @@
     <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)
   alternateOf(ex:articleV2, ex:articleV1)
     </pre>
    </div>
+   <div class="provxml example">
+    <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>
+     </span></div>
+    <pre>
+  &lt;prov:specializationOf&gt;
+    &lt;prov:specificEntity prov:ref="ex:articleV2"/&gt;
+    &lt;prov:generalEntity prov:ref="ex:article"/&gt;
+  &lt;/prov:specializationOf&gt;
+  &lt;prov:alternateOf&gt;
+    &lt;prov:alternate1 prov:ref="ex:articleV1"/&gt;
+    &lt;prov:alternate2 prov:ref="ex:articleV2"/&gt;
+  &lt;/prov:alternateOf&gt;
+    </pre>
+   </div>
    <p>
     Note that above we could have also
     stated that <code>ex:articleV2</code> was a revision of <code>ex:articleV1</code>,
@@ -1500,7 +1974,7 @@
    <h3>Complete PROV data</h3>
    <p>
     The full set of examples shown above are available in <a href="primer-turtle-examples.txt">PROV-O Turtle format</a>
-    or <a href="primer-provn-examples.txt">PROV-N format</a>.
+    or <a href="primer-provn-examples.txt">PROV-N format</a> or <a href="primer-prov-xml-examples.xml">PROV-XML format</a>.
     We visualize the whole example below.
    </p>
    <img src="images/everything.png" alt="Provenance graph for whole example" width="95%"/>
@@ -1524,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>