provo example turtle consistency tweaks
authorTim L <lebot@rpi.edu>
Mon, 14 May 2012 15:56:05 -0400
changeset 2802 704649955ad9
parent 2801 d92de2845a14
child 2803 adbc463cea68
provo example turtle consistency tweaks
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ActivityInvolvement.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_AgentInvolvement.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Association.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Communication.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_End.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_EntityInvolvement.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Involvement.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Plan.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Quotation.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Responsibility.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Revision.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Source.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Start.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_StartByActivity.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Usage.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_specializationOf.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_tracedTo.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasEndedBy.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasQuotedFrom.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasStartedBy.ttl
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ActivityInvolvement.ttl	Mon May 14 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ActivityInvolvement.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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_AgentInvolvement.ttl	Mon May 14 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_AgentInvolvement.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Association.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Communication.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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_End.ttl	Mon May 14 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_End.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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_EntityInvolvement.ttl	Mon May 14 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_EntityInvolvement.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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_Involvement.ttl	Mon May 14 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Involvement.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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_Plan.ttl	Mon May 14 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Plan.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Quotation.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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_Responsibility.ttl	Mon May 14 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Responsibility.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Revision.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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_Source.ttl	Mon May 14 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Source.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Start.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_StartByActivity.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Usage.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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_specializationOf.ttl	Mon May 14 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_specializationOf.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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_tracedTo.ttl	Mon May 14 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_tracedTo.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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_wasEndedBy.ttl	Mon May 14 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasEndedBy.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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_wasQuotedFrom.ttl	Mon May 14 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasQuotedFrom.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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 14:56:39 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasStartedBy.ttl	Mon May 14 15:56:05 2012 -0400
@@ -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 .