Fixed bugs in contraint test cases (as reported in ISSUE-611) - 2 issues remaining
--- a/testcases/constraints/ordering-association2-PASS-c47.provn Fri Jan 04 14:23:43 2013 +0000
+++ b/testcases/constraints/ordering-association2-PASS-c47.provn Mon Jan 07 12:29:47 2013 +0000
@@ -1,15 +1,18 @@
document
-prefix ex <http://example.org/>
-activity(ex:a,-,-)
-entity(ex:ag)
-agent(ex:ag)
-entity(ex:e1)
-entity(ex:e2)
-entity(ex:e3)
-entity(ex:e4)
-wasAssociatedWith(ex:assoc;ex:a,ex:ag,-)
-wasStartedBy(ex:start1;ex:a,ex:e1,-,-)
-wasStartedBy(ex:start2;ex:ag,ex:e3,-,-)
-wasEndedBy(ex:end2;ex:ag,ex:e4,-,-)
-wasEndedBy(ex:end1;ex:a,ex:e2,-,-)
+ prefix ex <http://example.org/>
+
+ activity(ex:a,-,-)
+ entity(ex:ag)
+
+ agent(ex:ag)
+ entity(ex:e1)
+ entity(ex:e2)
+ entity(ex:e3)
+ entity(ex:e4)
+
+ wasAssociatedWith(ex:assoc;ex:a,ex:ag,-)
+ wasStartedBy(ex:start1;ex:a,ex:e1,-,-)
+ wasStartedBy(ex:start2;ex:ag,ex:e3,-,-)
+ wasEndedBy(ex:end2;ex:ag,ex:e4,-,-)
+ wasEndedBy(ex:end1;ex:a,ex:e2,-,-)
endDocument
--- a/testcases/constraints/ordering-association2-PASS-c47.provx Fri Jan 04 14:23:43 2013 +0000
+++ b/testcases/constraints/ordering-association2-PASS-c47.provx Mon Jan 07 12:29:47 2013 +0000
@@ -3,22 +3,22 @@
<prov:activity prov:id="ex:a">
</prov:activity>
- <prov:entity prov:id="ex:ag">
+ <prov:entity prov:id="ex:ag">
</prov:entity>
- <prov:agent prov:id="ex:ag">
+ <prov:agent prov:id="ex:ag">
</prov:agent>
- <prov:entity prov:id="ex:e1">
+ <prov:entity prov:id="ex:e1">
</prov:entity>
- <prov:entity prov:id="ex:e2">
+ <prov:entity prov:id="ex:e2">
</prov:entity>
- <prov:entity prov:id="ex:e3">
+ <prov:entity prov:id="ex:e3">
</prov:entity>
- <prov:entity prov:id="ex:e4">
+ <prov:entity prov:id="ex:e4">
</prov:entity>
<prov:wasAssociatedWith prov:id="ex:assoc">
@@ -26,24 +26,24 @@
<prov:agent prov:ref="ex:ag"/>
</prov:wasAssociatedWith>
- <prov:wasStartedBy prov:id="ex:start1">
+ <prov:wasStartedBy prov:id="ex:start1">
<prov:activity prov:ref="ex:a"/>
- <prov:trigger prov:ref="ex:e1"/>
- </prov:wasStartedBy>
+ <prov:trigger prov:ref="ex:e1"/>
+ </prov:wasStartedBy>
- <prov:wasStartedBy prov:id="ex:start2">
+ <prov:wasStartedBy prov:id="ex:start2">
<prov:activity prov:ref="ex:ag"/>
<prov:trigger prov:ref="ex:e3"/>
- </prov:wasStartedBy>
+ </prov:wasStartedBy>
- <prov:wasEndedBy prov:id="ex:end2">
+ <prov:wasEndedBy prov:id="ex:end2">
<prov:activity prov:ref="ex:ag"/>
<prov:trigger prov:ref="ex:e4"/>
</prov:wasEndedBy>
- <prov:wasEndedBy prov:id="ex:end1">
+ <prov:wasEndedBy prov:id="ex:end1">
<prov:activity prov:ref="ex:a"/>
- <prov:trigger prov:ref="ex:e2"/>
- </prov:wasEndedBy>
+ <prov:trigger prov:ref="ex:e2"/>
+ </prov:wasEndedBy>
</prov:document>
--- a/testcases/constraints/ordering-association2-PASS-c47.ttl Fri Jan 04 14:23:43 2013 +0000
+++ b/testcases/constraints/ordering-association2-PASS-c47.ttl Mon Jan 07 12:29:47 2013 +0000
@@ -1,10 +1,5 @@
@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:a a prov:Activity .
--- a/testcases/provo/prov-o-class-Collection-PASS.ttl Fri Jan 04 14:23:43 2013 +0000
+++ b/testcases/provo/prov-o-class-Collection-PASS.ttl Mon Jan 07 12:29:47 2013 +0000
@@ -43,11 +43,11 @@
:page-by-seat
a prov:Entity, ex:WikipediaPage;
prov:specializationOf <http://purl.org/twc/page/wikipedia/us-supreme-court-by-seat>;
- prov:generatedAtTime "2011-08-31T12:51"^^xsd:dateTime;
+ prov:generatedAtTime "2011-08-31T12:51:00"^^xsd:dateTime;
.
:page-by-composition
a prov:Entity, ex:WikipediaPage;
prov:specializationOf <http://purl.org/twc/page/wikipedia/us-supreme-court-by-composition>;
- prov:generatedAtTime "2012-05-16T14:33"^^xsd:dateTime;
+ prov:generatedAtTime "2012-05-16T14:33:00"^^xsd:dateTime;
.
--- a/testcases/provo/prov-o-class-Invalidation-PASS.ttl Fri Jan 04 14:23:43 2013 +0000
+++ b/testcases/provo/prov-o-class-Invalidation-PASS.ttl Mon Jan 07 12:29:47 2013 +0000
@@ -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"^^xsd:dateTime;;
+ prov:startedAtTime "1998-09-02T01:31:00Z"^^xsd:dateTime;
prov:atLocation <http://dbpedia.org/resource/Atlantic_ocean>;
.
--- a/testcases/provo/prov-o-property-hadMember-PASS.ttl Fri Jan 04 14:23:43 2013 +0000
+++ b/testcases/provo/prov-o-property-hadMember-PASS.ttl Mon Jan 07 12:29:47 2013 +0000
@@ -38,11 +38,11 @@
:page-by-seat
a prov:Entity, ex:WikipediaPage;
prov:specializationOf <http://purl.org/twc/page/wikipedia/us-supreme-court-by-seat>;
- prov:generatedAtTime "2011-08-31T12:51"^^xsd:dateTime;
+ prov:generatedAtTime "2011-08-31T12:51:00"^^xsd:dateTime;
.
:page-by-composition
a prov:Entity, ex:WikipediaPage;
prov:specializationOf <http://purl.org/twc/page/wikipedia/us-supreme-court-by-composition>;
- prov:generatedAtTime "2012-05-16T14:33"^^xsd:dateTime;
+ prov:generatedAtTime "2012-05-16T14:33:00"^^xsd:dateTime;
.
--- a/testcases/provo/prov-o-property-qualifiedCommunication-PASS.provn Fri Jan 04 14:23:43 2013 +0000
+++ b/testcases/provo/prov-o-property-qualifiedCommunication-PASS.provn Mon Jan 07 12:29:47 2013 +0000
@@ -1,9 +1,13 @@
document
-prefix def <http://example.com/>
-activity(def:writing-celebrity-gossip,-,-)
-activity(def:voicemail-interception,-,-)
-agent(def:journalist)
-agent(def:private-investigator)
-wasInformedBy(def:writing-celebrity-gossip,def:voicemail-interception)
-wasInformedBy(def:writing-celebrity-gossip,def:voicemail-interception,[rdfs:comment = "The journalist was informed by the private investigator, but we don't know how or what he was told."@en %% xsd:string])
-endDocument
+ default <http://example.com/>
+ prefix rdfs <http://www.w3.org/2000/01/rdf-schema#>
+
+ activity(writing-celebrity-gossip,-,-)
+ activity(voicemail-interception,-,-)
+ agent(journalist)
+ agent(private-investigator)
+
+ wasAssociatedWith(writing-celebrity-gossip,journalist,-)
+ wasInformedBy(writing-celebrity-gossip,voicemail-interception)
+ wasInformedBy(writing-celebrity-gossip,voicemail-interception,[rdfs:comment = "The journalist was informed by the private investigator, but we don't know how or what he was told."@en %% xsd:string])
+endDocument
\ No newline at end of file
--- a/testcases/provo/prov-o-property-qualifiedCommunication-PASS.provx Fri Jan 04 14:23:43 2013 +0000
+++ b/testcases/provo/prov-o-property-qualifiedCommunication-PASS.provx Mon Jan 07 12:29:47 2013 +0000
@@ -4,6 +4,10 @@
<prov:activity xmlns:def="http://example.com/" prov:id="def:voicemail-interception"/>
<prov:agent xmlns:def="http://example.com/" prov:id="def:journalist"/>
<prov:agent xmlns:def="http://example.com/" prov:id="def:private-investigator"/>
+ <prov:wasAssociatedWith>
+ <prov:activity prov:ref="def:writing-celebrity-gossip"/>
+ <prov:agent prov:ref="def:journalist"/>
+ </prov:wasAssociatedWith>
<prov:wasInformedBy>
<prov:effect xmlns:def="http://example.com/" prov:ref="def:writing-celebrity-gossip"/>
<prov:cause xmlns:def="http://example.com/" prov:ref="def:voicemail-interception"/>
--- a/testcases/provo/prov-o-property-qualifiedCommunication-PASS.ttl Fri Jan 04 14:23:43 2013 +0000
+++ b/testcases/provo/prov-o-property-qualifiedCommunication-PASS.ttl Mon Jan 07 12:29:47 2013 +0000
@@ -4,9 +4,9 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-:writing-celebrity-gossip
+:writing-celebrity-gossip
a prov:Activity;
- prov:wasAttributedTo :journalist;
+ prov:wasAssociatedWith :journalist;
prov:wasInformedBy :voicemail-interception;
prov:qualifiedCommunication [
a prov:Communication;
@@ -16,7 +16,7 @@
];
.
-:voicemail-interception
+:voicemail-interception
a prov:Activity;
prov:wasAttributedTo :private-investigator;
.
--- a/testcases/provo/prov-o-property-qualifiedRevision-PASS.provn Fri Jan 04 14:23:43 2013 +0000
+++ b/testcases/provo/prov-o-property-qualifiedRevision-PASS.provn Mon Jan 07 12:29:47 2013 +0000
@@ -1,8 +1,10 @@
document
-prefix def <http://example.com/>
-agent(def:eddie,[prov:type='prov:Person', prov:type='prov:Entity'])
-entity(def:draft2)
-entity(def:draft1)
-entity(def:eddie,[prov:type='prov:Person', prov:type='prov:Agent'])
-wasDerivedFrom(def:draft2, def:draft1,[prov:type='prov:Revision'])
+ default <http://example.com/>
+
+ agent(eddie,[prov:type='prov:Person', prov:type='prov:Entity'])
+ entity(draft2)
+ entity(draft1)
+ entity(eddie,[prov:type='prov:Person', prov:type='prov:Agent'])
+ wasAttributedTo(draft2, eddie)
+ wasDerivedFrom(draft2, draft1,[prov:type='prov:Revision'])
endDocument
--- a/testcases/provo/prov-o-property-qualifiedRevision-PASS.provx Fri Jan 04 14:23:43 2013 +0000
+++ b/testcases/provo/prov-o-property-qualifiedRevision-PASS.provx Mon Jan 07 12:29:47 2013 +0000
@@ -1,18 +1,22 @@
<?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:agent xmlns:def="http://example.com/" prov:id="def:eddie">
- <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
- <prov:type xsi:type="xsd:QName">prov:Entity</prov:type>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:ns2="http://openprovenance.org/collection#" xmlns:val="http://openprovenance.org/validation#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns:vsi="http://openprovenance.org/validation/service/instance" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:def="http://example.com/" xmlns:vs="http://openprovenance.org/validation/service" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ns11="http://www.w3.org/2001/XMLSchema">
+ <prov:agent prov:id="def:eddie">
+ <prov:type xsi:type="ns11:QName">prov:Person</prov:type>
+ <prov:type xsi:type="ns11:QName">prov:Entity</prov:type>
</prov:agent>
- <prov:entity xmlns:def="http://example.com/" prov:id="def:draft2"/>
- <prov:entity xmlns:def="http://example.com/" prov:id="def:draft1"/>
- <prov:entity xmlns:def="http://example.com/" prov:id="def:eddie">
- <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
- <prov:type xsi:type="xsd:QName">prov:Agent</prov:type>
+ <prov:entity prov:id="def:draft2"/>
+ <prov:entity prov:id="def:draft1"/>
+ <prov:entity prov:id="def:eddie">
+ <prov:type xsi:type="ns11:QName">prov:Person</prov:type>
+ <prov:type xsi:type="ns11:QName">prov:Agent</prov:type>
</prov:entity>
+ <prov:wasAttributedTo>
+ <prov:entity prov:ref="def:draft2"/>
+ <prov:agent prov:ref="def:eddie"/>
+ </prov:wasAttributedTo>
<prov:wasDerivedFrom>
- <prov:generatedEntity xmlns:def="http://example.com/" prov:ref="def:draft2"/>
- <prov:usedEntity xmlns:def="http://example.com/" prov:ref="def:draft1"/>
- <prov:type xsi:type="xsd:QName">prov:Revision</prov:type>
+ <prov:generatedEntity prov:ref="def:draft2"/>
+ <prov:usedEntity prov:ref="def:draft1"/>
+ <prov:type xsi:type="ns11:QName">prov:Revision</prov:type>
</prov:wasDerivedFrom>
-</prov:document>
+</prov:document>
\ No newline at end of file
--- a/testcases/provo/prov-o-property-qualifiedRevision-PASS.ttl Fri Jan 04 14:23:43 2013 +0000
+++ b/testcases/provo/prov-o-property-qualifiedRevision-PASS.ttl Mon Jan 07 12:29:47 2013 +0000
@@ -11,7 +11,7 @@
a prov:Revision;
prov:entity :draft1
];
- prov:wasAssociatedWith :eddie;
+ prov:wasAttributedTo :eddie;
.
:draft1 a prov:Entity .