--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/eg-9-provrdf-owl-coverage/rdf/create/eg-9-provrdf-owl-coverage.sh	Sat Mar 03 12:38:21 2012 -0500
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+if [ ! -e rdf ]; then
+   mkdir rdf
+fi
+
+pushd rdf
+   page='http://aquarius.tw.rpi.edu/prov-wg/provrdf-owl-coverage'
+   curl $page                                                              > provrdf-owl-coverage.html
+   curl "http://www.w3.org/2007/08/pyRdfa/extract?format=turtle&uri=$page" > provrdf-owl-coverage.html.ttl
+popd