Fixed syntax errors in some PROV-O test cases
authorTrung Dong Huynh <tdh@ecs.soton.ac.uk>
Wed, 28 Nov 2012 16:10:53 +0000
changeset 5184 77560034c29b
parent 5183 c2b439d5bde4
child 5185 1fc008b3bdf7
Fixed syntax errors in some PROV-O test cases
testcases/process.html
testcases/provo/prov-o-property-qualifiedDelegation-PASS.provn
testcases/provo/prov-o-property-qualifiedDelegation-PASS.provx
testcases/provo/prov-o-property-qualifiedDelegation-PASS.ttl
testcases/provo/prov-o-property-qualifiedEnd-PASS.provn
testcases/provo/prov-o-property-qualifiedEnd-PASS.provx
testcases/provo/prov-o-property-qualifiedEnd-PASS.ttl
--- a/testcases/process.html	Wed Nov 28 15:20:43 2012 +0000
+++ b/testcases/process.html	Wed Nov 28 16:10:53 2012 +0000
@@ -162,12 +162,12 @@
 </section>
 
 
-<section id="implementers">
+<section id="process">
 
-<h2>Process for Implementers</h2>
+<h2>Report Your Validator</h2>
 
 
-<section id="test-cases">
+<section id="testcase-identifier">
 
 <h3>Test cases</h3>
 
@@ -254,14 +254,13 @@
 
 </section>
 
-<section id="wg-process">
-
-<h2>Process for the Working Group</h2>
+<section id="testcases">
 
+<h2>Testcases</h2>
 
-<section id="categorization">
+<section id="unit-testcases">
 
-<h3>Categorizing Test Cases</h3>
+<h3>Unit Testcases</h3>
 
 <p>All test cases need to be checked for the  constraints they cover and their expected
 validation results (i.e. Pass or  Fail).</p>
@@ -690,6 +689,15 @@
 
 </section>
 
+<section id="provdm-testcases">
+
+<h3>PROV-DM Testcases</h3>
+
+
+<section id="provo-testcases">
+
+<h3>PROV-O Testcases</h3>
+
 </section>
 
 </body>
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/provo/prov-o-property-qualifiedDelegation-PASS.provn	Wed Nov 28 16:10:53 2012 +0000
@@ -0,0 +1,23 @@
+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(control-city-traffic,-,-)
+activity(driving-during-the-year,2011-07-16T01:52:02Z,2012-07-16T01:52:02Z)
+activity(traffic-stop,-,-)
+agent(traffic_officer_34,[prov:type='prov:Person'])
+agent(chauffeur,[prov:type='prov:Person'])
+actedOnBehalfOf(traffic_officer_34,city-of-Paris,-)
+wasAssociatedWith(driving-during-the-year,chaffeur,-)
+actedOnBehalfOf(chauffeur,celebrity-in-car,-)
+wasAssociatedWith(traffic-stop,chauffeur,-)
+wasAssociatedWith(traffic-stop,traffic-officer-34,-)
+wasAssociatedWith(traffic-stop,chauffeur,-)
+wasAssociatedWith(traffic-stop,traffic-officer-34,-)
+actedOnBehalfOf(chauffeur,celebrity-in-car,driving-during-the-year)
+actedOnBehalfOf(traffic_officer_34,city-of-Paris,control-city-traffic)
+wasAssociatedWith(driving-during-the-year,-,-)
+endDocument
\ No newline at end of file
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/provo/prov-o-property-qualifiedDelegation-PASS.provx	Wed Nov 28 16:10:53 2012 +0000
@@ -0,0 +1,56 @@
+<?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="control-city-traffic"/>
+    <prov:activity xmlns="http://example.com/" prov:id="driving-during-the-year">
+        <prov:startTime>2011-07-16T01:52:02Z</prov:startTime>
+        <prov:endTime>2012-07-16T01:52:02Z</prov:endTime>
+    </prov:activity>
+    <prov:activity xmlns="http://example.com/" prov:id="traffic-stop"/>
+    <prov:agent xmlns="http://example.com/" prov:id="traffic_officer_34">
+        <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
+    </prov:agent>
+    <prov:agent xmlns="http://example.com/" prov:id="chauffeur">
+        <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
+    </prov:agent>
+    <prov:actedOnBehalfOf>
+        <prov:subordinate xmlns="http://example.com/" prov:ref="traffic_officer_34"/>
+        <prov:responsible xmlns="http://example.com/" prov:ref="city-of-Paris"/>
+    </prov:actedOnBehalfOf>
+    <prov:wasAssociatedWith>
+        <prov:activity xmlns="http://example.com/" prov:ref="driving-during-the-year"/>
+        <prov:agent xmlns="http://example.com/" prov:ref="chaffeur"/>
+    </prov:wasAssociatedWith>
+    <prov:actedOnBehalfOf>
+        <prov:subordinate xmlns="http://example.com/" prov:ref="chauffeur"/>
+        <prov:responsible xmlns="http://example.com/" prov:ref="celebrity-in-car"/>
+    </prov:actedOnBehalfOf>
+    <prov:wasAssociatedWith>
+        <prov:activity xmlns="http://example.com/" prov:ref="traffic-stop"/>
+        <prov:agent xmlns="http://example.com/" prov:ref="chauffeur"/>
+    </prov:wasAssociatedWith>
+    <prov:wasAssociatedWith>
+        <prov:activity xmlns="http://example.com/" prov:ref="traffic-stop"/>
+        <prov:agent xmlns="http://example.com/" prov:ref="traffic-officer-34"/>
+    </prov:wasAssociatedWith>
+    <prov:actedOnBehalfOf>
+        <prov:subordinate xmlns="http://example.com/" prov:ref="traffic_officer_34"/>
+        <prov:responsible xmlns="http://example.com/" prov:ref="city-of-Paris"/>
+        <prov:activity xmlns="http://example.com/" prov:ref="control-city-traffic"/>
+    </prov:actedOnBehalfOf>
+    <prov:wasAssociatedWith>
+        <prov:activity xmlns="http://example.com/" prov:ref="driving-during-the-year"/>
+    </prov:wasAssociatedWith>
+    <prov:wasAssociatedWith>
+        <prov:activity xmlns="http://example.com/" prov:ref="traffic-stop"/>
+        <prov:agent xmlns="http://example.com/" prov:ref="chauffeur"/>
+    </prov:wasAssociatedWith>
+    <prov:actedOnBehalfOf>
+        <prov:subordinate xmlns="http://example.com/" prov:ref="chauffeur"/>
+        <prov:responsible xmlns="http://example.com/" prov:ref="celebrity-in-car"/>
+        <prov:activity xmlns="http://example.com/" prov:ref="driving-during-the-year"/>
+    </prov:actedOnBehalfOf>
+    <prov:wasAssociatedWith>
+        <prov:activity xmlns="http://example.com/" prov:ref="traffic-stop"/>
+        <prov:agent xmlns="http://example.com/" prov:ref="traffic-officer-34"/>
+    </prov:wasAssociatedWith>
+</prov:document>
--- a/testcases/provo/prov-o-property-qualifiedDelegation-PASS.ttl	Wed Nov 28 15:20:43 2012 +0000
+++ b/testcases/provo/prov-o-property-qualifiedDelegation-PASS.ttl	Wed Nov 28 16:10:53 2012 +0000
@@ -47,7 +47,7 @@
 		prov:hadRole :driver;
 	];
 	prov:startedAtTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
-	prov:endedAtTime "2012-07-16T01:52:02Z"^^xsd:dateTime;;
+	prov:endedAtTime "2012-07-16T01:52:02Z"^^xsd:dateTime;
 .
 
 :traffic_officer_34 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/provo/prov-o-property-qualifiedEnd-PASS.provn	Wed Nov 28 16:10:53 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-property-qualifiedEnd-PASS.provx	Wed Nov 28 16:10:53 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-property-qualifiedEnd-PASS.ttl	Wed Nov 28 15:20:43 2012 +0000
+++ b/testcases/provo/prov-o-property-qualifiedEnd-PASS.ttl	Wed Nov 28 16:10:53 2012 +0000
@@ -22,7 +22,7 @@
 
 ### An implicit process of analysing 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;