--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/prov-dm-ex22-PASS.provn Wed Nov 21 12:15:06 2012 +0000
@@ -0,0 +1,9 @@
+bundle
+
+prefix ex <http://example.org/>
+
+activity(ex:a1, [ prov:type="traffic regulations enforcing" ])
+activity(ex:a2, [ prov:type="fine paying" ])
+wasInformedBy(ex:a2, ex:a1)
+
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/prov-dm-ex22-PASS.provx Wed Nov 21 12:15:06 2012 +0000
@@ -0,0 +1,13 @@
+<?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:ex="http://example.org/" prov:id="ex:a1">
+ <prov:type xsi:type="xsd:string">traffic regulations enforcing</prov:type>
+ </prov:activity>
+ <prov:activity xmlns:ex="http://example.org/" prov:id="ex:a2">
+ <prov:type xsi:type="xsd:string">fine paying</prov:type>
+ </prov:activity>
+ <prov:wasInformedBy>
+ <prov:effect xmlns:ex="http://example.org/" prov:ref="ex:a2"/>
+ <prov:cause xmlns:ex="http://example.org/" prov:ref="ex:a1"/>
+ </prov:wasInformedBy>
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/prov-dm-ex22-PASS.ttl Wed Nov 21 12:15:06 2012 +0000
@@ -0,0 +1,14 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:a1 a prov:Activity ;
+ prov:type "traffic regulations enforcing"^^xsd:string .
+
+ex:a2 a prov:Activity ;
+ prov:type "fine paying"^^xsd:string ;
+ prov:wasInformedBy ex:a1 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/w3c-publication1-PASS.provn Wed Nov 21 12:15:06 2012 +0000
@@ -0,0 +1,39 @@
+bundle
+
+prefix ex <http://example.org/>
+prefix w3 <http://www.w3.org/>
+prefix tr <http://www.w3.org/TR/2011/>
+
+entity(tr:WD-prov-dm-20111215, [ prov:type="document", ex:version="2" ])
+
+agent(ex:Luc, [ prov:type='prov:Person' ])
+agent(ex:Paolo, [ prov:type='prov:Person' ])
+agent(ex:Khalid, [ prov:type='prov:Person' ])
+agent(ex:Stephen, [ prov:type='prov:Person' ])
+agent(ex:Yolanda, [ prov:type='prov:Person' ])
+agent(ex:Ryan, [ prov:type='prov:Person' ])
+agent(ex:Paul, [ prov:type='prov:Person' ])
+agent(ex:Graham, [ prov:type='prov:Person' ])
+agent(ex:Jim, [ prov:type='prov:Person' ])
+agent(ex:Simon, [ prov:type='prov:Person' ])
+agent(ex:James, [ prov:type='prov:Person' ])
+agent(ex:Satya, [ prov:type='prov:Person' ])
+
+activity(ex:edit1,[prov:type="edit"])
+
+wasGeneratedBy(tr:WD-prov-dm-20111215, ex:edit1)
+
+wasAssociatedWith(ex:edit1, ex:Luc, -, [prov:role="editor"])
+wasAssociatedWith(ex:edit1, ex:Paolo, -, [prov:role="editor"])
+wasAssociatedWith(ex:edit1, ex:Khalid, -, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Stephen, -, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Yolanda, -, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Ryan, -, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Paul, -, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Graham, -, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Jim, -, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Simon, -, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:James, -, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Satya, -, [prov:role="contributor"])
+
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/w3c-publication1-PASS.provx Wed Nov 21 12:15:06 2012 +0000
@@ -0,0 +1,106 @@
+<?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:entity xmlns:tr="http://www.w3.org/TR/2011/" prov:id="tr:WD-prov-dm-20111215">
+ <prov:type xsi:type="xsd:string">document</prov:type>
+ <ex:version xmlns:ex="http://example.org/" xsi:type="xsd:string">2</ex:version>
+ </prov:entity>
+ <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Luc">
+ <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
+ </prov:agent>
+ <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Paolo">
+ <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
+ </prov:agent>
+ <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Khalid">
+ <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
+ </prov:agent>
+ <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Stephen">
+ <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
+ </prov:agent>
+ <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Yolanda">
+ <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
+ </prov:agent>
+ <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Ryan">
+ <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
+ </prov:agent>
+ <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Paul">
+ <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
+ </prov:agent>
+ <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Graham">
+ <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
+ </prov:agent>
+ <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Jim">
+ <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
+ </prov:agent>
+ <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Simon">
+ <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
+ </prov:agent>
+ <prov:agent xmlns:ex="http://example.org/" prov:id="ex:James">
+ <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
+ </prov:agent>
+ <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Satya">
+ <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
+ </prov:agent>
+ <prov:activity xmlns:ex="http://example.org/" prov:id="ex:edit1">
+ <prov:type xsi:type="xsd:string">edit</prov:type>
+ </prov:activity>
+ <prov:wasAssociatedWith>
+ <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
+ <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Luc"/>
+ <prov:role xsi:type="xsd:string">editor</prov:role>
+ </prov:wasAssociatedWith>
+ <prov:wasAssociatedWith>
+ <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
+ <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Paolo"/>
+ <prov:role xsi:type="xsd:string">editor</prov:role>
+ </prov:wasAssociatedWith>
+ <prov:wasAssociatedWith>
+ <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
+ <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Khalid"/>
+ <prov:role xsi:type="xsd:string">contributor</prov:role>
+ </prov:wasAssociatedWith>
+ <prov:wasAssociatedWith>
+ <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
+ <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Stephen"/>
+ <prov:role xsi:type="xsd:string">contributor</prov:role>
+ </prov:wasAssociatedWith>
+ <prov:wasAssociatedWith>
+ <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
+ <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Yolanda"/>
+ <prov:role xsi:type="xsd:string">contributor</prov:role>
+ </prov:wasAssociatedWith>
+ <prov:wasAssociatedWith>
+ <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
+ <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Ryan"/>
+ <prov:role xsi:type="xsd:string">contributor</prov:role>
+ </prov:wasAssociatedWith>
+ <prov:wasAssociatedWith>
+ <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
+ <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Paul"/>
+ <prov:role xsi:type="xsd:string">contributor</prov:role>
+ </prov:wasAssociatedWith>
+ <prov:wasAssociatedWith>
+ <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
+ <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Graham"/>
+ <prov:role xsi:type="xsd:string">contributor</prov:role>
+ </prov:wasAssociatedWith>
+ <prov:wasAssociatedWith>
+ <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
+ <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Jim"/>
+ <prov:role xsi:type="xsd:string">contributor</prov:role>
+ </prov:wasAssociatedWith>
+ <prov:wasAssociatedWith>
+ <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
+ <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Simon"/>
+ <prov:role xsi:type="xsd:string">contributor</prov:role>
+ </prov:wasAssociatedWith>
+ <prov:wasAssociatedWith>
+ <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
+ <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:James"/>
+ <prov:role xsi:type="xsd:string">contributor</prov:role>
+ </prov:wasAssociatedWith>
+ <prov:wasAssociatedWith>
+ <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
+ <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Satya"/>
+ <prov:role xsi:type="xsd:string">contributor</prov:role>
+ </prov:wasAssociatedWith>
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/w3c-publication1-PASS.ttl Wed Nov 21 12:15:06 2012 +0000
@@ -0,0 +1,159 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix tr: <http://www.w3.org/TR/2011/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+tr:WD-prov-dm-20111215 a prov:Entity ;
+ prov:type "document"^^xsd:string ;
+ ex:version "2"^^xsd:string .
+
+ex:Luc a prov:Agent ;
+ prov:type "prov:Person"^^xsd:QName .
+
+ex:Paolo a prov:Agent ;
+ prov:type "prov:Person"^^xsd:QName .
+
+ex:Khalid a prov:Agent ;
+ prov:type "prov:Person"^^xsd:QName .
+
+ex:Stephen a prov:Agent ;
+ prov:type "prov:Person"^^xsd:QName .
+
+ex:Yolanda a prov:Agent ;
+ prov:type "prov:Person"^^xsd:QName .
+
+ex:Ryan a prov:Agent ;
+ prov:type "prov:Person"^^xsd:QName .
+
+ex:Paul a prov:Agent ;
+ prov:type "prov:Person"^^xsd:QName .
+
+ex:Graham a prov:Agent ;
+ prov:type "prov:Person"^^xsd:QName .
+
+ex:Jim a prov:Agent ;
+ prov:type "prov:Person"^^xsd:QName .
+
+ex:Simon a prov:Agent ;
+ prov:type "prov:Person"^^xsd:QName .
+
+ex:James a prov:Agent ;
+ prov:type "prov:Person"^^xsd:QName .
+
+ex:Satya a prov:Agent ;
+ prov:type "prov:Person"^^xsd:QName .
+
+ex:edit1 a prov:Activity ;
+ prov:type "edit"^^xsd:string .
+
+_:node17chb2nssx1 a prov:Association ;
+ prov:agent ex:Luc .
+
+ex:edit1 prov:qualifiedAssociation _:node17chb2nssx1 .
+
+_:node17chb2nssx1 prov:role "editor"^^xsd:string .
+
+ex:edit1 prov:wasAssociatedWith ex:Luc .
+
+_:node17chb2nssx2 a prov:Association ;
+ prov:agent ex:Paolo .
+
+ex:edit1 prov:qualifiedAssociation _:node17chb2nssx2 .
+
+_:node17chb2nssx2 prov:role "editor"^^xsd:string .
+
+ex:edit1 prov:wasAssociatedWith ex:Paolo .
+
+_:node17chb2nssx3 a prov:Association ;
+ prov:agent ex:Khalid .
+
+ex:edit1 prov:qualifiedAssociation _:node17chb2nssx3 .
+
+_:node17chb2nssx3 prov:role "contributor"^^xsd:string .
+
+ex:edit1 prov:wasAssociatedWith ex:Khalid .
+
+_:node17chb2nssx4 a prov:Association ;
+ prov:agent ex:Stephen .
+
+ex:edit1 prov:qualifiedAssociation _:node17chb2nssx4 .
+
+_:node17chb2nssx4 prov:role "contributor"^^xsd:string .
+
+ex:edit1 prov:wasAssociatedWith ex:Stephen .
+
+_:node17chb2nssx5 a prov:Association ;
+ prov:agent ex:Yolanda .
+
+ex:edit1 prov:qualifiedAssociation _:node17chb2nssx5 .
+
+_:node17chb2nssx5 prov:role "contributor"^^xsd:string .
+
+ex:edit1 prov:wasAssociatedWith ex:Yolanda .
+
+_:node17chb2nssx6 a prov:Association ;
+ prov:agent ex:Ryan .
+
+ex:edit1 prov:qualifiedAssociation _:node17chb2nssx6 .
+
+_:node17chb2nssx6 prov:role "contributor"^^xsd:string .
+
+ex:edit1 prov:wasAssociatedWith ex:Ryan .
+
+_:node17chb2nssx7 a prov:Association ;
+ prov:agent ex:Paul .
+
+ex:edit1 prov:qualifiedAssociation _:node17chb2nssx7 .
+
+_:node17chb2nssx7 prov:role "contributor"^^xsd:string .
+
+ex:edit1 prov:wasAssociatedWith ex:Paul .
+
+_:node17chb2nssx8 a prov:Association ;
+ prov:agent ex:Graham .
+
+ex:edit1 prov:qualifiedAssociation _:node17chb2nssx8 .
+
+_:node17chb2nssx8 prov:role "contributor"^^xsd:string .
+
+ex:edit1 prov:wasAssociatedWith ex:Graham .
+
+_:node17chb2nssx9 a prov:Association ;
+ prov:agent ex:Jim .
+
+ex:edit1 prov:qualifiedAssociation _:node17chb2nssx9 .
+
+_:node17chb2nssx9 prov:role "contributor"^^xsd:string .
+
+ex:edit1 prov:wasAssociatedWith ex:Jim .
+
+_:node17chb2nssx10 a prov:Association ;
+ prov:agent ex:Simon .
+
+ex:edit1 prov:qualifiedAssociation _:node17chb2nssx10 .
+
+_:node17chb2nssx10 prov:role "contributor"^^xsd:string .
+
+ex:edit1 prov:wasAssociatedWith ex:Simon .
+
+_:node17chb2nssx11 a prov:Association ;
+ prov:agent ex:James .
+
+ex:edit1 prov:qualifiedAssociation _:node17chb2nssx11 .
+
+_:node17chb2nssx11 prov:role "contributor"^^xsd:string .
+
+ex:edit1 prov:wasAssociatedWith ex:James .
+
+_:node17chb2nssx12 a prov:Association ;
+ prov:agent ex:Satya .
+
+ex:edit1 prov:qualifiedAssociation _:node17chb2nssx12 .
+
+_:node17chb2nssx12 prov:role "contributor"^^xsd:string .
+
+ex:edit1 prov:wasAssociatedWith ex:Satya .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/w3c-publication2-PASS.provn Wed Nov 21 12:15:06 2012 +0000
@@ -0,0 +1,42 @@
+bundle
+
+prefix ex <http://example.org/>
+
+prefix w3 <http://www.w3.org/>
+prefix tr <http://www.w3.org/TR/2011/>
+prefix process <http://www.w3.org/2005/10/Process-20051014/tr.html#>
+prefix email <https://lists.w3.org/Archives/Member/w3c-archive/>
+prefix chairs <https://lists.w3.org/Archives/Member/chairs/>
+prefix trans <http://www.w3.org/2005/08/01-transitions.html#>
+prefix rec54 <http://www.w3.org/2001/02pd/rec54#>
+
+
+ entity(tr:WD-prov-dm-20111018, [ prov:type='rec54:WD' ])
+ entity(tr:WD-prov-dm-20111215, [ prov:type='rec54:WD' ])
+ entity(process:rec-advance, [ prov:type='prov:Plan' ])
+
+
+ entity(chairs:2011OctDec/0004, [ prov:type='trans:transreq' ])
+ entity(email:2011Oct/0141, [ prov:type='trans:pubreq' ])
+ entity(email:2011Dec/0111, [ prov:type='trans:pubreq' ])
+
+
+ wasDerivedFrom(tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018)
+
+
+ activity(ex:act1,-,-,[prov:type="publish"])
+ activity(ex:act2,-,-,[prov:type="publish"])
+
+ wasGeneratedBy(tr:WD-prov-dm-20111018, ex:act1, -)
+ wasGeneratedBy(tr:WD-prov-dm-20111215, ex:act2, -)
+
+ used(ex:act1, chairs:2011OctDec/0004, -)
+ used(ex:act1, email:2011Oct/0141, -)
+ used(ex:act2, email:2011Dec/0111, -)
+
+ agent(w3:Consortium, [ prov:type='prov:Organization' ])
+
+ wasAssociatedWith(ex:act1, w3:Consortium, process:rec-advance)
+ wasAssociatedWith(ex:act2, w3:Consortium, process:rec-advance)
+
+endBundle
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/w3c-publication2-PASS.provx Wed Nov 21 12:15:06 2012 +0000
@@ -0,0 +1,64 @@
+<?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:entity xmlns:tr="http://www.w3.org/TR/2011/" prov:id="tr:WD-prov-dm-20111018">
+ <prov:type xmlns:rec54="http://www.w3.org/2001/02pd/rec54#" xsi:type="xsd:QName">rec54:WD</prov:type>
+ </prov:entity>
+ <prov:entity xmlns:tr="http://www.w3.org/TR/2011/" prov:id="tr:WD-prov-dm-20111215">
+ <prov:type xmlns:rec54="http://www.w3.org/2001/02pd/rec54#" xsi:type="xsd:QName">rec54:WD</prov:type>
+ </prov:entity>
+ <prov:entity xmlns:process="http://www.w3.org/2005/10/Process-20051014/tr.html#" prov:id="process:rec-advance">
+ <prov:type xsi:type="xsd:QName">prov:Plan</prov:type>
+ </prov:entity>
+ <prov:entity xmlns:chairs="https://lists.w3.org/Archives/Member/chairs/" prov:id="chairs:2011OctDec/0004">
+ <prov:type xmlns:trans="http://www.w3.org/2005/08/01-transitions.html#" xsi:type="xsd:QName">trans:transreq</prov:type>
+ </prov:entity>
+ <prov:entity xmlns:email="https://lists.w3.org/Archives/Member/w3c-archive/" prov:id="email:2011Oct/0141">
+ <prov:type xmlns:trans="http://www.w3.org/2005/08/01-transitions.html#" xsi:type="xsd:QName">trans:pubreq</prov:type>
+ </prov:entity>
+ <prov:entity xmlns:email="https://lists.w3.org/Archives/Member/w3c-archive/" prov:id="email:2011Dec/0111">
+ <prov:type xmlns:trans="http://www.w3.org/2005/08/01-transitions.html#" xsi:type="xsd:QName">trans:pubreq</prov:type>
+ </prov:entity>
+ <prov:wasDerivedFrom>
+ <prov:generatedEntity xmlns:tr="http://www.w3.org/TR/2011/" prov:ref="tr:WD-prov-dm-20111215"/>
+ <prov:usedEntity xmlns:tr="http://www.w3.org/TR/2011/" prov:ref="tr:WD-prov-dm-20111018"/>
+ </prov:wasDerivedFrom>
+ <prov:activity xmlns:ex="http://example.org/" prov:id="ex:act1">
+ <prov:type xsi:type="xsd:string">publish</prov:type>
+ </prov:activity>
+ <prov:activity xmlns:ex="http://example.org/" prov:id="ex:act2">
+ <prov:type xsi:type="xsd:string">publish</prov:type>
+ </prov:activity>
+ <prov:wasGeneratedBy>
+ <prov:entity xmlns:tr="http://www.w3.org/TR/2011/" prov:ref="tr:WD-prov-dm-20111018"/>
+ <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:act1"/>
+ </prov:wasGeneratedBy>
+ <prov:wasGeneratedBy>
+ <prov:entity xmlns:tr="http://www.w3.org/TR/2011/" prov:ref="tr:WD-prov-dm-20111215"/>
+ <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:act2"/>
+ </prov:wasGeneratedBy>
+ <prov:used>
+ <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:act1"/>
+ <prov:entity xmlns:chairs="https://lists.w3.org/Archives/Member/chairs/" prov:ref="chairs:2011OctDec/0004"/>
+ </prov:used>
+ <prov:used>
+ <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:act1"/>
+ <prov:entity xmlns:email="https://lists.w3.org/Archives/Member/w3c-archive/" prov:ref="email:2011Oct/0141"/>
+ </prov:used>
+ <prov:used>
+ <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:act2"/>
+ <prov:entity xmlns:email="https://lists.w3.org/Archives/Member/w3c-archive/" prov:ref="email:2011Dec/0111"/>
+ </prov:used>
+ <prov:agent xmlns:w3="http://www.w3.org/" prov:id="w3:Consortium">
+ <prov:type xsi:type="xsd:QName">prov:Organization</prov:type>
+ </prov:agent>
+ <prov:wasAssociatedWith>
+ <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:act1"/>
+ <prov:agent xmlns:w3="http://www.w3.org/" prov:ref="w3:Consortium"/>
+ <prov:plan xmlns:process="http://www.w3.org/2005/10/Process-20051014/tr.html#" prov:ref="process:rec-advance"/>
+ </prov:wasAssociatedWith>
+ <prov:wasAssociatedWith>
+ <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:act2"/>
+ <prov:agent xmlns:w3="http://www.w3.org/" prov:ref="w3:Consortium"/>
+ <prov:plan xmlns:process="http://www.w3.org/2005/10/Process-20051014/tr.html#" prov:ref="process:rec-advance"/>
+ </prov:wasAssociatedWith>
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/w3c-publication2-PASS.ttl Wed Nov 21 12:15:06 2012 +0000
@@ -0,0 +1,71 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix process: <http://www.w3.org/2005/10/Process-20051014/tr.html#> .
+@prefix chairs: <https://lists.w3.org/Archives/Member/chairs/> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix w3: <http://www.w3.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix rec54: <http://www.w3.org/2001/02pd/rec54#> .
+@prefix ex: <http://example.org/> .
+@prefix email: <https://lists.w3.org/Archives/Member/w3c-archive/> .
+@prefix tr: <http://www.w3.org/TR/2011/> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+@prefix trans: <http://www.w3.org/2005/08/01-transitions.html#> .
+
+
+tr:WD-prov-dm-20111018 a prov:Entity ;
+ prov:type "rec54:WD"^^xsd:QName .
+
+tr:WD-prov-dm-20111215 a prov:Entity ;
+ prov:type "rec54:WD"^^xsd:QName .
+
+process:rec-advance a prov:Entity ;
+ prov:type "prov:Plan"^^xsd:QName .
+
+<https://lists.w3.org/Archives/Member/chairs/2011OctDec/0004> a prov:Entity ;
+ prov:type "trans:transreq"^^xsd:QName .
+
+<https://lists.w3.org/Archives/Member/w3c-archive/2011Oct/0141> a prov:Entity ;
+ prov:type "trans:pubreq"^^xsd:QName .
+
+<https://lists.w3.org/Archives/Member/w3c-archive/2011Dec/0111> a prov:Entity ;
+ prov:type "trans:pubreq"^^xsd:QName .
+
+tr:WD-prov-dm-20111215 prov:wasDerivedFrom tr:WD-prov-dm-20111018 .
+
+ex:act1 a prov:Activity ;
+ prov:type "publish"^^xsd:string .
+
+ex:act2 a prov:Activity ;
+ prov:type "publish"^^xsd:string .
+
+tr:WD-prov-dm-20111018 prov:wasGeneratedBy ex:act1 .
+
+tr:WD-prov-dm-20111215 prov:wasGeneratedBy ex:act2 .
+
+ex:act1 prov:used <https://lists.w3.org/Archives/Member/chairs/2011OctDec/0004> , <https://lists.w3.org/Archives/Member/w3c-archive/2011Oct/0141> .
+
+ex:act2 prov:used <https://lists.w3.org/Archives/Member/w3c-archive/2011Dec/0111> .
+
+w3:Consortium a prov:Agent ;
+ prov:type "prov:Organization"^^xsd:QName .
+
+_:node17chbub73x1 a prov:Association ;
+ prov:agent w3:Consortium .
+
+ex:act1 prov:qualifiedAssociation _:node17chbub73x1 .
+
+process:rec-advance a prov:Plan .
+
+_:node17chbub73x1 prov:hadPlan process:rec-advance .
+
+ex:act1 prov:wasAssociatedWith w3:Consortium .
+
+_:node17chbub73x2 a prov:Association ;
+ prov:agent w3:Consortium .
+
+ex:act2 prov:qualifiedAssociation _:node17chbub73x2 .
+
+_:node17chbub73x2 prov:hadPlan process:rec-advance .
+
+ex:act2 prov:wasAssociatedWith w3:Consortium .
--- a/testcases/process.html Wed Nov 21 08:48:15 2012 +0000
+++ b/testcases/process.html Wed Nov 21 12:15:06 2012 +0000
@@ -248,32 +248,74 @@
<p class="note">Dong: We need to check whether all the constraints are sufficiently covered and curate from the WG or generate ourselves the test cases for constraints that haven’t been covered by these.</p>
-<table border="1" cellspacing="0" cellpadding="0">
+<table border="1" cellspacing="0" cellpadding="5">
<caption>Table 2. PROV-CONSTRAINTS test cases</caption>
<tr>
- <td><b>Identifier</b></p></td>
- <td><b>Constraints Violated</b></p></td>
- <td><b>Expected Validation Result</b></p></td>
- <td><b>Notes</b></p></td>
+ <td><b>Identifier</b></td>
+ <td><b>Constraints Violated</b></td>
+ <td><b>Expected Validation Result</b></td>
+ <td><b>Download links</b></td>
</tr>
<tr>
- <td><b>derivation1-PASS</b></p></td>
+ <td><b>derivation1-PASS</b></td>
<td> </td>
- <td>Pass</p></td>
- <td> </td>
+ <td>Pass</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation1-PASS.provn" title="derivation1-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation1-PASS.provx" title="derivation1-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation1-PASS.ttl" title="derivation1-PASS.ttl">PROV-RDF</a>
+ </td>
</tr>
<tr>
- <td><b>derivation2-FAIL-ordering</b></p></td>
+ <td><b>derivation2-FAIL-ordering</b></td>
<td> </td>
- <td>Pass</p></td>
- <td> </td>
+ <td>Fail</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation2-FAIL-ordering.provn" title="derivation2-FAIL-ordering.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation2-FAIL-ordering.provx" title="derivation2-FAIL-ordering.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation2-FAIL-ordering.ttl" title="derivation2-FAIL-ordering.ttl">PROV-RDF</a>
+ </td>
</tr>
<tr>
- <td><b>derivation3-PASS</b></p></td>
+ <td><b>derivation3-PASS</b></td>
<td> </td>
- <td>Pass</p></td>
+ <td>Pass</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation3-PASS.provn" title="derivation3-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation3-PASS.provx" title="derivation3-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation3-PASS.ttl" title="derivation3-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>w3c-publication1-PASS</b></td>
<td> </td>
+ <td>Pass</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/w3c-publication1-PASS.provn" title="w3c-publication1-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/w3c-publication1-PASS.provx" title="w3c-publication1-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/w3c-publication1-PASS.ttl" title="w3c-publication1-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>w3c-publication2-PASS</b></td>
+ <td> </td>
+ <td>Pass</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/w3c-publication2-PASS.provn" title="w3c-publication2-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/w3c-publication2-PASS.provx" title="w3c-publication2-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/w3c-publication2-PASS.ttl" title="w3c-publication2-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>prov-dm-ex22-PASS</b></td>
+ <td> </td>
+ <td>Pass</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/prov-dm-ex22-PASS.provn" title="prov-dm-ex22-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/prov-dm-ex22-PASS.provx" title="prov-dm-ex22-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/prov-dm-ex22-PASS.ttl" title="prov-dm-ex22-PASS.ttl">PROV-RDF</a>
+ </td>
</tr>
</table>