--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Communication.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Communication.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -10,6 +10,6 @@
prov:qualifiedCommunication [
a prov:Communication;
prov:activity :low-fuel-flashing;
- rdfs:comment "Don't like flashing warning lights" .
- ] .
-
+ rdfs:comment "Don't like flashing warning lights";
+ ];
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_CompleteMembership.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_CompleteMembership.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -7,33 +7,35 @@
:e1 a prov:Entity .
:e2 a prov:Entity .
-:c1 a prov:Dictionary, 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
+ prov:value :e1;
], [
a prov:KeyValuePair;
prov:key "k2"^^xsd:string;
- prov:value :e2
+ 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
- ] .
+: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 ;
+# :c2 a prov:EmptyDictionary;
# prov:membership [
# a prov:CompleteMembership
-# ] .
-
+# ] .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_DictionaryInvolvement.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_DictionaryInvolvement.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -6,13 +6,12 @@
:c1 a prov:Dictionary .
-:c2 a prov:Dictionary, prov:Entity .
- prov:derivedByRemovalFrom :c1 ;
- prov:qualifiedRemoval [
- a prov:DictionaryInvolvement ;
- a prov:Removal, prov:DictionaryInvolvement ;
- prov:dictionary :c1 ;
- prov:removedKey "k1"^^xsd:string
- ] .
-
-
+:c2
+ a prov:Dictionary, prov:Entity;
+ prov:derivedByRemovalFrom :c1;
+ prov:qualifiedRemoval [
+ a prov:Removal, prov:DictionaryInvolvement;
+ prov:dictionary :c1;
+ prov:removedKey "k1"^^xsd:string
+ ];
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Entity.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Entity.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -1,10 +1,12 @@
-@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 ex: <http://example.com/> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix dcterms: <http://purl.org/dc/terms/> .
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix : <http://example.com/> .
-ex:bar_chart
+:bar_chart
a prov:Entity;
- dc:title "Aggregated statistics from the crime file"^^xsd:string;
- prov:wasAttributedTo ex:derek .
+ dcterms:title "Aggregated statistics from the crime file"^^xsd:string;
+ prov:wasAttributedTo :derek;
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Note.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Note.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -8,10 +8,8 @@
a prov:Entity;
prov:hasAnnotation :parserNote.
-:parserNote{
+:parserNote {
:parserNote a prov:Note.
- :post112 :parsedAt 2012-04-15T13:00:00-04:00"^^xsd:dateTime.
-
+ :post112 :parsedAt "2012-04-15T13:00:00-04:00"^^xsd:dateTime.
#Other statements annotating the resource could be added here
}
-
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Organization.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Organization.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -2,10 +2,10 @@
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix : <http://example.com/> .
-@prefix foaf: <http://xmlns.com/foaf/0.1/> .
- :boogle
- a prov:Agent, prov:Organization, foaf:Organization;
- foaf:name "Boogle".
- .
+:boogle
+ a prov:Agent, prov:Organization, foaf:Organization;
+ foaf:name "Boogle";
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Removal.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Removal.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -6,12 +6,12 @@
:c1 a prov:Dictionary .
-:c2 a prov:Dictionary, prov:Entity .
- prov:derivedByRemovalFrom :c1 ;
- prov:qualifiedRemoval [
- a prov:Removal, prov:DictionaryInvolvement ;
- prov:dictionary :c1 ;
- prov:removedKey "k1"^^xsd:string, "k2"^^xsd:string
- ] .
-
-
+:c2 a prov:Dictionary, prov:Entity;
+ prov:derivedByRemovalFrom :c1 ;
+ prov:qualifiedRemoval [
+ a prov:Removal, prov:DictionaryInvolvement ;
+ prov:dictionary :c1 ;
+ prov:removedKey "k1"^^xsd:string,
+ "k2"^^xsd:string
+ ];
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Responsibility.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Responsibility.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -1,20 +1,20 @@
-
- @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
- @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
- @prefix owl: <http://www.w3.org/2002/07/owl#> .
- @prefix prov: <http://www.w3.org/ns/prov#> .
- @prefix : <http://example.com/> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix 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;
+:policySale
+ a prov:Actvity;
+ prov:wasAssociatedWith :insuranceAgent_Frank;
+.
+
+:insuranceAgent_Frank
+ a prov:Person;
+ prov:actedOnBehalfOf :insuranceCompany_A;
prov:qualifiedResponsibility [
a prov:Responsibility;
- prov:agent :InsuranceCompany_A;
- prov:hadRole :guarantor; #The company is the guarantor of the policy
+ prov:agent :insuranceCompany_A;
+ prov:hadRole :guarantor; # The company is the guarantor of the policy
];
- .
\ No newline at end of file
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Role.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Role.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -5,27 +5,37 @@
@prefix : <http://example.com/> .
:divideActivity
- a prov:Activity;
- prov:qualifiedUsage [
- a prov:Usage;
- prov:entity :variableA;
- prov:hadRole :dividend;
- ];
-
- prov:qualifiedUsage [
- a prov:Usage;
- prov:entity :variableB;
- prov:hadRole :divisor;
- ];
-
- prov:generated :res112234.
- .
-:variableA a prov:Entity.
-:variableB a prov:Entity.
+ 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.
-:res112234
- a prov:Entity;
- prov:wasGeneratedBy :divideActivity.
+:divisor a prov:Role.
+
+:result_112234
+ a prov:Entity;
+ prov:value 5;
+ prov:wasGeneratedBy :divideActivity;
.
-
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_StartByActivity.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_StartByActivity.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -5,13 +5,15 @@
@prefix : <http://example.com/> .
:workflow-execution a prov:Activity .
+
:subworkflow-execution
- a prov:Activity ;
- prov:startedAtTime "2011-07-16T01:52:15Z"^^xsd:dateTime ;
- prov:wasStartedByActivity :workflow-execution ;
+ a prov:Activity;
+ prov:startedAtTime "2011-07-16T01:52:15Z"^^xsd:dateTime;
+ prov:wasStartedByActivity :workflow-execution;
prov:qualifiedStartByActivity [
- a StartByActivity ;
- prov:activity :workflow-execution ;
- :triggeredAt "2011-07-16T01:52:02Z"^^xsd:dateTime ;
- :activationParameter "java -jar -n 5"^^xsd:string ;
- ] .
+ a prov:StartByActivity;
+ prov:activity :workflow-execution;
+ :triggeredAt "2011-07-16T01:52:02Z"^^xsd:dateTime;
+ :activationParameter "java -jar -n 5"^^xsd:string;
+ ];
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Trace.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Trace.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -1,24 +1,31 @@
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix owl: <http://www.w3.org/2002/07/owl#> .
-@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix dcterms: <http://purl.org/dc/elements/1.1/>.
-@prefix : <http://example.com/> .
+@prefix : <http://example.com/> .
:newsArticle
- a prov:Entity;
- dcterms:title "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.
+ 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 {
- :noteFromTheAuthor a prov:Note;
- :trace1 rdfs:comment "The main motivation for the article was the latest president"^^xsd:string.
- :trace1 :annotatedAtTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
+ :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;
+ .
}
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_actedOnBehalfOf.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_actedOnBehalfOf.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -1,18 +1,18 @@
@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 ex: <http://example.com/> .
+@prefix : <http://example.com/> .
-ex:derek
+:derek
a prov:Agent;
- a foaf:Person;
foaf:givenName "Derek"^^xsd:string;
foaf:mbox <mailto:dererk@example.org>;
- prov:actedOnBehalfOf ex:chartgen;
+ prov:actedOnBehalfOf :chartgen;
.
-ex:chartgen
- a prov:Agent, prov:Organization;
- foaf:name "Chart Generators, Inc.";
- .
\ No newline at end of file
+:chartgen
+ a prov:Agent, prov:Organization;
+ foaf:name "Chart Generators, Inc.";
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_derivedByRemovalFrom.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_derivedByRemovalFrom.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -6,12 +6,13 @@
:c1 a prov:Dictionary .
-:c2 a prov:Dictionary, prov:Entity .
- prov:derivedByRemovalFrom :c1 ;
- prov:qualifiedRemoval [
- a prov:Removal, prov:DictionaryInvolvement ;
- prov:dictionary :c1 ;
- prov:removedKey "k1"^^xsd:string, "k2"^^xsd:string
- ] .
-
-
+:c2
+ a prov:Dictionary, prov:Entity;
+ prov:derivedByRemovalFrom :c1;
+ prov:qualifiedRemoval [
+ a prov:Removal, prov:DictionaryInvolvement;
+ prov:dictionary :c1;
+ prov:removedKey "k1"^^xsd:string,
+ "k2"^^xsd:string;
+ ];
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_generatedAtTime.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_generatedAtTime.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -4,8 +4,12 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# this widget was generated 1:35:23 PM on April 3, 2012 UTC
-# this statement is equivalent to prov:AtTime on the qualified prov:Generation of this same widget
+# 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 .
\ No newline at end of file
+ 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 ] .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadPlan.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadPlan.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -6,15 +6,20 @@
:illustrating
a prov:Activity;
- prov:wasAssociatedWith :derek, :steve ;
- prov:qualifiedAssociation :steve-checking-housestyles
+ prov:wasAssociatedWith :derek,
+ :steve;
+ prov:qualifiedAssociation :steve-checking-housestyles;
+.
-:steve-checking-housestyles a prov:Association ;
- prov:agent :steve ;
- prov:role :stylist ;
- prov:hadPlan :house-styles ;
- rdfs:comment "Steve helped Derek conform with the house style"@en .
+:steve-checking-housestyles
+ a prov:Association;
+ prov:agent :steve;
+ prov:hadRole :stylist;
+ prov:hadPlan :house-styles;
+ rdfs:comment "Steve helped Derek conform with the house style"@en;
+.
-:house-styles a prov:Plan, prov:Entity ;
- rdfs:comment "Use blue graphs for positive spin, red for negative"@en .
-
+:house-styles
+ a prov:Plan, prov:Entity;
+ rdfs:comment "Use blue graphs for positive spin, red for negative"@en;
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadUsage.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadUsage.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -5,13 +5,14 @@
@prefix : <http://example.com/> .
:digestedProteinSample1
- a prov:Entity;
- prov:wasDerivedFrom :proteinSample;
- prov:qualifiedDerivation [
- a prov:Derivation;
- prov:hadUsage [
- :treatmentEnzyme :Trypsin;
- ]
+ a prov:Entity;
+ prov:wasDerivedFrom :proteinSample;
+ prov:qualifiedDerivation [
+ a prov:Derivation;
+ prov:hadUsage [
+ :treatmentEnzyme :Trypsin;
+ ];
+ ];
.
- ]
-.
\ No newline at end of file
+
+:proteinSample a prov:Entity .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_involved.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_involved.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -4,16 +4,19 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-:illustrationActivity a prov:Activity .
+:illustrationActivity
+ a prov:Activity;
+ prov:used :aggregatedByRegions;
+ prov:wasAssociatedWith :derek;
+ prov:wasInformedBy :aggregationActivity;
+.
+
+:illustrationActivity
+ a prov:Activity;
+ prov:involved :aggregatedByRegions, # prov:involved is a superproperty
+ :derek, # many of the direct binary
+ :aggregationActivity; # PROV-O properties.
+.
+
:aggregationActivity a prov:Activity .
:aggregatedByRegions a prov:Entity .
-
-ex:illustrationActivity
- prov:used :aggregatedByRegions;
- prov:wasAssociatedWith :derek;
- prov:wasInformedBy :aggregationActivity .
-
-ex:illustrationActivity prov:involved :aggregatedByRegions ,
- :derek ,
- :aggregationActivity .
-
\ No newline at end of file
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedAttribution.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedAttribution.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -4,20 +4,24 @@
@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;
+ a prov:Attribution;
+ prov:agent :civil_action_group;
+ prov:hadRole :owner;
]
.
-
-
-### alternative way to express some of the above information
-:nationalRegionsList
- a prov:Entity;
- prov:wasAttributedTo :civil_action_group.
-
+:owner a prov:Role .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedCommunication.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedCommunication.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -6,17 +6,18 @@
:filling-petrol
a prov:Activity;
- prov:startedAtTime "2012-04-24T18:21:00Z"^xsd:dateTime ;
- prov:endedAtTime "2012-04-24T18:23:10Z"^xsd:dateTime ;
+ prov:startedAtTime "2012-04-24T18:21:00Z"^^xsd:dateTime;
+ prov:endedAtTime "2012-04-24T18:23:10Z"^^xsd:dateTime;
prov:wasInformedBy :low-fuel-flashing;
prov:qualifiedCommunication [
a prov:Communication;
prov:activity :low-fuel-flashing;
- rdfs:comment "Don't like flashing warning lights" .
- ] .
+ rdfs:comment "Don't like flashing warning lights";
+ ];
+.
:low-fuel-flashing
- a prov:Activity ;
- prov:startedAtTime "2012-04-24T17:45:00Z"^xsd:dateTime ;
- prov:endedAtTime "2012-04-24T18:21:40Z"^xsd:dateTime .
-
+ a prov:Activity;
+ prov:startedAtTime "2012-04-24T17:45:00Z"^^xsd:dateTime;
+ prov:endedAtTime "2012-04-24T18:21:40Z"^^xsd:dateTime;
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedEnd.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedEnd.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -4,15 +4,17 @@
@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
+## 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.
- ].
+ 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.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedGeneration.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedGeneration.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -5,12 +5,13 @@
@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 .
- ] .
+ 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 .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedRemoval.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedRemoval.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -4,15 +4,15 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-
-:c1 a prov:Dictionary .
+:d1 a prov:Dictionary .
-:c2 a prov:Dictionary, prov:Entity .
- prov:derivedByRemovalFrom :c1 ;
- prov:qualifiedRemoval [
- a prov:Removal ;
- prov:dictionary :c1 ;
- prov:removedKey "k1"^^xsd:string, "k2"^^xsd:string
- ] .
-
-
+: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
+ ];
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedRevision.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedRevision.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -6,8 +6,9 @@
:e1 a prov:Entity .
-:e2 a prov:Entity .
- prov:qualifiedRevision [
- a prov:Revision ;
- prov:entity :e1 ;
- ] .
\ No newline at end of file
+:e2 a prov:Entity;
+ prov:qualifiedRevision [
+ a prov:Revision ;
+ prov:entity :e1 ;
+ ];
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedStartByActivity.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedStartByActivity.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -4,14 +4,19 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-:workflow-execution a prov:Activity .
+:workflow-execution
+ a prov:Activity;
+ prov:startedAtTime "2011-07-16T01:30:00Z"^^xsd:dateTime;
+.
+
:subworkflow-execution
- a prov:Activity ;
- prov:startedAtTime "2011-07-16T01:52:15Z"^^xsd:dateTime ;
- prov:wasStartedByActivity :workflow-execution ;
- prov:qualifiedStartByActivity [
- a StartByActivity ;
- prov:activity :workflow-execution ;
- :triggeredAt "2011-07-16T01:52:02Z"^^xsd:dateTime ;
- :activationParameter "java -jar -n 5"^^xsd:string ;
- ] .
+ a prov:Activity;
+ prov:startedAtTime "2011-07-16T01:52:15Z"^^xsd:dateTime; # TODO: simplify time
+ prov:wasStartedByActivity :workflow-execution;
+ prov:qualifiedStartByActivity [
+ a prov:StartByActivity;
+ prov:activity :workflow-execution;
+ prov:atTime "2011-07-16T01:52:02Z"^^xsd:dateTime; # TODO: why different than above?
+ :activationParameter "java -jar -n 5"^^xsd:string;
+ ];
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_removedKey.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_removedKey.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -4,10 +4,14 @@
@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:DictionaryInvolvement ;
- prov:dictionary :c1 ;
- prov:removedKey "k1"^^xsd:string, 1337, 3.14
- ] .
+:c2
+ a prov:Dictionary, prov:Entity;
+ prov:derivedByRemovalFrom :c1;
+ prov:qualifiedRemoval [
+ a prov:Removal, prov:DictionaryInvolvement;
+ prov:dictionary :c1;
+ prov:removedKey "k1"^^xsd:string,
+ 1337,
+ 3.14
+ ];
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_used.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_used.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -2,14 +2,16 @@
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix ex: <http://example.com/> .
+@prefix : <http://example.com/> .
+
+: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
-: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.
\ No newline at end of file
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasEndedBy.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasEndedBy.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -5,12 +5,15 @@
@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 :scienceLab003.
- ].
-:inconsistentResult a prov:Entity.
\ No newline at end of file
+ a prov:Activity;
+ prov:wasEndedBy :inconsistentResult;
+ prov:qualifiedEnd [
+ a prov:End;
+ prov:entity :inconsistentResult;
+ prov:atTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
+ prov:atLocation :scienceLab003;
+ ];
+.
+
+:inconsistentResult a prov:Entity.
+:scienceLab003 a prov:Location .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasInformedBy.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasInformedBy.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -2,19 +2,22 @@
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix ex: <http://example.com/> .
+@prefix : <http://example.com/> .
:filling-petrol
a prov:Activity;
- prov:startedAtTime "2012-04-24T18:21:00Z"^xsd:dateTime ;
- prov:endedAtTime "2012-04-24T18:23:10Z"^xsd:dateTime ;
- prov:wasInformedBy :low-fuel-flashing .
+ prov:startedAtTime "2012-04-24T18:21:00Z"^^xsd:dateTime;
+ prov:endedAtTime "2012-04-24T18:23:10Z"^^xsd:dateTime;
+ prov:wasInformedBy :low-fuel-flashing;
+.
:low-fuel-flashing
- a prov:Activity ;
- prov:wasInformedBy :fuel-tank-measurement ;
- prov:startedAtTime "2012-04-24T17:45:00Z"^xsd:dateTime ;
- prov:endedAtTime "2012-04-24T18:21:40Z"^xsd:dateTime .
+ a prov:Activity;
+ prov:wasInformedBy :fuel-tank-measurement;
+ prov:startedAtTime "2012-04-24T17:45:00Z"^^xsd:dateTime;
+ prov:endedAtTime "2012-04-24T18:21:40Z"^^xsd:dateTime;
+.
-:fuel-tank-measurement ;
- a prov:Activity .
+:fuel-tank-measurement;
+ a prov:Activity;
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasRevisionOf.ttl Thu Apr 26 09:52:38 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasRevisionOf.ttl Thu Apr 26 10:16:47 2012 -0400
@@ -2,11 +2,11 @@
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix sioc: <http://rdfs.org/sioc/ns#> .
@prefix : <http://example.com/> .
-# :post9821v1 is a post, which is a revision of the original post :post9821.
-
:post9821v1
- a prov:Entity, sioc:Post;
- prov:wasRevisionOf :post9821;
+ a prov:Entity, sioc:Post;
+ prov:wasRevisionOf :post9821;
+ rdfs:comment ":post9821v1 is a post, which is a revision of the original post :post9821.";
.