Mercurial > hg > prov / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset
fixed provn
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Wed, 09 Jan 2013 13:33:44 +0000
changeset 5392 5fb801662cef
parent 5391 7eb359562f05
child 5393 165edc482426
child 5395 92bc9a0a2872
fixed provn
testcases/constraints/prov-o-property-hadUsage-FAIL-c51-DM.provn
testcases/constraints/unification-delegation-s3-PASS-c23.provn
testcases/constraints/unification-delegation-s4-PASS-c23.provn
testcases/constraints/unification-specialization-f1-FAIL-DM.provn
testcases/constraints/unification-specialization-f2-FAIL-DM.provn
testcases/provo/prov-o-class-Attribution-PASS.provn
testcases/provo/prov-o-class-Bundle-PASS.provn
testcases/provo/prov-o-class-Collection-PASS.provn
testcases/provo/prov-o-class-Derivation-FAIL.provn
testcases/provo/prov-o-class-Invalidation-PASS.provn
testcases/provo/prov-o-class-Quotation-PASS.provn
testcases/provo/prov-o-property-hadMember-PASS.provn
testcases/provo/prov-o-property-hadPrimarySource-PASS.provn
testcases/provo/prov-o-property-hadUsage-FAIL.provn
testcases/provo/prov-o-property-qualifiedDerivation-FAIL.provn
testcases/provo/prov-o-property-qualifiedInvalidation-PASS.provn
testcases/provo/prov-o-property-qualifiedQuotation-PASS.provn 
--- a/testcases/constraints/prov-o-property-hadUsage-FAIL-c51-DM.provn	Wed Jan 09 13:03:42 2013 +0000
+++ b/testcases/constraints/prov-o-property-hadUsage-FAIL-c51-DM.provn	Wed Jan 09 13:33:44 2013 +0000
@@ -3,7 +3,6 @@
 
   entity(proteinSample)
   entity(digestedProteinSample1)
-  wasDerivedFrom(digestedProteinSample1, proteinSample, -)
-  wasDerivedFrom(digestedProteinSample1, -, -, u1)
+  wasDerivedFrom(digestedProteinSample1, proteinSample, -, u1)
   used(u1; -, Trypsin, -,[prov:role='treatmentEnzyme'])
 endDocument
--- a/testcases/constraints/unification-delegation-s3-PASS-c23.provn	Wed Jan 09 13:03:42 2013 +0000
+++ b/testcases/constraints/unification-delegation-s3-PASS-c23.provn	Wed Jan 09 13:33:44 2013 +0000
@@ -4,5 +4,4 @@
 agent(ex:ag2)
 agent(ex:ag1)
 actedOnBehalfOf(ex:del1;ex:ag2,ex:ag1,ex:a2)
-actedOnBehalfOf(ex:del1;ex:ag2,-,ex:a2)
 endDocument
--- a/testcases/constraints/unification-delegation-s4-PASS-c23.provn	Wed Jan 09 13:03:42 2013 +0000
+++ b/testcases/constraints/unification-delegation-s4-PASS-c23.provn	Wed Jan 09 13:33:44 2013 +0000
@@ -4,5 +4,4 @@
 agent(ex:ag2)
 agent(ex:ag1)
 actedOnBehalfOf(ex:del1;ex:ag2,ex:ag1,ex:a2)
-actedOnBehalfOf(ex:del1;ex:ag2,-,ex:a2)
 endDocument
--- a/testcases/constraints/unification-specialization-f1-FAIL-DM.provn	Wed Jan 09 13:03:42 2013 +0000
+++ b/testcases/constraints/unification-specialization-f1-FAIL-DM.provn	Wed Jan 09 13:33:44 2013 +0000
@@ -1,10 +1,10 @@
-document
-
-prefix ex <http://example.org/>
-
-entity(ex:e1)
-entity(ex:e2)
-
-specializationOf(ex:e2, -)
-
+document
+
+prefix ex <http://example.org/>
+
+entity(ex:e1)
+entity(ex:e2)
+
+specializationOf(ex:e2, -)
+
 endDocument
--- a/testcases/constraints/unification-specialization-f2-FAIL-DM.provn	Wed Jan 09 13:03:42 2013 +0000
+++ b/testcases/constraints/unification-specialization-f2-FAIL-DM.provn	Wed Jan 09 13:33:44 2013 +0000
@@ -1,10 +1,10 @@
-document
-
-prefix ex <http://example.org/>
-
-entity(ex:e1)
-entity(ex:e2)
-
-specializationOf(-, ex:e1)
-
+document
+
+prefix ex <http://example.org/>
+
+entity(ex:e1)
+entity(ex:e2)
+
+specializationOf(-, ex:e1)
+
 endDocument
--- a/testcases/provo/prov-o-class-Attribution-PASS.provn	Wed Jan 09 13:03:42 2013 +0000
+++ b/testcases/provo/prov-o-class-Attribution-PASS.provn	Wed Jan 09 13:33:44 2013 +0000
@@ -1,14 +1,14 @@
 document
-prefix -814366433 <http://dbpedia.org/resource/>
+prefix dbpedia <http://dbpedia.org/resource/>
 prefix def <http://example.com/>
-agent(-814366433:Frank_Lloyd_Wright,[prov:type='prov:Person'])
+agent(dbpedia:Frank_Lloyd_Wright,[prov:type='prov:Person'])
 agent(def:western-Pennsylvania-Conservancy,[prov:type='prov:Organization'])
-agent(-814366433:Edgar_J._Kaufmann,[prov:type='prov:Person'])
-entity(-814366433:Fallingwater)
-wasAttributedTo(-814366433:Fallingwater, -814366433:Edgar_J._Kaufmann)
-wasAttributedTo(-814366433:Fallingwater, -814366433:Frank_Lloyd_Wright)
-wasAttributedTo(-814366433:Fallingwater, def:western-Pennsylvania-Conservancy)
-wasAttributedTo(-814366433:Fallingwater, def:western-Pennsylvania-Conservancy,[ex:hadRole = "http://example.com/conserver" %% xsd:anyURI])
-wasAttributedTo(-814366433:Fallingwater, -814366433:Edgar_J._Kaufmann,[ex:hadRole = "http://example.com/owner" %% xsd:anyURI])
-wasAttributedTo(-814366433:Fallingwater, -814366433:Frank_Lloyd_Wright,[ex:hadRole = "http://example.com/architect" %% xsd:anyURI])
+agent(dbpedia:Edgar_J._Kaufmann,[prov:type='prov:Person'])
+entity(dbpedia:Fallingwater)
+wasAttributedTo(dbpedia:Fallingwater, dbpedia:Edgar_J._Kaufmann)
+wasAttributedTo(dbpedia:Fallingwater, dbpedia:Frank_Lloyd_Wright)
+wasAttributedTo(dbpedia:Fallingwater, def:western-Pennsylvania-Conservancy)
+wasAttributedTo(dbpedia:Fallingwater, def:western-Pennsylvania-Conservancy,[ex:hadRole = "http://example.com/conserver" %% xsd:anyURI])
+wasAttributedTo(dbpedia:Fallingwater, dbpedia:Edgar_J._Kaufmann,[ex:hadRole = "http://example.com/owner" %% xsd:anyURI])
+wasAttributedTo(dbpedia:Fallingwater, dbpedia:Frank_Lloyd_Wright,[ex:hadRole = "http://example.com/architect" %% xsd:anyURI])
 endDocument
--- a/testcases/provo/prov-o-class-Bundle-PASS.provn	Wed Jan 09 13:03:42 2013 +0000
+++ b/testcases/provo/prov-o-class-Bundle-PASS.provn	Wed Jan 09 13:33:44 2013 +0000
@@ -1,9 +1,9 @@
 document
-prefix 349493723 <http://www.example.com/>
+prefix ex <http://www.example.com/>
 prefix def <http://example.com/#>
 prefix my <http://example.com/my#>
-entity(349493723:example.ttl,[prov:type='prov:Bundle'])
+entity(ex:example.ttl,[prov:type='prov:Bundle'])
 entity(def:report1,[prov:type='my:Report', my:version = "1" %% xsd:string])
-wasAttributedTo(349493723:example.ttl, def:bob)
+wasAttributedTo(ex:example.ttl, def:bob)
 wasAttributedTo(def:report1, def:bob)
 endDocument
--- a/testcases/provo/prov-o-class-Collection-PASS.provn	Wed Jan 09 13:03:42 2013 +0000
+++ b/testcases/provo/prov-o-class-Collection-PASS.provn	Wed Jan 09 13:33:44 2013 +0000
@@ -6,9 +6,9 @@
   prefix twc <http://purl.org/twc/page/>
 
   entity(todays-us-supreme-court, [prov:type='prov:Collection', prov:type='RobertsCourt', dcterms:description='copied-string'])
-  wasGeneratedBy(todays-us-supreme-court, -, [dcterms:date="2012" %% xsd:gYear])
+  wasGeneratedBy(todays-us-supreme-court, -, -, [dcterms:date="2012" %% xsd:gYear])
   
-  hadMember(todays-us-supreme-court, dbpedia:John_Glover_Roberts,_Jr.)
+  hadMember(todays-us-supreme-court, dbpedia:John_Glover_Roberts,\_Jr.)
   hadMember(todays-us-supreme-court, dbpedia:Antonin_Scalia)
   hadMember(todays-us-supreme-court, dbpedia:Anthony_Kennedy)
   hadMember(todays-us-supreme-court, dbpedia:Clarence_Thomas)
@@ -20,11 +20,11 @@
 
   wasDerivedFrom(todays-us-supreme-court, the-first-us-supreme-court)
 
-  entity(copied-string, [prov:value="2010–present: A. Scalia A. Kennedy C. Thomas R.B. Ginsburg\nS. Breyer S. Alito S. Sotomayor E. Kagan"];
+  entity(copied-string, [prov:value="2010–present: A. Scalia A. Kennedy C. Thomas R.B. Ginsburg\nS. Breyer S. Alito S. Sotomayor E. Kagan"]);
   entity(page-by-seat, [prov:type='ex:WikipediaPage'])
   entity(page-by-composition, [prov:type='ex:WikipediaPage'])
   
-  wasQuotedFrom(copied-string, page-by-composition)
+  wasDerivedFrom(copied-string, page-by-composition, [prov:type='prov:Quotation'])
   specializationOf(page-by-seat, twc:wikipedia/us-supreme-court-by-seat)
   wasGeneratedBy(page-by-seat, -, 2011-08-31T12:51)
 
--- a/testcases/provo/prov-o-class-Derivation-FAIL.provn	Wed Jan 09 13:03:42 2013 +0000
+++ b/testcases/provo/prov-o-class-Derivation-FAIL.provn	Wed Jan 09 13:33:44 2013 +0000
@@ -2,9 +2,8 @@
 prefix def <http://example.com/>
 activity(def:create_the_chart,2012-04-03T00:00:00Z,2012-04-03T00:00:10Z)
 entity(def:bar_chart)
-entity(def:bar_chart)
 wasAssociatedWith(def:create_the_chart,def:derek,-)
-wasGeneratedBy(def:plot_the_chart;-,-,2012-04-03T00:00:01Z,[prov:type='prov:InstantaneousEvent'])
+wasGeneratedBy(def:plot_the_chart;-,-,2012-04-03T00:00:01Z)
 used(def:data_loading;-,-,2012-04-03T00:00:00Z)
 wasDerivedFrom(def:bar_chart, def:aggregatedByRegions, def:create_the_chart, def:plot_the_chart, def:data_loading)
 endDocument
--- a/testcases/provo/prov-o-class-Invalidation-PASS.provn	Wed Jan 09 13:03:42 2013 +0000
+++ b/testcases/provo/prov-o-class-Invalidation-PASS.provn	Wed Jan 09 13:33:44 2013 +0000
@@ -17,5 +17,5 @@
   agent(dbpedia:Pablo_Picasso, [foaf:depiction="http://upload.wikimedia.org/wikipedia/commons/9/98/Pablo_picasso_1.jpg" %% xsd:anyURI])
 
   activity(swissair_Flight_111_crash, 1998-09-02T01:31:00Z, -, [prov:location='dbpedia:Atlantic_ocean'])
-  used(swissair_Flight_111_crash, dbpedia:Swissair_Flight_111)
+  used(swissair_Flight_111_crash, dbpedia:Swissair_Flight_111,-)
 endDocument
--- a/testcases/provo/prov-o-class-Quotation-PASS.provn	Wed Jan 09 13:03:42 2013 +0000
+++ b/testcases/provo/prov-o-class-Quotation-PASS.provn	Wed Jan 09 13:33:44 2013 +0000
@@ -1,12 +1,12 @@
 document
-prefix 1268498941 <http://data.semanticweb.org/person/>
-prefix 762852969 <http://purl.org/twc/page/>
+prefix person <http://data.semanticweb.org/person/>
+prefix page <http://purl.org/twc/page/>
 prefix def <http://example.com/>
-agent(1268498941:luc-moreau,[prov:type='prov:Person'])
-agent(1268498941:paul-groth,[prov:type='prov:Person'])
-entity(762852969:thoughts-from-the-dagstuhl-workshop)
+agent(person:luc-moreau,[prov:type='prov:Person'])
+agent(person:paul-groth,[prov:type='prov:Person'])
+entity(page:thoughts-from-the-dagstuhl-workshop)
 entity(def:dagstuhl-quote,[prov:value="why would people record and share provenance in the first place?" %% xsd:string])
-wasAttributedTo(762852969:thoughts-from-the-dagstuhl-workshop, 1268498941:paul-groth)
-wasAttributedTo(def:dagstuhl-quote, 1268498941:luc-moreau)
-wasDerivedFrom(def:dagstuhl-quote, 762852969:thoughts-from-the-dagstuhl-workshop,[prov:type='prov:Quotation', ex:fromSection = "2" %% xsd:integer])
+wasAttributedTo(page:thoughts-from-the-dagstuhl-workshop, person:paul-groth)
+wasAttributedTo(def:dagstuhl-quote, person:luc-moreau)
+wasDerivedFrom(def:dagstuhl-quote, page:thoughts-from-the-dagstuhl-workshop,[prov:type='prov:Quotation', ex:fromSection = "2" %% xsd:integer])
 endDocument
--- a/testcases/provo/prov-o-property-hadMember-PASS.provn	Wed Jan 09 13:03:42 2013 +0000
+++ b/testcases/provo/prov-o-property-hadMember-PASS.provn	Wed Jan 09 13:33:44 2013 +0000
@@ -6,7 +6,7 @@
   prefix twc <http://purl.org/twc/page/>
 
   entity(todays-us-supreme-court, [prov:type='prov:Collection', prov:type='RobertsCourt', dcterms:description='copied-string'])
-  wasGeneratedBy(todays-us-supreme-court, -, [dcterms:date="2012" %% xsd:gYear])
+  wasGeneratedBy(todays-us-supreme-court, -, -, [dcterms:date="2012" %% xsd:gYear])
   
   hadMember(todays-us-supreme-court, dbpedia:John_Glover_Roberts,_Jr.)
   hadMember(todays-us-supreme-court, dbpedia:Antonin_Scalia)
--- a/testcases/provo/prov-o-property-hadPrimarySource-PASS.provn	Wed Jan 09 13:03:42 2013 +0000
+++ b/testcases/provo/prov-o-property-hadPrimarySource-PASS.provn	Wed Jan 09 13:33:44 2013 +0000
@@ -1,13 +1,13 @@
 document
 prefix frbr <http://purl.org/vocab/frbr/core#>
 prefix def <http://example.com/>
-prefix 1949345547 <http://cultura.linkeddata.es/BNE/resource/C1001/>
-prefix -1982045297 <http://www.gutenberg.org/ebooks/>
+prefix bne <http://cultura.linkeddata.es/BNE/resource/C1001/>
+prefix book <http://www.gutenberg.org/ebooks/>
 agent(def:cervantes,[prov:type='prov:Person', foaf:name = "Miguel de Cervantes" %% xsd:string])
 agent(def:ormsby,[prov:type='prov:Person', foaf:name = "John Ormsby" %% xsd:string])
-entity(1949345547:XX2197892,[prov:type='frbr:Work', dcterms:language = "http://lexvo.org/id/iso639-3/spa" %% xsd:anyURI])
-entity(-1982045297:996,[prov:type='frbr:Work', dcterms:title = "Don Quixote" %% xsd:string, dcterms:language = "http://lexvo.org/id/iso639-3/eng" %% xsd:anyURI])
-wasAttributedTo(1949345547:XX2197892, def:cervantes)
-wasAttributedTo(-1982045297:996, def:ormsby)
-wasDerivedFrom(-1982045297:996, 1949345547:XX2197892,[prov:type='prov:PrimarySource'])
+entity(bne:XX2197892,[prov:type='frbr:Work', dcterms:language = "http://lexvo.org/id/iso639-3/spa" %% xsd:anyURI])
+entity(book:996,[prov:type='frbr:Work', dcterms:title = "Don Quixote" %% xsd:string, dcterms:language = "http://lexvo.org/id/iso639-3/eng" %% xsd:anyURI])
+wasAttributedTo(bne:XX2197892, def:cervantes)
+wasAttributedTo(book:996, def:ormsby)
+wasDerivedFrom(book:996, bne:XX2197892,[prov:type='prov:PrimarySource'])
 endDocument
--- a/testcases/provo/prov-o-property-hadUsage-FAIL.provn	Wed Jan 09 13:03:42 2013 +0000
+++ b/testcases/provo/prov-o-property-hadUsage-FAIL.provn	Wed Jan 09 13:33:44 2013 +0000
@@ -3,7 +3,6 @@
 
   entity(proteinSample)
   entity(digestedProteinSample1)
-  wasDerivedFrom(digestedProteinSample1, proteinSample, -)
-  wasDerivedFrom(digestedProteinSample1, -, -, u1)
+  wasDerivedFrom(digestedProteinSample1, proteinSample, -, u1)
   used(u1; -, Trypsin, -,[prov:role='treatmentEnzyme'])
 endDocument
--- a/testcases/provo/prov-o-property-qualifiedDerivation-FAIL.provn	Wed Jan 09 13:03:42 2013 +0000
+++ b/testcases/provo/prov-o-property-qualifiedDerivation-FAIL.provn	Wed Jan 09 13:33:44 2013 +0000
@@ -2,7 +2,6 @@
 prefix def <http://example.com/>
 activity(def:chart_creation,2011-07-16T01:52:02Z,2011-07-16T03:00:02Z)
 entity(def:bar_chart)
-wasAssociatedWith(def:chart_creation,def:derek,-)
-wasGeneratedBy(def:chat_plotting;-,-,2011-07-16T03:00:02Z)
+wasAssociatedWith(def:chat_plotting;def:chart_creation,def:derek,2011-07-16T03:00:02Z)
 wasDerivedFrom(def:bar_chart, def:aggregatedByRegions, def:chart_creation, def:chat_plotting, -)
 endDocument
--- a/testcases/provo/prov-o-property-qualifiedInvalidation-PASS.provn	Wed Jan 09 13:03:42 2013 +0000
+++ b/testcases/provo/prov-o-property-qualifiedInvalidation-PASS.provn	Wed Jan 09 13:33:44 2013 +0000
@@ -1,9 +1,9 @@
 document
-prefix -814366433 <http://dbpedia.org/resource/>
+prefix dbpedia <http://dbpedia.org/resource/>
 prefix ex <http://example.com/ontology#>
 prefix def <http://example.com/>
 activity(def:swissair_Flight_111_crash,-,-)
 entity(def:the-Painter,[prov:type='ex:Painting', rdfs:label = "Le Peintre"@fr %% xsd:string, rdfs:label = "The Painter"@en %% xsd:string])
-wasAttributedTo(def:the-Painter, -814366433:Pablo_Picasso)
+wasAttributedTo(def:the-Painter, dbpedia:Pablo_Picasso)
 wasInvalidatedBy(def:the-Painter,def:swissair_Flight_111_crash,1998-09-02T01:31:00Z,[prov:location="http://purl.org/twc/location/Swissair-Flight-111-crash" %% xsd:anyURI])
 endDocument
--- a/testcases/provo/prov-o-property-qualifiedQuotation-PASS.provn	Wed Jan 09 13:03:42 2013 +0000
+++ b/testcases/provo/prov-o-property-qualifiedQuotation-PASS.provn	Wed Jan 09 13:33:44 2013 +0000
@@ -10,7 +10,7 @@
 	formalizations. I just needed to get over the differences in syntax.
 	This could imply that we could have nice way to trace provenance across
 	systems and through databases and be able to understand the
-	mathematical properties of this interconnection.""" %% xsd:string])
+	mathematical properties of this interconnection.""" ])
 entity(page:thoughts-from-the-dagstuhl-workshop)
 wasAttributedTo(page:thoughts-from-the-dagstuhl-workshop, pers:paul-groth)
 wasDerivedFrom(def:bl-dagstuhl, page:thoughts-from-the-dagstuhl-workshop,[prov:type='prov:Quotation', my:fromSection = "1" %% xsd:integer])
prov

Hosted by W3C Systems Team, please report bugs to sysreq@w3.org