added embedded xml schema declarations and xml examples to all features in component 1.
authorStephan Zednik <zednis@rpi.edu>
Thu, 25 Oct 2012 15:39:24 -0600
changeset 4556 8f98638687a1
parent 4555 1f11f244d05d
child 4557 65532a436d0c
added embedded xml schema declarations and xml examples to all features in component 1.
xml/prov-xml.html
--- a/xml/prov-xml.html	Thu Oct 25 10:02:47 2012 -0600
+++ b/xml/prov-xml.html	Thu Oct 25 15:39:24 2012 -0600
@@ -212,8 +212,8 @@
 
     <script>
     $(function() {
-    	$("div.schema-type").before("<p>Type definition in XML:</p>");
-	    $("div.schema-usage").before("<p>Usage in XML:</p>");
+    	$("pre.schema-type").before("<p>Type definition in XML Schema:</p>");
+	    $("pre.schema-usage").before("<p>Usage in XML:</p>");
     });
     </script>
 
@@ -705,65 +705,433 @@
 <section id="term-Entity"> 
 <h4>Entity</h4>
 <div class="glossary-ref" data-ref="glossary-entity"></div>
-<div class="schema-type" data-name="prov:Entity" data-include="schema/prov.xsd" data-oninclude="insertSchema_Entity"></div>
-<div class="schema-usage" data-include="schema/prov.xsd" data-oninclude="insertSchema_entity"></div>
-<!-- <pre class="example" data-include="../examples/eg-40-xml-examples-by-term/xml/Entity.xml" data-oninclude="formatExample"></pre> -->
+<pre class="schema-type">
+&lt;xs:complexType xmlns:xs="http://www.w3.org/2001/XMLSchema" name="Entity"&gt;
+  &lt;xs:sequence&gt;
+    &lt;xs:choice minOccurs="0" maxOccurs="unbounded"&gt;
+      &lt;xs:element ref="prov:location"/&gt;
+      &lt;xs:element ref="prov:value"/&gt;
+      &lt;xs:element ref="prov:label"/&gt;
+      &lt;xs:element ref="prov:type"/&gt;
+      &lt;xs:any namespace="##other"/&gt;
+    &lt;/xs:choice&gt;
+  &lt;/xs:sequence&gt;
+  &lt;xs:attribute ref="prov:id"/&gt;
+&lt;/xs:complexType&gt;
+</pre>
+<pre class="schema-usage">
+&lt;xs:element xmlns:xs="http://www.w3.org/2001/XMLSchema" name="entity" type="prov:Entity"/&gt;
+</pre>
+<pre class="example">
+&lt;?xml version="1.0" encoding="UTF-8"?&gt;
+
+&lt;!-- based on Example 16 from http://www.w3.org/TR/prov-dm/#anexample-entity --&gt;
+
+&lt;prov:document
+    xmlns:prov="http://www.w3.org/ns/prov#"
+    xmlns:ex="http://example.com/ns/ex#"
+    xmlns:tr="http://example.com/ns/tr#"&gt;
+
+  &lt;prov:entity prov:id="tr:WD-prov-dm-20111215"&gt;
+    &lt;prov:type&gt;document&lt;/prov:type&gt;
+    &lt;ex:version&gt;2&lt;/ex:version&gt;
+  &lt;/prov:entity&gt;
+
+&lt;/prov:document&gt;
+</pre>
 </section> <!-- end term-Entity -->
 
 <section id="term-Activity"> 
 <h3>Activity</h3>
 <div class="glossary-ref" data-ref="glossary-activity"></div>
-<div class="schema-type" data-name="prov:Activity" data-include="schema/prov.xsd" data-oninclude="insertSchema_Activity"></div>
-<div class="schema-usage" data-include="schema/prov.xsd" data-oninclude="insertSchema_activity"></div>
-<!-- <pre class="example" data-include="../examples/eg-40-xml-examples-by-term/xml/Activity.xml" data-oninclude="formatExample"></pre> -->
+<pre class="schema-type">
+&lt;xs:complexType xmlns:xs="http://www.w3.org/2001/XMLSchema" name="Activity"&gt;
+  &lt;xs:sequence&gt;
+    &lt;xs:element name="startTime" type="xs:dateTime" minOccurs="0"/&gt; 
+    &lt;xs:element name="endTime" type="xs:dateTime" minOccurs="0"/&gt; 
+    &lt;xs:choice minOccurs="0" maxOccurs="unbounded"&gt;
+      &lt;xs:element ref="prov:location"/&gt;
+      &lt;xs:element ref="prov:label"/&gt;
+      &lt;xs:element ref="prov:type"/&gt;
+      &lt;xs:any namespace="##other"/&gt;
+    &lt;/xs:choice&gt;
+  &lt;/xs:sequence&gt;
+  &lt;xs:attribute ref="prov:id"/&gt;
+&lt;/xs:complexType&gt;
+</pre>
+<pre class="schema-usage">
+&lt;xs:element xmlns:xs="http://www.w3.org/2001/XMLSchema" name="activity" type="prov:Activity"/&gt;
+</pre>
+<pre class="example">
+&lt;?xml version="1.0" encoding="UTF-8"?&gt;
+
+&lt;!-- based on PROV-DM's Example 17 from http://www.w3.org/TR/prov-dm/#anexample-activity
+     see also http://www.w3.org/TR/prov-dm/#type_Activity --&gt;
+
+&lt;prov:document
+    xmlns:prov="http://www.w3.org/ns/prov#"
+    xmlns:ex="http://example.com/ns/ex#"&gt;
+
+  &lt;prov:activity prov:id="a1"&gt;
+    &lt;prov:startTime&gt;2011-11-16T16:05:00&lt;/prov:startTime&gt;
+    &lt;prov:endTime&gt;2011-11-16T16:06:00&lt;/prov:endTime&gt;
+    &lt;prov:type&gt;ex:edit&lt;/prov:type&gt;
+    &lt;ex:host&gt;server.example.org&lt;/ex:host&gt;
+  &lt;/prov:activity&gt;
+
+&lt;/prov:document&gt;
+</pre>
 </section> <!-- end term-Activity -->
 
 <section id="term-Generation">
 <h4>Generation</h4>
 <div class="glossary-ref" data-ref="glossary-generation"></div>
-<div class="schema-type" data-name="prov:Generation" data-include="schema/prov.xsd" data-oninclude="insertSchema_Generation"></div>
-<div class="schema-usage" data-include="schema/prov.xsd" data-oninclude="insertSchema_wasGeneratedBy"></div>
-<!-- <pre class="example" data-include="../examples/eg-40-xml-examples-by-term/xml/Generation.xml" data-oninclude="formatExample"></pre> -->
+<pre class="schema-type">
+&lt;xs:complexType xmlns:xs="http://www.w3.org/2001/XMLSchema" name="Generation"&gt;
+  &lt;xs:sequence&gt;
+    &lt;xs:element name="entity" type="prov:EntityRef"/&gt;
+    &lt;xs:element name="activity" type="prov:ActivityRef" minOccurs="0"/&gt;
+    &lt;xs:element name="time" type="xs:dateTime" minOccurs="0"/&gt;
+    &lt;xs:choice minOccurs="0" maxOccurs="unbounded"&gt;
+      &lt;xs:element ref="prov:location"/&gt;
+      &lt;xs:element ref="prov:role"/&gt;
+      &lt;xs:element ref="prov:label"/&gt;
+      &lt;xs:element ref="prov:type"/&gt;
+      &lt;xs:any namespace="##other"/&gt;
+    &lt;/xs:choice&gt;
+  &lt;/xs:sequence&gt;
+  &lt;xs:attribute ref="prov:id"/&gt;
+&lt;/xs:complexType&gt;
+</pre>
+<pre class="schema-usage">
+&lt;xs:element xmlns:xs="http://www.w3.org/2001/XMLSchema" name="wasGeneratedBy" type="prov:Generation"/&gt;
+</pre>
+<pre class="example">
+&lt;?xml version="1.0" encoding="UTF-8"?&gt;
+
+&lt;!-- Example 18 from http://www.w3.org/TR/prov-dm/#anexample-generation1 --&gt;
+
+&lt;prov:document
+    xmlns:prov="http://www.w3.org/ns/prov#"
+    xmlns:ex="http://example.com/ns/ex#"&gt;
+
+  &lt;prov:entity prov:id="e1"/&gt;
+
+  &lt;prov:activity prov:id="a1"/&gt;
+
+  &lt;prov:wasGeneratedBy&gt;
+    &lt;prov:entity prov:ref="e1"/&gt;
+    &lt;prov:activity prov:ref="a1"/&gt;
+    &lt;prov:time&gt;2001-10-26T21:32:52&lt;/prov:time&gt;
+    &lt;ex:port>p1&lt;/ex:port&gt;
+  &lt;/prov:wasGeneratedBy&gt;
+
+  &lt;prov:entity prov:id="e2"/&gt;
+
+  &lt;prov:wasGeneratedBy&gt;
+    &lt;prov:entity prov:ref="e2"/&gt;
+    &lt;prov:activity prov:ref="a1"/&gt;
+    &lt;prov:time&gt;2001-10-26T10:00:00&lt;/prov:time&gt;
+    &lt;ex:port&gt;p2&lt;/ex:port&gt;
+  &lt;/prov:wasGeneratedBy&gt;
+
+  &lt;!-- Example 19, http://www.w3.org/TR/prov-dm/#anexample-generation2 --&gt;
+
+  &lt;prov:entity prov:id="e"/&gt;
+
+  &lt;prov:wasGeneratedBy&gt;
+    &lt;prov:entity prov:ref="e"/&gt;
+    &lt;prov:time&gt;2001-10-26T21:32:52&lt;/prov:time&gt;
+  &lt;/prov:wasGeneratedBy&gt;
+
+&lt;/prov:document&gt;
+</pre>
 </section> <!-- end term-Generation -->
 
 <section id="term-Usage">
 <h3>Usage</h3>
 <div class="glossary-ref" data-ref="glossary-usage"></div>
-<div class="schema-type" data-name="prov:Usage" data-include="schema/prov.xsd" data-oninclude="insertSchema_Usage"></div>
-<div class="schema-usage" data-include="schema/prov.xsd" data-oninclude="insertSchema_used"></div>
-<!-- <pre class="example" data-include="../examples/eg-40-xml-examples-by-term/xml/Usage.xml" data-oninclude="formatExample"></pre> -->
+<pre class="schema-type">
+&lt;xs:complexType xmlns:xs="http://www.w3.org/2001/XMLSchema" name="Usage"&gt;
+  &lt;xs:sequence&gt;
+    &lt;xs:element name="activity" type="prov:ActivityRef"/&gt;
+    &lt;xs:element name="entity" type="prov:EntityRef" minOccurs="0"/&gt;
+    &lt;xs:element name="time" type="xs:dateTime" minOccurs="0"/&gt;
+    &lt;xs:choice minOccurs="0" maxOccurs="unbounded"&gt;
+      &lt;xs:element ref="prov:location"/&gt;
+      &lt;xs:element ref="prov:role"/&gt;
+      &lt;xs:element ref="prov:label"/&gt;
+      &lt;xs:element ref="prov:type"/&gt;
+      &lt;xs:any namespace="##other"/&gt;
+    &lt;/xs:choice&gt;
+  &lt;/xs:sequence&gt;
+  &lt;xs:attribute ref="prov:id"/&gt;
+&lt;/xs:complexType&gt;
+</pre>
+<pre class="schema-usage">
+&lt;xs:element xmlns:xs="http://www.w3.org/2001/XMLSchema" name="used" type="prov:Usage"/&gt;
+</pre>
+<pre class="example">
+&lt;?xml version="1.0" encoding="UTF-8"?&gt;
+
+&lt;!-- based on Example 20 from http://www.w3.org/TR/prov-dm/#anexample-usage --&gt;
+
+&lt;prov:document
+    xmlns:prov="http://www.w3.org/ns/prov#"
+    xmlns:ex="http://example.com/ns/ex#"&gt;
+
+  &lt;prov:activity prov:id="a1"/&gt;
+
+  &lt;prov:entity prov:id="e1"/&gt;
+
+  &lt;prov:entity prov:id="e2"/&gt;
+
+  &lt;prov:used&gt;
+    &lt;prov:activity prov:ref="a1"/&gt;
+    &lt;prov:entity prov:ref="e1"/&gt;
+    &lt;prov:time&lg;2011-11-16T16:00:00&lt;/prov:time&gt;
+    &lt;ex:parameter&gt;p1&lt;/ex:parameter&gt;
+  &lt;/prov:used&gt;
+
+  &lt;prov:used&gt;
+    &lt;prov:activity prov:ref="a1"/&gt;
+    &lt;prov:entity prov:ref="e2"/&gt;
+    &lt;prov:time&gt;2011-11-16T16:00:01&lt;/prov:time&gt;
+    &lt;ex:parameter&gt;p2&lt;/ex:parameter&gt;
+  &lt;/prov:used&gt;
+
+&lt;/prov:document&gt;
+</pre>
 </section> <!-- end term-Usage -->
 
 <section id="term-Communication">
 <h3>Communication</h3>
 <div class="glossary-ref" data-ref="glossary-communication"></div>
-<div class="schema-type" data-name="prov:Communication" data-include="schema/prov.xsd" data-oninclude="insertSchema_Communication"></div>
-<div class="schema-usage" data-include="schema/prov.xsd" data-oninclude="insertSchema_wasInformedBy"></div>
-<!-- <pre class="example" data-include="../examples/eg-40-xml-examples-by-term/xml/Communication.xml" data-oninclude="formatExample"></pre> -->
+<pre class="schema-type">
+&lt;xs:complexType xmlns:xs="http://www.w3.org/2001/XMLSchema" name="Communication"&gt;
+  &lt;xs:sequence&gt;
+    &lt;xs:element name="informed" type="prov:ActivityRef"/&gt;
+    &lt;xs:element name="informant" type="prov:ActivityRef"/&gt;
+    &lt;xs:choice minOccurs="0" maxOccurs="unbounded"&gt;
+      &lt;xs:element ref="prov:label"/&gt;
+      &lt;xs:element ref="prov:type"/&gt;
+      &lt;xs:any namespace="##other"/&gt;
+    &lt;/xs:choice&gt;
+  &lt;/xs:sequence&gt;
+  &lt;xs:attribute ref="prov:id"/&gt;
+&lt;/xs:complexType&gt;
+</pre>
+<pre class="schema-usage">
+&lt;xs:element xmlns:xs="http://www.w3.org/2001/XMLSchema" name="wasInformedBy" type="prov:Communication"/&gt;
+</pre>
+<pre class="example">
+&lt;?xml version="1.0" encoding="UTF-8"?&gt;
+
+&lt;!-- based on Example 21 from http://www.w3.org/TR/prov-dm/#anexample-communication --&gt;
+
+&lt;prov:document xmlns:prov="http://www.w3.org/ns/prov#"&gt;
+
+  &lt;prov:activity prov:id="a1"&gt;
+    &lt;prov:type&gt;traffic regulations enforcing&lt;prov:type&gt;
+  &lt;/prov:activity&gt;
+
+  &lt;prov:activity prov:id="a2"&gt;
+    &lt;prov:type>fine paying, check writing, and mailing&lt;/prov:type&gt;
+  &lt;/prov:activity&gt;
+
+  &lt;prov:wasInformedBy&gt;
+    &lt;prov:informed prov:ref="a2"/&gt;
+    &lt;prov:informant prov:ref="a1"/&gt;
+  &lt;/prov:wasInformedBy&gt;
+
+&lt;/prov:document&gt;
+</pre>
 </section> <!-- end term-Communication -->
 
 <section id="term-Start">
 <h4>Start</h4>
 <div class="glossary-ref" data-ref="glossary-start"></div>
-<div class="schema-type" data-name="prov:Start" data-include="schema/prov.xsd" data-oninclude="insertSchema_Start"></div>
-<div class="schema-usage" data-include="schema/prov.xsd" data-oninclude="insertSchema_wasStartedBy"></div>
-<!-- <pre class="example" data-include="../examples/eg-40-xml-examples-by-term/xml/Start.xml" data-oninclude="formatExample"></pre> -->
+<pre class="schema-type">
+&lt;xs:complexType xmlns:xs="http://www.w3.org/2001/XMLSchema" name="Start"&gt;
+  &lt;xs:sequence&gt;
+    &lt;xs:element name="activity" type="prov:ActivityRef"/&gt;
+    &lt;xs:element name="trigger" type="prov:EntityRef" minOccurs="0"/&gt;
+    &lt;xs:element name="starter" type="prov:ActivityRef" minOccurs="0"/&gt;
+    &lt;xs:element name="time" type="xs:dateTime" minOccurs="0"/&gt;
+    &lt;xs:choice minOccurs="0" maxOccurs="unbounded"&gt;
+      &lt;xs:element ref="prov:location"/&gt;
+      &lt;xs:element ref="prov:role"/&gt;
+      &lt;xs:element ref="prov:label"/&gt;
+      &lt;xs:element ref="prov:type"/&gt;
+      &lt;xs:any namespace="##other"/&gt;
+    &lt;/xs:choice&gt;
+  &lt;/xs:sequence&gt;
+  &lt;xs:attribute ref="prov:id"/&gt;
+&lt;/xs:complexType&gt;
+</pre>
+<pre class="schema-usage">
+&lt;xs:element xmlns:xs="http://www.w3.org/2001/XMLSchema" name="wasStartedBy" type="prov:Start"/&gt;
+</pre>
+<pre class="example">
+&lt;?xml version="1.0" encoding="UTF-8"?&gt;
+
+&lt;!-- based on PROV-DM's Example 22 from http://www.w3.org/TR/prov-dm/#anexample-start1
+     see also http://www.w3.org/TR/prov-dm/#type_WasStartedBy --&gt;
+
+&lt;prov:document
+    xmlns:prov="http://www.w3.org/ns/prov#"
+    xmlns:ex="http://example.com/ns/ex#"&gt;
+
+  &lt;prov:entity prov:id="e1"&gt;
+    &lt;prov:type&gt;email message&lt;/prov:type&gt;
+  &lt;/prov:entity&gt;
+
+  &lt;prov:activity prov:id="a1"&gt;
+    &lt;prov:type&gt;Discuss&lt;/prov:type&gt;
+  &lt;/prov:activity&gt;
+
+  &lt;prov:wasStartedBy&gt;
+    &lt;prov:activity prov:ref="a1"/&gt;
+    &lt;prov:trigger prov:ref="e1"/&gt;
+    &lt;prov:time&gt;2011-11-16T16:05:00&lt;/prov:time&gt;
+  &lt;/prov:wasStartedBy&gt;
+
+  &lt;prov:used&gt;
+    &lt;prov:activity prov:ref="a1"/&gt;
+    &lt;prov:entity prov:ref="e1"/&gt;
+  &lt;/prov:used&gt;
+
+  &lt;prov:activity prov:id="a0"&gt;
+    &lt;prov:type&gt;Write&lt;/prov:type&gt;
+  &lt;/prov:activity&gt;
+
+  &lt;prov:wasGeneratedBy&gt;
+    &lt;prov:entity prov:ref="e1"/&gt;
+    &lt;prov:activity prov:ref="a0"/&gt;
+  &lt;/prov:wasGeneratedBy&gt;
+
+  &lt;prov:wasStartedBy&gt;
+    &lt;prov:activity prov:ref="a1"/&gt;
+    &lt;prov:trigger prov:ref="e1"/&gt;
+    &lt;prov:starter prov:ref="a0"/&gt;
+    &lt;prov:time&gt;2011-11-16T16:05:00&lt;/prov:time&gt;
+  &lt;/prov:wasStartedBy&gt;
+
+  &lt;prov:wasStartedBy&gt;
+    &lt;prov:activity prov:ref="a1"/&gt;
+    &lt;prov:starter prov:ref="a0"/&gt;
+    &lt;prov:time&gt;2011-11-16T16:05:00&lt;/prov:time&gt;
+  &lt;/prov:wasStartedBy&gt;
+
+&lt;/prov:document&gt;
+</pre>
 </section> <!-- end term-Start -->
 
 <section id="term-End">
 <h4>End</h4>
 <div class="glossary-ref" data-ref="glossary-end"></div>
-<div class="schema-type" data-name="prov:End" data-include="schema/prov.xsd" data-oninclude="insertSchema_End"></div>
-<div class="schema-usage" data-include="schema/prov.xsd" data-oninclude="insertSchema_wasEndedBy"></div>
-<!-- <pre class="example" data-include="../examples/eg-40-xml-examples-by-term/xml/Entity.xml" data-oninclude="formatExample"></pre> -->
+<pre class="schema-type">
+&lt;xs:complexType xmlns:xs="http://www.w3.org/2001/XMLSchema" name="End"&gt;
+  &lt;xs:sequence&gt;
+    &lt;xs:element name="activity" type="prov:ActivityRef"/&gt;
+    &lt;xs:element name="trigger" type="prov:EntityRef"  minOccurs="0"/&gt;
+    &lt;xs:element name="ender" type="prov:ActivityRef" minOccurs="0"/&gt;
+    &lt;xs:element name="time" type="xs:dateTime" minOccurs="0"/&gt;
+    &lt;xs:choice minOccurs="0" maxOccurs="unbounded"&gt;
+      &lt;xs:element ref="prov:location"/&gt;
+      &lt;xs:element ref="prov:role"/&gt;
+      &lt;xs:element ref="prov:label"/&gt;
+      &lt;xs:element ref="prov:type"/&gt;
+      &lt;xs:any namespace="##other"/&gt;
+    &lt;/xs:choice&gt;
+  &lt;/xs:sequence&gt;
+  &lt;xs:attribute ref="prov:id"/&gt;
+&lt;/xs:complexType&gt;
+</pre>
+<pre class="schema-usage">
+&lt;xs:element xmlns:xs="http://www.w3.org/2001/XMLSchema" name="wasEndedBy" ype="prov:End"/&gt;
+</pre>
+<pre class="example">
+&lt;?xml version="1.0" encoding="UTF-8"?&gt;
+
+&lt;!-- based on PROV-DM's Example 25 from http://www.w3.org/TR/prov-dm/#term-End 
+     see also http://www.w3.org/TR/prov-dm/#type_WasEndedBy --&gt;
+
+&lt;prov:document
+    xmlns:prov="http://www.w3.org/ns/prov#"
+    xmlns:ex="http://example.com/ns/ex#"&gt;
+
+  &lt;prov:entity prov:id="e1"&gt;
+    &lt;prov:type&gt;approval document&lt;/prov:type&gt;
+  &lt;/prov:entity&gt;
+
+  &lt;prov:activity prov:id="a1"&gt;
+    &lt;prov:type&gt;Editing&lt;/prov:type&gt;
+  &lt;/prov:activity&gt;
+
+  &lt;prov:wasEndedBy&gt;
+    &lt;prov:activity prov:ref="a1"/&gt;
+    &lt;prov:trigger prov:ref="e1"/&gt;
+  &lt;/prov:wasEndedBy&gt;
+
+&lt;/prov:document&gt;
+</pre>
 </section> <!-- end term-End -->
 
 <section id="term-Invalidation">
 <h3>Invalidation</h3>
 <div class="glossary-ref" data-ref="glossary-invalidation"></div>
-<div class="schema-type" data-name="prov:Invalidation" data-include="schema/prov.xsd" data-oninclude="insertSchema_Invalidation"></div>
-<div class="schema-usage" data-include="schema/prov.xsd" data-oninclude="insertSchema_wasInvalidatedBy"></div>
-<!-- <pre class="example" data-include="../examples/eg-40-xml-examples-by-term/xml/Invalidation.xml" data-oninclude="formatExample"></pre> -->
+<pre class="schema-type">
+&lt;xs:complexType xmlns:xs="http://www.w3.org/2001/XMLSchema" name="Invalidation"&gt;
+  &lt;xs:sequence&gt;
+    &lt;xs:element name="entity" type="prov:EntityRef"/&gt;
+    &lt;xs:element name="activity" type="prov:ActivityRef" minOccurs="0"/&gt;
+    &lt;xs:element name="time" type="xs:dateTime" minOccurs="0"/&gt;
+    &lt;xs:choice minOccurs="0" maxOccurs="unbounded"&gt;
+      &lt;xs:element ref="prov:location"/&gt;
+      &lt;xs:element ref="prov:role"/&gt;
+      &lt;xs:element ref="prov:label"/&gt;
+      &lt;xs:element ref="prov:type"/&gt;
+      &lt;xs:any namespace="##other"/&gt;
+    &lt;/xs:choice&gt;
+  &lt;/xs:sequence&gt;
+  &lt;xs:attribute ref="prov:id"/&gt;
+&lt;/xs:complexType&gt;
+</pre>
+<pre class="schema-usage">
+&lt;xs:element mlns:xs="http://www.w3.org/2001/XMLSchema" name="wasInvalidatedBy" type="prov:Invalidation"/&gt;
+</pre>
+<pre class="example">
+&lt;?xml version="1.0" encoding="UTF-8"?&gt;
+
+&lt;!-- based on PROV-DM's Example 26 from http://www.w3.org/TR/prov-dm/#anexample-invalidation1
+     see also http://www.w3.org/TR/prov-dm/#type_WasInvalidatedBy --&gt;
+
+&lt;prov:document
+    xmlns:prov="http://www.w3.org/ns/prov#"
+    xmlns:ex="http://example.com/ns/ex#"
+    xmlns:bbc="http://www.bbc.co.uk/news/"&gt;
+
+  &lt;prov:entity prov:id="ex:The-Painter"/&gt;
+
+  &lt;prov:agent prov:id="ex:Picasso"/&gt;
+
+  &lt;prov:wasAttributedTo&gt;
+    &lt;prov:entity prov:ref="ex:The-Painter" /&gt;
+    &lt;prov:agent prov:ref="ex:Picasso" /&gt;
+  &lt;/prov:wasAttributedTo&gt;
+
+  &lt;prov:activity prov:id="ex:crash"/&gt;
+
+  &lt;prov:wasInvalidatedBy&gt;
+    &lt;prov:entity prov:ref="ex:The-Painter"/&gt;
+    &lt;prov:activity prov:ref="ex:crash"/&gt;
+    &lt;prov:time&gt;1998-09-03T01:31:00&lt;/prov:time&gt;
+    &lt;ex:circumstances&gt;plane accident&lt;/ex:circumstances&gt;
+  &lt;/prov:wasInvalidatedBy&gt;
+
+&lt;/prov:document&gt;
+</pre>
 </section> <!-- end term-Invalidation -->
 
 </section> <!-- end component1 -->
@@ -920,8 +1288,7 @@
 <section id="term-Membership">
 <h3>Membership</h3>
 <div class="glossary-ref" data-ref="glossary-membership"></div>
-<div class="schema-type">
-	<pre>
+<pre class="schema-type">
 &lt;xs:complexType name="Membership"&gt;
   &lt;xs:sequence&gt;
     &lt;xs:element name="collection"  type="prov:EntityRef"/&gt;
@@ -929,12 +1296,9 @@
   &lt;/xs:sequence&gt;
 &lt;/xs:complexType&gt;
 </pre>
-</div>
-<div class="schema-usage">
-	<pre>
+<pre class="schema-usage">
 &lt;xs:element xmlns:xs="http://www.w3.org/2001/XMLSchema" name="hadMember" type="prov:Membership"/&gt;
-	</pre>
-</div>
+</pre>
 <pre class="example">
 &lt;?xml version="1.0" encoding="UTF-8"?&gt;