@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix prov: <http://www.w3.org/ns/prov-o/> .

@base <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> .

@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedDerivation.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:bar_chart
   prov:wasDerivedFrom :aggregatedByRegions;
   prov:qualifiedDerivation [
      a prov:Derivation;
      prov:entity :aggregatedByRegions;         
      prov:hadGeneration :illustration; ## More details about the activity underpinning the derivation
   ];
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_inserted.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Delegation.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .
  
: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
   ];
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasEndedBy.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Attribution.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

<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 . 
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Agent.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix :     <http://example.com/> .

:derek
   a prov:Agent, prov:Person;
   foaf:givenName      "Derek"^^xsd:string;
   foaf:mbox           <mailto:dererk@example.org>;
   foaf:homePage       <http://dereck.example.com>;
   prov:actedOnBehalfOf :chartgen;
.

:chartgen 
   a prov:Agent, prov:Organization;
   foaf:name "Chart Generators, Inc.";
. 
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Activity.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_InstantaneousEvent.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix bbc:  <http://www.bbc.co.uk/> .
@prefix :     <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> .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasInfluencedBy.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_influenced.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix w3:   <http://example.com/w3/> .
@prefix tr:   <http://example.com/tech-report/> .
@prefix :     <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;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasRevisionOf.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix sioc: <http://rdfs.org/sioc/ns#> .
@prefix :     <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.";
.    
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedAssociation.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Usage.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_DictionaryInvolvement.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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;
   ];
. 
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_SoftwareAgent.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# 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;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadGeneration.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_collection.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# 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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_used.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Entity.ttl> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov:    <http://www.w3.org/ns/prov#> .
@prefix :        <http://example.com/> .

:bar_chart 
   a prov:Entity;
   dcterms:title "Aggregated statistics from the crime file"^^xsd:string;
   prov:wasAttributedTo :derek;
.

:derek a prov:Agent .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_generated.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:proteinDigestion
   a prov:Activity;
   prov:generated :peptideSample1;
.

:peptideSample1 a prov:Entity .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedSource.ttl> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov:    <http://www.w3.org/ns/prov#> .
@prefix :        <http://example.com/> .

:temperatureDisplay
   a prov:Entity;
   prov:hadOriginalSource :sensorReading20120510;
   prov:qualifiedSource [
      a prov:Source;
      prov:entity         :sensorReading20120510;
   ];
.

:sensorReading20120510 
   a prov:Entity;
   prov:wasGeneratedBy :temperatureSensor;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_atLocation.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix sioc: <http://rdfs.org/sioc/ns#> .
@prefix :     <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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Role.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedEnd.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

## 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.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_tracedTo.ttl> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix prov:    <http://www.w3.org/ns/prov#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix :        <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;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasApprovedBy.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedTrace.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <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> .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Plan.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_specializationOf.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_removed.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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;
   ];
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadMember.ttl> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov:    <http://www.w3.org/ns/prov#> .
@prefix :        <http://example.com/> .

: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;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_AgentInfluence.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ContextualizedEntity.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix perf: <http://example.com/performance/> .
@prefix tool: <http://example.com/tool/> .
@prefix :     <http://example.com/> .

:run1  a prov:Entity .
   :a1
      a prov:Activity ;
      prov:startedAtTime "2011-11-16T16:00:00"^^xsd:dateTime ;
      prov:endedAtTime   "2011-11-16T17:00:00"^^xsd:dateTime ; # Duration was 1 hour.
      prov:wasAssociatedWith :bob ;
      prov:qualifiedAssociation [
         a prov:Association ;
         prov:hadRole :controller ;
      ] ;
   .
   :controller 
      a prov:Role ;
      rdfs:label "controller" ;
   .


:run2  a prov:Entity .
   :a2
      a prov:Activity ;
      prov:startedAtTime "2011-11-17T10:00:00"^^xsd:dateTime ;
      prov:endedAtTime   "2011-11-17T17:00:00"^^xsd:dateTime ; # Duration was 7 hours.
      prov:wasAssociatedWith :bob ;
      prov:qualifiedAssociation [
         a prov:Association ;
         prov:hadRole :controller ;
      ] ;
   .
   :controller 
      a prov:Role ;
      rdfs:label "controller" ;
   .


tool:analysis01  a prov:Entity .
   tool:bob-2011-11-16
      a prov:Agent, prov:ContextualizedEntity ;
      prov:contextualized :bob ;
      prov:inContext      :run1 ;
      perf:rating perf:good ;
   .

   tool:bob-2011-11-17
      a prov:Agent, prov:ContextualizedEntity ;
      prov:contextualized :bob ;
      prov:inContext      :run2 ;
      perf:rating perf:bad ;
   .


<> prov:wasDerivedFrom <http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/ED-prov-dm-20120614/prov-dm.html#anexample-contextualization1> .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Membership.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .


: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;
      ];
   ];
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_invalidatedAtTime.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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";
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_agent.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .

@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_startedAtTime.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasInvalidatedBy.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix :     <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> .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Dictionary.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:studentRegister_2012
   a prov:Dictionary, prov:Entity;
   prov:derivedByInsertionFrom :studentRegister_2011;
   :hasTotalStudents 45;
   :wasCreatedBy    :bob;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_KeyValuePair.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 . 
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_atTime.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:Timearticle20120430_publication
   a prov:InstantaneousEvent;
   prov:atTime "2012-04-30T20:40:40"^^xsd:dateTime;
. 
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_alternateOf.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hasProvenance.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# TODO
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_derivedByRemovalFrom.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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;
   ];
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadQuoted.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadUsage.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:digestedProteinSample1
   a prov:Entity;
   prov:wasDerivedFrom :proteinSample;
   prov:qualifiedDerivation [
      a prov:Derivation;
      prov:hadUsage [
         a prov:Usage;
         :treatmentEnzyme :Trypsin;
      ];
   ];
.

:proteinSample a prov:Entity .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedGeneration.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadActivity.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# 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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Invalidation.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix wgs:  <http://www.w3.org/2003/01/geo/wgs84_pos#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix :     <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> .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasAssociatedWith.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:illustrating
   a prov:Activity; 
   prov:wasAssociatedWith :derek;
.

:derek a prov:Person, prov:Agent, prov:Entity .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadQuoter.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .


: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 .

@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_CollectionInvolvement.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

### TODO
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Quotation.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .

@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasAttributedTo.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_pairValue.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .

@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_activity.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Collection.ttl> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix prov:    <http://www.w3.org/ns/prov#> .
@prefix :        <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>;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedRevision.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadRole.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Organization.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix :     <http://example.com/> .

:boogle 
   a prov:Agent, prov:Organization;
   foaf:name "Boogle";
. 
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_asInBundle.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix tool: <http://example.com/tool/> .
@prefix perf: <http://example.com/performance/> .
@prefix :     <http://example.com/> .

:run2  a prov:Entity .
   :activity_2
      a prov:Activity;
      prov:startedAtTime "2011-11-17T10:00:00"^^xsd:dateTime;
      prov:endedAtTime   "2011-11-17T17:00:00"^^xsd:dateTime; 
      prov:wasAssociatedWith :bob;
   .


tool:analysis_01  a prov:Entity .
   tool:bob-2011-11-17
      a prov:Agent;
      prov:mentionOf  :bob;
      prov:asInBundle :run2;
      perf:rating     perf:very-slow;
   .


tool:bob-2011-11-17 prov:specializationOf :bob . # This is inferred from prov:mentionOf
tool:bob-2011-11-17 prov:alternateOf      :bob . # This is inferred from prov:specializationOf

<> 
 prov:wasDerivedFrom 
  <http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/ED-prov-dm-20120614/prov-dm.html#anexample-contextualization1> .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasGeneratedBy.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:bar_chart
   a prov:Entity;
   prov:wasGeneratedBy :illustrating;
.

:illustrating a prov:Activity .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasStartedByActivity.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Removal.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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;
   ];
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadPrimarySource.ttl> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix foaf:    <http://xmlns.com/foaf/0.1/> .
@prefix prov:    <http://www.w3.org/ns/prov#> .
@prefix lang:    <http://lexvo.org/id/iso639-3/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix frbr:    <http://purl.org/vocab/frbr/core#> .
@prefix :        <http://example.com/> .

## Having an original source is a particular case of derivation.

<http://www.gutenberg.org/ebooks/996>
   a prov:Entity, frbr:Work;
   dcterms:title          "Don Quixote";
   prov:wasAttributedTo   :ormsby;
   dcterms:language       lang:eng;
   prov:hadPrimarySource <http://cultura.linkeddata.es/BNE/resource/C1001/XX2197892>;
.

#### The English version book is a translation that is based on the original Spanish book

<http://cultura.linkeddata.es/BNE/resource/C1001/XX2197892>
    a prov:Entity, frbr:Work;
    prov:wasAttributedTo :cervantes;
    dcterms:language     lang:spa;
.

:cervantes
   a prov:Person;
   foaf:name "Miguel de Cervantes";
.

:ormsby
   a prov:Person;
   foaf:name "John Ormsby";
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Person.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix :     <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>;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Location.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix sioc: <http://rdfs.org/sioc/ns#> .
@prefix :     <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. 
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_pairKey.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Communication.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Bundle.ttl> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix prov:    <http://www.w3.org/ns/prov#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix alice:   <http://example.com/alice#> .
@prefix bob:     <http://example.com/bob#> .
@prefix my:      <http://example.com/my#> .
@prefix :        <http://example.com/> .

# Let us consider two entities :report1 and :report2.

:report1
   a my:Report, prov:Entity;
   my:version "1";
   prov:generatedAtTime "2012-05-24T10:00:01"^^xsd:dateTime;
.

:report2
   a my:Report, prov:Entity;
   my:version "2";
   prov:generatedAtTime "2012-05-25T11:00:01"^^xsd:dateTime;
   prov:wasDerivedFrom :report1;
.

# Let us assume that Bob observed the creation of :report1. A first bundle can be expressed.
 
bob:bundle1  a prov:Entity .
   :report1
      a my:Report, prov:Entity;
      my:version "1";
      prov:generatedAtTime "2012-05-24T10:00:01"^^xsd:dateTime;
   .


# In contrast, Alice observed the creation of :report2 and its derivation from :report1.
 
alice:bundle2  a prov:Entity .
   :report1 a prov:Entity .
   :report2
      a my:Report, prov:Entity;
      my:version "2";
      prov:generatedAtTime "2012-05-25T11:00:01"^^xsd:dateTime;
      prov:wasDerivedFrom :report1;
   .


# The first bundle contains the descriptions corresponding to Bob observing the creation of :report1.
 
bob:bundle1
   a prov:Bundle;
   prov:generatedAtTime "2012-05-24T10:30:00"^^xsd:dateTime;
   prov:wasAttributedTo :Bob;
.

# In contrast, the second bundle is attributed to Alice who observed the derivation of :report2 from :report1.
 
alice:bundle2
   a prov:Bundle;
   prov:generatedAtTime "2012-05-25T11:15:00"^^xsd:dateTime;
   prov:wasAttributedTo :Alice;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasDerivedFrom.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:bar_chart prov:wasDerivedFrom :aggregatedByRegions .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedInsertion.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 . 
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedAttribution.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

## 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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ActivityInfluence.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedRemoval.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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;
   ];
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_generatedAtTime.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# 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 ] .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedCommunication.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_entity.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:myPost 
   a prov:Entity;
   prov:hadOriginalSource :donQuixote;
   prov:qualifiedSource [
      a prov:Source;
      prov:entity :donQuixote;
      # Other attributes of the relationship
   ];
.

:donQuixote a prov:Entity .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_pair.ttl> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov:    <http://www.w3.org/ns/prov#> .
@prefix :        <http://example.com/> .

: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;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedInfluence.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix my:   <http://example.com/ontology#> .
@prefix :     <http://example.com/> .

# Although a domain extension (e.g. ':wasConductedBy') is not defined by PROV-O,
# the relation between a surgery and an agent can 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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hasAnchor.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# TODO
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_key.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# 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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_EmptyCollection.ttl> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix :     <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;
      ];
   ]; 
. 
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_StartByActivity.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_actedOnBehalfOf.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:derek
   a prov:Agent;
   foaf:givenName "Derek"^^xsd:string;
   foaf:mbox      <mailto:dererk@example.org>;
   prov:actedOnBehalfOf :chartgen; 
.

:chartgen 
   a prov:Agent, prov:Organization;
   foaf:name "Chart Generators, Inc.";
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_membership.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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
      ];
   ];
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedStart.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# 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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_derivedByInsertionFrom.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .


: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_mentionOf.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix tool: <http://example.com/tool/> .
@prefix perf: <http://example.com/performance/> .
@prefix :     <http://example.com/> .

:run2  a prov:Entity .
   :activity_2
      a prov:Activity;
      prov:startedAtTime "2011-11-17T10:00:00"^^xsd:dateTime;
      prov:endedAtTime   "2011-11-17T17:00:00"^^xsd:dateTime; 
      prov:wasAssociatedWith :bob;
   .


tool:analysis_01  a prov:Entity .
   tool:bob-2011-11-17
      a prov:Agent;
      prov:mentionOf  :bob;
      prov:asInBundle :run2;
      perf:rating     perf:very-slow;
   .


tool:bob-2011-11-17 prov:specializationOf :bob . # This is inferred from prov:mentionOf
tool:bob-2011-11-17 prov:alternateOf      :bob . # This is inferred from prov:specializationOf

<> 
 prov:wasDerivedFrom 
  <http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/ED-prov-dm-20120614/prov-dm.html#anexample-contextualization1> .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_member.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 . 
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_CompleteMembership.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 
#     ] . 
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Trace.ttl> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix prov:    <http://www.w3.org/ns/prov#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix :        <http://example.com/> .

:newsArticle
   a prov:Entity;
   dcterms:title "Review of the last presidents of the United States of America"^^xsd:string;
   prov:tracedTo       :president_obama;
   prov:qualifiedTrace :trace1;
.
   
:trace1 
   a prov:Trace;
   prov:entity        :president_obama;
   prov:hasAnnotation :noteFromTheAuthor;
.
     
:president_obama 
   a prov:Entity, prov:Agent;
.

:noteFromTheAuthor  a prov:Entity .
   :noteFromTheAuthor a prov:Note .
   :trace1 
      rdfs:comment "The main motivation for the article was the latest president"^^xsd:string;
      :annotatedAtTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
   .

@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hasProvenanceService.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# TODO
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedInvalidation.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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>;
   ];
. 
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedQuotation.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix my:   <http://example.com/vocab/my#> .
@prefix :     <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 .

@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedDelegation.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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> .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hasAnnotation.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:post112 
   a prov:Entity;
   prov:hasAnnotation :myNote;
.
   
:myNote 
   a prov:Note;
   :reputation "excellent";
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Start.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# 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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Generation.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix bbc:  <http://www.bbc.co.uk/> .
@prefix :     <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> .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasInformedBy.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:writing-celebrity-gossip 
   a prov:Activity;
   prov:wasInformedBy :voicemail-interception;
.

:voicemail-interception a prov:Activity .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasStartedBy.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# Use prov:qualifiedStart to see when and where the activity was started

:experiment
	a prov:Activity;
	prov:wasStartedBy :researcher;
.

:researcher a prov:Agent .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ProvenanceService.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# TODO
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedStartByActivity.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_value.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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>;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_provenanceUriTemplate.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# TODO
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Revision.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Note.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:post112 
   a prov:Entity ;
   prov:hasAnnotation :parserNote ;
.
   
:parserNote a prov:Note .

:parserNote  a prov:Entity .
   :post112 :parsedAt "2012-04-15T13:00:00-04:00"^^xsd:dateTime .

   # Other statements annotating the resource could be added here

@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Insertion.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_influencer.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedMembership.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasQuotedFrom.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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> .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_CompleteCollection.ttl> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix prov:    <http://www.w3.org/ns/prov#> .
@prefix :        <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;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Derivation.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Association.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Influence.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix my:   <http://example.com/ontology#> .
@prefix :     <http://example.com/> .

# Although a domain extension (e.g. ':wasConductedBy') is not defined by PROV-O,
# the relation between a surgery and an agent can 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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedUsage.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:newsPublication
   a prov:Activity;
   prov:used :tsunami_image;
   prov:qualifiedUsage [
      a prov:Usage;
      :hasCopyrightPermission :licensedUse;  
      :hasOwner               :reuters;
   ];
.

:reuters a prov:Agent .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_invalidated.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix :     <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> .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadPlan.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_EntityInfluence.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# 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;
.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_dictionary.ttl> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix :     <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;
      ];
   ]; 
. 
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_endedAtTime.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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 .
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Source.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

: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.
@base <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_End.ttl> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# 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 .