--- a/ontology/ProvenanceFormalModel.html	Fri Sep 30 11:37:11 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Fri Sep 30 11:44:47 2011 +0100
@@ -982,11 +982,23 @@
     </wf:EntityAtPort>
 
 </rdf:RDF>            
-            </pre></div>
-            <p> Note that the example above does not show the inferred classes
+            </pre>
+            <em>Example available as 
+            <a
+            href="examples/ontology-extensions/workflow/workflow.rdf">RDF/XML</a>
+            and
+            <a href="examples/ontology-extensions/workflow/workflow.ttl">Turtle</a>
+            </em>
+            </div>
+            <p> Note that for brevity, the example above does not show the inferred classes
     and properties from the PROV ontology. For interoperability, applications
-    should also expressed such inferred statements, so that the provenance can be
-    read without using OWL2 inferencing and the customized ontologies.
+    should also expressed such inferred statements in its
+    serialisations, so that the provenance can be read without using
+    OWL2 inferencing and the customized ontologies.
+    See the <a
+    href="examples/ontology-extensions/workflow/workflow-inferred.rdf">workflow-inferred.rdf</a>
+    for the complete example showing both domain-specific and PROV ontology terms
+      used side by side.
             </p>
 
         </section>