provo egs syntax
authorTim L <lebot@rpi.edu>
Sun, 01 Jul 2012 20:33:07 -0400
changeset 3582 4572e561acac
parent 3581 505c63781a90
child 3583 aa66d7cda761
provo egs syntax
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Bundle.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Collection.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_CompleteCollection.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ContextualizedEntity.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_asInBundle.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadMember.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_influenced.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_invalidated.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_mentionOf.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_pair.ttl
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Bundle.ttl	Sun Jul 01 20:20:24 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Bundle.ttl	Sun Jul 01 20:33:07 2012 -0400
@@ -1,11 +1,12 @@
[email protected] rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:   <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:   <http://www.w3.org/2002/07/owl#> .
[email protected] prov:  <http://www.w3.org/ns/prov#> .
[email protected] alice: <http://example.com/alice#> .
[email protected] bob:   <http://example.com/bob#> .
[email protected] my:    <http://example.com/my#> .
[email protected] :      <http://example.com/> .
[email protected] rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:     <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:     <http://www.w3.org/2002/07/owl#> .
[email protected] prov:    <http://www.w3.org/ns/prov#> .
[email protected] dcterms: <http://purl.org/dc/terms/> .
[email protected] alice:   <http://example.com/alice#> .
[email protected] bob:     <http://example.com/bob#> .
[email protected] my:      <http://example.com/my#> .
[email protected] :        <http://example.com/> .
 
 # Let us consider two entities :report1 and :report2.
 
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Collection.ttl	Sun Jul 01 20:20:24 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Collection.ttl	Sun Jul 01 20:33:07 2012 -0400
@@ -1,8 +1,9 @@
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
[email protected] rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:     <http://www.w3.org/2001/XMLSchema#> .
[email protected] dcterms: <http://purl.org/dc/terms/> .
[email protected] owl:     <http://www.w3.org/2002/07/owl#> .
[email protected] prov:    <http://www.w3.org/ns/prov#> .
[email protected] :        <http://example.com/> .
 
 :todays-us-supreme-court
    a prov:Collection, :RobertsCourt;
@@ -49,6 +50,6 @@
 <> 
    a prov:Bundle;
    prov:wasDerivedFrom  :page-by-composition,
-                        :page-by-seat,
+                        :page-by-seat;
    prov:wasAttributedTo <http://tw.rpi.edu/instances/TimLebo>;
 .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_CompleteCollection.ttl	Sun Jul 01 20:20:24 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_CompleteCollection.ttl	Sun Jul 01 20:33:07 2012 -0400
@@ -1,8 +1,9 @@
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
[email protected] rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:     <http://www.w3.org/2001/XMLSchema#> .
[email protected] dcterms: <http://purl.org/dc/terms/> .
[email protected] owl:     <http://www.w3.org/2002/07/owl#> .
[email protected] prov:    <http://www.w3.org/ns/prov#> .
[email protected] :        <http://example.com/> .
 
 :the-first-us-supreme-court
    a prov:Collection, prov:CompleteCollection, :JayCourt;
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ContextualizedEntity.ttl	Sun Jul 01 20:20:24 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ContextualizedEntity.ttl	Sun Jul 01 20:33:07 2012 -0400
@@ -2,6 +2,7 @@
 @prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
 @prefix owl:  <http://www.w3.org/2002/07/owl#> .
 @prefix prov: <http://www.w3.org/ns/prov#> .
[email protected] perf: <http://example.com/performance/> .
 @prefix tool: <http://example.com/tool/> .
 @prefix :     <http://example.com/> .
 
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_asInBundle.ttl	Sun Jul 01 20:20:24 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_asInBundle.ttl	Sun Jul 01 20:33:07 2012 -0400
@@ -2,6 +2,8 @@
 @prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
 @prefix owl:  <http://www.w3.org/2002/07/owl#> .
 @prefix prov: <http://www.w3.org/ns/prov#> .
[email protected] tool: <http://example.com/tool/> .
[email protected] perf: <http://example.com/performance/> .
 @prefix :     <http://example.com/> .
 
 :run2 {
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadMember.ttl	Sun Jul 01 20:20:24 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadMember.ttl	Sun Jul 01 20:33:07 2012 -0400
@@ -1,8 +1,9 @@
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
[email protected] rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:     <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:     <http://www.w3.org/2002/07/owl#> .
[email protected] dcterms: <http://purl.org/dc/terms/> .
[email protected] prov:    <http://www.w3.org/ns/prov#> .
[email protected] :        <http://example.com/> .
 
 :todays-us-supreme-court
    a prov:Collection, :RobertsCourt;
@@ -33,7 +34,7 @@
 <> 
    a prov:Bundle;
    prov:wasDerivedFrom  :page-by-composition,
-                        :page-by-seat,
+                        :page-by-seat;
    prov:wasAttributedTo <http://tw.rpi.edu/instances/TimLebo>;
 .
 
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_influenced.ttl	Sun Jul 01 20:20:24 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_influenced.ttl	Sun Jul 01 20:33:07 2012 -0400
@@ -2,6 +2,8 @@
 @prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
 @prefix owl:  <http://www.w3.org/2002/07/owl#> .
 @prefix prov: <http://www.w3.org/ns/prov#> .
[email protected] w3:   <http://example.com/w3/> .
[email protected] tr:   <http://example.com/tech-report/> .
 @prefix :     <http://example.com/> .
 
 # prov:influenced is a top-level property that links any
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_invalidated.ttl	Sun Jul 01 20:20:24 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_invalidated.ttl	Sun Jul 01 20:33:07 2012 -0400
@@ -2,6 +2,25 @@
 @prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
 @prefix owl:  <http://www.w3.org/2002/07/owl#> .
 @prefix prov: <http://www.w3.org/ns/prov#> .
[email protected] foaf: <http://xmlns.com/foaf/0.1/> .
 @prefix :     <http://example.com/> .
 
-# TODO
+:Swissair_Flight_111_crash 
+   a prov:Activity;
+   prov:used        <http://dbpedia.org/resource/Swissair_Flight_111>;
+   prov:invalidated :the-Painter;
+.
+
+:the-Painter 
+   a prov:Entity, :Painting;
+   rdfs:label "Le Peintre"@fr, "The Painter"@en;
+   prov:wasAttributedTo <http://dbpedia.org/resource/Pablo_Picasso>;
+   prov:wasInvalidatedBy :Swissair_Flight_111_crash;   # Inferred from prov:invalidated
+.
+
+<http://dbpedia.org/resource/Pablo_Picasso> 
+   a prov:Agent;
+   foaf:depiction <http://upload.wikimedia.org/wikipedia/commons/9/98/Pablo_picasso_1.jpg>;
+.
+
+<> prov:wasDerivedFrom <http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#dfn-wasinvalidatedby> .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_mentionOf.ttl	Sun Jul 01 20:20:24 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_mentionOf.ttl	Sun Jul 01 20:33:07 2012 -0400
@@ -2,6 +2,8 @@
 @prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
 @prefix owl:  <http://www.w3.org/2002/07/owl#> .
 @prefix prov: <http://www.w3.org/ns/prov#> .
[email protected] tool: <http://example.com/tool/> .
[email protected] perf: <http://example.com/performance/> .
 @prefix :     <http://example.com/> .
 
 :run2 {
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_pair.ttl	Sun Jul 01 20:20:24 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_pair.ttl	Sun Jul 01 20:33:07 2012 -0400
@@ -1,8 +1,9 @@
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] :     <http://example.com/> .
[email protected] rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:     <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:     <http://www.w3.org/2002/07/owl#> .
[email protected] dcterms: <http://purl.org/dc/terms/> .
[email protected] prov:    <http://www.w3.org/ns/prov#> .
[email protected] :        <http://example.com/> .
 
 :todays-us-supreme-court-as-dictionary
    a prov:Dictionary, :RobertsCourt;