--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadActivity.ttl Thu May 31 11:18:52 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadActivity.ttl Thu May 31 13:49:32 2012 -0400
@@ -17,3 +17,6 @@
prov:hadActivity :make_bar_chart; # references same activity as prov:wasGeneratedBy
];
.
+
+:aggregatedByRegions a prov:Entity .
+:make_bar_chart a prov:Activity .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadPlan.ttl Thu May 31 11:18:52 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadPlan.ttl Thu May 31 13:49:32 2012 -0400
@@ -5,10 +5,10 @@
@prefix : <http://example.com/> .
:illustrating
- a prov:Activity;
- prov:wasAssociatedWith :derek,
- :steve;
- prov:qualifiedAssociation :steve-checking-style-guide;
+ a prov:Activity;
+ prov:wasAssociatedWith :derek,
+ :steve;
+ prov:qualifiedAssociation :steve-checking-style-guide;
.
:steve-checking-style-guide
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedCommunication.ttl Thu May 31 11:18:52 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedCommunication.ttl Thu May 31 13:49:32 2012 -0400
@@ -13,7 +13,8 @@
prov:activity :voicemail-interception;
rdfs:comment """The journalist was informed by the private
investigator, but we don't know how or what he was told."""@en;
- ] .
+ ];
+.
:voicemail-interception
a prov:Activity;
--- a/examples/eg-29-pml-mappings/rdf/create/rdf/class_Account.ttl Thu May 31 11:18:52 2012 -0400
+++ b/examples/eg-29-pml-mappings/rdf/create/rdf/class_Account.ttl Thu May 31 13:49:32 2012 -0400
@@ -6,4 +6,16 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+# An account can be described in many ways. A possibility is a named graph:
+:acc23_04_2012_dereck {
+
+ :acc23_04_2012_dereck a pmlp:Information, pmlp:Source, pmlp:NodeSet . # Virtually a :NoPMLMappingEquivalent.
+
+ :entity1 a pmlp:Information .
+ :agent1 a pmlp:Agent .
+
+ #Other provenance statements.
+}
+
+# Another possibility is by pointing to the container of the provenance triples:
+<http://www.example.com/provTriples.txt> a pmlp:Information, pmlp:Source, pmlp:NodeSet .
--- a/examples/eg-29-pml-mappings/rdf/create/rdf/class_Agent.ttl Thu May 31 11:18:52 2012 -0400
+++ b/examples/eg-29-pml-mappings/rdf/create/rdf/class_Agent.ttl Thu May 31 13:49:32 2012 -0400
@@ -6,4 +6,15 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+:derek
+ a pmlp:Agent, pmlp:Person;
+ foaf:givenName "Derek"^^xsd:string;
+ foaf:mbox <mailto:dererk@example.org>;
+ foaf:homePage <http://dereck.example.com>;
+ # LOST prov:actedOnBehalfOf :chartgen;
+.
+
+:chartgen
+ a pmlp:Agent, pmlp:Organization;
+ foaf:name "Chart Generators, Inc.";
+.
--- a/examples/eg-29-pml-mappings/rdf/create/rdf/class_End.ttl Thu May 31 11:18:52 2012 -0400
+++ b/examples/eg-29-pml-mappings/rdf/create/rdf/class_End.ttl Thu May 31 13:49:32 2012 -0400
@@ -6,4 +6,17 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+# End can be used to qualify wasEndedBy with time and location information
+
+:experiment
+ a pmlj:InferenceStep;
+ pmlj:hasInferenceEngine :inconsistentResult; # LOST: a result is an pmlp:Agent...
+ :lost [
+ a :NoSuchPMLEquivalent;
+ # prov:entity :inconsistentResult;
+ :lost "2011-07-16T01:52:02Z"^^xsd:dateTime;
+ :lost :scienceLab_003;
+ #];
+.
+
+:inconsistentResult a pmlp:Information, pmlj:NodeSet . # The conclusion of :experiment?
--- a/examples/eg-29-pml-mappings/rdf/create/rdf/class_Invalidation.ttl Thu May 31 11:18:52 2012 -0400
+++ b/examples/eg-29-pml-mappings/rdf/create/rdf/class_Invalidation.ttl Thu May 31 13:49:32 2012 -0400
@@ -1,9 +1,49 @@
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix wgs: <http://www.w3.org/2003/01/geo/wgs84_pos#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix pmlj: <http://inference-web.org/2.0/pml-justification.owl#> .
@prefix pmlt: <http://inference-web.org/2.0/pml-trust.owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+:the-Painter
+ a pmlp:Document, :Painting;
+ rdfs:label "Le Peintre"@fr, "The Painter"@en;
+ pmlp:hasAuthorList ( <http://dbpedia.org/resource/Pablo_Picasso> );
+
+ # LOST prov:wasInvalidatedBy :swissair_Flight_111_crash;
+ # LOST prov:qualifiedInvalidation [
+ # LOST a prov:Invalidation;
+ # LOST prov:activity :swissair_Flight_111_crash;
+ # LOST prov:atTime "2012-09-02T01:31:00Z";
+ # LOST prov:atLocation <http://toolserver.org/~geohack/geohack.php?pagename=Swissair_Flight_111¶ms=44_24_33_N_63_58_25_W_region:CA-NS_type:landmark_scale:500000>;
+ # LOST ];
+.
+
+<http://toolserver.org/~geohack/geohack.php?pagename=Swissair_Flight_111¶ms=44_24_33_N_63_58_25_W_region:CA-NS_type:landmark_scale:500000>
+ a :NoSuchPMLEquivalent;
+ wgs:lat 44.409167;
+ wgs:long -63.973611;
+.
+
+<http://dbpedia.org/resource/Pablo_Picasso>
+ a pmlp:Agent;
+ foaf:depiction <http://upload.wikimedia.org/wikipedia/commons/9/98/Pablo_picasso_1.jpg>;
+.
+
+:swissair_Flight_111_crash
+ a pmlj:InferenceStep;
+ pmlj:hasAntecedentList ( <http://dbpedia.org/resource/Swissair_Flight_111> );
+ # LOST prov:startedAtTime "2012-09-02T01:31:00Z";
+ # LOST prov:atLocation <http://dbpedia.org/resource/Atlantic_ocean>;
+.
+
+[] a pmlj:NodeSet;
+ pmlj:hasConclusion <>;
+ pmlj:isConsequentOf :inferenceStep;
+.
+:inferenceStep
+ a pmlj:InferenceStep;
+ pmlj:hasAntecedentList ( <http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Invalidation> );
+.
--- a/examples/eg-29-pml-mappings/rdf/create/rdf/class_SoftwareAgent.ttl Thu May 31 11:18:52 2012 -0400
+++ b/examples/eg-29-pml-mappings/rdf/create/rdf/class_SoftwareAgent.ttl Thu May 31 13:49:32 2012 -0400
@@ -6,4 +6,10 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+# Googlebot is Google's web crawling bot; it can initiate and participate in web-crawling activities.
+
+:googlebot
+ a pmlp:Software; # PML assumes that all software is running. It's code is the MethodRule.
+ # (just like Association hasPlan Plan)
+ rdfs:label "Googlebot"^^xsd:string;
+.
--- a/examples/eg-29-pml-mappings/rdf/create/rdf/property_activity.ttl Thu May 31 11:18:52 2012 -0400
+++ b/examples/eg-29-pml-mappings/rdf/create/rdf/property_activity.ttl Thu May 31 13:49:32 2012 -0400
@@ -6,4 +6,19 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+:making-bar-chart
+ a :NoSuchPMLEquivalent;
+ # LOST prov:activity :illustrating;
+ rdfs:comment "Ended up with bar chart as line chart looked ugly."@en;
+.
+
+:bar_chart
+ a prov:Information;
+ # LOST prov:qualifiedGeneration :making-bar-chart;
+.
+
+[] a pmlj:NodeSet;
+ pmlj:hasConclusion :bar_chart;
+ pmlj:isConsequentOf :illustrating;
+.
+:illustrating a pmlj:InferenceStep .
--- a/examples/eg-29-pml-mappings/rdf/create/rdf/property_hadActivity.ttl Thu May 31 11:18:52 2012 -0400
+++ b/examples/eg-29-pml-mappings/rdf/create/rdf/property_hadActivity.ttl Thu May 31 13:49:32 2012 -0400
@@ -6,4 +6,15 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+:bar_chart
+ a prov:Information;
+.
+
+[] a pmlj:NodeSet;
+ pmlj:hasConclusion [ a pmlj:NodeSet; pmlj:hasConclusion :bar_chart; ];
+ pmlj:isConsequentOf :make_bar_chart;
+.
+
+:make_bar_chart
+ a pmlj:InferenceStep;
+.
--- a/examples/eg-29-pml-mappings/rdf/create/rdf/property_hadPlan.ttl Thu May 31 11:18:52 2012 -0400
+++ b/examples/eg-29-pml-mappings/rdf/create/rdf/property_hadPlan.ttl Thu May 31 13:49:32 2012 -0400
@@ -6,4 +6,24 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+:illustrating
+ a pmlj:InferenceStep; # This was prov:Activity
+ pmlj:hasInferenceEngine :derek, # ODD: this makes an InferenceStep a Involvement and an Activity.
+ :steve; # Derek is now Steve!
+ # LOST prov:qualifiedAssociation :steve-checking-style-guide;
+.
+
+:illustrating owl:sameAs :steve-checking-style-guide . # PML collides PROV's Activity and Involvement (or, lacks Involvement)
+
+:steve-checking-style-guide
+ a pmlj:InferenceStep; # This was prov:Association
+ pmlj:hasInferenceEngine :steve; # ODD: this makes an InferenceStep a Involvement and an Activity.
+ # LOST prov:hadRole :stylist; # We can't role antecedents or engines.
+ pmlj:hasInferenceRule :style-guide;
+ rdfs:comment "Steve followed the style guide"@en;
+.
+
+:style-guide
+ a pmlp:MethodRule, pmlp:InferenceRule;
+ rdfs:comment "Use blue graphs for positive spin, red for negative"@en;
+.
--- a/examples/eg-29-pml-mappings/rdf/create/rdf/property_involvee.ttl Thu May 31 11:18:52 2012 -0400
+++ b/examples/eg-29-pml-mappings/rdf/create/rdf/property_involvee.ttl Thu May 31 13:49:32 2012 -0400
@@ -6,4 +6,31 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+:illustrationActivity
+ a :NoSuchPMLEquivalent;
+ # LOST prov:qualifiedUsage :usage_1;
+ # LOST prov:qualifiedAssociation :association_1;
+ # LOST prov:qualifiedCommunication :communication_1;
+.
+
+:usage_1
+ a :NoSuchPMLEquivalent;
+ # LOST prov:entity :aggregatedByRegions;
+ # LOST prov:involvee :aggregatedByRegions; # Inferred
+.
+
+:association_1
+ a :NoSuchPMLEquivalent;
+ # LOST prov:agent :derek;
+ # LOST prov:involvee :derek; # - - - - - - - Inferred
+.
+
+:communication_1
+ a :NoSuchPMLEquivalent;
+ # LOST prov:activity :aggregationActivity;
+ # LOST prov:involvee :aggregationActivity; # Inferred
+.
+
+:aggregationActivity a :NoSuchPMLEquivalent .
+:derek a :NoSuchPMLEquivalent .
+:aggregatedByRegions a :NoSuchPMLEquivalent .
--- a/examples/eg-29-pml-mappings/rdf/create/rdf/property_qualifiedCommunication.ttl Thu May 31 11:18:52 2012 -0400
+++ b/examples/eg-29-pml-mappings/rdf/create/rdf/property_qualifiedCommunication.ttl Thu May 31 13:49:32 2012 -0400
@@ -6,4 +6,22 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+:writing-celebrity-gossip
+ a pmlj:InferenceStep;
+ pmlj:hasInferenceEngine :journalist;
+ pmlj:hasAntecedentList (
+ [ a pmlj:NodeSet;
+ pmlj:isConsequentOf :viocemail-interception;
+ ]
+ );
+.
+
+:voicemail-interception
+ a pmlp:InferenceStep;
+ pmlj:hasInferenceEngine :private-investigator;
+ rdfs:comment """The journalist was informed by the private
+ investigator, but we don't know how or what he was told."""@en; # Where does this go?
+.
+
+:private-investigator a pmlp:Agent .
+:journalist a pmlp:Agent .
--- a/examples/eg-29-pml-mappings/rdf/create/rdf/property_qualifiedStart.ttl Thu May 31 11:18:52 2012 -0400
+++ b/examples/eg-29-pml-mappings/rdf/create/rdf/property_qualifiedStart.ttl Thu May 31 13:49:32 2012 -0400
@@ -6,4 +6,17 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+# Start can be used to qualify wasStartedBy with time and location information
+
+:experiment
+ a prov:InferenceStep;
+ pmlj:hasInferenceEngine :researcher; # LOST; had to assume the agent started, instead of just performing.
+ # LOST prov:qualifiedStart [
+ # LOST a prov:Start;
+ # prov:entity :researcher;
+ # LOST prov:atTime "2011-07-06T01:48:36Z"^^xsd:dateTime;
+ # LOST prov:atLocation :scienceLab_003;
+ #];
+.
+
+:researcher a pmlp:Agent .
--- a/examples/eg-29-pml-mappings/rdf/create/rdf/property_tracedTo.ttl Thu May 31 11:18:52 2012 -0400
+++ b/examples/eg-29-pml-mappings/rdf/create/rdf/property_tracedTo.ttl Thu May 31 13:49:32 2012 -0400
@@ -6,4 +6,19 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+# An up-to-date web page listing the presidents of the United States
+# is traced to all of those who have held the office.
+
+<http://en.wikipedia.org/wiki/List_of_Presidents_of_the_United_States>
+ a pmlp:Document; # but not a pmlp:Source, it's an prov:Entity.
+ dcterms:title "List of Presidents of the United States"^^xsd:string;
+.
+
+[] a pmlj:NodeSet;
+ pmlj:hasConclusion [ a pmlj:NodeSet; pmlj:hasConclusion <http://en.wikipedia.org/wiki/List_of_Presidents_of_the_United_States>; ];
+ pmlj:isConsequentOf [ a pmlj:InferenceStep; pmlj:hasAntecedentList ( <http://dbpedia.org/resource/Barack_Obama> ) ; ];
+.
+
+<http://dbpedia.org/resource/Barack_Obama>
+ a pmlp:Source, pmlp:Person; # Should just be prov:Entity, not prov:Source
+.
--- a/examples/eg-29-pml-mappings/rdf/create/rdf/property_value.ttl Thu May 31 11:18:52 2012 -0400
+++ b/examples/eg-29-pml-mappings/rdf/create/rdf/property_value.ttl Thu May 31 13:49:32 2012 -0400
@@ -6,4 +6,12 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+[]
+ a pmlp:Information;
+ # LOST prov:key "first-baseman"^^xsd:string;
+ pmlp:hasURL <http://dbpedia.org/resource/Jim_Thorpe>; # This isn't right,
+ # it's a mix of hasRawString,
+ # inconsistent levels of indirection.
+.
+
+<http://dbpedia.org/resource/Jim_Thorpe> a prov:Information . # Just odd.
--- a/examples/eg-29-pml-mappings/rdf/create/rdf/property_wasDerivedFrom.ttl Thu May 31 11:18:52 2012 -0400
+++ b/examples/eg-29-pml-mappings/rdf/create/rdf/property_wasDerivedFrom.ttl Thu May 31 13:49:32 2012 -0400
@@ -6,4 +6,7 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+[] a pmlj:NodeSet;
+ pmlj:hasConclusion [ a pmlj:NodeSet; pmlj:hasConclusion :bar_chart; ];
+ pmlj:isConsequentOf [ a pmlj:InferenceStep; pmlj:hasAntecedentList ( :aggregatedByRegions ) ];
+.
--- a/examples/eg-29-pml-mappings/rdf/create/rdf/property_wasQuotedFrom.ttl Thu May 31 11:18:52 2012 -0400
+++ b/examples/eg-29-pml-mappings/rdf/create/rdf/property_wasQuotedFrom.ttl Thu May 31 13:49:32 2012 -0400
@@ -6,4 +6,31 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+:bl-dagstuhl
+ a pmlp:Information;
+
+ prov:hasRawString """During the workshop, it became clear to me that the consensus
+ based models (which are often graphical in nature) can not only be
+ formalized but also be directly connected to these database focused
+ 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.""";
+
+ pmlp:hasReferenceSourceUsage [
+ a pmlp:SourceUsage;
+ pmlp:hasSource <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/>;
+ ];
+.
+
+[] a pmlj:NodeSet;
+ pmlj:hasConclusion [ a pmlj:NodeSet; pmlj:hasConclusion :bl-dagstuhl; ];
+ pmlj:isConsequentOf [ a pmlj:InferenceStep; pmlj:hasAntecedentList ( <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/> ) ];
+.
+
+<http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/> a pmlp:Document .
+
+[] a pmlj:NodeSet;
+ pmlj:hasConclusion [ a pmlj:NodeSet; pmlj:hasConclusion <>; ];
+ pmlj:isConsequentOf [ a pmlj:InferenceStep; pmlj:hasAntecedentList ( <http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#dfn-wasquotedfrom> ) ];
+.