--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/provo/prov-o-class-End-PASS.provn Wed Nov 28 15:20:43 2012 +0000
@@ -0,0 +1,13 @@
+document
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+default <http://example.com/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+activity(analyse_intermediate_result,2011-07-15T12:52:02Z,2011-07-16T01:52:02Z)
+activity(experiment,-,-)
+entity(inconsistentResult)
+wasEndedBy(experiment,inconsistentResult,-,-)
+wasEndedBy(experiment,inconsistentResult,analyse_intermediate_result,2011-07-16T01:52:02Z,[prov:location="http://example.com/scienceLab_003" %% xsd:anyURI])
+endDocument
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/provo/prov-o-class-End-PASS.provx Wed Nov 28 15:20:43 2012 +0000
@@ -0,0 +1,20 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:ns2="http://openprovenance.org/collection#" xmlns:ns3="http://openprovenance.org/validation#" xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:prim="http://openprovenance.org/primitives#" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:pc1="http://www.ipaw.info/pc1/">
+ <prov:activity xmlns="http://example.com/" prov:id="analyse_intermediate_result">
+ <prov:startTime>2011-07-15T12:52:02Z</prov:startTime>
+ <prov:endTime>2011-07-16T01:52:02Z</prov:endTime>
+ </prov:activity>
+ <prov:activity xmlns="http://example.com/" prov:id="experiment"/>
+ <prov:entity xmlns="http://example.com/" prov:id="inconsistentResult"/>
+ <prov:wasEndedBy>
+ <prov:activity xmlns="http://example.com/" prov:ref="experiment"/>
+ <prov:trigger xmlns="http://example.com/" prov:ref="inconsistentResult"/>
+ </prov:wasEndedBy>
+ <prov:wasEndedBy>
+ <prov:time>2011-07-16T01:52:02Z</prov:time>
+ <prov:activity xmlns="http://example.com/" prov:ref="experiment"/>
+ <prov:trigger xmlns="http://example.com/" prov:ref="inconsistentResult"/>
+ <prov:ender xmlns="http://example.com/" prov:ref="analyse_intermediate_result"/>
+ <prov:location xsi:type="xsd:anyURI">http://example.com/scienceLab_003</prov:location>
+ </prov:wasEndedBy>
+</prov:document>
--- a/testcases/provo/prov-o-class-End-PASS.ttl Wed Nov 28 13:01:21 2012 +0000
+++ b/testcases/provo/prov-o-class-End-PASS.ttl Wed Nov 28 15:20:43 2012 +0000
@@ -23,7 +23,7 @@
### An implicit process analyzes the intermediate result to confirm its expected consistency
-analyse_intermediate_result
+:analyse_intermediate_result
a prov:Activity ;
prov:startedAtTime "2011-07-15T12:52:02Z"^^xsd:dateTime;
prov:endedAtTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
--- a/testcases/provo/prov-o-class-Invalidation-PASS.ttl Wed Nov 28 13:01:21 2012 +0000
+++ b/testcases/provo/prov-o-class-Invalidation-PASS.ttl Wed Nov 28 15:20:43 2012 +0000
@@ -15,7 +15,7 @@
prov:qualifiedInvalidation [
a prov:Invalidation;
prov:activity :swissair_Flight_111_crash;
- prov:atTime "1998-09-02T01:31:00Z";
+ prov:atTime "1998-09-02T01:31:00Z"^^xsd:dateTime;
prov:atLocation <http://purl.org/twc/location/Swissair-Flight-111-crash>;
];
.
@@ -34,6 +34,6 @@
:swissair_Flight_111_crash
a prov:Activity;
prov:used <http://dbpedia.org/resource/Swissair_Flight_111>;
- prov:startedAtTime "1998-09-02T01:31:00Z";
+ prov:startedAtTime "1998-09-02T01:31:00Z"^^xsd:dateTime;;
prov:atLocation <http://dbpedia.org/resource/Atlantic_ocean>;
.
--- a/testcases/provo/prov-o-class-Revision-PASS.ttl Wed Nov 28 13:01:21 2012 +0000
+++ b/testcases/provo/prov-o-class-Revision-PASS.ttl Wed Nov 28 15:20:43 2012 +0000
@@ -14,9 +14,9 @@
ex:peerReviewed false;
];
- prov:wasAssociatedWith :edward;
- prov:qualifiedAssociation [
- a prov:Association;
+ prov:wasAttributedTo :edward;
+ prov:qualifiedAttribution [
+ a prov:Attribution;
prov:agent :edward;
prov:hadRole :editor;
];
--- a/testcases/provo/prov-o-property-asInBundle-PASS.ttl Wed Nov 28 13:01:21 2012 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,31 +0,0 @@
-@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 {
- :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 {
- tool:bob-2011-11-17
- a prov:Agent;
- prov:mentionOf :bob;
- prov:asInBundle :run2;
- perf:rating perf:very-slow;
- .
-}
-
-# This is inferred from prov:mentionOf
-tool:bob-2011-11-17 prov:specializationOf :bob .
-
-# This is inferred from prov:specializationOf
-tool:bob-2011-11-17 prov:alternateOf :bob .
--- a/testcases/provo/prov-o-property-hadQuoted-PASS.ttl Wed Nov 28 13:01:21 2012 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,16 +0,0 @@
-@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 .
--- a/testcases/provo/prov-o-property-hadQuoter-PASS.ttl Wed Nov 28 13:01:21 2012 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,18 +0,0 @@
-@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 .
-
--- a/testcases/provo/prov-o-property-mentionOf-PASS.ttl Wed Nov 28 13:01:21 2012 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,30 +0,0 @@
-@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 {
- :running_marathon
- a prov:Activity;
- prov:startedAtTime "2011-11-17T10:00:00"^^xsd:dateTime;
- prov:endedAtTime "2011-11-17T17:00:00"^^xsd:dateTime;
- prov:wasAssociatedWith :bob .
- :bob-2011-11-17 prov:specializationOf :bob .
-}
-
-tool:analysis_01 {
- tool:bob-2011-11-17
- a prov:Agent;
- prov:mentionOf :bob;
- prov:asInBundle :run2;
- perf:rating perf:very-slow;
- .
-}
-
-# This is inferred from prov:mentionOf
-
-# This is inferred from prov:specializationOf
-tool:bob-2011-11-17 prov:alternateOf :bob .
--- a/testcases/provo/prov-o-property-qualifiedDelegation-PASS.ttl Wed Nov 28 13:01:21 2012 +0000
+++ b/testcases/provo/prov-o-property-qualifiedDelegation-PASS.ttl Wed Nov 28 15:20:43 2012 +0000
@@ -33,7 +33,8 @@
prov:agent :celebrity-in-car;
# The celebrity employed the chauffeur during the enforcement.
- prov:hadRole :employer;
+ # REMOVED: The following statement is not valid
+ # prov:hadRole :employer;
prov:hadActivity :driving-during-the-year ;
];
.
@@ -57,7 +58,8 @@
prov:agent :city-of-Paris;
# The city of Paris employed the officer during the enforcement.
- prov:hadRole :employer;
+ # REMOVED: The following statement is not valid
+ # prov:hadRole :employer;
prov:hadActivity :control-city-traffic ;
];
.