Fixed bugs in contraint test cases (as reported in ISSUE-611) - 2 issues remaining
authorTrung Dong Huynh <tdh@ecs.soton.ac.uk>
Mon, 07 Jan 2013 12:29:47 +0000
changeset 5383 6e812c600d9f
parent 5382 47a1f3baf67a
child 5384 b70b89f44da4
Fixed bugs in contraint test cases (as reported in ISSUE-611) - 2 issues remaining
testcases/constraints/ordering-association2-PASS-c47.provn
testcases/constraints/ordering-association2-PASS-c47.provx
testcases/constraints/ordering-association2-PASS-c47.ttl
testcases/provo/prov-o-class-Collection-PASS.ttl
testcases/provo/prov-o-class-Invalidation-PASS.ttl
testcases/provo/prov-o-property-hadMember-PASS.ttl
testcases/provo/prov-o-property-qualifiedCommunication-PASS.provn
testcases/provo/prov-o-property-qualifiedCommunication-PASS.provx
testcases/provo/prov-o-property-qualifiedCommunication-PASS.ttl
testcases/provo/prov-o-property-qualifiedRevision-PASS.provn
testcases/provo/prov-o-property-qualifiedRevision-PASS.provx
testcases/provo/prov-o-property-qualifiedRevision-PASS.ttl
--- 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#> .
[email protected] prim: <http://openprovenance.org/primitives#> .
[email protected] xsd: <http://www.w3.org/2001/XMLSchema#> .
 @prefix ex: <http://example.org/> .
[email protected] xsi: <http://www.w3.org/2001/XMLSchema-instance> .
[email protected] 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 .