merge
authorPaolo Missier <pmissier@acm.org>
Mon, 14 May 2012 21:54:31 +0100
changeset 2808 92df99cded5d
parent 2807 1b1f7203cbfd (current diff)
parent 2806 d22364536dfd (diff)
child 2809 309e2ff706ab
child 2818 42859eb9ec59
merge
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Account.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Account.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,16 +5,14 @@
 @prefix :     <http://example.com/> .
 
 # An account can be described in many ways. A possibility is a named graph:
-:acc23_04_2012_dereck{
-
-:acc23_04_2012_dereck a prov:Account.
+:acc23_04_2012_dereck {
 
-:entity1 a prov:Entity.
+   :acc23_04_2012_dereck a prov:Account .
 
-:agent1 a prov:Agent.
+   :entity1 a prov:Entity .
+   :agent1  a prov:Agent .
 
-#Other provenance statements.
-
+   #Other provenance statements.
 }
 
 # Another possibility is by pointing to the container of the provenance triples:
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ActivityInvolvement.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ActivityInvolvement.ttl	Mon May 14 21:54:31 2012 +0100
@@ -4,14 +4,17 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
+:bar_chart 
+   a prov:Entity;
+   prov:wasGeneratedBy      :illustrating;
+   prov:qualifiedGeneration :making-bar-chart;
+. 
+
 :making-bar-chart
-    a prov:Generation, prov:ActivityInvolvement ;
-    prov:activity :illustrating ;
-    rdfs:comment "Ended up with bar chart as line chart looked ugly."@en .
+   a prov:Generation, 
+     prov:ActivityInvolvement;  ## Instances of Generation, Invalidation, and Communication qualify
+   prov:activity :illustrating; ## the involvement of an Activity (cited by prov:activity)
+   rdfs:comment "Ended up with bar chart as line chart looked ugly."@en;
+.
 
 :illustrating a prov:Activity .
-
-:bar_chart a prov:Entity ;
-    prov:wasGeneratedBy :illustrating ;
-    prov:qualifiedGeneration :making-bar-chart .
-
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Agent.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Agent.ttl	Mon May 14 21:54:31 2012 +0100
@@ -2,18 +2,18 @@
 @prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
 @prefix owl:  <http://www.w3.org/2002/07/owl#> .
 @prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix foaf: <http://xmlns.com/foaf/0.1/> .
 @prefix :     <http://example.com/> .
-@prefix foaf: <http://xmlns.com/foaf/0.1/> .
 
-   :derek
-      a prov:Agent, foaf:Person;
-      foaf:givenName      "Derek"^^xsd:string;
-      foaf:mbox           <mailto:dererk@example.org>;
-	  foaf:homePage       <http://dereck.example.com>;
-      prov:actedOnBehalfOf :chartgen;
-   .
+:derek
+   a prov:Agent, prov:Person;
+   foaf:givenName      "Derek"^^xsd:string;
+   foaf:mbox           <mailto:dererk@example.org>;
+   foaf:homePage       <http://dereck.example.com>;
+   prov:actedOnBehalfOf :chartgen;
+.
 
-   :chartgen 
-      a prov:Agent, prov:Organization, foaf:Organization;
-      foaf:name "Chart Generators, Inc.";
-   . 
+:chartgen 
+   a prov:Agent, prov:Organization;
+   foaf:name "Chart Generators, Inc.";
+. 
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_AgentInvolvement.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_AgentInvolvement.ttl	Mon May 14 21:54:31 2012 +0100
@@ -6,14 +6,15 @@
 
 :illustrating
     a prov:Activity; 
-    prov:wasAssociatedWith :derek ;
+    prov:wasAssociatedWith :derek;
     prov:qualifiedAssociation [
-		a prov:AgentInvolvement ;        
-        a prov:Association ;
-        prov:agent :derek ;
-        prov:role :illustrationist
-    ] .
+       a prov:Association, 
+         prov:AgentInvolvement; ## Instances of Generation, Invalidation, and Communication qualify
+       prov:agent   :derek;     ## the involvement of an Agent (cited by prov:agent)
+       prov:hadRole :illustrationist
+    ];
+.
 
 :derek a prov:Person, prov:Agent, prov:Entity .
 
-:illustratonist a prov:Role .
\ No newline at end of file
+:illustratonist a prov:Role .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Association.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Association.ttl	Mon May 14 21:54:31 2012 +0100
@@ -6,24 +6,26 @@
 
 :illustrating
     a prov:Activity; 
-    prov:wasAssociatedWith :derek, :steve ;
+    prov:wasAssociatedWith :derek, 
+                           :steve;
     prov:qualifiedAssociation [
-        a prov:Association ;
-        prov:agent :derek ;
-        prov:role :illustrationist
-    ] ;
+        a prov:Association;
+        prov:agent   :derek;
+        prov:hadRole :illustrationist;
+    ];
     prov:qualifiedAssociation [
-        a prov:Association ;
-        prov:agent :steve ;
-        prov:role :stylist ;
-        prov:hadPlan :house-styles ;
-        rdfs:comment "Steve helped Derek conform with the house style"@en 
-    ] .
+        a prov:Association;
+        prov:agent   :steve;
+        prov:hadRole :stylist;
+        prov:hadPlan :house-styles;
+        rdfs:comment "Steve helped Derek conform with the house style."@en;
+    ];
+.
 
 :derek a prov:Person, prov:Agent, prov:Entity .
 :steve a prov:Person, prov:Agent, prov:Entity .
 
 :illustratonist a prov:Role .
-:stylist a prov:Role .
+:stylist        a prov:Role .
 
 :house-styles a prov:Plan, prov:Entity .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Communication.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Communication.ttl	Mon May 14 21:54:31 2012 +0100
@@ -4,17 +4,23 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-:writing-celebrity-gossip a prov:Activity ;
-    prov:wasInformedBy :voicemail-interception ;
-    prov:qualifiedCommunication :informing-the-journalist .
+:writing-celebrity-gossip 
+   a prov:Activity;
+   prov:wasInformedBy          :voicemail-interception;
+   prov:qualifiedCommunication :informing-the-journalist;
+.
 
-:informing-the-journalist a prov:Communication;
-    prov:atLocation :unknown-location ;
-    prov:activity :voicemail-interception ;
-    rdfs:comment """The journalist was informed by the private 
-investigator, but we don't know how or what he was told."""@en .
+:informing-the-journalist 
+   a prov:Communication;
+   prov:activity   :voicemail-interception;
+   prov:atLocation :unknown-location;
+   rdfs:comment    """The journalist was informed by the private 
+                      investigator, but we don't know how or what he was told."""@en;
+.
 
 :voicemail-interception a prov:Activity .
 
-:unknown-location a prov:Location ;
-    rdfs:label "Location unknown"@en .
+:unknown-location 
+   a prov:Location;
+   rdfs:label "Location unknown"@en;
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_DictionaryInvolvement.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_DictionaryInvolvement.ttl	Mon May 14 21:54:31 2012 +0100
@@ -7,11 +7,12 @@
 :c1 a prov:Dictionary .
 
 :c2 
-   a prov:Dictionary, prov:Entity;
+   a prov:Dictionary, 
+     prov:Entity;
    prov:derivedByRemovalFrom :c1;
    prov:qualifiedRemoval [
       a prov:Removal, prov:DictionaryInvolvement;
       prov:dictionary :c1;
-      prov:removedKey "k1"^^xsd:string  
+      prov:removedKey "k1"^^xsd:string;
    ];
 . 
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_End.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_End.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,14 +5,16 @@
 @prefix :     <http://example.com/> .
 
 # End can be used to qualify wasEndedBy with time and location information
+
 :experiment 
-	a prov:Activity;
-	prov:wasEndedBy :inconsistentResult;
-	prov:qualifiedEnd [
-		a prov:End;
-		prov:entity :inconsistentResult;
-		prov:atTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
-		prov:atLocation :scienceLab003
-	].
-	
-:inconsistentResult a prov:Entity.
\ No newline at end of file
+   a prov:Activity;
+   prov:wasEndedBy :inconsistentResult;
+   prov:qualifiedEnd [
+      a prov:End;
+      prov:entity     :inconsistentResult;
+      prov:atTime     "2011-07-16T01:52:02Z"^^xsd:dateTime;
+      prov:atLocation :scienceLab_003;
+   ];
+.
+   
+:inconsistentResult a prov:Entity .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Entity.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Entity.ttl	Mon May 14 21:54:31 2012 +0100
@@ -6,7 +6,9 @@
 @prefix :        <http://example.com/> .
 
 :bar_chart 
-	a prov:Entity;
-	dcterms:title "Aggregated statistics from the crime file"^^xsd:string;
-	prov:wasAttributedTo :derek;
+   a prov:Entity;
+   dcterms:title "Aggregated statistics from the crime file"^^xsd:string;
+   prov:wasAttributedTo :derek;
 .
+
+:derek a prov:Agent .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_EntityInvolvement.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_EntityInvolvement.ttl	Mon May 14 21:54:31 2012 +0100
@@ -4,20 +4,22 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-# EntityInvolvement is an 'abstract' superclass of
-# Involvements that reference an entity (e.g. Usage, Derivation, Source)
+# EntityInvolvement is an 'abstract' subclass of Involvement 
+# that references an entity (e.g. Usage, Derivation, Source).
 
 # It is not recommended that the type EntityInvolvement be directly declared,
 # use a specialization of EntityInvolvement instead.
 
-# by definition, all instances of prov:Usage are also instances of prov:EntityInvolvement
+# By definition, all instances of prov:Usage are also instances of prov:EntityInvolvement.
 
 :sortActivity
-	a prov:Activity;
-	prov:qualifiedUsage [
-		a prov:Usage, prov:EntityInvolvement;
-		prov:entity    :datasetA;
-		prov:hadRole   :inputToBeSorted;
-	];
-	prov:generated :datasetB .
-
+   a prov:Activity;
+   prov:used :datasetA;
+   prov:qualifiedUsage [
+      a prov:Usage, 
+        prov:EntityInvolvement; ## Instances of Start, End, Usage, and Derivation qualify
+      prov:entity  :datasetA;   ## the involvement of an Entity (cited by prov:entity)
+      prov:hadRole :inputToBeSorted;
+   ];
+   prov:generated :datasetB;
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Insertion.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Insertion.ttl	Mon May 14 21:54:31 2012 +0100
@@ -4,21 +4,21 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-
 :our-NEW-baseball-team-field-positions
-   a prov:Dictionary, :FieldPositions;
-   prov:derivedByInsertionFrom :our-old-baseball-team-field-positions ;
+   a prov:Dictionary, 
+         :FieldPositions;
+   prov:derivedByInsertionFrom :our-old-baseball-team-field-positions;
    prov:qualifiedInsertion [ 
       a prov:Insertion;
-      prov:collection :our-old-baseball-team-field-positions ;
+      prov:collection :our-old-baseball-team-field-positions;
       prov:inserted [ 
          a prov:KeyValuePair;
-         prov:key   "first-baseman"^^xsd:string ;
-         prov:value <http://dbpedia.org/resource/Jim_Thorpe> ;
+         prov:key   "first-baseman"^^xsd:string;
+         prov:value <http://dbpedia.org/resource/Jim_Thorpe>;
       ];
-   ] .
+   ];
+.
 
 <http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .
 
 :our-old-baseball-team-field-positions a prov:Dictionary .
-
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Involvement.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Involvement.ttl	Mon May 14 21:54:31 2012 +0100
@@ -4,11 +4,19 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
+# Although a domain extension (e.g. ':wasConductedBy') is not defined by PROV-O,
+# the relation between a surgery and an agent can be qualified
+# by reusing prov:Involvement and one of its three subclasses 
+# (depending on the type of the instance involved):
+# AgentInvolvement, EntityInvolvement, and ActivityInvolement.
+
 :conductingSurgery_1
    a prov:Activity;
    :wasConductedby :bob;
    prov:wasAssociatedWith [
-      a prov:Involvement;
+      a prov:Association,
+        prov:AgentInvolvement,
+        prov:Involvement;
       prov:agent   :bob; 
       prov:hadRole :Surgeon;
    ];
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_KeyValuePair.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_KeyValuePair.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,7 +5,8 @@
 @prefix :     <http://example.com/> .
 
 :our-NEW-baseball-team-field-positions
-   a prov:Dictionary, :FieldPositions;
+   a prov:Dictionary, 
+         :FieldPositions;
    prov:derivedByInsertionFrom :our-old-baseball-team-field-positions;
    prov:qualifiedInsertion [ 
       a prov:Insertion;
@@ -24,7 +25,8 @@
 :hiring_jim_thorpe a prov:Activity .
 
 :our-old-baseball-team-field-positions
-   a prov:Dictionary, :FieldPositions;
+   a prov:Dictionary, 
+         :FieldPositions;
    prov:membership [ 
       a prov:Membership;
       prov:member [
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Location.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Location.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,19 +5,20 @@
 @prefix sioc: <http://rdfs.org/sioc/ns#> .
 @prefix :     <http://example.com/> .
 
-#A Location can be a path or a geographical location.
+# A Location can be a path or a geographical location.
+
 :post9821 
-      a prov:Entity, sioc:Post;   
-      prov:wasGeneratedBy :publicationActivity1123;
-      prov:atLocation     :more-crime-happens-in-cities;
-      prov:qualifiedGeneration [
-         a prov:Generation;
-         prov:activity    :publicationActivity1123;
-         prov:atTime     "2011-07-16T01:52:02Z"^^xsd:dateTime; 
-         prov:atLocation <http://dbpedia.org/resource/Madrid>;
-      ];
-   .
-:publicationActivity1123 a prov:Activity.
+   a prov:Entity, sioc:Post;   
+   prov:wasGeneratedBy :publicationActivity1123;
+   prov:atLocation     :more-crime-happens-in-cities;
+   prov:qualifiedGeneration [
+      a prov:Generation;
+      prov:activity    :publicationActivity1123;
+      prov:atTime     "2011-07-16T01:52:02Z"^^xsd:dateTime; 
+      prov:atLocation <http://dbpedia.org/resource/Madrid>;
+   ];
+.
+
+:publicationActivity1123      a prov:Activity.
 :more-crime-happens-in-cities a prov:Location.
-<http://dbpedia.org/resource/Madrid> a prov:Location.
-  
+<http://dbpedia.org/resource/Madrid> a prov:Location. 
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Membership.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Membership.ttl	Mon May 14 21:54:31 2012 +0100
@@ -8,18 +8,20 @@
 :e1 a prov:Entity .
 :e2 a prov:Entity .
 
-:c1 a prov:Dictionary, prov:Entity;
+:c1 
+   a prov:Dictionary, 
+     prov:Entity;
    prov:membership [ 
       a prov:Membership;
       # These are (some of the) members of c1
       prov:member [ 
          a prov:KeyValuePair;
          prov:key   "k1"^^xsd:string;
-         prov:value :e1
+         prov:value :e1;
       ], [ 
          a prov:KeyValuePair;
          prov:key   "k2"^^xsd:string;
-         prov:value :e2
+         prov:value :e2;
       ];
    ];
 .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Note.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Note.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,11 +5,13 @@
 @prefix :     <http://example.com/> .
 
 :post112 
-	a prov:Entity;
-	prov:hasAnnotation :parserNote.
-	
+   a prov:Entity;
+   prov:hasAnnotation :parserNote;
+.
+   
 :parserNote {
-	:parserNote a prov:Note.
-	:post112 :parsedAt "2012-04-15T13:00:00-04:00"^^xsd:dateTime.
-	#Other statements annotating the resource could be added here
+   :parserNote a prov:Note.
+   :post112 :parsedAt "2012-04-15T13:00:00-04:00"^^xsd:dateTime.
+
+   # Other statements annotating the resource could be added here
 }
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Organization.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Organization.ttl	Mon May 14 21:54:31 2012 +0100
@@ -6,6 +6,6 @@
 @prefix :     <http://example.com/> .
 
 :boogle 
-   a prov:Agent, prov:Organization, foaf:Organization;
+   a prov:Agent, prov:Organization;
    foaf:name "Boogle";
 . 
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Plan.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Plan.ttl	Mon May 14 21:54:31 2012 +0100
@@ -4,13 +4,18 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-:house-styles a prov:Plan, prov:Entity ;
-    rdfs:comment "Use blue graphs for positive spin, red for negative"@en .
+:illustrating 
+   a prov:Activity;
+   prov:qualifiedAssociation :steve-checking-housestyles;
+.
 
-:illustrating a prov:Activity ;
-    prov:qualifiedAssociation :steve-checking-housestyles .
+:steve-checking-housestyles 
+   a prov:Association;
+   prov:agent   :steve;
+   prov:hadPlan :house-styles;
+. 
 
-:steve-checking-housestyles a prov:Association ;
-    prov:agent :steve ;
-    prov:hadPlan :house-styles .
-
+:house-styles 
+   a prov:Plan, prov:Entity;
+   rdfs:comment "Use blue graphs for positive spin, red for negative"@en;
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Quotation.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Quotation.ttl	Mon May 14 21:54:31 2012 +0100
@@ -9,7 +9,7 @@
    prov:wasQuotedFrom <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/>;
    prov:qualifiedQuotation [
       a prov:Quotation;
-      prov:entity <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/>;
+      prov:entity    <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/>;
       prov:hadQuoter <http://data.semanticweb.org/person/luc-moreau>;
       prov:hadQuoted <http://data.semanticweb.org/person/paul-groth>;
    ] .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Removal.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Removal.ttl	Mon May 14 21:54:31 2012 +0100
@@ -6,12 +6,14 @@
 
 :c1 a prov:Dictionary .
 
-:c2 a prov:Dictionary, prov:Entity;
-   prov:derivedByRemovalFrom :c1 ;
+:c2 
+   a prov:Dictionary, 
+     prov:Entity;
+   prov:derivedByRemovalFrom :c1;
    prov:qualifiedRemoval [
-      a prov:Removal, prov:DictionaryInvolvement ;
-      prov:dictionary :c1 ;
+      a prov:Removal, prov:DictionaryInvolvement;
+      prov:dictionary :c1;
       prov:removedKey "k1"^^xsd:string, 
-                      "k2"^^xsd:string 
+                      "k2"^^xsd:string;
    ];
 .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Responsibility.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Responsibility.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,8 +5,8 @@
 @prefix :     <http://example.com/> .
   
 :policySale
-  a prov:Actvity;
-  prov:wasAssociatedWith :insuranceAgent_Frank;
+   a prov:Actvity;
+   prov:wasAssociatedWith :insuranceAgent_Frank;
 .
 
 :insuranceAgent_Frank
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Revision.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Revision.ttl	Mon May 14 21:54:31 2012 +0100
@@ -4,13 +4,24 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-:draft2 a prov:Entity ;
-	prov:wasRevisionOf :e1 ;
-	prov:qualifiedRevision [
-		a prov:Revision ;
-                prov:wasApprovedBy :draftEditor ;
-		prov:entity :draft1
-	] .
+:draft2 
+   a prov:Entity;
+   prov:wasRevisionOf    :draft1;
+   prov:qualifiedRevision [
+      a prov:Revision;
+      prov:entity        :draft1;
+   ];
+
+   prov:wasAttributedTo :edward;
+   prov:qualifiedAssociation [
+      a prov:Association;
+      prov:agent        :edward;
+      prov:hadRole      :editor;
+   ];
+.
 
 :draft1 a prov:Entity .
-:draftEditor a prov:Person, prov:Agent, prov:Entity .
+
+:edward 
+   a prov:Person, prov:Agent, prov:Entity;
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_SoftwareAgent.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_SoftwareAgent.ttl	Mon May 14 21:54:31 2012 +0100
@@ -4,7 +4,9 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-# Googlebot is Google's web crawling bot.  it can initiate and participate in web-crawling activities.
+# Googlebot is Google's web crawling bot; it can initiate and participate in web-crawling activities.
+
 :googlebot
-	a prov:SoftwareAgent ;
-	rdfs:label "Googlebot"^^xsd:string .
+   a prov:SoftwareAgent;
+   rdfs:label "Googlebot"^^xsd:string;
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Source.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Source.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,12 +5,13 @@
 @prefix :     <http://example.com/> .
 
 :myPost 
-	a prov:Entity;
-	prov:hadOriginalSource :donQuixote;
-	prov:qualifiedSource [
-		a prov:Source;
-		prov:entity :donQuixote;
-		:confidenceValue "6"^^xsd:int #I am not sure if "myPost" had as original source Don Quixote, so I assert a confidence value of 6 out of 10.
-	].
-	
+   a prov:Entity;
+   prov:hadOriginalSource :donQuixote;
+   prov:qualifiedSource [
+      a prov:Source;
+      prov:entity :donQuixote;
+      :confidenceValue "6"^^xsd:integer # I am not sure if "myPost" had as original source Don Quixote, so I assert a confidence value of 6 out of 10.
+   ];
+.
+
 :donQuixote a prov:Entity.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Start.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Start.ttl	Mon May 14 21:54:31 2012 +0100
@@ -4,15 +4,17 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-# Start can be used to qualify wasStartedBy with time and location information
+# Start can be used to qualify wasStartedBy with time and location information.
+
 :experiment
-	a prov:Activity ;
-	prov:wasStartedBy :researcher ;
-	prov:qualifiedStart [
-		a prov:Start;
-		prov:entity :researcher;
-		prov:atTime "2011-07-06T01:48:36Z"^^xsd:dateTime;
-		prov:atLocation :scienceLab003
-	].
+   a prov:Activity;
+   prov:wasStartedBy :researcher;
+   prov:qualifiedStart [
+      a prov:Start;
+      prov:entity    :researcher;
+      prov:atTime    "2011-07-06T01:48:36Z"^^xsd:dateTime;
+      prov:atLocation :scienceLab_003;
+   ];
+.
 
-:researcher a prov:Agent.
\ No newline at end of file
+:researcher a prov:Agent .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_StartByActivity.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_StartByActivity.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,19 +5,21 @@
 @prefix :     <http://example.com/> .
 
 :filling-fuel
-    a prov:Activity ;
-    prov:startedAtTime            "2012-04-24T18:31:00Z"^^xsd:dateTime ;
-    prov:endedAtTime              "2012-04-24T18:33:10Z"^^xsd:dateTime ;
-    prov:wasStartedByActivity     :observing-low-fuel ;
-    prov:qualifiedStartByActivity :need-to-fill-fuel .
+    a prov:Activity;
+    prov:startedAtTime            "2012-04-24T18:31:00Z"^^xsd:dateTime;
+    prov:endedAtTime              "2012-04-24T18:33:10Z"^^xsd:dateTime;
+    prov:wasStartedByActivity     :observing-low-fuel;
+    prov:qualifiedStartByActivity :need-to-fill-fuel;
+.
 
 :need-to-fill-fuel
-    a prov:StartByActivity ;
-    prov:activity :observing-low-fuel ;
+    a prov:StartByActivity;
+    prov:activity :observing-low-fuel;
     rdfs:comment  """The driver noticed the low fuel light immediately, 
-but spent half an hour looking for a cheap petrol station."""@en  .
+                     but spent half an hour looking for a cheap petrol station."""@en;
+.
 
 :observing-low-fuel
-    a prov:Activity ;
-    prov:startedAtTime "2012-04-24T17:45:00Z"^^xsd:dateTime .
-
+    a prov:Activity;
+    prov:startedAtTime "2012-04-24T17:45:00Z"^^xsd:dateTime;
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Usage.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Usage.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,29 +5,26 @@
 @prefix :     <http://example.com/> .
 
 :sortActivity 
-      a prov:Activity;
-	  prov:atTime     "2011-07-16T01:52:02Z"^^xsd:dateTime; 
-      prov:qualifiedUsage [
-         a prov:Usage;
-         prov:entity    :datasetA; ## the entity used by the prov:Usage
-         prov:hadRole   :inputToBeSorted;  ## the role of the entity in this prov:Usage        
-      ];
-	  prov:generated :datasetB;
-   .
-:datasetA a prov:Entity.
-:datasetB a prov:Entity.
-:inputToBeSorted a prov:Role.  
+   a prov:Activity;
+   prov:atTime  "2011-07-16T01:52:02Z"^^xsd:dateTime; 
+   prov:qualifiedUsage [
+      a prov:Usage;
+      prov:entity    :datasetA;         ## The entity used by the prov:Usage
+      prov:hadRole   :inputToBeSorted;  ## the role of the entity in this prov:Usage        
+   ];
+   prov:generated :datasetB;
+.
 
-#### expressing the above using starting-point terms
-#### the role of :datasetA cannot be expressed
+:datasetA        a prov:Entity .
+:datasetB        a prov:Entity .
+:inputToBeSorted a prov:Role .
+
+## Expressing the above using starting-point terms
+## the role of :datasetA cannot be expressed
 
 :sortActivity
-      a prov:Activity;
-      prov:atTime     "2011-07-16T01:52:02Z"^^xsd:dateTime;
-      prov:used	      :datasetA;
-      prov:generated  :datasetB;
+   a prov:Activity;
+   prov:atTime     "2011-07-16T01:52:02Z"^^xsd:dateTime;
+   prov:used       :datasetA;
+   prov:generated  :datasetB;
 .
-
-
- 
-  
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_activity.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_activity.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,12 +5,16 @@
 @prefix :     <http://example.com/> .
 
 :making-bar-chart
-    a prov:Generation, prov:ActivityInvolvement ;
-    prov:activity :illustrating ;
-    rdfs:comment "Ended up with bar chart as line chart looked ugly."@en .
+   a prov:Generation, 
+     prov:ActivityInvolvement;
+   prov:activity :illustrating;
+   rdfs:comment "Ended up with bar chart as line chart looked ugly."@en;
+.
 
 :illustrating a prov:Activity .
 
-:bar_chart a prov:Entity ;
-    prov:wasGeneratedBy :illustrating ;
-    prov:qualifiedGeneration :making-bar-chart .
+:bar_chart 
+   a prov:Entity;
+   prov:wasGeneratedBy :illustrating;
+   prov:qualifiedGeneration :making-bar-chart;
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_agent.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_agent.ttl	Mon May 14 21:54:31 2012 +0100
@@ -12,12 +12,12 @@
                           <http://dbpedia.org/resource/Lockheed_Aircraft_Company>;
    prov:qualifiedAssociation [
       a prov:Association;
-      prov:agent <http://dbpedia.org/resource/Amelia_Earhart>;
+      prov:agent   <http://dbpedia.org/resource/Amelia_Earhart>;
       prov:hadRole :pilot;
    ];
    prov:qualifiedAssociation [
       a prov:Association;
-      prov:agent <http://dbpedia.org/resource/Purdue_University>;
+      prov:agent   <http://dbpedia.org/resource/Purdue_University>;
       prov:hadRole :financer;
    ];
    prov:qualifiedAssociation [
@@ -29,7 +29,7 @@
    rdfs:seeAlso <http://en.wikipedia.org/wiki/Amelia_Earhart#1937_world_flight>;
 .
 
-<http://dbpedia.org/resource/Amelia_Earhart>            a prov:Person, prov:Agent .
+<http://dbpedia.org/resource/Amelia_Earhart>            a prov:Person,       prov:Agent .
 <http://dbpedia.org/resource/Purdue_University>         a prov:Organization, prov:Agent .
 <http://dbpedia.org/resource/Lockheed_Aircraft_Company> a prov:Organization, prov:Agent .
 
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_alternateOf.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_alternateOf.ttl	Mon May 14 21:54:31 2012 +0100
@@ -4,30 +4,33 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-:london_forecast_0412 a  prov:Entity ;
-		      prov:wasAttributedTo :bbc ;
-		      prov:wasGeneratedBy [
-		          a   prov:Activity ;
-  			  prov:endedAtTime "2012-04-12T00:00:00-04:00"^^xsd:dateTime;
-		      ]
+:london_forecast_0412 
+   a prov:Entity;
+   prov:wasAttributedTo :bbc;
+   prov:wasGeneratedBy [
+      a prov:Activity;
+      prov:endedAtTime "2012-04-12T00:00:00-04:00"^^xsd:dateTime;
+   ];
 .
 
-
-:london_forecast_0413 a  prov:Entity ;
-                      prov:wasAttributedTo :bbc ;
-                      prov:wasGeneratedBy [
-                          a   prov:Activity ;
-                          prov:endedAtTime "2012-04-13T00:00:00-04:00"^^xsd:dateTime;
-                      ]
-.
-    
-
-:london_forecast a prov:Entity ;
-		 prov:wasAttributedTo :bbc ;
+:london_forecast_0413 
+   a prov:Entity;
+   prov:wasAttributedTo :bbc;
+   prov:wasGeneratedBy [
+      a prov:Activity;
+      prov:endedAtTime "2012-04-13T00:00:00-04:00"^^xsd:dateTime;
+   ];
 .
 
-### :london_forecast_0412 and :london_forecast_0413 are both specialization of the more general entity :london_forecast
+:london_forecast 
+   a prov:Entity;
+   prov:wasAttributedTo :bbc;
+.
 
-:london_forecast_0412  prov:alternateOf  :london_forecast_0413 ;
-		       prov:specializationOf  :london_forecast ;
+## :london_forecast_0412 and :london_forecast_0413 are both 
+## specialization of the more general entity :london_forecast
+
+:london_forecast_0412  
+   prov:alternateOf      :london_forecast_0413;
+   prov:specializationOf :london_forecast;
 .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_atLocation.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_atLocation.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,18 +5,20 @@
 @prefix sioc: <http://rdfs.org/sioc/ns#> .
 @prefix :     <http://example.com/> .
 
-#A Location can be a path or a geographical location.
+# A Location can be a path or a geographical location.
+
 :post9821 
-      a prov:Entity, sioc:Post;   
-      prov:wasGeneratedBy :publicationActivity1123;
-      prov:atLocation     :more-crime-happens-in-cities;
-      prov:qualifiedGeneration [
-         a prov:Generation;
-         prov:activity    :publicationActivity1123;
-         prov:atTime     "2011-07-16T01:52:02Z"^^xsd:dateTime; 
-         prov:atLocation <http://dbpedia.org/resource/Madrid>;
-      ];
-   .
-:publicationActivity1123 a prov:Activity.
-:more-crime-happens-in-cities a prov:Location.
-<http://dbpedia.org/resource/Madrid> a prov:Location.
+   a prov:Entity, sioc:Post;   
+   prov:wasGeneratedBy :publicationActivity1123;
+   prov:atLocation     :more-crime-happens-in-cities;
+   prov:qualifiedGeneration [
+      a prov:Generation;
+      prov:activity    :publicationActivity1123;
+      prov:atTime     "2011-07-16T01:52:02Z"^^xsd:dateTime; 
+      prov:atLocation <http://dbpedia.org/resource/Madrid>;
+   ];
+.
+
+:publicationActivity1123      a prov:Activity .
+:more-crime-happens-in-cities a prov:Location .
+<http://dbpedia.org/resource/Madrid> a prov:Location .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_atTime.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_atTime.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,7 +5,7 @@
 @prefix :     <http://example.com/> .
 
 :Timearticle20120430
-  a prov:Entity;
-  a prov:InstantaneousEvent;
-  prov:atTime "2012-04-30T20:40:40"^^xsd:dateTime;
-. 
\ No newline at end of file
+   a prov:Entity,
+     prov:InstantaneousEvent;
+   prov:atTime "2012-04-30T20:40:40"^^xsd:dateTime;
+. 
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_endedAtTime.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_endedAtTime.ttl	Mon May 14 21:54:31 2012 +0100
@@ -9,3 +9,5 @@
   prov:used :drosophilaSample;
   prov:endedAtTime "2012-04-30T12:46:32Z"^^xsd:dateTime;
 .
+
+:drosophilaSample a prov:Entity .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_entity.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_entity.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,12 +5,13 @@
 @prefix :     <http://example.com/> .
 
 :myPost 
-	a prov:Entity;
-	prov:hadOriginalSource :donQuixote;
-	prov:qualifiedSource [
-		a prov:Source;
-		prov:entity :donQuixote;
-		#other attributes of the relationship
-	].
-	
-:donQuixote a prov:Entity.
+   a prov:Entity;
+   prov:hadOriginalSource :donQuixote;
+   prov:qualifiedSource [
+      a prov:Source;
+      prov:entity :donQuixote;
+      # Other attributes of the relationship
+   ];
+.
+
+:donQuixote a prov:Entity .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_generated.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_generated.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,8 +5,8 @@
 @prefix :     <http://example.com/> .
 
 :proteinDigestion
-  a prov:Activity;
-  prov:generated :peptideSample1.
+   a prov:Activity;
+   prov:generated :peptideSample1;
+.
 
-:peptideSample1 a prov:Entity.
-  
+:peptideSample1 a prov:Entity .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadActivity.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadActivity.ttl	Mon May 14 21:54:31 2012 +0100
@@ -8,12 +8,12 @@
 # In this qualified Derivation prov:hadActivity references the activity that generated the bar chart.
 
 :bar_chart
-	a prov:Entity;
-	prov:wasDerivedFrom :aggregatedByRegions;
-	prov:wasGeneratedBy :make_bar_chart;
-	prov:qualifiedDerivation [
-		a prov:Derivation;
-		prov:entity      :aggregatedByRegions;
-		prov:hadActivity :make_bar_chart; # references same activity as prov:wasGeneratedBy
-	];
+   a prov:Entity;
+   prov:wasDerivedFrom :aggregatedByRegions;
+   prov:wasGeneratedBy :make_bar_chart;
+   prov:qualifiedDerivation [
+      a prov:Derivation;
+      prov:entity      :aggregatedByRegions;
+      prov:hadActivity :make_bar_chart; # references same activity as prov:wasGeneratedBy
+   ];
 .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadGeneration.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadGeneration.ttl	Mon May 14 21:54:31 2012 +0100
@@ -4,23 +4,28 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-:bar_chart   prov:wasDerivedFrom :aggregatedByRegions ;
-	     prov:qualifiedDerivation [
-	           a prov:Derivation ;
-		   prov:hadGeneration :illustration ;
-	     ]
+:bar_chart   
+   prov:wasDerivedFrom :aggregatedByRegions;
+   prov:qualifiedDerivation [
+      a prov:Derivation;
+      prov:hadGeneration :illustration;
+   ];
 .
 
-:illustration	a	prov:Generation, prov:InstantaneousEvent ;
-		prov:atTime "2012-04-03T00:00:01Z"^^xsd:dateTime;
+:illustration   
+   a prov:Generation, 
+     prov:InstantaneousEvent;
+   prov:atTime "2012-04-03T00:00:01Z"^^xsd:dateTime;
 .
 
-### an alternative way to express some of the above information
+## An alternative way to express some of the above information
 
-:bar_chart   prov:wasDerivedFrom :aggregatedByRegions ;
-	     prov:wasGeneratedBy :illustrationActivity ;
+:bar_chart   
+   prov:wasDerivedFrom :aggregatedByRegions;
+   prov:wasGeneratedBy :illustrationActivity;
 .
 
-:illustrationActivity   a   prov:Activity ;
-			prov:endedAtTime "2012-04-03T00:00:01Z"^^xsd:dateTime;
+:illustrationActivity   
+   a prov:Activity;
+   prov:endedAtTime "2012-04-03T00:00:01Z"^^xsd:dateTime;
 .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadOriginalSource.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadOriginalSource.ttl	Mon May 14 21:54:31 2012 +0100
@@ -4,15 +4,16 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-### a particular case of derivation
+## Having an original source is a particular case of derivation.
 
 :myPost 
-        a prov:Entity;
-        prov:hadOriginalSource :donQuixote;
-        prov:qualifiedSource [
-                a prov:Source;
-                prov:entity :donQuixote;
-                #other attributes of the relationship
-        ].
+   a prov:Entity;
+   prov:hadOriginalSource :donQuixote;
+   prov:qualifiedSource [
+      a prov:Source;
+      prov:entity :donQuixote;
+      # other attributes of the relationship
+   ];
+.
         
 :donQuixote a prov:Entity.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadQuoted.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadQuoted.ttl	Mon May 14 21:54:31 2012 +0100
@@ -4,15 +4,13 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-
 :bl-dagstuhl
    a prov:Entity;
    prov:wasQuotedFrom <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/>;
    prov:qualifiedQuotation [
       a prov:Quotation;
-      prov:entity <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/>;
+      prov:entity    <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/>;
       prov:hadQuoted <http://data.semanticweb.org/person/paul-groth>;
    ] .
 
 <http://data.semanticweb.org/person/paul-groth> a prov:Person, prov:Agent .
-
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadRole.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadRole.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,24 +5,25 @@
 @prefix :     <http://example.com/> .
 
 :divideActivity 
-      a prov:Activity;   
-      prov:qualifiedUsage [
-         a prov:Usage;
-         prov:entity    :variableA;
-         prov:hadRole   :dividend;          
-      ];
-	  
-      prov:qualifiedUsage [
-         a prov:Usage;
-         prov:entity    :variableB;
-         prov:hadRole   :divisor;          
-      ];
-   .
+   a prov:Activity;   
+
+   prov:used         :variableA;
+   prov:qualifiedUsage [
+      a prov:Usage;
+      prov:entity    :variableA;
+      prov:hadRole   :dividend;          
+   ];
    
-:variableA a prov:Entity.
+   prov:used         :variableB;
+   prov:qualifiedUsage [
+      a prov:Usage;
+      prov:entity    :variableB;
+      prov:hadRole   :divisor;          
+   ];
+.
+   
+:variableA a prov:Entity .
+:variableB a prov:Entity .
 
-:variableB a prov:Entity.
-
-:dividend a prov:Role.
-
-:divisor a prov:Role.
+:dividend a prov:Role .
+:divisor  a prov:Role .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadUsage.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadUsage.ttl	Mon May 14 21:54:31 2012 +0100
@@ -10,6 +10,7 @@
    prov:qualifiedDerivation [
       a prov:Derivation;
       prov:hadUsage [
+         a prov:Usage;
          :treatmentEnzyme :Trypsin;
       ];
    ];
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_inserted.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_inserted.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,18 +5,20 @@
 @prefix :     <http://example.com/> .
 
 :our-NEW-baseball-team-field-positions
-   a prov:Dictionary, :FieldPositions;
-   prov:derivedByInsertionFrom :our-old-baseball-team-field-positions ;
+   a prov:Dictionary, 
+         :FieldPositions;
+   prov:derivedByInsertionFrom :our-old-baseball-team-field-positions;
    prov:qualifiedInsertion [ 
       a prov:Insertion;
-      prov:collection :our-old-baseball-team-field-positions ;
+      prov:collection :our-old-baseball-team-field-positions;
       prov:inserted [ 
          a prov:KeyValuePair;
-         prov:key   "first-baseman"^^xsd:string ;
-         prov:value <http://dbpedia.org/resource/Jim_Thorpe> ;
+         prov:key   "first-baseman"^^xsd:string;
+         prov:value <http://dbpedia.org/resource/Jim_Thorpe>;
       ];
-   ] .
+   ];
+.
 
 <http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .
 
-:our-old-baseball-team-field-positions a prov:Dictionary .
\ No newline at end of file
+:our-old-baseball-team-field-positions a prov:Dictionary .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_invalidatedAtTime.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_invalidatedAtTime.ttl	Mon May 14 21:54:31 2012 +0100
@@ -8,5 +8,5 @@
    a prov:Entity, :Painting;
    rdfs:label "Le Peintre"@fr, "The Painter"@en;
    prov:wasAttributedTo <http://dbpedia.org/resource/Pablo_Picasso>;
-   prov:invalidatedAtTime "2012-09-02T01:31:00Z" .
-
+   prov:invalidatedAtTime "2012-09-02T01:31:00Z";
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_key.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_key.ttl	Mon May 14 21:54:31 2012 +0100
@@ -7,8 +7,9 @@
 # prov:key is used to reference the key in a prov:KeyValuePair.
 
 []
-	a prov:KeyValuePair;
-	prov:key   "first-baseman"^^xsd:string ;
-	prov:value <http://dbpedia.org/resource/Jim_Thorpe> .
+   a prov:KeyValuePair;
+   prov:key   "first-baseman"^^xsd:string;
+   prov:value <http://dbpedia.org/resource/Jim_Thorpe>;
+.
 
-<http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .
\ No newline at end of file
+<http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_member.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_member.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,7 +5,8 @@
 @prefix :     <http://example.com/> .
 
 :our-old-baseball-team-field-positions
-   a prov:Dictionary, :FieldPositions;
+   a prov:Dictionary, 
+         :FieldPositions;
    prov:membership [ 
       a prov:Membership;
       prov:member [
@@ -18,7 +19,8 @@
          prov:key "pitcher"^^xsd:string;
          prov:value :carl;
       ]
-   ] .
+   ];
+.
 
 :george a prov:Entity .
 :carl   a prov:Entity . 
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedAssociation.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedAssociation.ttl	Mon May 14 21:54:31 2012 +0100
@@ -6,31 +6,32 @@
 
 :illustrating
     a prov:Activity; 
-    prov:wasAssociatedWith :derek, :steve ;
-    prov:qualifiedAssociation [
-        a prov:Association ;
-        prov:agent :derek ;
-        prov:role :illustrationist ;
-        rdfs:comment "Derek made the illustration"@en
-    ] ;
+    prov:wasAssociatedWith :derek, 
+                           :steve;
     prov:qualifiedAssociation [
-        a prov:Association ;
-        prov:agent :steve ;
-        prov:role :stylist ;
-        prov:hadPlan :houseStyles ;
-        rdfs:comment "Steve helped Derek conform with the house style"@en 
-    ] ;
+        a prov:Association;
+        prov:agent :derek;
+        prov:role  :illustrationist;
+        rdfs:comment "Derek made the illustration"@en
+    ];
     prov:qualifiedAssociation [
-        a prov:Association ;
-        prov:agent :derek ;
-        prov:role :stylist ;
-        rdfs:comment "But Derek also did some styling of his own"@en 
+        a prov:Association;
+        prov:agent :steve;
+        prov:role  :stylist;
+        prov:hadPlan :houseStyles;
+        rdfs:comment "Steve helped Derek conform with the house style."@en 
+    ];
+    prov:qualifiedAssociation [
+        a prov:Association;
+        prov:agent :derek;
+        prov:role  :stylist;
+        rdfs:comment "But Derek also did some styling of his own."@en 
     ] .
 
 :derek a prov:Person, prov:Agent, prov:Entity .
 :steve a prov:Person, prov:Agent, prov:Entity .
 
 :illustratonist a prov:Role .
-:stylist a prov:Role .
+:stylist        a prov:Role .
 
 :houseStyles a prov:Plan, prov:Entity .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedCommunication.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedCommunication.ttl	Mon May 14 21:54:31 2012 +0100
@@ -4,19 +4,21 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-:writing-celebrity-gossip a prov:Activity ;
-    prov:wasAttributedTo :journalist ;
-    prov:wasInformedBy :voicemail-interception ;
-    prov:qualifiedCommunication [
+:writing-celebrity-gossip 
+   a prov:Activity;
+   prov:wasAttributedTo :journalist;
+   prov:wasInformedBy   :voicemail-interception;
+   prov:qualifiedCommunication [
       a prov:Communication;
-      prov:activity :voicemail-interception ;
+      prov:activity :voicemail-interception;
       rdfs:comment """The journalist was informed by the private 
-investigator, but we don't know how or what he was told."""@en
+                      investigator, but we don't know how or what he was told."""@en;
    ] .
 
-:voicemail-interception a prov:Activity ;
-    prov:wasAttributedTo :private-investigator .
+:voicemail-interception 
+   a prov:Activity;
+   prov:wasAttributedTo :private-investigator;
+.
 
 :private-investigator a prov:Agent .
-
-:journalist a prov:Agent .
+:journalist           a prov:Agent .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedDerivation.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedDerivation.ttl	Mon May 14 21:54:31 2012 +0100
@@ -4,12 +4,11 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-:bar_chart   prov:wasDerivedFrom :aggregatedByRegions ;
-             prov:qualifiedDerivation [
-                   a prov:Derivation ;
-                   prov:hadGeneration :illustration ;	## more details about the activity underpinning the derivation
-		   		   prov:entity :aggregatedByRegions ;		   
-             ]
+:bar_chart
+   prov:wasDerivedFrom :aggregatedByRegions;
+   prov:qualifiedDerivation [
+      a prov:Derivation;
+      prov:entity :aggregatedByRegions;         
+      prov:hadGeneration :illustration; ## More details about the activity underpinning the derivation
+   ];
 .
-
-
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedInsertion.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedInsertion.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,7 +5,8 @@
 @prefix :     <http://example.com/> .
 
 :our-NEW-baseball-team-field-positions
-   a prov:Dictionary, :FieldPositions;
+   a prov:Dictionary, 
+         :FieldPositions;
    prov:derivedByInsertionFrom :our-old-baseball-team-field-positions;
    prov:qualifiedInsertion [ 
       a prov:Insertion;
@@ -21,7 +22,8 @@
 <http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .
 
 :our-old-baseball-team-field-positions
-   a prov:Dictionary, :FieldPositions;
+   a prov:Dictionary, 
+         :FieldPositions;
    prov:membership [ 
       a prov:Membership;
       prov:member [
@@ -33,8 +35,9 @@
          a prov:KeyValuePair;
          prov:key "pitcher"^^xsd:string;
          prov:value :carl;
-      ]
-   ] .
+      ];
+   ];
+.
 
 :george a prov:Entity .
 :carl   a prov:Entity . 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedInvalidation.ttl	Mon May 14 21:54:31 2012 +0100
@@ -0,0 +1,7 @@
+@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 prov: <http://www.w3.org/ns/prov#> .
+@prefix :     <http://example.com/> .
+
+# TODO
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedRemoval.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedRemoval.ttl	Mon May 14 21:54:31 2012 +0100
@@ -13,6 +13,6 @@
       a prov:Removal;
       prov:dictionary :d1;
       prov:removedKey "k1"^^xsd:string, 
-                      "k2"^^xsd:string 
+                      "k2"^^xsd:string;
    ];
 .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedRevision.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedRevision.ttl	Mon May 14 21:54:31 2012 +0100
@@ -4,13 +4,15 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-:draft2 a prov:Entity ;
-	prov:wasRevisionOf :e1 ;
-	prov:qualifiedRevision [
-		a prov:Revision ;
-                prov:wasApprovedBy :draftEditor ;
-		prov:entity :draft1
-	] .
+:draft2 
+   a prov:Entity;
+   prov:wasRevisionOf :draft1;
+   prov:qualifiedRevision [
+      a prov:Revision;
+      prov:entity :draft1
+   ];
+   prov:wasAssociatedWith :eddie;
+.
 
 :draft1 a prov:Entity .
-:draftEditor a prov:Person, prov:Agent, prov:Entity .
+:eddie  a prov:Person, prov:Agent, prov:Entity .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedSource.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedSource.ttl	Mon May 14 21:54:31 2012 +0100
@@ -1,15 +1,17 @@
-@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 prov: <http://www.w3.org/ns/prov#> .
-@prefix :     <http://example.com/> .
+@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 prov:    <http://www.w3.org/ns/prov#> .
+@prefix :        <http://example.com/> .
 
 :temperatureReading
-  a prov:Entity;
-  prov:hadOriginalSource :temperatureSensor;
-  prov:qualifiedSource [
-    a prov:Source;
-    :partOf :weatherForecastNetwork;
-    prov:atLocation :SmokyMountainTrail;  
+   a prov:Entity;
+   prov:hadOriginalSource :temperatureSensor;
+   prov:qualifiedSource [
+      a prov:Source;
+      prov:entity     :temperatureSensor;
+      prov:atLocation :SmokyMountainTrail;  
+      dcterms:isPartOf :weatherForecastNetwork;
   ];
 .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedStart.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedStart.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,14 +5,16 @@
 @prefix :     <http://example.com/> .
 
 # Start can be used to qualify wasStartedBy with time and location information
+
 :experiment
-	a prov:Activity ;
-	prov:wasStartedBy :researcher ;
-	prov:qualifiedStart [
-		a prov:Start;
-		prov:entity :researcher;
-		prov:atTime "2011-07-06T01:48:36Z"^^xsd:dateTime;
-		prov:atLocation :scienceLab003
-	].
+   a prov:Activity;
+   prov:wasStartedBy :researcher;
+   prov:qualifiedStart [
+      a prov:Start;
+      prov:entity    :researcher;
+      prov:atTime    "2011-07-06T01:48:36Z"^^xsd:dateTime;
+      prov:atLocation :scienceLab_003;
+   ];
+.
 
-:researcher a prov:Agent.
\ No newline at end of file
+:researcher a prov:Agent .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedStartByActivity.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedStartByActivity.ttl	Mon May 14 21:54:31 2012 +0100
@@ -6,20 +6,22 @@
 
 :filling-fuel
     a prov:Activity;
-    prov:startedAtTime        "2012-04-24T18:31:00Z"^^xsd:dateTime ;
-    prov:endedAtTime          "2012-04-24T18:33:10Z"^^xsd:dateTime ;
-    prov:wasAssociatedWith    :driver ;
-    prov:wasStartedByActivity :observing-low-fuel ;
+    prov:startedAtTime        "2012-04-24T18:31:00Z"^^xsd:dateTime;
+    prov:endedAtTime          "2012-04-24T18:33:10Z"^^xsd:dateTime;
+    prov:wasAssociatedWith    :driver;
+    prov:wasStartedByActivity :observing-low-fuel;
     prov:qualifiedStartByActivity [
-        a prov:StartByActivity ;
-        prov:activity :observing-low-fuel ;
+        a prov:StartByActivity;
+        prov:activity :observing-low-fuel;
         rdfs:comment """The driver noticed the low fuel light immediately, 
-but spent half an hour looking for a cheap petrol station."""@en 
-    ] .
+                        but spent half an hour looking for a cheap petrol station."""@en ;
+    ];
+.
 
 :observing-low-fuel
     a prov:Activity;
-    prov:wasAssociatedWith    :driver ;
-    prov:startedAtTime        "2012-04-24T17:45:00Z"^^xsd:dateTime .
+    prov:wasAssociatedWith    :driver;
+    prov:startedAtTime        "2012-04-24T17:45:00Z"^^xsd:dateTime;
+.
 
 :driver a prov:Person, prov:Agent .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedUsage.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedUsage.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,11 +5,13 @@
 @prefix :     <http://example.com/> .
 
 :newsPublication
-  a prov:Activity;
-  prov:used :TsunamiImage;
-  prov:qualifiedUsage [
-    a prov:Usage;
-    :hasCopyrightPermission :licensedUse;  
-    :hasOwner :Reuters;
-  ];
-.
\ No newline at end of file
+   a prov:Activity;
+   prov:used :tsunami_image;
+   prov:qualifiedUsage [
+      a prov:Usage;
+      :hasCopyrightPermission :licensedUse;  
+      :hasOwner               :reuters;
+   ];
+.
+
+:reuters a prov:Agent .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_removedKey.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_removedKey.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,13 +5,15 @@
 @prefix :     <http://example.com/> .
 
 :c2 
-   a prov:Dictionary, prov:Entity;
+   a prov:Dictionary, 
+     prov:Entity;
    prov:derivedByRemovalFrom :c1;
    prov:qualifiedRemoval [
-      a prov:Removal, prov:DictionaryInvolvement;
+      a prov:Removal, 
+        prov:DictionaryInvolvement;
       prov:dictionary :c1;
       prov:removedKey "k1"^^xsd:string, 
                        1337, 
-                       3.14 
+                       3.14;
    ];
 .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_specializationOf.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_specializationOf.ttl	Mon May 14 21:54:31 2012 +0100
@@ -4,30 +4,33 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-:london_forecast_0412 a  prov:Entity ;
-		      prov:wasAttributedTo :bbc ;
-		      prov:wasGeneratedBy [
-		          a   prov:Activity ;
-  			  prov:endedAtTime "2012-04-12T00:00:00-04:00"^^xsd:dateTime;
-		      ]
+:london_forecast_0412 
+   a prov:Entity;
+   prov:wasAttributedTo :bbc;
+   prov:wasGeneratedBy [
+      a prov:Activity;
+      prov:endedAtTime "2012-04-12T00:00:00-04:00"^^xsd:dateTime;
+   ];
 .
 
-
-:london_forecast_0413 a  prov:Entity ;
-                      prov:wasAttributedTo :bbc ;
-                      prov:wasGeneratedBy [
-                          a   prov:Activity ;
-                          prov:endedAtTime "2012-04-13T00:00:00-04:00"^^xsd:dateTime;
-                      ]
-.
-    
-
-:london_forecast a prov:Entity ;
-		 prov:wasAttributedTo :bbc ;
+:london_forecast_0413 
+   a prov:Entity;
+   prov:wasAttributedTo :bbc;
+   prov:wasGeneratedBy [
+      a prov:Activity;
+      prov:endedAtTime "2012-04-13T00:00:00-04:00"^^xsd:dateTime;
+   ];
 .
 
-### :london_forecast_0412 and :london_forecast_0413 are both specialization of the more general entity :london_forecast
+:london_forecast 
+   a prov:Entity;
+   prov:wasAttributedTo :bbc;
+.
 
-:london_forecast_0412  prov:alternateOf  :london_forecast_0413 ;
-		       prov:specializationOf  :london_forecast ;
+## :london_forecast_0412 and :london_forecast_0413 are both 
+## specialization of the more general entity :london_forecast
+
+:london_forecast_0412  
+   prov:alternateOf      :london_forecast_0413;
+   prov:specializationOf :london_forecast;
 .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_startedAtTime.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_startedAtTime.ttl	Mon May 14 21:54:31 2012 +0100
@@ -9,3 +9,5 @@
   prov:used :drosophilaSample;
   prov:startedAtTime "2012-04-25T01:30:25Z"^^xsd:dateTime;
 .
+
+:drosophilaSample a prov:Entity .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_tracedTo.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_tracedTo.ttl	Mon May 14 21:54:31 2012 +0100
@@ -1,13 +1,19 @@
-@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 prov: <http://www.w3.org/ns/prov#> .
+@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 prov:    <http://www.w3.org/ns/prov#> .
 @prefix dcterms: <http://purl.org/dc/elements/1.1/>.
-@prefix :     <http://example.com/> .
+@prefix :        <http://example.com/> .
 
-:newsArticle
-	a prov:Entity;
-	dcterms:title "Last presidents of the United States of America"^^xsd:string;
-	prov:tracedTo :president_obama.
-	
-:president_obama a prov:Entity, prov:Agent.
+# An up-to-date web page listing the presidents of the United States
+# is traced to all of those who have held the office.
+
+<http://en.wikipedia.org/wiki/List_of_Presidents_of_the_United_States>
+   a prov:Entity;
+   dcterms:title "List of Presidents of the United States"^^xsd:string;
+   prov:tracedTo <http://dbpedia.org/resource/Barack_Obama>;
+.
+
+<http://dbpedia.org/resource/Barack_Obama>
+   a prov:Entity, prov:Person;
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_used.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_used.ttl	Mon May 14 21:54:31 2012 +0100
@@ -7,7 +7,7 @@
 :sortActivity
    a prov:Activity;
    prov:atTime     "2011-07-16T01:52:02Z"^^xsd:dateTime;
-   prov:used	    :datasetA;
+   prov:used       :datasetA;
    prov:generated  :datasetB;
 .
 
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_value.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_value.ttl	Mon May 14 21:54:31 2012 +0100
@@ -9,8 +9,9 @@
 # The subject of a prov:value statement is inferred to be of type prov:KeyValuePair.
 
 []
-	a prov:KeyValuePair;
-	prov:key   "first-baseman"^^xsd:string ;
-	prov:value <http://dbpedia.org/resource/Jim_Thorpe> .
+   a prov:KeyValuePair;
+   prov:key   "first-baseman"^^xsd:string;
+   prov:value <http://dbpedia.org/resource/Jim_Thorpe>;
+.
 
-<http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .
\ No newline at end of file
+<http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasAssociatedWith.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasAssociatedWith.ttl	Mon May 14 21:54:31 2012 +0100
@@ -5,7 +5,8 @@
 @prefix :     <http://example.com/> .
 
 :illustrating
-    a prov:Activity ; 
-    prov:wasAssociatedWith :derek .
+   a prov:Activity; 
+   prov:wasAssociatedWith :derek;
+.
 
 :derek a prov:Person, prov:Agent, prov:Entity .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasAttributedTo.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasAttributedTo.ttl	Mon May 14 21:54:31 2012 +0100
@@ -2,8 +2,9 @@
 @prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
 @prefix owl:  <http://www.w3.org/2002/07/owl#> .
 @prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix ex:     <http://example.com/> .
+@prefix :     <http://example.com/> .
 
-ex:nationalRegionsList 
+:nationalRegionsList 
    a prov:Entity;
-   prov:wasAttributedTo ex:civil_action_group.
+   prov:wasAttributedTo ex:civil_action_group;
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasDerivedFrom.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasDerivedFrom.ttl	Mon May 14 21:54:31 2012 +0100
@@ -2,6 +2,6 @@
 @prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
 @prefix owl:  <http://www.w3.org/2002/07/owl#> .
 @prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix ex:     <http://example.com/> .
+@prefix :     <http://example.com/> .
 
-ex:bar_chart   prov:wasDerivedFrom ex:aggregatedByRegions.
+:bar_chart  prov:wasDerivedFrom ex:aggregatedByRegions .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasEndedBy.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasEndedBy.ttl	Mon May 14 21:54:31 2012 +0100
@@ -10,10 +10,10 @@
    prov:qualifiedEnd [
       a prov:End;
       prov:entity     :inconsistentResult;
-      prov:atTime     "2011-07-16T01:52:02Z"^^xsd:dateTime;
-      prov:atLocation :scienceLab003;
+      prov:atTime    "2011-07-16T01:52:02Z"^^xsd:dateTime;
+      prov:atLocation :scienceLab_003;
    ];
 .
 
-:inconsistentResult a prov:Entity.
-:scienceLab003 a prov:Location .
+:inconsistentResult a prov:Entity .
+:scienceLab_003     a prov:Location .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasGeneratedBy.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasGeneratedBy.ttl	Mon May 14 21:54:31 2012 +0100
@@ -2,10 +2,11 @@
 @prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
 @prefix owl:  <http://www.w3.org/2002/07/owl#> .
 @prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix :   <http://example.com/> .
+@prefix :     <http://example.com/> .
 
 :bar_chart
-   a prov:Entity ;
-   prov:wasGeneratedBy :illustrating .   
+   a prov:Entity;
+   prov:wasGeneratedBy :illustrating;
+.
 
 :illustrating a prov:Activity .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasInformedBy.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasInformedBy.ttl	Mon May 14 21:54:31 2012 +0100
@@ -4,8 +4,9 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-:writing-celebrity-gossip a prov:Activity ;
-    prov:wasInformedBy :voicemail-interception .
+:writing-celebrity-gossip 
+   a prov:Activity;
+   prov:wasInformedBy :voicemail-interception;
+.
 
 :voicemail-interception a prov:Activity .
-
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasInvalidatedBy.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasInvalidatedBy.ttl	Mon May 14 21:54:31 2012 +0100
@@ -9,7 +9,8 @@
    a prov:Entity, :Painting;
    rdfs:label "Le Peintre"@fr, "The Painter"@en;
    prov:wasAttributedTo <http://dbpedia.org/resource/Pablo_Picasso>;
-   prov:wasInvalidatedBy :Swissair_Flight_111_crash .
+   prov:wasInvalidatedBy :Swissair_Flight_111_crash;
+.
 
 <http://dbpedia.org/resource/Pablo_Picasso> 
    a prov:Agent;
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasQuotedFrom.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasQuotedFrom.ttl	Mon May 14 21:54:31 2012 +0100
@@ -6,6 +6,7 @@
 
 :bl-dagstuhl
    a prov:Entity;
+
    prov:value """During the workshop, it became clear to me that the consensus
 	based models (which are often graphical in nature) can not only be
 	formalized but also be directly connected to these database focused
@@ -13,8 +14,9 @@
 	This could imply that we could have nice way to trace provenance across
 	systems and through databases and be able to understand the
 	mathematical properties of this interconnection.""";
-prov:wasQuotedFrom
-<http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/>;
+
+   prov:wasQuotedFrom 
+      <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/>;
 .
 
 <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/> a prov:Entity .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasStartedBy.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasStartedBy.ttl	Mon May 14 21:54:31 2012 +0100
@@ -4,9 +4,11 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-# use prov:qualifiedStart to see when and where the activity was started
+# Use prov:qualifiedStart to see when and where the activity was started
+
 :experiment
-	a prov:Activity ;
-	prov:wasStartedBy :researcher.
+	a prov:Activity;
+	prov:wasStartedBy :researcher;
+.
 
-:researcher a prov:Agent.
+:researcher a prov:Agent .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasStartedByActivity.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasStartedByActivity.ttl	Mon May 14 21:54:31 2012 +0100
@@ -6,15 +6,16 @@
 
 :filling-fuel
     a prov:Activity;
-    prov:startedAtTime        "2012-04-24T18:21:00Z"^^xsd:dateTime ;
-    prov:endedAtTime          "2012-04-24T18:23:10Z"^^xsd:dateTime ;
-    prov:wasAssociatedWith    :driver ;
-    prov:wasStartedByActivity :observing-low-fuel .
+    prov:startedAtTime        "2012-04-24T18:21:00Z"^^xsd:dateTime;
+    prov:endedAtTime          "2012-04-24T18:23:10Z"^^xsd:dateTime;
+    prov:wasAssociatedWith    :driver;
+    prov:wasStartedByActivity :observing-low-fuel;
+.
 
 :observing-low-fuel
     a prov:Activity;
-    prov:wasAssociatedWith    :driver ;
-    prov:startedAtTime        "2012-04-24T17:45:00Z"^^xsd:dateTime .
+    prov:wasAssociatedWith    :driver;
+    prov:startedAtTime        "2012-04-24T17:45:00Z"^^xsd:dateTime;
+.
 
 :driver a prov:Person, prov:Agent .
-
--- a/examples/eg-26-provo-collections-narrative/rdf/membership.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-26-provo-collections-narrative/rdf/membership.ttl	Mon May 14 21:54:31 2012 +0100
@@ -1,6 +1,6 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix :    <http://example.org/> .
+@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
+@prefix :     <http://example.org/> .
 
 :e1 a prov:Entity .
 :e2 a prov:Entity .
--- a/examples/eg-26-provo-collections-narrative/rdf/removal.ttl	Mon May 14 21:54:09 2012 +0100
+++ b/examples/eg-26-provo-collections-narrative/rdf/removal.ttl	Mon May 14 21:54:31 2012 +0100
@@ -1,6 +1,6 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix :    <http://example.org/> .
+@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
+@prefix :     <http://example.org/> .
 
 :c2 a prov:Dictionary .
 
@@ -10,6 +10,6 @@
       a prov:Removal;
       prov:dictionary :c2;
       prov:removed    "k1"^^xsd:string, 
-                      "k3"^^xsd:string
+                      "k3"^^xsd:string;
    ];
 .
--- a/ontology/ProvenanceOntology.owl	Mon May 14 21:54:09 2012 +0100
+++ b/ontology/ProvenanceOntology.owl	Mon May 14 21:54:31 2012 +0100
@@ -181,9 +181,9 @@
         <prov:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-alternate</prov:prov-n>
         <prov:component>alternate</prov:component>
         <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-alternate</prov:prov-dm>
-        <prov:inverse>alternateOf</prov:inverse>
         <prov:definition xml:lang="en">An entity is alternate of another if they are both a specialization of some common entity. The common entity does not need to be identified.</prov:definition>
         <rdfs:comment xml:lang="en">An entity is alternate of another if they are both a specialization of some common entity. The common entity does not need to be identified.</rdfs:comment>
+        <prov:inverse>alternateOf</prov:inverse>
         <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
         <rdfs:domain rdf:resource="&prov;Entity"/>
         <rdfs:range rdf:resource="&prov;Entity"/>
@@ -384,34 +384,6 @@
     
 
 
-    <!-- http://www.w3.org/ns/prov#hadQuoted -->
-
-    <owl:ObjectProperty rdf:about="&prov;hadQuoted">
-        <prov:inverse>wasQuotedIn</prov:inverse>
-        <prov:category>qualified</prov:category>
-        <rdfs:comment xml:lang="en">The agent who attributed to the original entity.</rdfs:comment>
-        <prov:component>derivations</prov:component>
-        <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
-        <rdfs:range rdf:resource="&prov;Agent"/>
-        <rdfs:domain rdf:resource="&prov;Quotation"/>
-    </owl:ObjectProperty>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#hadQuoter -->
-
-    <owl:ObjectProperty rdf:about="&prov;hadQuoter">
-        <prov:category>qualified</prov:category>
-        <prov:inverse>wasQuotingIn</prov:inverse>
-        <prov:component>derivations</prov:component>
-        <rdfs:comment xml:lang="en">The agent who is doing the quoting.</rdfs:comment>
-        <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
-        <rdfs:range rdf:resource="&prov;Agent"/>
-        <rdfs:domain rdf:resource="&prov;Quotation"/>
-    </owl:ObjectProperty>
-    
-
-
     <!-- http://www.w3.org/ns/prov#hadRole -->
 
     <owl:ObjectProperty rdf:about="&prov;hadRole">
@@ -466,8 +438,8 @@
     <!-- http://www.w3.org/ns/prov#inserted -->
 
     <owl:ObjectProperty rdf:about="&prov;inserted">
+        <rdfs:comment xml:lang="en">An object property to refer to the prov:KeyValuePair inserted into a prov:Dictionary.</rdfs:comment>
         <prov:inverse>wasInsertedBy</prov:inverse>
-        <rdfs:comment xml:lang="en">An object property to refer to the prov:KeyValuePair inserted into a prov:Dictionary.</rdfs:comment>
         <prov:component>collections</prov:component>
         <prov:category>collections</prov:category>
         <rdfs:domain rdf:resource="&prov;Insertion"/>
@@ -561,10 +533,10 @@
 
     <owl:ObjectProperty rdf:about="&prov;qualifiedCommunication">
         <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
-        <rdfs:comment xml:lang="en">If this Activity prov:wasInformedBy Activity :a, then it can qualify how it was Inform[ed] using prov:qualifiedCommunication [ a prov:Communication;  prov:activity :a; :foo :bar ].</rdfs:comment>
         <prov:component>entities-activities</prov:component>
+        <rdfs:comment xml:lang="en">If this Activity prov:wasInformedBy Activity :a, then it can qualify how it was Inform[ed] using prov:qualifiedCommunication [ a prov:Communication;  prov:activity :a; :foo :bar ].</rdfs:comment>
+        <prov:category>qualified</prov:category>
         <prov:inverse>informedActivity</prov:inverse>
-        <prov:category>qualified</prov:category>
         <rdfs:domain rdf:resource="&prov;Activity"/>
         <rdfs:range rdf:resource="&prov;Communication"/>
         <prov:qualifiedForm rdf:resource="&prov;Communication"/>
@@ -608,8 +580,8 @@
         <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
         <rdfs:comment xml:lang="en">If this Activity prov:generated Entity :e, then it can qualify how it did performed the Generation using prov:qualifiedGeneration [ a prov:Generation;  prov:entity :e; :foo :bar ].</rdfs:comment>
         <prov:component>entities-activities</prov:component>
+        <prov:inverse>generatedEntity</prov:inverse>
         <prov:category>qualified</prov:category>
-        <prov:inverse>generatedEntity</prov:inverse>
         <rdfs:domain rdf:resource="&prov;Entity"/>
         <rdfs:range rdf:resource="&prov;Generation"/>
         <prov:unqualifiedForm rdf:resource="&prov;wasGeneratedBy"/>
@@ -649,8 +621,8 @@
 
     <owl:ObjectProperty rdf:about="&prov;qualifiedQuotation">
         <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
+        <prov:inverse>quotedByEntity</prov:inverse>
         <prov:category>qualified</prov:category>
-        <prov:inverse>quotedByEntity</prov:inverse>
         <rdfs:comment xml:lang="en">If this Entity prov:wasQuotedFrom Entity :e, then it can qualify how using prov:qualifiedQuotation [ a prov:Quotation;  prov:entity :e; :foo :bar ].</rdfs:comment>
         <prov:component>derivations</prov:component>
         <rdfs:domain rdf:resource="&prov;Entity"/>
@@ -695,8 +667,8 @@
         <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
         <rdfs:comment xml:lang="en">If this Entity prov:wasRevisionOf Entity :e, then it can qualify how it was  revised using prov:qualifiedRevision [ a prov:Revision;  prov:entity :e; :foo :bar ].</rdfs:comment>
         <prov:category>qualified</prov:category>
+        <prov:inverse>revisedEntity</prov:inverse>
         <prov:component>derivations</prov:component>
-        <prov:inverse>revisedEntity</prov:inverse>
         <rdfs:domain rdf:resource="&prov;Entity"/>
         <rdfs:range rdf:resource="&prov;Revision"/>
         <prov:unqualifiedForm rdf:resource="&prov;wasRevisionOf"/>
@@ -787,8 +759,8 @@
         <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-specialization</prov:prov-dm>
         <prov:definition>An entity is a specialization of another if they both refer to some common thing but the former is a more constrained entity than the former. The common entity does not need to be identified.</prov:definition>
         <prov:inverse>generalizationOf</prov:inverse>
+        <rdfs:comment xml:lang="en">An entity is a specialization of another if they both refer to some common thing but the former is a more constrained entity than the former. The common entity does not need to be identified.</rdfs:comment>
         <prov:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-specialization</prov:prov-n>
-        <rdfs:comment xml:lang="en">An entity is a specialization of another if they both refer to some common thing but the former is a more constrained entity than the former. The common entity does not need to be identified.</rdfs:comment>
         <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Specialization</prov:prov-dm-constraints>
         <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
         <rdfs:range rdf:resource="&prov;Entity"/>
@@ -847,34 +819,20 @@
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <rdfs:comment xml:lang="en">The value of a KeyValuePair.</rdfs:comment>
         <prov:inverse>valueOf</prov:inverse>
+        <prov:category>collections</prov:category>
         <prov:component>collections</prov:component>
-        <prov:category>collections</prov:category>
         <rdfs:range rdf:resource="&prov;Entity"/>
         <rdfs:domain rdf:resource="&prov;KeyValuePair"/>
     </owl:ObjectProperty>
     
 
 
-    <!-- http://www.w3.org/ns/prov#wasApprovedBy -->
-
-    <owl:ObjectProperty rdf:about="&prov;wasApprovedBy">
-        <prov:category>qualified</prov:category>
-        <rdfs:comment xml:lang="en">The agent who approved the revision.</rdfs:comment>
-        <prov:inverse xml:lang="en">approvedRevision</prov:inverse>
-        <prov:component>derivations</prov:component>
-        <prov:definition xml:lang="en">responsibility: an optional identifier (ag) for the agent who approved the newer entity as a variant of the older</prov:definition>
-        <rdfs:range rdf:resource="&prov;Agent"/>
-        <rdfs:domain rdf:resource="&prov;Revision"/>
-    </owl:ObjectProperty>
-    
-
-
     <!-- http://www.w3.org/ns/prov#wasAssociatedWith -->
 
     <owl:ObjectProperty rdf:about="&prov;wasAssociatedWith">
         <prov:component>agents-responsibility</prov:component>
+        <prov:inverse>wasAssociateFor</prov:inverse>
         <rdfs:comment xml:lang="en">An prov:Agent that had some (unspecified) responsibility for the occurrence of this prov:Activity.</rdfs:comment>
-        <prov:inverse>wasAssociateFor</prov:inverse>
         <prov:category>starting-point</prov:category>
         <rdfs:domain rdf:resource="&prov;Activity"/>
         <rdfs:range rdf:resource="&prov;Agent"/>
@@ -1250,8 +1208,8 @@
         <rdfs:label>Account</rdfs:label>
         <rdfs:subClassOf rdf:resource="&prov;Entity"/>
         <prov:definition rdf:datatype="&xsd;anyURI">An account is any mechanism by which a set of provenance descriptions can be bundled up and named.</prov:definition>
+        <rdfs:comment xml:lang="en">Note that there are kinds of accounts (e.g. handwritten letters, audio recordings, etc.) that are not expressed in PROV-O, but can be still be described by PROV-O.</rdfs:comment>
         <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#account-constraints</prov:prov-dm-constraints>
-        <rdfs:comment xml:lang="en">Note that there are kinds of accounts (e.g. handwritten letters, audio recordings, etc.) that are not expressed in PROV-O, but can be still be described by PROV-O.</rdfs:comment>
         <prov:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#account</prov:prov-n>
         <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#FurtherConsiderations</prov:prov-dm>
         <prov:category>expanded</prov:category>
@@ -1281,9 +1239,10 @@
     <owl:Class rdf:about="&prov;Activity">
         <rdfs:label>Activity</rdfs:label>
         <owl:disjointWith rdf:resource="&prov;Entity"/>
+        <owl:disjointWith rdf:resource="&prov;InstantaneousEvent"/>
         <prov:prov-dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#section-entity-activity</prov:prov-dm>
+        <prov:component>entities-activities</prov:component>
         <prov:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Activity</prov:prov-n>
-        <prov:component>entities-activities</prov:component>
         <rdfs:comment xml:lang="en">An activity is something that occurs over a period of time and acts upon or with entities. This action can take multiple forms: consuming, processing, transforming, modifying, relocating, using, generating, or being associated with entities. Activities that operate on digital entities may for example move, copy, or duplicate them.</rdfs:comment>
         <prov:category>starting-point</prov:category>
         <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Activity</prov:prov-dm-constraints>
@@ -1309,12 +1268,13 @@
 
     <owl:Class rdf:about="&prov;Agent">
         <rdfs:label>Agent</rdfs:label>
+        <owl:disjointWith rdf:resource="&prov;InstantaneousEvent"/>
         <prov:definition>An agent is a type of entity that bears some form of responsibility for an activity taking place.</prov:definition>
         <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Agent</prov:prov-dm-constraints>
         <prov:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Agent</prov:prov-n>
         <prov:category>starting-point</prov:category>
+        <rdfs:comment xml:lang="en">An agent is a type of entity that bears some form of responsibility for an activity taking place.</rdfs:comment>
         <prov:component>agents-responsibility</prov:component>
-        <rdfs:comment xml:lang="en">An agent is a type of entity that bears some form of responsibility for an activity taking place.</rdfs:comment>
         <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Agent</prov:prov-dm>
     </owl:Class>
     
@@ -1338,8 +1298,8 @@
         <rdfs:label>Association</rdfs:label>
         <rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
         <prov:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Association</prov:prov-n>
+        <prov:component>agents-responsibility</prov:component>
         <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-ActivityAssociation</prov:prov-dm>
-        <prov:component>agents-responsibility</prov:component>
         <prov:category>qualified</prov:category>
         <prov:definition>An activity association is an assignment of responsibility to an agent for an activity, indicating that the agent had a role in the activity. It further allows for a plan to be specified, which is the plan intended by the agent to achieve some goals in the context of this activity.</prov:definition>
         <rdfs:comment xml:lang="en">An instance of prov:Association provides additional descriptions about the binary prov:wasAssociatedWith relation from an prov:Activity to some prov:Agent that is responsible for it. For example, :baking prov:wasAssociatedWith :baker; prov:qualified [ a prov:Association; prov:agent :baker; :foo :bar ].</rdfs:comment>
@@ -1354,8 +1314,8 @@
     <owl:Class rdf:about="&prov;Attribution">
         <rdfs:label>Attribution</rdfs:label>
         <rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
+        <prov:definition>Attribution is the ascribing of an entity to an agent.</prov:definition>
         <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-attribution</prov:prov-dm>
-        <prov:definition>Attribution is the ascribing of an entity to an agent.</prov:definition>
         <prov:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-attribution</prov:prov-n>
         <prov:category>qualified</prov:category>
         <rdfs:comment xml:lang="en">An instance of prov:Attribution provides additional descriptions about the binary prov:wasAttributedTo relation from an prov:Entity to some prov:Agent that is responsible for it. For example, :cake prov:wasAttributedTo :baker; prov:qualified [ a prov:Attribution; prov:entity :baker; :foo :bar ].</rdfs:comment>
@@ -1376,8 +1336,8 @@
         <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Communication</prov:prov-dm-constraints>
         <prov:component>entities-activities</prov:component>
         <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-wasInformedBy</prov:prov-dm>
+        <prov:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-wasInformedBy</prov:prov-n>
         <prov:definition>Communication is the exchange of an entity by two activities, one activity using the entity generated by the other.</prov:definition>
-        <prov:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-wasInformedBy</prov:prov-n>
         <prov:unqualifiedForm rdf:resource="&prov;wasInformedBy"/>
     </owl:Class>
     
@@ -1424,8 +1384,8 @@
         <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection</prov:prov-dm>
         <prov:definition>A dictionary is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the dictionary.</prov:definition>
         <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection</prov:prov-dm-constraints>
+        <rdfs:comment xml:lang="en">A given dictionary forms a given structure for its members. A different structure (obtained either by insertion or removal of members) constitutes a different dictionary.</rdfs:comment>
         <prov:component>collections</prov:component>
-        <rdfs:comment xml:lang="en">A given dictionary forms a given structure for its members. A different structure (obtained either by insertion or removal of members) constitutes a different dictionary.</rdfs:comment>
         <prov:category>collections</prov:category>
     </owl:Class>
     
@@ -1476,6 +1436,7 @@
 
     <owl:Class rdf:about="&prov;Entity">
         <rdfs:label>Entity</rdfs:label>
+        <owl:disjointWith rdf:resource="&prov;InstantaneousEvent"/>
         <prov:prov-dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#section-entity-activity</prov:prov-dm>
         <prov:component>entities-activities</prov:component>
         <prov:definition xml:lang="en">An entity is a thing one wants to provide provenance for. For the purpose of this specification, things can be physical, digital, conceptual, or otherwise; things may be real or imaginary.</prov:definition>
@@ -1592,8 +1553,8 @@
         <rdfs:label>Location</rdfs:label>
         <prov:definition>A location can be an identifiable geographic place (ISO 19112), but it can also be a non-geographic place such as a directory, row, or column. As such, there are numerous ways in which location can be expressed, such as by a coordinate, address, landmark, and so forth.</prov:definition>
         <prov:prov-n></prov:prov-n>
+        <prov:category>expanded</prov:category>
         <prov:prov-dm-constraints></prov:prov-dm-constraints>
-        <prov:category>expanded</prov:category>
         <rdfs:comment xml:lang="en">A location can be an identifiable geographic place (ISO 19112), but it can also be a non-geographic place such as a directory, row, or column. As such, there are numerous ways in which location can be expressed, such as by a coordinate, address, landmark, and so forth.</rdfs:comment>
         <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-attribute-location</prov:prov-dm>
         <rdfs:seeAlso rdf:resource="&prov;hadLocation"/>
@@ -1621,8 +1582,8 @@
         <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-note</prov:prov-dm-constraints>
         <prov:definition>Attribute-value pairs occurring in notes are application specific.</prov:definition>
         <rdfs:comment xml:lang="en">Attribute-value pairs occurring in notes are application specific.</rdfs:comment>
+        <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-note</prov:prov-dm>
         <prov:editorialNote>When using RDF, &#39;application-specific properties&#39; directly describe the subject resource and do not require a prov:Note to distinguish them. When choosing how to model your application, note that prov:Note provides a level of indirection that is relatively unnatural in RDF when reflecting the purposes stated in PROV-DM. However, prov:Note may be effectively used in RDF for other purposes. Please also note that accounts are more appropriate mechanims for distinguishing &#39;who said what&#39;; the indirection imposed by prov:Note is a poorer mechanism to model provenance of provenance.</prov:editorialNote>
-        <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-note</prov:prov-dm>
         <prov:component>annotations</prov:component>
         <rdfs:seeAlso rdf:resource="&prov;hasAnnotation"/>
     </owl:Class>
@@ -1651,12 +1612,12 @@
         <rdfs:label>Person</rdfs:label>
         <rdfs:subClassOf rdf:resource="&prov;Agent"/>
         <prov:category>expanded</prov:category>
-        <rdfs:comment xml:lang="en">Agents of type Person are people.</rdfs:comment>
         <prov:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-types</prov:prov-n>
         <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Agent</prov:prov-dm>
+        <prov:component>agents-responsibility</prov:component>
         <prov:definition>Agents of type Person are people.</prov:definition>
-        <prov:component>agents-responsibility</prov:component>
         <prov:prov-dm-constraints></prov:prov-dm-constraints>
+        <rdfs:comment xml:lang="en">Agents of type Person are people.</rdfs:comment>
     </owl:Class>
     
 
@@ -1683,11 +1644,11 @@
         <rdfs:label>Quotation</rdfs:label>
         <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
         <prov:definition>A quotation is the repeat of (some or all of) an entity, such as text or image, by someone other than its original author.</prov:definition>
-        <prov:category>qualified</prov:category>
         <prov:component>derivations</prov:component>
+        <prov:category>qualified</prov:category>
         <rdfs:comment xml:lang="en">An instance of prov:Quotation provides additional descriptions about the binary prov:wasQuotedFrom relation from some prov:Entity to another prov:Entity. For example, :here_is_looking_at_you_kid prov:wasQuotedFrom :casablanca_script; prov:qualified [ a prov:Quotation; prov:entity :casablanca_script; :foo :bar ].</rdfs:comment>
+        <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-quotation</prov:prov-dm>
         <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-quotation</prov:prov-dm-constraints>
-        <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-quotation</prov:prov-dm>
         <prov:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-quotation</prov:prov-n>
         <prov:unqualifiedForm rdf:resource="&prov;wasQuotedFrom"/>
     </owl:Class>
@@ -1734,10 +1695,10 @@
         <rdfs:label>Revision</rdfs:label>
         <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
         <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Revision</prov:prov-dm-constraints>
-        <rdfs:comment xml:lang="en">An instance of prov:Revision provides additional descriptions about the binary prov:wasRevisionOf relation from some prov:Entity to another prov:Entity. For example, :draft_2 prov:wasRevisionOf :draft_1; prov:qualified [ a prov:Source; prov:entity :draft_1; :foo :bar ].</rdfs:comment>
         <prov:component>derivations</prov:component>
         <prov:category>qualified</prov:category>
         <prov:definition>A revision is a derivation that revises an entity into a revised version.</prov:definition>
+        <rdfs:comment xml:lang="en">An instance of prov:Revision provides additional descriptions about the binary prov:wasRevisionOf relation from some prov:Entity to another prov:Entity. For example, :draft_2 prov:wasRevisionOf :draft_1; prov:qualified [ a prov:Source; prov:entity :draft_1; :foo :bar ].</rdfs:comment>
         <prov:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Revision</prov:prov-n>
         <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Revision</prov:prov-dm>
         <prov:unqualifiedForm rdf:resource="&prov;wasRevisionOf"/>
@@ -1751,9 +1712,9 @@
         <rdfs:label>Role</rdfs:label>
         <prov:category>qualified</prov:category>
         <prov:prov-n></prov:prov-n>
+        <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-attribute-role</prov:prov-dm>
+        <prov:prov-dm-constraints></prov:prov-dm-constraints>
         <prov:definition>A Role is the function of an entity with respect to an activity, in the context of a usage, generation, association, start, and end.</prov:definition>
-        <prov:prov-dm-constraints></prov:prov-dm-constraints>
-        <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-attribute-role</prov:prov-dm>
         <rdfs:comment xml:lang="en">A Role is the function of an entity with respect to an activity, in the context of a usage, generation, association, start, and end.</rdfs:comment>
         <prov:component>agents-responsibility</prov:component>
         <rdfs:seeAlso rdf:resource="&prov;hadRole"/>
@@ -1801,10 +1762,10 @@
         <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
         <rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
         <prov:definition>An activity start event is the instantaneous event that marks the instant an activity starts.</prov:definition>
-        <prov:component>entities-activities</prov:component>
         <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#types-of-events</prov:prov-dm-constraints>
+        <prov:component>entities-activities</prov:component>
+        <rdfs:comment xml:lang="en">An instance of prov:Start provides additional descriptions about the binary prov:wasStartedBy relation from some started prov:Activity to an prov:Entity that started it. For example, :foot_race prov:wasStartedBy :bang; prov:qualified [ a prov:Usage; prov:entity :bang; :foo :bar; prov:atTime &#39;2012-03-09T08:05:08-05:00&#39;^^xsd:dateTime ].</rdfs:comment>
         <prov:category>qualified</prov:category>
-        <rdfs:comment xml:lang="en">An instance of prov:Start provides additional descriptions about the binary prov:wasStartedBy relation from some started prov:Activity to an prov:Entity that started it. For example, :foot_race prov:wasStartedBy :bang; prov:qualified [ a prov:Usage; prov:entity :bang; :foo :bar; prov:atTime &#39;2012-03-09T08:05:08-05:00&#39;^^xsd:dateTime ].</rdfs:comment>
         <prov:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Start</prov:prov-n>
         <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Start</prov:prov-dm-constraints>
         <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Start</prov:prov-dm>
@@ -1860,13 +1821,13 @@
         <prov:component>entities-activities</prov:component>
         <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#types-of-events</prov:prov-dm-constraints>
         <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Usage</prov:prov-dm>
+        <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Usage</prov:prov-dm-constraints>
         <rdfs:comment xml:lang="en">An instance of prov:Usage provides additional descriptions about the binary prov:used relation from some prov:Activity to an prov:Entity that it used. For example, :keynote prov:used :podium; prov:qualified [ a prov:Usage; prov:entity :podium; :foo :bar ].</rdfs:comment>
-        <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Usage</prov:prov-dm-constraints>
         <prov:unqualifiedForm rdf:resource="&prov;used"/>
     </owl:Class>
 </rdf:RDF>
 
 
 
-<!-- Generated by the OWL API (version 3.0.0.1451) http://owlapi.sourceforge.net -->
+<!-- Generated by the OWL API (version 3.1.0.20069) http://owlapi.sourceforge.net -->
 
--- a/ontology/prov-o-html-sections/description-expanded-terms.inc.html	Mon May 14 21:54:09 2012 +0100
+++ b/ontology/prov-o-html-sections/description-expanded-terms.inc.html	Mon May 14 21:54:31 2012 +0100
@@ -43,8 +43,7 @@
 		   
 		   <p>
 		   Agent <code>ex:derek</code>, acting again in behalf of the <code>ex:chartgenerators</code> organization, 
-		   publishes a post about his recent changes to the aggregated file (<code>ex:aggregatedByRegions</code>). He also provides the location for the crime file, so everyone knows the content he has been browsing, 
-		   and records the city where the publishing took place (Madrid). Since he is the one who started and ended the publishing activity (<code>ex:publicationActivity1123</code>), that information
+		   publishes a post about his recent changes to the aggregated file (<code>ex:aggregatedByRegions</code>). Since he is the one who started and ended the publishing activity (<code>ex:publicationActivity1123</code>), that information
 		   is recorded as well. The post produced by <code>ex:derek</code> (<code>ex:post9821</code>) includes a permanent link where the content of the latest version is shown
 		   (<code>ex:more-crime-happens-in-cities</code>) plus a snapshot of the content of the current version (<code>ex:postContent0</code>). Derek also adds additional metadata of the post, like the title.
 		   </p>