--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/eg-30-roles-in-algebraic-division/document/homepage	Tue May 29 13:13:18 2012 -0400
@@ -0,0 +1,2 @@
+http://www.w3.org/2011/prov/wiki/Eg-30-roles-in-algebraic-division
+http://dvcs.w3.org/hg/prov/file/tip/examples/eg-30-roles-in-algebraic-division

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/eg-30-roles-in-algebraic-division/rdf/eg-30-roles-in-algebraic-division.ttl	Tue May 29 13:13:18 2012 -0400
@@ -0,0 +1,59 @@
+@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
+@prefix owl:     <http://www.w3.org/2002/07/owl#> .
+@prefix dcterms: <http://purl.org/dc/terms/> .
+@prefix sd:      <http://www.w3.org/ns/sparql-service-description#> .
+@prefix dcat:    <http://www.w3.org/ns/dcat#> .
+@prefix void:    <http://rdfs.org/ns/void#> .
+@prefix foaf:    <http://xmlns.com/foaf/0.1/> .
+@prefix prov:    <http://www.w3.org/ns/prov#> .
+@prefix math:    <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-30-roles-in-algebraic-division/rdf/math.owl#> .
+@prefix :        <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-30-roles-in-algebraic-division/rdf/eg-30-roles-in-algebraic-division.ttl#> .
+
+# There were 514 emails on public-prov-wg@w3.org in April 2012 and 54 members of prov-wg.
+# That's about 9.5 emails per member.
+
+:dividend
+   a prov:Entity, :Quantity;
+   prov:value 514;
+.
+
+:divisor
+   a prov:Entity, :Quantity;
+   prov:value 54;
+.
+
+:division
+   a prov:Activity, :Division;
+   prov:used      :dividend,       # 
+                  :divisor;        # These four involvements are unqualified.
+   prov:generated :quotient;       # i.e., we're not sure exactly how they were
+                  :scratch-paper;  # involved with the :division Activity.
+
+   prov:qualifiedUsage [           # The unqualified involvements can be qualified
+      a prov:Usage;                # to distinguish /how/ the used entities were used.
+      prov:entity :dividend;
+      prov:hadRole math:dividend;
+   ];
+   prov:qualifiedUsage [
+      a prov:Usage;
+      prov:entity :divisor;
+      prov:hadRole math:divisor;
+   ];
+
+   prov:qualifiedGeneration [
+      a prov:Usage;
+      prov:entity :quotient;
+      prov:hadRole math:quotient;
+   ];
+.
+
+:quotient
+   a prov:Entity, :Quantity;
+   prov:value 9.51851852;
+.
+
+math:dividend a prov:Role .
+math:divisor  a prov:Role .
+math:quotient a prov:Role .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/eg-30-roles-in-algebraic-division/rdf/eg-30-roles-in-algebraic-division.ttl.sd_name	Tue May 29 13:13:18 2012 -0400
@@ -0,0 +1,1 @@
+http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-30-roles-in-algebraic-division/rdf/eg-30-roles-in-algebraic-division.ttl