incomplete PROV-O of Paul's lazy derivation
authorTim L <lebot@rpi.edu>
Mon, 21 Nov 2011 15:01:42 -0500
changeset 999 2b178b5b5ab0
parent 998 308f9e30cc7e
child 1000 10f45eb61df6
incomplete PROV-O of Paul's lazy derivation
ontology/components/wasDerivedFrom/public-prov-wg-2011Nov-0170-blogpost.ttl
--- a/ontology/components/wasDerivedFrom/public-prov-wg-2011Nov-0170-blogpost.ttl	Mon Nov 21 17:03:37 2011 +0000
+++ b/ontology/components/wasDerivedFrom/public-prov-wg-2011Nov-0170-blogpost.ttl	Mon Nov 21 15:01:42 2011 -0500
@@ -6,28 +6,35 @@
 @prefix dcterms: <http://purl.org/dc/terms/> .
 @prefix skos:    <http://www.w3.org/2008/05/skos#> .
 @prefix prov:    <http://www.w3.org/ns/prov-o/> .
-@prefix :        <#> .
+@prefix :        <http://lists.w3.org/Archives/Public/public-prov-wg/2011Nov/0170.html#> .
 
-<core> {
+<unqualified> {
    :blogpost
       rdfs:seeAlso <http://lists.w3.org/Archives/Public/public-prov-wg/2011Nov/0170.html>;
       dcterms:description "blogpost wasDerivedFrom Report at 10am Thursday"; 
       a prov:Entity;
       prov:wasDerivedFrom :report;
-      rdfs:comment "fully expanded notion of derivation: wasDerivedFrom(e2,e1,pe,q2,q1)";
    .
-
    :report
       a prov:Entity;
    .
 }
 
-<full> {
-   
+<full_qualification> {
+   <full_qualification> rdfs:comment "fully expanded notion of derivation: wasDerivedFrom(e2,e1,pe,q2,q1)";
+   .
+   :pe
+      a prov:ProcessExecution;
+      prov:used :report;
+      prov:qualifiedUsage [
+         a prov:Usage;
+         a prov:time "2011-11-24T14:00:00-05:00"^^xsd:dateTime;
+      ];
+   .
 }
 
-<lazy> {
-   <lazy> dcterms:description
+<lazy_qualification> {
+   <lazy_qualification> dcterms:description
 """Sure there is some process there, there may be an interval. But I just don't want to assert all that information.
 
 Again, my fundamental thing is that I want to assert derivation chains without (knowingly) asserting anything about process.""";