--- 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;