merge
authorTim L <lebot@rpi.edu>
Mon, 02 Jul 2012 21:31:57 -0400
changeset 3594 7b5046f35fea
parent 3593 35e7895e5df6 (current diff)
parent 3591 980553c5a66b (diff)
child 3595 5cc7f963e0f6
merge
ontology/ProvenanceOntologyFull.owl
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/check-examples.bash	Mon Jul 02 21:31:57 2012 -0400
@@ -0,0 +1,17 @@
+#!/bin/bash
+
+set -e
+
+# Check if cwm is installed
+cwm < /dev/null > /dev/null || {
+    echo "Try:
+    sudo apt-get install cwm
+or install from:
+    http://www.w3.org/2000/10/swap/doc/cwm.html" >&2 ; exit
+}
+
+# Check each file with cwm, echo filename if OK
+# cwm will output any errors to stderr otherwise
+for f in $(find rdf -name '*ttl') ; do 
+    cwm $f > /dev/null && echo $f
+done
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/merge-examples.bash	Mon Jul 02 21:31:57 2012 -0400
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+BASE="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/"
+
+set -e
+cp merged-header.ttl merged.ttl
+# Only parseables are included in merging
+./check-examples.bash 2>/dev/null | while read f ; do
+    echo "@base <${BASE}${f}> ." >> merged.ttl
+    cat $f >> merged.ttl
+done
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/merged-header.ttl	Mon Jul 02 21:31:57 2012 -0400
@@ -0,0 +1,10 @@
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] prov: <http://www.w3.org/ns/prov-o/> .
+
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/rdf/create/> .
+
+<merged.ttl>
+   a owl:Ontology;
+   owl:imports <http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceOntology.owl> .
+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/merged.ttl	Mon Jul 02 21:31:57 2012 -0400
@@ -0,0 +1,2846 @@
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] prov: <http://www.w3.org/ns/prov-o/> .
+
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/rdf/create/> .
+
+<merged.ttl>
+   a owl:Ontology;
+   owl:imports <http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceOntology.owl> .
+
+
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_DictionaryInvolvement.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:c1 a prov:Dictionary .
+
+:c2 
+   a prov:Dictionary, 
+     prov:Entity;
+   prov:derivedByRemovalFrom :c1;
+   prov:qualifiedRemoval [
+      a prov:Removal, prov:DictionaryInfluence;
+      prov:dictionary :c1;
+      prov:removedKey "k1"^^xsd:string;
+   ];
+. 
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Collection.ttl> .
[email protected] rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:     <http://www.w3.org/2001/XMLSchema#> .
[email protected] dcterms: <http://purl.org/dc/terms/> .
[email protected] owl:     <http://www.w3.org/2002/07/owl#> .
[email protected] prov:    <http://www.w3.org/ns/prov#> .
[email protected] :        <http://example.com/> .
+
+:todays-us-supreme-court
+   a prov:Collection, :RobertsCourt;
+
+   prov:qualifiedGeneration [
+      a prov:Generation;
+      dcterms:date "2012"^^xsd:gYear; # The generation is being qualified to be imprecise;
+   ];                                 # prov:generatedAtTime and prov:atTime specify exact instants in time.
+
+   prov:hadMember
+      <http://dbpedia.org/resource/John_Glover_Roberts,_Jr.>,
+      <http://dbpedia.org/resource/Antonin_Scalia>, 
+      <http://dbpedia.org/resource/Anthony_Kennedy>, 
+      <http://dbpedia.org/resource/Clarence_Thomas>, 
+      <http://dbpedia.org/resource/Ruth_Bader_Ginsburg>,
+      <http://dbpedia.org/resource/Stephen_Breyer>,     
+      <http://dbpedia.org/resource/Samuel_Alito>,      
+      <http://dbpedia.org/resource/Sonia_Sotomayor>,  
+      <http://dbpedia.org/resource/Elena_Kagan>;   
+
+   prov:wasDerivedFrom :the-first-us-supreme-court;
+
+   dcterms:description :copied-string;
+.
+
+:copied-string
+   a prov:Entity;
+   prov:value "2010–present: A. Scalia A. Kennedy C. Thomas R.B. Ginsburg S. Breyer S. Alito S. Sotomayor E. Kagan";
+   prov:wasQuotedFrom :page-by-composition;
+.
+
+:page-by-seat
+   a prov:Entity, :WikipediaPage;
+   prov:specializationOf <http://en.wikipedia.org/wiki/List_of_Justices_of_the_Supreme_Court_of_the_United_States_by_seat>;
+   prov:wasGeneratedAtTime "2011-08-31T12:51"^^xsd:dateTime;
+.
+
+:page-by-composition
+   a prov:Entity, :WikipediaPage;
+   prov:specializationOf <http://en.wikipedia.org/wiki/List_of_Justices_of_the_Supreme_Court_of_the_United_States_by_court_composition>;
+   prov:wasGeneratedAtTime "2012-05-16T14:33"^^xsd:dateTime;
+.
+
+<> 
+   a prov:Bundle;
+   prov:wasDerivedFrom  :page-by-composition,
+                        :page-by-seat;
+   prov:wasAttributedTo <http://tw.rpi.edu/instances/TimLebo>;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_endedAtTime.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:geneSequencing
+   a prov:Activity;
+   prov:startedAtTime "2012-04-25T01:30:00Z"^^xsd:dateTime;
+   prov:used              :drosophilaSample-84;
+   prov:wasAssociatedWith :lab-technician-GH-32;
+   prov:endedAtTime   "2012-04-25T03:40:00Z"^^xsd:dateTime;
+.
+
+:drosophilaSample-84  a prov:Entity .
+:lab-technician-GH-32 a prov:Agent .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_alternateOf.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <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_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_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;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Dictionary.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:studentRegister_2012
+   a prov:Dictionary, prov:Entity;
+   prov:derivedByInsertionFrom :studentRegister_2011;
+   :hasTotalStudents 45;
+   :wasCreatedBy    :bob;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Revision.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+: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 .
+
+:edward 
+   a prov:Person, prov:Agent, prov:Entity;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadPlan.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:illustrating
+   a prov:Activity; 
+   prov:wasAssociatedWith :derek, 
+                          :steve;
+   prov:qualifiedAssociation :steve-checking-style-guide;
+.
+
+:steve-checking-style-guide
+   a prov:Association;
+   prov:agent   :steve;
+   prov:hadRole :stylist;
+   prov:hadPlan :style-guide;
+   rdfs:comment "Steve followed the style guide"@en;
+.
+
+:style-guide
+   a prov:Plan, prov:Entity;
+   rdfs:comment "Use blue graphs for positive spin, red for negative"@en;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_key.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+# 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>;
+.
+
+<http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasAssociatedWith.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:illustrating
+   a prov:Activity; 
+   prov:wasAssociatedWith :derek;
+.
+
+:derek a prov:Person, prov:Agent, prov:Entity .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasAttributedTo.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:geneSequencing
+   a prov:Activity;
+   prov:startedAtTime "2012-04-25T01:30:00Z"^^xsd:dateTime;
+   prov:used              :drosophilaSample-84;
+   prov:wasAssociatedWith :lab-technician-GH-32;
+   prov:endedAtTime   "2012-04-25T03:40:00Z"^^xsd:dateTime;
+.
+
+:drosophilaSample-84  
+   a prov:Entity;
+   prov:wasAttributedTo :lab-technician-FE-56;
+.
+
+:lab-technician-GH-32 a prov:Agent .
+:lab-technician-FE-56 a prov:Agent .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Person.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] foaf: <http://xmlns.com/foaf/0.1/> .
[email protected] :     <http://example.com/> .
+
+<http://dbpedia.org/resource/Pablo_Picasso>
+   a prov:Person, prov:Agent;
+   foaf:depiction <http://upload.wikimedia.org/wikipedia/commons/9/98/Pablo_picasso_1.jpg>;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasApprovedBy.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:draft2 a prov:Entity ;
+	prov:wasRevisionOf :e1 ;
+	prov:qualifiedRevision [
+		a prov:Revision ;
+                prov:wasApprovedBy :draftEditor ;
+		prov:entity :draft1
+	] .
+
+:draft1 a prov:Entity .
+:draftEditor a prov:Person, prov:Agent, prov:Entity .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Quotation.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <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:hadQuoter <http://data.semanticweb.org/person/luc-moreau>;
+      prov:hadQuoted <http://data.semanticweb.org/person/paul-groth>;
+   ] .
+
+<http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/> 
+   a prov:Entity .
+
+<http://data.semanticweb.org/person/luc-moreau> a prov:Person, prov:Agent .
+<http://data.semanticweb.org/person/paul-groth> a prov:Person, prov:Agent .
+
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hasAnchor.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+# TODO
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_collection.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+# prov:collection references the previous collection 
+# entity in a prov:qualifiedInsertion|prov:qualifiedRemoval
+:collection-version-6
+	a prov:Dictionary;
+	prov:derivedByInsertionFrom :collection-version-5 ;
+	   prov:qualifiedInsertion [ 
+	      a prov:Insertion;
+	      prov:collection :collection-version-5 ;
+		  prov:inserted [ 
+	         a prov:KeyValuePair;
+	         prov:key   "k6"^^xsd:string ;
+	         prov:value :e6 ;
+	      ];
+	   ] .
+
+:collection-version-5 a prov:Dictionary .
+:e6 a prov:Entity .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_provenanceUriTemplate.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+# TODO
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Insertion.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:our-NEW-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:inserted [ 
+         a prov:KeyValuePair;
+         prov:pairKey   "first-baseman"^^xsd:string;
+         prov:pairValue <http://dbpedia.org/resource/Jim_Thorpe>;
+      ];
+   ];
+.
+
+<http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .
+
+:our-old-baseball-team-field-positions a prov:Dictionary .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedInfluence.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] my:   <http://example.com/ontology#> .
[email protected] :     <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 still be qualified
+# by reusing prov:Influence and one of its three subclasses 
+# (depending on the type of the influencing object):
+# AgentInfluence, EntityInfluence, and ActivityInfluence.
+
+:conductingSurgery_1
+   a prov:Activity;
+   prov:wasInfluencedBy :bob;  # This unqualified influence is unknown in PROV, this would be a subproperty of wasAssociatedWith
+   prov:qualifiedInfluence [   # Even though PROV systems do not understand :wasConductedBy, 
+      a prov:Influence;        # Inferred
+      prov:agent   :bob;       # The object of :wasConductedBy
+      prov:hadRole :surgeon;
+   ];
+.
+
+:bob       a prov:Agent .
+my:surgeon a prov:Role .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedRemoval.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:d1 a prov:Dictionary .
+
+:d2 
+   a prov:Dictionary, prov:Entity;
+   prov:derivedByRemovalFrom :d1;
+   prov:qualifiedRemoval [
+      a prov:Removal;
+      prov:dictionary :d1;
+      prov:removedKey "k1"^^xsd:string, 
+                      "k2"^^xsd:string;
+   ];
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Usage.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:sortActivity 
+   a prov:Activity;
+   prov:startedAtTime  "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 .
+
+## Expressing the above using starting-point terms
+## the role of :datasetA cannot be expressed
+
+:sortActivity
+   a prov:Activity;
+   prov:startedAtTime     "2011-07-16T01:52:02Z"^^xsd:dateTime;
+   prov:used       :datasetA;
+   prov:generated  :datasetB;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasStartedBy.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+# Use prov:qualifiedStart to see when and where the activity was started
+
+:experiment
+	a prov:Activity;
+	prov:wasStartedBy :researcher;
+.
+
+:researcher a prov:Agent .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Communication.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:writing-celebrity-gossip 
+   a prov:Activity;
+   prov:wasInformedBy          :voicemail-interception;
+   prov:qualifiedCommunication :informing-the-journalist;
+.
+
+: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;
+.
+[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_startedAtTime.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:geneSequencing
+   a prov:Activity;
+   prov:startedAtTime "2012-04-25T01:30:00Z"^^xsd:dateTime;
+   prov:used              :drosophilaSample-84;
+   prov:wasAssociatedWith :lab-technician-GH-32;
+   prov:endedAtTime   "2012-04-25T03:40:00Z"^^xsd:dateTime;
+.
+
+:drosophilaSample-84  a prov:Entity .
+:lab-technician-GH-32 a prov:Agent .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasQuotedFrom.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+: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
+	formalizations. I just needed to get over the differences in syntax.
+	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/>;
+.
+
+<http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/> 
+   a prov:Entity;
+.
+
+<> prov:wasDerivedFrom <http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#dfn-wasquotedfrom> .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_influencer.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:illustrationActivity 
+   a prov:Activity;
+   prov:qualifiedUsage         :usage_1;
+   prov:qualifiedAssociation   :association_1;
+   prov:qualifiedCommunication :communication_1;
+.
+
+:usage_1
+   a prov:Usage;
+   prov:entity     :aggregatedByRegions;
+   prov:influencer :aggregatedByRegions; # Inferred
+.
+
+:association_1
+   a prov:Association;
+   prov:agent      :derek;
+   prov:influencer :derek; # - - - - - - - Inferred
+.
+
+:communication_1
+   a prov:Communication;
+   prov:activity   :aggregationActivity;
+   prov:influencer :aggregationActivity; # Inferred
+.
+
+:aggregationActivity a prov:Activity .  
+:derek               a prov:Agent .
+:aggregatedByRegions a prov:Entity .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadMember.ttl> .
[email protected] rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:     <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:     <http://www.w3.org/2002/07/owl#> .
[email protected] dcterms: <http://purl.org/dc/terms/> .
[email protected] prov:    <http://www.w3.org/ns/prov#> .
[email protected] :        <http://example.com/> .
+
+:todays-us-supreme-court
+   a prov:Collection, :RobertsCourt;
+   dcterms:description [
+      a prov:Entity;
+      prov:value "2010–present: A. Scalia A. Kennedy C. Thomas R.B. Ginsburg S. Breyer S. Alito S. Sotomayor E. Kagan";
+      prov:wasQuotedFrom :page-by-composition;
+   ];
+   prov:qualifiedGeneration [
+      a prov:Generation;
+      dcterms:date "2012"^^xsd:gYear; # Since we need to be imprecise, we can't use prov:generatedAtTime or prov:atTime
+   ];
+
+   prov:wasDerivedFrom :the-first-us-supreme-court;
+
+   prov:hadMember
+      <http://dbpedia.org/resource/John_Glover_Roberts,_Jr.>,
+      <http://dbpedia.org/resource/Antonin_Scalia>, 
+      <http://dbpedia.org/resource/Anthony_Kennedy>, 
+      <http://dbpedia.org/resource/Clarence_Thomas>, 
+      <http://dbpedia.org/resource/Ruth_Bader_Ginsburg>,
+      <http://dbpedia.org/resource/Stephen_Breyer>,     
+      <http://dbpedia.org/resource/Samuel_Alito>,      
+      <http://dbpedia.org/resource/Sonia_Sotomayor>,  
+      <http://dbpedia.org/resource/Elena_Kagan>;   
+.
+
+<> 
+   a prov:Bundle;
+   prov:wasDerivedFrom  :page-by-composition,
+                        :page-by-seat;
+   prov:wasAttributedTo <http://tw.rpi.edu/instances/TimLebo>;
+.
+
+:page-by-seat
+   a prov:Entity, :WikipediaPage;
+   prov:specializationOf <http://en.wikipedia.org/wiki/List_of_Justices_of_the_Supreme_Court_of_the_United_States_by_seat>;
+   prov:wasGeneratedAtTime "2011-08-31T12:51"^^xsd:dateTime;
+.
+
+:page-by-composition
+   a prov:Entity, :WikipediaPage;
+   prov:specializationOf <http://en.wikipedia.org/wiki/List_of_Justices_of_the_Supreme_Court_of_the_United_States_by_court_composition>;
+   prov:wasGeneratedAtTime "2012-05-16T14:33"^^xsd:dateTime;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_actedOnBehalfOf.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] foaf: <http://xmlns.com/foaf/0.1/> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:derek
+   a prov:Agent;
+   foaf:givenName "Derek"^^xsd:string;
+   foaf:mbox      <mailto:[email protected]>;
+   prov:actedOnBehalfOf :chartgen; 
+.
+
+:chartgen 
+   a prov:Agent, prov:Organization;
+   foaf:name "Chart Generators, Inc.";
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_AgentInvolvement.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:illustrating
+    a prov:Activity; 
+    prov:wasAssociatedWith :derek;
+    prov:qualifiedAssociation [
+       a prov:Association, 
+         prov:AgentInfluence;   ## Instances of Generation, Invalidation, and Communication qualify
+       prov:agent   :derek;     ## the influence of an Agent (cited by prov:agent)
+       prov:hadRole :illustrationist
+    ];
+.
+
+:derek a prov:Person, prov:Agent, prov:Entity .
+
+:illustratonist a prov:Role .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hasProvenanceService.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+# TODO
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Location.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] sioc: <http://rdfs.org/sioc/ns#> .
[email protected] :     <http://example.com/> .
+
+# 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. 
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_pair.ttl> .
[email protected] rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:     <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:     <http://www.w3.org/2002/07/owl#> .
[email protected] dcterms: <http://purl.org/dc/terms/> .
[email protected] prov:    <http://www.w3.org/ns/prov#> .
[email protected] :        <http://example.com/> .
+
+:todays-us-supreme-court-as-dictionary
+   a prov:Dictionary, :RobertsCourt;
+   dcterms:description [
+      a prov:Entity;
+      prov:value "2010–present: A. Scalia A. Kennedy C. Thomas R.B. Ginsburg S. Breyer S. Alito S. Sotomayor E. Kagan";
+      prov:wasQuotedFrom :page-by-composition;
+   ];
+   prov:qualifiedGeneration [
+      a prov:Generation;
+      dcterms:date "2012"^^xsd:gYear; # Since we need to be imprecise, we can't use prov:generatedAtTime or prov:atTime
+   ];
+
+   prov:wasDerivedFrom :the-first-us-supreme-court;
+
+   prov:qualifiedMembership [ # We can qualify a KeyValuePair's membership in this Dictionary.
+      a prov:Membership;
+      prov:pair [            
+         a prov:KeyValuePair;
+         prov:pairKey   "chief";
+         prov:pairValue <http://dbpedia.org/resource/John_Glover_Roberts,_Jr.>;
+      ];
+      
+      prov:hadRole :chief-justice;     # Here is my little addition about Chief Roberts.
+   ];
+   prov:qualifiedMembership [ # We can also qualify many KeyValuePairs' memberships in this Dictionary.
+      a prov:Membership;
+
+      prov:hadRole :associate-justice; # Here is my little addition about the rest of the Chiefs.
+
+      prov:pair [ # The same property is used to point to one or many KeyValuePairs.
+         a prov:KeyValuePair;
+         prov:pairKey   "seat 9";
+         prov:pairValue <http://dbpedia.org/resource/Antonin_Scalia>;
+      ], [
+         a prov:KeyValuePair;
+         prov:pairKey   "seat 4";
+         prov:pairValue <http://dbpedia.org/resource/Anthony_Kennedy>;
+      ], [
+         a prov:KeyValuePair;
+         prov:pairKey   "seat 10";
+         prov:pairValue <http://dbpedia.org/resource/Clarence_Thomas>;
+      ], [
+         a prov:KeyValuePair;
+         prov:pairKey   "seat 6";
+         prov:pairValue <http://dbpedia.org/resource/Ruth_Bader_Ginsburg>;
+      ], [
+         a prov:KeyValuePair;
+         prov:pairKey   "seat 2";
+         prov:pairValue <http://dbpedia.org/resource/Stephen_Breyer>;
+      ], [
+         a prov:KeyValuePair;
+         prov:pairKey   "seat 8";
+         prov:pairValue <http://dbpedia.org/resource/Samuel_Alito>;
+      ], [
+         a prov:KeyValuePair;
+         prov:pairKey   "seat 1";
+         prov:pairValue <http://dbpedia.org/resource/Sonia_Sotomayor>;
+      ], [
+         a prov:KeyValuePair;
+         prov:pairKey   "seat 3";
+         prov:pairValue <http://dbpedia.org/resource/Elena_Kagan>;
+      ];
+   ];
+.
+
+
+:page-by-composition
+   a prov:Entity, :WikipediaPage;
+   prov:specializationOf <http://en.wikipedia.org/wiki/List_of_Justices_of_the_Supreme_Court_of_the_United_States_by_court_composition>;
+   prov:wasGeneratedAtTime "2012-05-16T14:33"^^xsd:dateTime;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadQuoted.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <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:hadQuoted <http://data.semanticweb.org/person/paul-groth>;
+   ] .
+
+<http://data.semanticweb.org/person/paul-groth> a prov:Person, prov:Agent .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_dictionary.ttl> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] :     <http://example.org/> .
+
+:e1 a prov:Entity .
+
+:c  a prov:EmptyDictionary .
+
+:c1 a prov:Dictionary;
+   prov:derivedByInsertionFrom :c;
+   prov:qualifiedInsertion [ 
+      a prov:Insertion;
+      prov:dictionary :c;
+      prov:inserted [ 
+         a prov:KeyValuePair;
+         prov:pairKey   "k1"^^xsd:string;
+         prov:pairValue :e1;
+      ];
+   ]; 
+. 
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedUsage.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:newsPublication
+   a prov:Activity;
+   prov:used :tsunami_image;
+   prov:qualifiedUsage [
+      a prov:Usage;
+      :hasCopyrightPermission :licensedUse;  
+      :hasOwner               :reuters;
+   ];
+.
+
+:reuters a prov:Agent .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedGeneration.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:bar_chart
+   a prov:Entity;
+   prov:wasGeneratedBy :illustrating;
+   prov:qualifiedGeneration [
+      a prov:Generation;
+      prov:activity :illustrating;
+      rdfs:comment "Ended up with bar chart as line chart looked ugly."@en;
+   ];
+.
+
+:illustrating a prov:Activity .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_CompleteCollection.ttl> .
[email protected] rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:     <http://www.w3.org/2001/XMLSchema#> .
[email protected] dcterms: <http://purl.org/dc/terms/> .
[email protected] owl:     <http://www.w3.org/2002/07/owl#> .
[email protected] prov:    <http://www.w3.org/ns/prov#> .
[email protected] :        <http://example.com/> .
+
+:the-first-us-supreme-court
+   a prov:Collection, prov:CompleteCollection, :JayCourt;
+   dcterms:description [
+      a prov:Entity;
+      prov:value "1789–1792: J. Rutledge Wm. Cushing J. Wilson J. Blair J. Iredell";
+      prov:wasQuotedFrom :page-by-composition;
+   ];
+   prov:qualifiedGeneration [
+      a prov:Generation;
+      dcterms:date "1789"^^xsd:gYear;
+   ];
+   prov:qualifiedInvalidation [
+      a prov:Invalidation;
+      dcterms:date "1792"^^xsd:gYear;
+   ];
+   prov:hadMember [
+      a prov:KeyValuePair;
+      prov:pairKey   "chief";
+      prov:pairValue <http://dbpedia.org/resource/John_Jay>;
+   ], [
+      a prov:KeyValuePair;
+      prov:pairKey   "seat 4";
+      prov:pairValue <http://dbpedia.org/resource/John_Rutledge>;
+   ], [
+      a prov:KeyValuePair;
+      prov:pairKey   "seat 2";
+      prov:pairValue <http://dbpedia.org/resource/William_Cushing>;
+   ], [
+      a prov:KeyValuePair;
+      prov:pairKey   "seat 1";
+      prov:pairValue <http://dbpedia.org/resource/James_Wilson>;
+   ], [
+      a prov:KeyValuePair;
+      prov:pairKey   "seat 3";
+      prov:pairValue <http://dbpedia.org/resource/John_Blair,_Jr.>;
+   ], [
+      a prov:KeyValuePair;
+      prov:pairKey   "seat 5";
+      prov:pairValue <http://dbpedia.org/resource/James_Iredell>;
+   ];
+.
+
+:page-by-composition
+   a prov:Entity, :WikipediaPage;
+   prov:specializationOf <http://en.wikipedia.org/wiki/List_of_Justices_of_the_Supreme_Court_of_the_United_States_by_court_composition>;
+   prov:wasGeneratedAtTime "2012-05-16T14:33"^^xsd:dateTime;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ProvenanceService.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+# TODO
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_removed.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:c2 
+   a prov:Dictionary, 
+     prov:Entity;
+   prov:derivedByRemovalFrom :c1;
+   prov:qualifiedRemoval [
+      a prov:Removal, 
+        prov:DictionaryInfluence;
+      prov:dictionary :c1;
+      prov:removed "k1"^^xsd:string, 
+                    1337, 
+                    3.14;
+   ];
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_StartByActivity.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <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;
+.
+
+:need-to-fill-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;
+.
+
+:observing-low-fuel
+    a prov:Activity;
+    prov:startedAtTime "2012-04-24T17:45:00Z"^^xsd:dateTime;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ActivityInvolvement.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:bar_chart 
+   a prov:Entity;
+   prov:wasGeneratedBy      :illustrating;
+   prov:qualifiedGeneration :making-bar-chart;
+. 
+
+:making-bar-chart
+   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 .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasEndedBy.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+: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 :scienceLab_003;
+   ];
+.
+
+:inconsistentResult a prov:Entity .
+:scienceLab_003     a prov:Location .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_CollectionInvolvement.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+### TODO
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedDelegation.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:traffic-stop
+    a prov:Activity;
+   prov:wasAssociatedWith :chauffeur, 
+                          :traffic-officer-34;
+   prov:qualifiedAssociation [
+      a prov:Association;
+      prov:agent   :chauffeur;
+      prov:hadRole :violator; # The chauffeur was the one violating traffic rules.
+   ];
+   prov:qualifiedAssociation [
+      a prov:Association;
+      prov:agent   :traffic-officer-34;
+      prov:hadRole :enforcer; # The officer was the one enforcing the traffic rules.
+   ];
+.
+
+:chauffeur       
+   a prov:Person;
+   prov:actedOnBehalfOf :celebrity-in-car;
+   prov:qualifiedDelegation [
+      a prov:Delegation;
+      prov:agent   :celebrity-in-car;
+      prov:hadRole :employer; # The celebrity employed the chauffeur during the enforcement.
+   ];
+.
+
+:traffic_officer_34 
+   a prov:Person;
+   prov:actedOnBehalfOf :city-of-Paris;
+   prov:qualifiedDelegation [
+      a prov:Delegation;
+      prov:agent   :city-of-Paris;
+      prov:hadRole :employer; # The city of Paris employed the officer during the enforcement.
+   ];
+.
+
+<> prov:wasDerivedFrom <http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#concept-communication> .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_EmptyCollection.ttl> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] :     <http://example.org/> .
+
+:e1 a prov:Entity .
+:e2 a prov:Entity .
+
+:c  a prov:Dictionary, prov:EmptyCollection .
+
+:c1 
+   a prov:Dictionary;
+   prov:derivedByInsertionFrom :c;
+   prov:qualifiedInsertion [ 
+      a prov:Insertion;
+      prov:dictionary :c;
+      prov:inserted [ 
+         a prov:KeyValuePair;
+         prov:pairKey   "k1"^^xsd:string;
+         prov:pairValue :e1;
+      ], [ 
+         a prov:KeyValuePair;
+         prov:pairKey   "k2"^^xsd:string;
+         prov:pairValue :e2;
+      ];
+   ]; 
+. 
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ActivityInfluence.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:bar_chart 
+   a prov:Entity;
+   prov:wasGeneratedBy      :illustrating;
+   prov:qualifiedGeneration :making-bar-chart;
+. 
+
+:making-bar-chart
+   a prov:Generation, 
+     prov:ActivityInfluence;    ## Instances of Generation, Invalidation, and Communication qualify
+   prov:activity :illustrating; ## the influence of an Activity (cited by prov:activity)
+   rdfs:comment "Ended up with bar chart as line chart looked ugly."@en;
+.
+
+:illustrating a prov:Activity .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_KeyValuePair.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:our-NEW-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:inserted [ 
+         a prov:KeyValuePair;
+         prov:pairKey   "first-baseman"^^xsd:string;
+         prov:pairValue <http://dbpedia.org/resource/Jim_Thorpe>;
+      ];
+   ];
+   prov:hadActivity :hiring_jim_thorpe;
+.
+
+<http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .
+
+:hiring_jim_thorpe a prov:Activity .
+
+:our-old-baseball-team-field-positions
+   a prov:Dictionary, 
+         :FieldPositions;
+   prov:membership [ 
+      a prov:Membership;
+      prov:member [
+         a prov:KeyValuePair;
+         prov:pairKey "first-baseman"^^xsd:string;
+         prov:pairValue :george;
+      ];
+      prov:member [
+         a prov:KeyValuePair;
+         prov:pairKey "pitcher"^^xsd:string;
+         prov:pairValue :carl;
+      ];
+   ];
+.
+
+:george a prov:Entity .
+:carl   a prov:Entity . 
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hasProvenance.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+# TODO
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_atTime.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:Timearticle20120430_publication
+   a prov:InstantaneousEvent;
+   prov:atTime "2012-04-30T20:40:40"^^xsd:dateTime;
+. 
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Organization.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] foaf: <http://xmlns.com/foaf/0.1/> .
[email protected] :     <http://example.com/> .
+
+:boogle 
+   a prov:Agent, prov:Organization;
+   foaf:name "Boogle";
+. 
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Invalidation.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] wgs:  <http://www.w3.org/2003/01/geo/wgs84_pos#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] foaf: <http://xmlns.com/foaf/0.1/> .
[email protected] :     <http://example.com/> .
+
+:the-Painter 
+   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:qualifiedInvalidation [
+      a prov:Invalidation;
+      prov:activity    :swissair_Flight_111_crash;
+      prov:atTime      "2012-09-02T01:31:00Z";
+      prov:atLocation  <http://purl.org/twc/location/Swissair-Flight-111-crash>;
+   ];
+. 
+
+<http://purl.org/twc/location/Swissair-Flight-111-crash>
+   a prov:Location;
+   wgs:lat   44.409167;
+   wgs:long -63.973611;
+.
+
+<http://dbpedia.org/resource/Pablo_Picasso> 
+   a prov:Agent;
+   foaf:depiction <http://upload.wikimedia.org/wikipedia/commons/9/98/Pablo_picasso_1.jpg>;
+.
+
+:swissair_Flight_111_crash 
+   a prov:Activity;
+   prov:used          <http://dbpedia.org/resource/Swissair_Flight_111>;
+   prov:startedAtTime "2012-09-02T01:31:00Z";
+   prov:atLocation    <http://dbpedia.org/resource/Atlantic_ocean>;
+.
+
+<> prov:wasDerivedFrom <http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Invalidation> .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedEnd.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+## The end of the experiment might have been triggered by this inconsistent result
+
+:experiment 
+   a prov:Acticity;
+   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.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_invalidatedAtTime.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:the-Painter 
+   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";
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadUsage.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:digestedProteinSample1
+   a prov:Entity;
+   prov:wasDerivedFrom :proteinSample;
+   prov:qualifiedDerivation [
+      a prov:Derivation;
+      prov:hadUsage [
+         a prov:Usage;
+         :treatmentEnzyme :Trypsin;
+      ];
+   ];
+.
+
+:proteinSample a prov:Entity .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_activity.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:making-bar-chart
+   a prov:Generation, 
+     prov:ActivityInfluence;
+   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;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadGeneration.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+: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;
+.
+
+## An alternative way to express some of the above information
+
+:bar_chart   
+   prov:wasDerivedFrom :aggregatedByRegions;
+   prov:wasGeneratedBy :illustrationActivity;
+.
+
+:illustrationActivity   
+   a prov:Activity;
+   prov:endedAtTime "2012-04-03T00:00:01Z"^^xsd:dateTime;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_derivedByInsertionFrom.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+
+:e1 a prov:Entity .
+:e2 a prov:Entity .
+
+:c  a prov:EmptyDictionary .
+
+:c1 a prov:Dictionary;
+   prov:derivedByInsertionFrom :c;
+   prov:qualifiedInsertion [ 
+      a prov:Insertion;
+      prov:dictionary :c;
+      prov:inserted [ 
+         a prov:KeyValuePair;
+         prov:pairKey   "k1"^^xsd:string;
+         prov:pairValue :e1;
+      ], [ 
+         a prov:KeyValuePair;
+         prov:pairKey   "k2"^^xsd:string;
+         prov:pairValue :e2;
+      ];
+   ]; 
+. @base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasInfluencedBy.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:illustrationActivity 
+   a prov:Activity;
+   prov:used              :aggregatedByRegions;
+   prov:wasAssociatedWith :derek;
+   prov:wasInformedBy     :aggregationActivity;
+.
+
+:illustrationActivity 
+   a prov:Activity;
+   prov:wasInfluencedBy :aggregatedByRegions, # prov:wasInfluencedBy is a superproperty of
+                        :derek,               # many of the direct binary
+                        :aggregationActivity; # PROV-O properties.
+.
+
+:aggregationActivity a prov:Activity .  
+:derek               a prov:Agent .
+:aggregatedByRegions a prov:Entity .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedSource.ttl> .
[email protected] rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:     <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:     <http://www.w3.org/2002/07/owl#> .
[email protected] dcterms: <http://purl.org/dc/terms/> .
[email protected] prov:    <http://www.w3.org/ns/prov#> .
[email protected] :        <http://example.com/> .
+
+:temperatureDisplay
+   a prov:Entity;
+   prov:hadOriginalSource :sensorReading20120510;
+   prov:qualifiedSource [
+      a prov:Source;
+      prov:entity         :sensorReading20120510;
+   ];
+.
+
+:sensorReading20120510 
+   a prov:Entity;
+   prov:wasGeneratedBy :temperatureSensor;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Start.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <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 :scienceLab_003;
+   ];
+.
+
+:researcher a prov:Agent .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_specializationOf.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <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_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_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;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_used.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:sortActivity
+   a prov:Activity;
+   prov:atTime     "2011-07-16T01:52:02Z"^^xsd:dateTime;
+   prov:used       :datasetA;
+   prov:generated  :datasetB;
+.
+
+:datasetA a prov:Entity.
+:datasetB a prov:Entity.
+
+# See qualified Usage for example on how the role of :datasetA can be described for this Activity
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadActivity.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+# The activity that which used, generated, invalidated or was responsible for the entity.
+# 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
+   ];
+.
+
+:aggregatedByRegions a prov:Entity .
+:make_bar_chart      a prov:Activity .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_value.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:copied-string
+   a prov:Entity;
+   prov:value 
+      "2010–present: A. Scalia A. Kennedy C. Thomas R.B. Ginsburg S. Breyer S. Alito S. Sotomayor E. Kagan";
+   prov:wasQuotedFrom 
+      <http://en.wikipedia.org/wiki/List_of_Justices_of_the_Supreme_Court_of_the_United_States_by_court_composition>;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedAttribution.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+## When the role of the agent is not known or does not matter:
+
+:nationalRegionsList 
+   a prov:Entity;
+   prov:wasAttributedTo :civil_action_group;
+.
+
+:civil_action_group a prov:Agent .
+
+## If we want to express the role of the agent:
+
+:nationalRegionsList 
+   a prov:Entity;
+   prov:qualifedAttribution [
+      a prov:Attribution;
+      prov:agent   :civil_action_group;
+      prov:hadRole :owner;
+   ]
+.
+
+:owner a prov:Role .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasDerivedFrom.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected]efix prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:bar_chart prov:wasDerivedFrom :aggregatedByRegions .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasStartedByActivity.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+: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;
+.
+
+:observing-low-fuel
+    a prov:Activity;
+    prov:wasAssociatedWith    :driver;
+    prov:startedAtTime        "2012-04-24T17:45:00Z"^^xsd:dateTime;
+.
+
+:driver a prov:Person, prov:Agent .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_inserted.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:our-NEW-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:inserted [ 
+         a prov:KeyValuePair;
+         prov:pairKey   "first-baseman"^^xsd:string;
+         prov:pairValue <http://dbpedia.org/resource/Jim_Thorpe>;
+      ];
+   ];
+.
+
+<http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .
+
+:our-old-baseball-team-field-positions a prov:Dictionary .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_invalidated.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] foaf: <http://xmlns.com/foaf/0.1/> .
[email protected] :     <http://example.com/> .
+
+:Swissair_Flight_111_crash 
+   a prov:Activity;
+   prov:used        <http://dbpedia.org/resource/Swissair_Flight_111>;
+   prov:invalidated :the-Painter;
+.
+
+:the-Painter 
+   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;   # Inferred from prov:invalidated
+.
+
+<http://dbpedia.org/resource/Pablo_Picasso> 
+   a prov:Agent;
+   foaf:depiction <http://upload.wikimedia.org/wikipedia/commons/9/98/Pablo_picasso_1.jpg>;
+.
+
+<> prov:wasDerivedFrom <http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#dfn-wasinvalidatedby> .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadQuoter.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <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:hadQuoter <http://data.semanticweb.org/person/luc-moreau>;
+   ] .
+
+<http://data.semanticweb.org/person/luc-moreau> a prov:Person, prov:Agent .
+
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Association.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:illustrating
+    a prov:Activity; 
+    prov:wasAssociatedWith :derek, 
+                           :steve;
+    prov:qualifiedAssociation [
+        a prov:Association;
+        prov:agent   :derek;
+        prov:hadRole :illustrationist;
+    ];
+    prov:qualifiedAssociation [
+        a prov:Association;
+        prov:agent   :steve;
+        prov:hadRole :stylist;
+        prov:hadPlan :style-guide;
+        rdfs:comment "Steve helped Derek conform with the publisher's style guide."@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 .
+
+:style-guide a prov:Plan, prov:Entity .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_membership.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:e1 a prov:Entity .
+:e2 a 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
+      ], [ 
+         a prov:KeyValuePair;
+         prov:key   "k2"^^xsd:string;
+         prov:value :e2
+      ];
+   ];
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Entity.ttl> .
[email protected] rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:     <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:     <http://www.w3.org/2002/07/owl#> .
[email protected] dcterms: <http://purl.org/dc/terms/> .
[email protected] prov:    <http://www.w3.org/ns/prov#> .
[email protected] :        <http://example.com/> .
+
+:bar_chart 
+   a prov:Entity;
+   dcterms:title "Aggregated statistics from the crime file"^^xsd:string;
+   prov:wasAttributedTo :derek;
+.
+
+:derek a prov:Agent .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_pairValue.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:baseball-player-fielding-assignment
+   a prov:KeyValuePair;
+   prov:pairKey   "first-baseman"^^xsd:string;
+   prov:pairValue <http://dbpedia.org/resource/Jim_Thorpe>;
+.         
+
+<http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .
+
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_SoftwareAgent.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+# 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;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasRevisionOf.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] sioc: <http://rdfs.org/sioc/ns#> .
[email protected] :     <http://example.com/> .
+
+:post9821v1
+   a prov:Entity, sioc:Post;
+   prov:wasRevisionOf :post9821;
+   rdfs:comment ":post9821v1 is a post, which is a revision of the original post :post9821.";
+.    
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Membership.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+
+:e1 a prov:Entity .
+:e2 a 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:pairKey   "k1"^^xsd:string;
+         prov:pairValue :e1;
+      ], [ 
+         a prov:KeyValuePair;
+         prov:pairKey   "k2"^^xsd:string;
+         prov:pairValue :e2;
+      ];
+   ];
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hasAnnotation.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:post112 
+   a prov:Entity;
+   prov:hasAnnotation :myNote;
+.
+   
+:myNote 
+   a prov:Note;
+   :reputation "excellent";
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Influence.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] my:   <http://example.com/ontology#> .
[email protected] :     <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 still be qualified
+# by reusing prov:Influence and one of its three subclasses 
+# (depending on the type of influencer):
+# AgentInfluence, EntityInfluence, and ActivityInfluence.
+
+my:wasConductedBy rdfs:subPropertyOf prov:wasAssociatedWith .
+
+:conductingSurgery_1
+   a prov:Activity;
+   my:wasConductedBy :bob;     # This unqualified influence is unknown in PROV, but would be a subproperty of wasAssociatedWith.
+   prov:qualifiedAssociation [ # Even though PROV systems do not understand my:wasConductedBy, 
+      a prov:Association,      # they can recognize that the unknown relation is being qualified with a prov:hadRole.
+        prov:AgentInfluence,   # Inferred
+        prov:Influence;        # Inferred
+      prov:agent   :bob;       # The object of my:wasConductedBy
+      prov:hadRole :surgeon;
+   ];
+.
+
+:bob       a prov:Agent .
+my:surgeon a prov:Role .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedRevision.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:draft2 
+   a prov:Entity;
+   prov:wasRevisionOf :draft1;
+   prov:qualifiedRevision [
+      a prov:Revision;
+      prov:entity :draft1
+   ];
+   prov:wasAssociatedWith :eddie;
+.
+
+:draft1 a prov:Entity .
+:eddie  a prov:Person, prov:Agent, prov:Entity .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_InstantaneousEvent.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] bbc:  <http://www.bbc.co.uk/> .
[email protected] :     <http://example.com/> .
+
+:bbcNews2012-04-03 
+   a prov:Entity, :DailyNews;
+   rdfs:comment """The BBC news home page on 2012-04-03 contained a reference 
+                 to a given news item, but the BBC news home page on the next day did not.""";
+
+   prov:qualifiedGeneration [
+      a prov:Generation, prov:InstantaneousEvent;
+      prov:atTime "2012-04-03T00:00:01Z"^^xsd:dateTime;
+   ];
+   prov:qualifiedInvalidation [
+      a prov:Invalidation, prov:InstantaneousEvent;
+      prov:atTime "2012-04-03T23:59:59Z"^^xsd:dateTime;
+   ];
+.
+
+<> prov:wasDerivedFrom <http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#dfn-wasinvalidatedby> .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_influenced.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] w3:   <http://example.com/w3/> .
[email protected] tr:   <http://example.com/tech-report/> .
[email protected] :     <http://example.com/> .
+
+# prov:influenced is a top-level property that links any
+# Entity, Activity, or Agent to any other 
+# Entity, Activity, or Agent that it had an effect upon.
+
+w3:Consortium 
+   a prov:Agent;
+   prov:influenced tr:WD-prov-dm-20111215;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_member.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:our-old-baseball-team-field-positions
+   a prov:Dictionary, 
+         :FieldPositions;
+   prov:membership [ 
+      a prov:Membership;
+      prov:member [
+         a prov:KeyValuePair;
+         prov:key "first-baseman"^^xsd:string;
+         prov:value :george;
+      ];
+      prov:member [
+         a prov:KeyValuePair;
+         prov:key "pitcher"^^xsd:string;
+         prov:value :carl;
+      ]
+   ];
+.
+
+:george a prov:Entity .
+:carl   a prov:Entity . 
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasInformedBy.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:writing-celebrity-gossip 
+   a prov:Activity;
+   prov:wasInformedBy :voicemail-interception;
+.
+
+:voicemail-interception a prov:Activity .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_generated.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:proteinDigestion
+   a prov:Activity;
+   prov:generated :peptideSample1;
+.
+
+:peptideSample1 a prov:Entity .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Plan.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:illustrating 
+   a prov:Activity;
+   prov:qualifiedAssociation :steve-checking-style-guide;
+.
+
+:steve-checking-style-guide
+   a prov:Association;
+   prov:agent   :steve;
+   prov:hadPlan :style-guide;
+   rdfs:comment "Steve followed the publisher's style guide"@en;
+. 
+
+:style-guide
+   a prov:Plan, prov:Entity;
+   rdfs:comment "Use blue graphs for positive spin, red for negative"@en;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_CompleteMembership.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:e1 a prov:Entity .
+:e2 a prov:Entity .
+
+:c1 a prov:Dictionary, prov:Entity;
+   prov:membership [ 
+      a prov:CompleteMembership, prov:Membership;
+      # These are the members, and all the members of c1
+      prov:member [ 
+         a prov:KeyValuePair;
+         prov:key   "k1"^^xsd:string;
+         prov:value :e1;
+      ], [ 
+         a prov:KeyValuePair;
+         prov:key   "k2"^^xsd:string;
+         prov:value :e2;
+      ]
+   ] .
+
+:c2 
+   a prov:Dictionary, prov:Entity;
+   prov:derivedByRemovalFrom :c1;
+   prov:qualifiedRemoval [
+      a prov:Removal;
+      prov:collection :c1;
+      prov:removedKey "k1"^^xsd:string, 
+                      "k2"^^xsd:string;
+   ];
+.
+
+## As membership on :c1 is complete, we can infer:
+#
+# :c2 a prov:EmptyDictionary;
+#     prov:membership [ 
+#        a prov:CompleteMembership 
+#     ] . 
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedInsertion.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:our-NEW-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:inserted [ 
+         a prov:KeyValuePair;
+         prov:pairKey   "first-baseman"^^xsd:string;
+         prov:pairValue <http://dbpedia.org/resource/Jim_Thorpe>;
+      ];
+   ];
+.
+
+<http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .
+
+:our-old-baseball-team-field-positions
+   a prov:Dictionary, 
+         :FieldPositions;
+   prov:membership [ 
+      a prov:Membership;
+      prov:member [
+         a prov:KeyValuePair;
+         prov:pairKey "first-baseman"^^xsd:string;
+         prov:pairValue :george;
+      ];
+      prov:member [
+         a prov:KeyValuePair;
+         prov:pairKey "pitcher"^^xsd:string;
+         prov:pairValue :carl;
+      ];
+   ];
+.
+
+:george a prov:Entity .
+:carl   a prov:Entity . 
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Agent.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] foaf: <http://xmlns.com/foaf/0.1/> .
[email protected] :     <http://example.com/> .
+
+:derek
+   a prov:Agent, prov:Person;
+   foaf:givenName      "Derek"^^xsd:string;
+   foaf:mbox           <mailto:[email protected]>;
+   foaf:homePage       <http://dereck.example.com>;
+   prov:actedOnBehalfOf :chartgen;
+.
+
+:chartgen 
+   a prov:Agent, prov:Organization;
+   foaf:name "Chart Generators, Inc.";
+. 
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedInvalidation.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:the-Painter 
+   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:qualifiedInvalidation [
+      a prov:Invalidation;
+      prov:activity    :swissair_Flight_111_crash;
+      prov:atTime      "2012-09-02T01:31:00Z";
+      prov:atLocation  <http://purl.org/twc/location/Swissair-Flight-111-crash>;
+   ];
+. 
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedDerivation.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:bar_chart
+   prov:wasDerivedFrom :aggregatedByRegions;
+   prov:qualifiedDerivation [
+      a prov:Derivation;
+      prov:entity :aggregatedByRegions;         
+      prov:hadGeneration :illustration; ## More details about the activity underpinning the derivation
+   ];
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Activity.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:graduation
+   a prov:Activity, :Graduation;
+   prov:startedAtTime "2012-04-15T13:00:00-04:00"^^xsd:dateTime;
+   prov:used          :ms_smith;
+   prov:generated     :doctor_smith;
+   prov:endedAtTime   "2012-04-15T14:30:00-04:00"^^xsd:dateTime;
+.
+:ms_smith     a prov:Entity .
+:doctor_smith a prov:Entity .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedStart.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <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 :scienceLab_003;
+   ];
+.
+
+:researcher a prov:Agent .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Source.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:myPost 
+   a prov:Entity;
+   prov:hadOriginalSource :donQuixote;
+   prov:qualifiedSource [
+      a prov:Source;
+      prov:entity :donQuixote;
+      :confidenceValue "6"^^xsd:integer;
+      rdfs:comment """Not sure if Don Quixote was the original source, 
+                      so asserting a confidence value of 6 out of 10.""";
+   ];
+.
+
+:donQuixote a prov:Entity.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedQuotation.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] my:   <http://example.com/vocab/my#> .
[email protected] :     <http://example.com/> .
+
+: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
+	formalizations. I just needed to get over the differences in syntax.
+	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:qualifiedQuotation [
+      a prov:Quotation;
+      prov:entity 
+        <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop>;
+      my:hadQuoter <http://data.semanticweb.org/person/luc-moreau>;
+   ];
+.
+
+
+<http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop> 
+   a prov:Entity;
+   prov:wasAttributedTo <http://data.semanticweb.org/person/paul-groth>;
+.
+
+<http://data.semanticweb.org/person/luc-moreau> a prov:Person, prov:Agent .
+<http://data.semanticweb.org/person/paul-groth> a prov:Person, prov:Agent .
+
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_entity.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <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 .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Removal.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:c1 a prov:Dictionary .
+
+:c2 
+   a prov:Dictionary, 
+     prov:Entity;
+   prov:derivedByRemovalFrom :c1;
+   prov:qualifiedRemoval [
+      a prov:Removal, prov:DictionaryInfluence;
+      prov:dictionary :c1;
+      prov:removedKey "k1"^^xsd:string, 
+                      "k2"^^xsd:string;
+   ];
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_atLocation.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] sioc: <http://rdfs.org/sioc/ns#> .
[email protected] :     <http://example.com/> .
+
+# 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 .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadRole.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:divideActivity 
+   a prov:Activity;   
+
+   prov:used         :variableA;
+   prov:qualifiedUsage [
+      a prov:Usage;
+      prov:entity    :variableA;
+      prov:hadRole   :dividend;          
+   ];
+   
+   prov:used         :variableB;
+   prov:qualifiedUsage [
+      a prov:Usage;
+      prov:entity    :variableB;
+      prov:hadRole   :divisor;          
+   ];
+.
+   
+:variableA a prov:Entity .
+:variableB a prov:Entity .
+
+:dividend a prov:Role .
+:divisor  a prov:Role .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedCommunication.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:writing-celebrity-gossip 
+   a prov:Activity;
+   prov:wasAttributedTo :journalist;
+   prov:wasInformedBy   :voicemail-interception;
+   prov:qualifiedCommunication [
+      a prov:Communication;
+      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;
+   ];
+.
+
+:voicemail-interception 
+   a prov:Activity;
+   prov:wasAttributedTo :private-investigator;
+.
+
+:private-investigator a prov:Agent .
+:journalist           a prov:Agent .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedStartByActivity.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <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:wasAssociatedWith    :driver;
+    prov:wasStartedByActivity :observing-low-fuel;
+    prov:qualifiedStartByActivity [
+        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 ;
+    ];
+.
+
+:observing-low-fuel
+    a prov:Activity;
+    prov:wasAssociatedWith    :driver;
+    prov:startedAtTime        "2012-04-24T17:45:00Z"^^xsd:dateTime;
+.
+
+:driver a prov:Person, prov:Agent .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_End.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <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 :scienceLab_003;
+   ];
+.
+   
+:inconsistentResult a prov:Entity .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_derivedByRemovalFrom.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:c1 a prov:Dictionary .
+
+:c2 
+   a prov:Dictionary, prov:Entity;
+   prov:derivedByRemovalFrom :c1;
+   prov:qualifiedRemoval [
+      a prov:Removal, prov:DictionaryInfluence;
+      prov:dictionary :c1;
+      prov:removedKey "k1"^^xsd:string, 
+                      "k2"^^xsd:string;
+   ];
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedMembership.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:todays-us-supreme-court-as-dictionary
+   a prov:Dictionary, :RobertsCourt;
+
+   prov:qualifiedMembership [ # We can qualify a KeyValuePair's membership in this Dictionary.
+      a prov:Membership;
+      prov:pair [            
+         a prov:KeyValuePair;
+         prov:pairKey   "chief";
+         prov:pairValue <http://dbpedia.org/resource/John_Glover_Roberts,_Jr.>;
+      ];
+      
+      :hadRole :chief-justice;     # Here is my little addition about Chief Roberts. (note, we can't use prov:hadRole)
+   ];
+   prov:qualifiedMembership [ # We can also qualify many KeyValuePairs' memberships in this Dictionary.
+      a prov:Membership;
+
+      :hadRole :associate-justice; # Here is my little addition about the rest of the Chiefs. (note, we can't use prov:hadRole)
+
+      prov:pair [ # The same property is used to point to one or many KeyValuePairs.
+         a prov:KeyValuePair;
+         prov:pairKey   "seat 9";
+         prov:pairValue <http://dbpedia.org/resource/Antonin_Scalia>;
+      ], [
+         a prov:KeyValuePair;
+         prov:pairKey   "seat 4";
+         prov:pairValue <http://dbpedia.org/resource/Anthony_Kennedy>;
+      ], [
+         a prov:KeyValuePair;
+         prov:pairKey   "seat 10";
+         prov:pairValue <http://dbpedia.org/resource/Clarence_Thomas>;
+      ], [
+         a prov:KeyValuePair;
+         prov:pairKey   "seat 6";
+         prov:pairValue <http://dbpedia.org/resource/Ruth_Bader_Ginsburg>;
+      ], [
+         a prov:KeyValuePair;
+         prov:pairKey   "seat 2";
+         prov:pairValue <http://dbpedia.org/resource/Stephen_Breyer>;
+      ], [
+         a prov:KeyValuePair;
+         prov:pairKey   "seat 8";
+         prov:pairValue <http://dbpedia.org/resource/Samuel_Alito>;
+      ], [
+         a prov:KeyValuePair;
+         prov:pairKey   "seat 1";
+         prov:pairValue <http://dbpedia.org/resource/Sonia_Sotomayor>;
+      ], [
+         a prov:KeyValuePair;
+         prov:pairKey   "seat 3";
+         prov:pairValue <http://dbpedia.org/resource/Elena_Kagan>;
+      ];
+   ]; # <- the prov:Membership
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedTrace.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] foaf: <http://xmlns.com/foaf/0.1/> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+<http://dbpedia.org/resource/Hurricane_Isabel>
+   a prov:Entity, :Hurricane;
+   rdfs:label "Hurricane Isabel";
+   prov:tracedTo :butterfly_456;
+   prov:qualifiedTrace [
+      a prov:Trace;
+      rdfs:seeAlso <http://en.wikipedia.org/wiki/Butterfly_effect>;
+   ];
+.
+
+:butterfly_456
+   a prov:Entity, :Butterfly;
+   foaf:depiction <http://upload.wikimedia.org/wikipedia/commons/3/3d/Charaxes_brutus_natalensis.jpg>;
+.
+
+<> prov:wasDerivedFrom <http://en.wikipedia.org/wiki/Butterfly_effect> .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_agent.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:world_flight_1937
+   a prov:Activity;
+
+   prov:wasAssociatedWith <http://dbpedia.org/resource/Amelia_Earhart>,
+                          <http://dbpedia.org/resource/Purdue_University>,
+                          <http://dbpedia.org/resource/Lockheed_Aircraft_Company>;
+   prov:qualifiedAssociation [
+      a prov:Association;
+      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:hadRole :financer;
+   ];
+   prov:qualifiedAssociation [
+      a prov:Association;
+      prov:agent   <http://dbpedia.org/resource/Lockheed_Aircraft_Company>;
+      prov:hadRole :plane_builder;
+   ];
+
+   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/Purdue_University>         a prov:Organization, prov:Agent .
+<http://dbpedia.org/resource/Lockheed_Aircraft_Company> a prov:Organization, prov:Agent .
+
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_EntityInfluence.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+# EntityInfluence is intended to be an 'abstract' subclass of Influence 
+# for Influence that reference an entity. It is a superclass for concrete Influences 
+# (e.g. Usage, Derivation, Source) 
+
+# It is not recommended that the type EntityInfluence be used without also declaring
+# one of its concrete subclasses.
+
+# By definition, all instances of prov:Usage are also instances of prov:EntityInfluence.
+
+:sortActivity
+   a prov:Activity;
+   prov:used :datasetA;
+   prov:qualifiedUsage [
+      a prov:Usage, 
+        prov:EntityInfluence; ## Instances of Start, End, Usage, and Derivation qualify
+      prov:entity  :datasetA; ## the influencd of an Entity (cited by prov:entity)
+      prov:hadRole :inputToBeSorted;
+   ];
+   prov:generated :datasetB;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Delegation.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+  
+:policySale
+   a prov:Actvity;
+   prov:wasAssociatedWith :insuranceAgent_Frank;
+.
+
+:insuranceAgent_Frank
+   a prov:Person;
+   prov:actedOnBehalfOf :insuranceCompany_A;
+   prov:qualifiedDelegation [
+      a prov:Delegation;
+      prov:agent   :insuranceCompany_A;
+      prov:hadRole :guarantor; # The company is the guarantor of the policy
+   ];
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_pairKey.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:baseball-player-fielding-assignment
+   a prov:KeyValuePair;
+   prov:pairKey   "first-baseman"^^xsd:string;
+   prov:pairValue <http://dbpedia.org/resource/Jim_Thorpe>;
+.         
+
+<http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Role.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:divideActivity 
+   a prov:Activity;   
+   prov:used :variableA, :variableB;
+
+   prov:qualifiedUsage [
+      a prov:Usage;
+      prov:entity  :variableA;
+      prov:hadRole :dividend;          
+   ];
+   prov:qualifiedUsage [
+      a prov:Usage;
+      prov:entity  :variableB;
+      prov:hadRole :divisor;          
+   ];
+
+   prov:generated :result_112234;
+.
+
+:variableA 
+   a prov:Entity;
+   prov:value 10;
+.
+:variableB 
+   a prov:Entity;
+   prov:value 2;
+.
+
+:dividend a prov:Role.
+:divisor  a prov:Role.
+
+:result_112234 
+   a prov:Entity;
+   prov:value 5;
+   prov:wasGeneratedBy :divideActivity;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_tracedTo.ttl> .
[email protected] rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:     <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:     <http://www.w3.org/2002/07/owl#> .
[email protected] prov:    <http://www.w3.org/ns/prov#> .
[email protected] dcterms: <http://purl.org/dc/terms/> .
[email protected] :        <http://example.com/> .
+
+# 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;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_AgentInfluence.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:illustrating
+    a prov:Activity; 
+    prov:wasAssociatedWith :derek;
+    prov:qualifiedAssociation [
+       a prov:Association, 
+         prov:AgentInfluence;   ## Instances of Generation, Invalidation, and Communication qualify
+       prov:agent   :derek;     ## the influence of an Agent (cited by prov:agent)
+       prov:hadRole :illustrationist
+    ];
+.
+
+:derek a prov:Person, prov:Agent, prov:Entity .
+
+:illustratonist a prov:Role .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_generatedAtTime.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+# A widget was generated 1:35:23 PM on April 3, 2012 UTC
+
+:widget-789532
+   a prov:Entity;
+   prov:generatedAtTime "2012-04-03T13:35:23Z"^^xsd:dateTime;
+.
+
+# The above statement is equivalent to:
+# :widget-789532 prov:qualifiedGeneration [ prov:atTime "2012-04-03T13:35:23Z"^^xsd:dateTime ] .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Generation.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] bbc:  <http://www.bbc.co.uk/> .
[email protected] :     <http://example.com/> .
+
+:bbcNews2012-04-03 
+   a prov:Entity, :DailyNews;
+   rdfs:comment """The BBC news home page on 2012-04-03 contained a reference 
+                   to a given news item, but the BBC news home page on the next day did not.""";
+
+   prov:wasGeneratedBy :publishingActivity;
+   prov:qualifiedGeneration [
+      a prov:Generation, prov:InstantaneousEvent;
+      prov:atTime "2012-04-03T00:00:01Z"^^xsd:dateTime;
+      prov:activity :publishingActivity;
+   ];
+   prov:qualifiedInvalidation [
+      a prov:Invalidation, prov:InstantaneousEvent;
+      prov:atTime "2012-04-03T23:59:59Z"^^xsd:dateTime;
+   ];
+.
+:publishingActivity 
+	a prov:Activity.
+<> prov:wasDerivedFrom <http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#dfn-wasinvalidatedby> .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasGeneratedBy.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:bar_chart
+   a prov:Entity;
+   prov:wasGeneratedBy :illustrating;
+.
+
+:illustrating a prov:Activity .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedAssociation.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+: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:qualifiedAssociation [
+        a prov:Association;
+        prov:agent :steve;
+        prov:role  :stylist;
+        prov:hadPlan :style-guide;
+        rdfs:comment "Steve helped Derek conform with the publisher's style guide."@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 .
+
+:style-guide a prov:Plan, prov:Entity .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Derivation.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+:bar_chart 
+   a prov:Entity;
+   prov:wasDerivedFrom :aggregatedByRegions;  # The simplest (and least detailed) form of derivation.
+.
+
+:bar_chart
+   a prov:Entity;
+   prov:wasDerivedFrom :aggregatedByRegions;  # The simple form can be accompanied by a qualified form:
+   prov:qualifiedDerivation [                  
+      a prov:Derivation;                      # An instance of Derivation provides more details
+      prov:entity      :aggregatedByRegions;  # about how :bar_chart was derived from :aggregatedRegions
+
+      :foo :bar;                              # Arbitrary domain-specific descriptions are permitted.
+
+      # Derivations can cite the influencing Activity in doing the derivation.
+      prov:hadActivity   :illustration_activity;
+
+      # They can also cite the Usage and Generation that the Activity performed to generate :bar_chart.
+      prov:hadUsage      :how_illustration_activity_used_data;
+      prov:hadGeneration :bar_chart_generation;
+   ];
+.
+
+:illustration_activity 
+   a prov:Activity;
+   prov:wasAttributedTo :derek;
+.
+
+:bar_chart_generation
+   a prov:Generation, prov:InstantaneousEvent;
+   prov:atTime "2012-04-03T00:00:01Z"^^xsd:dateTime;
+.
+
+:how_illustration_activity_used_data
+   a prov:Usage;
+.
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasInvalidatedBy.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] foaf: <http://xmlns.com/foaf/0.1/> .
[email protected] :     <http://example.com/> .
+
+:the-Painter 
+   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;
+.
+
+<http://dbpedia.org/resource/Pablo_Picasso> 
+   a prov:Agent;
+   foaf:depiction <http://upload.wikimedia.org/wikipedia/commons/9/98/Pablo_picasso_1.jpg>;
+.
+
+:Swissair_Flight_111_crash 
+   a prov:Activity;
+   prov:used <http://dbpedia.org/resource/Swissair_Flight_111>;
+.
+
+<> prov:wasDerivedFrom <http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#dfn-wasinvalidatedby> .
[email protected] <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Attribution.ttl> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
+
+<http://dbpedia.org/resource/Fallingwater>
+   a prov:Entity;
+   prov:wasAttributedTo <http://dbpedia.org/resource/Edgar_J._Kaufmann>,
+                        <http://dbpedia.org/resource/Frank_Lloyd_Wright>,
+                        :western-Pennsylvania-Conservancy;
+   prov:qualifiedAttribution [
+      a prov:Attribution;
+      prov:agent <http://dbpedia.org/resource/Edgar_J._Kaufmann>;
+      prov:hadRole :owner;
+   ];
+   prov:qualifiedAttribution [
+      a prov:Attribution;
+      prov:agent <http://dbpedia.org/resource/Frank_Lloyd_Wright>;
+      prov:hadRole :architect;
+   ];
+   prov:qualifiedAttribution [
+      a prov:Attribution;
+      prov:agent :western-Pennsylvania-Conservancy;
+      prov:hadRole :conserver;
+   ];
+.
+
+<http://dbpedia.org/resource/Edgar_J._Kaufmann>  a prov:Person, prov:Agent .
+<http://dbpedia.org/resource/Frank_Lloyd_Wright> a prov:Person, prov:Agent .
+:western-Pennsylvania-Conservancy a prov:Organization, prov:Agent . 
--- a/ontology/ProvenanceOntologyFull.owl	Mon Jul 02 21:31:49 2012 -0400
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,288 +0,0 @@
-<?xml version="1.0"?>
-
-
-<!DOCTYPE rdf:RDF [
-    <!ENTITY prov "http://www.w3.org/ns/prov#" >
-    <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
-    <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
-    <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
-    <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
-]>
-
-
-<rdf:RDF xmlns="http://www.w3.org/ns/prov-o-full#"
-     xml:base="http://www.w3.org/ns/prov-o-full"
-     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
-     xmlns:prov="http://www.w3.org/ns/prov#"
-     xmlns:owl="http://www.w3.org/2002/07/owl#"
-     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
-     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
-    <owl:Ontology rdf:about="http://www.w3.org/ns/prov-o-full#">
-        <owl:imports rdf:resource="http://www.w3.org/ns/prov#"/>
-    </owl:Ontology>
-    
-
-
-    <!-- 
-    ///////////////////////////////////////////////////////////////////////////////////////
-    //
-    // Object Properties
-    //
-    ///////////////////////////////////////////////////////////////////////////////////////
-     -->
-
-    
-
-
-    <!-- http://www.w3.org/ns/prov#hadOriginalSource -->
-
-    <rdf:Description rdf:about="&prov;hadOriginalSource">
-        <rdfs:subPropertyOf rdf:resource="&prov;wasEndedBy"/>
-    </rdf:Description>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#involved -->
-
-    <rdf:Description rdf:about="&prov;involved">
-        <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov-o-full#wasInvolvedBy"/>
-    </rdf:Description>
-    
-
-
-    <!-- http://www.w3.org/ns/prov-o-full#wasInvolvedBy -->
-
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o-full#wasInvolvedBy"/>
-    
-
-
-    <!-- 
-    ///////////////////////////////////////////////////////////////////////////////////////
-    //
-    // Classes
-    //
-    ///////////////////////////////////////////////////////////////////////////////////////
-     -->
-
-    
-
-
-    <!-- http://www.w3.org/ns/prov#Activity -->
-
-    <rdf:Description rdf:about="&prov;Activity">
-        <owl:disjointWith rdf:resource="&prov;Entity"/>
-    </rdf:Description>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#ActivityInvolvement -->
-
-    <rdf:Description rdf:about="&prov;ActivityInvolvement">
-        <rdfs:subClassOf>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="&prov;activity"/>
-                <owl:someValuesFrom rdf:resource="&prov;Activity"/>
-            </owl:Restriction>
-        </rdfs:subClassOf>
-        <rdfs:subClassOf>
-            <owl:Class>
-                <owl:unionOf rdf:parseType="Collection">
-                    <rdf:Description rdf:about="&prov;Generation"/>
-                    <rdf:Description rdf:about="&prov;Inform"/>
-                    <rdf:Description rdf:about="&prov;StartByActivity"/>
-                </owl:unionOf>
-            </owl:Class>
-        </rdfs:subClassOf>
-    </rdf:Description>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#AgentInvolvement -->
-
-    <rdf:Description rdf:about="&prov;AgentInvolvement">
-        <rdfs:subClassOf>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="&prov;entity"/>
-                <owl:someValuesFrom rdf:resource="&prov;Agent"/>
-            </owl:Restriction>
-        </rdfs:subClassOf>
-        <rdfs:subClassOf>
-            <owl:Class>
-                <owl:unionOf rdf:parseType="Collection">
-                    <rdf:Description rdf:about="&prov;Association"/>
-                    <rdf:Description rdf:about="&prov;Attribution"/>
-                    <rdf:Description rdf:about="&prov;Responsibility"/>
-                </owl:unionOf>
-            </owl:Class>
-        </rdfs:subClassOf>
-    </rdf:Description>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#Derivation -->
-
-    <rdf:Description rdf:about="&prov;Derivation">
-        <rdfs:subClassOf>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov-o-full#wasInvolvedBy"/>
-                <owl:someValuesFrom rdf:resource="&prov;Entity"/>
-            </owl:Restriction>
-        </rdfs:subClassOf>
-    </rdf:Description>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#Element -->
-
-    <rdf:Description rdf:about="&prov;Element">
-        <rdfs:subClassOf>
-            <owl:Class>
-                <owl:unionOf rdf:parseType="Collection">
-                    <rdf:Description rdf:about="&prov;Activity"/>
-                    <rdf:Description rdf:about="&prov;Entity"/>
-                </owl:unionOf>
-            </owl:Class>
-        </rdfs:subClassOf>
-    </rdf:Description>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#Entity -->
-
-    <rdf:Description rdf:about="&prov;Entity"/>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#EntityInvolvement -->
-
-    <rdf:Description rdf:about="&prov;EntityInvolvement">
-        <rdfs:subClassOf>
-            <owl:Class>
-                <owl:unionOf rdf:parseType="Collection">
-                    <rdf:Description rdf:about="&prov;AgentInvolvement"/>
-                    <rdf:Description rdf:about="&prov;Derivation"/>
-                    <rdf:Description rdf:about="&prov;Quotation"/>
-                    <rdf:Description rdf:about="&prov;Summarization"/>
-                    <rdf:Description rdf:about="&prov;Trace"/>
-                    <rdf:Description rdf:about="&prov;Usage"/>
-                </owl:unionOf>
-            </owl:Class>
-        </rdfs:subClassOf>
-        <rdfs:subClassOf>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="&prov;entity"/>
-                <owl:someValuesFrom rdf:resource="&prov;Entity"/>
-            </owl:Restriction>
-        </rdfs:subClassOf>
-    </rdf:Description>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#Generation -->
-
-    <rdf:Description rdf:about="&prov;Generation">
-        <rdfs:subClassOf>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov-o-full#wasInvolvedBy"/>
-                <owl:someValuesFrom rdf:resource="&prov;Entity"/>
-            </owl:Restriction>
-        </rdfs:subClassOf>
-    </rdf:Description>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#InstantaneousEvent -->
-
-    <rdf:Description rdf:about="&prov;InstantaneousEvent">
-        <rdfs:subClassOf>
-            <owl:Class>
-                <owl:unionOf rdf:parseType="Collection">
-                    <rdf:Description rdf:about="&prov;End"/>
-                    <rdf:Description rdf:about="&prov;Generation"/>
-                    <rdf:Description rdf:about="&prov;Start"/>
-                    <rdf:Description rdf:about="&prov;Usage"/>
-                </owl:unionOf>
-            </owl:Class>
-        </rdfs:subClassOf>
-    </rdf:Description>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#Involvement -->
-
-    <rdf:Description rdf:about="&prov;Involvement">
-        <rdfs:subClassOf>
-            <owl:Class>
-                <owl:unionOf rdf:parseType="Collection">
-                    <rdf:Description rdf:about="&prov;ActivityInvolvement"/>
-                    <rdf:Description rdf:about="&prov;EntityInvolvement"/>
-                </owl:unionOf>
-            </owl:Class>
-        </rdfs:subClassOf>
-        <rdfs:subClassOf>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov-o-full#wasInvolvedBy"/>
-                <owl:someValuesFrom rdf:resource="&prov;Element"/>
-            </owl:Restriction>
-        </rdfs:subClassOf>
-    </rdf:Description>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#StartByActivity -->
-
-    <rdf:Description rdf:about="&prov;StartByActivity">
-        <rdfs:subClassOf>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov-o-full#wasInvolvedBy"/>
-                <owl:someValuesFrom rdf:resource="&prov;Activity"/>
-            </owl:Restriction>
-        </rdfs:subClassOf>
-    </rdf:Description>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#Usage -->
-
-    <rdf:Description rdf:about="&prov;Usage">
-        <rdfs:subClassOf>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov-o-full#wasInvolvedBy"/>
-                <owl:someValuesFrom rdf:resource="&prov;Activity"/>
-            </owl:Restriction>
-        </rdfs:subClassOf>
-    </rdf:Description>
-    
-
-
-    <!-- 
-    ///////////////////////////////////////////////////////////////////////////////////////
-    //
-    // General axioms
-    //
-    ///////////////////////////////////////////////////////////////////////////////////////
-     -->
-
-    <rdf:Description>
-        <rdf:type rdf:resource="&owl;AllDisjointClasses"/>
-        <owl:members rdf:parseType="Collection">
-            <rdf:Description rdf:about="&prov;End"/>
-            <rdf:Description rdf:about="&prov;Generation"/>
-            <rdf:Description rdf:about="&prov;Start"/>
-            <rdf:Description rdf:about="&prov;Usage"/>
-        </owl:members>
-    </rdf:Description>
-    <rdf:Description>
-        <rdf:type rdf:resource="&owl;AllDisjointClasses"/>
-        <owl:members rdf:parseType="Collection">
-            <rdf:Description rdf:about="&prov;Organization"/>
-            <rdf:Description rdf:about="&prov;Person"/>
-            <rdf:Description rdf:about="&prov;System"/>
-        </owl:members>
-    </rdf:Description>
-</rdf:RDF>
-
-
-
-<!-- Generated by the OWL API (version 3.2.3.1824) http://owlapi.sourceforge.net -->
-