--- a/presentations/iswc-2012/prov-dm/overview/index2.html	Sun Nov 11 18:26:48 2012 -0500
+++ b/presentations/iswc-2012/prov-dm/overview/index2.html	Sun Nov 11 19:40:56 2012 -0500
@@ -1270,27 +1270,29 @@
 <div  style="font-size:small; max-width: 105%; ">
 <div id="paulRule">
 <pre>
- PREFIX prov: <http://www.w3.org/ns/prov#>
- PREFIX spin: <http://spinrdf.org/spin#>
-
- PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
+PREFIX rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt;
+PREFIX spin: &lt;http://spinrdf.org/spin#&gt;
+PREFIX prov: &lt;http://www.w3.org/ns/prov#&gt;
  
- CONSTRUCT {
-        _:b0 a spin:ConstraintViolation ;
-
-             spin:violationRoot ?this ;
-             rdfs:label "Activity has two started by events"
-
-    }
- 
-  WHERE {
-  ?this prov:wasStartedBy ?x.
-  ?this prov:wasStartedBy ?y.
-
-  FILTER (?x != ?y)
- }
-
- paulRule prov:wasAttributedTo ex:PaulGroth
+CONSTRUCT {
+   :_b0
+      a spin:ConstraintViolation;
+      spin:violationRoot ?this;
+      rdfs:label "Qualified start time disagrees with Activity start time.";
+   .
+}
+WHERE {
+   ?this a prov:Activity;
+        prov:wasStartedAt   ?t_1;
+        prov:qualifiedStart ?start; 
+   .
+   ?start 
+      a prov:Start;
+      prov:atTime ?t_2;
+   .
+   FILTER(?t_1 != ?t_2)
+   OPTIONAL { ?paulRule prov:wasAttributedTo &lt;http://data.semanticweb.org/person/paul-groth&gt; }
+}
 </pre>
 
 </div>

Binary file presentations/iswc-2012/prov-intro-iswc2012.pptx has changed

Binary file presentations/iswc-2012/prov-walkthrough-iswc2012.pptx has changed