diagram of wasInformedby constraint
authorTim L <lebot@rpi.edu>
Wed, 16 Nov 2011 17:14:30 -0500
changeset 930 06d757eed9d5
parent 929 b82c12de0848
child 931 0860cc8444ba
child 982 73b565f0f69e
diagram of wasInformedby constraint
ontology/components/wasInformedBy/prov-dm-constraint-wasInformedBy.png
ontology/components/wasInformedBy/prov-dm-constraint-wasInformedBy.ttl
Binary file ontology/components/wasInformedBy/prov-dm-constraint-wasInformedBy.png has changed
--- a/ontology/components/wasInformedBy/prov-dm-constraint-wasInformedBy.ttl	Wed Nov 16 19:59:24 2011 +0000
+++ b/ontology/components/wasInformedBy/prov-dm-constraint-wasInformedBy.ttl	Wed Nov 16 17:14:30 2011 -0500
@@ -10,7 +10,11 @@
 @prefix :    <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#> .
 
 :pe2
-   rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-OrderingOfProcessExecutions>;
+   rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-OrderingOfProcessExecutions>,
+                <http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#record-OrderingOfActivities>;
+   dcterms:description
+"""Given two activity records identified by pe1 and pe2, the record wasInformedBy(pe2,pe1) holds, if and only if there is an entity record identified by e and sets of attribute-value pairs attrs1 and attrs2, such that wasGeneratedBy(e,pe1,attrs1) and used(pe2,e,attrs2) hold.""";
+
    dcterms:description "wasInformedBy(pe2,pe1)";
    a prov:ProcessExecution;
    prov:wasInformedBy :pe1;
@@ -34,8 +38,10 @@
    prov:generated :e;
    prov:qualifiedGeneration [
       a prov:Generation;
-      prov:entity :e;
-      rdfs:comment "Some addition triples should be here, but are not provided by the PROV-DM example.";
+      prov:hadQualifiedEntity :e;
+      rdfs:comment "attrs1: Some addition triples should be here, but are not provided by the PROV-DM example.";
+      :attrs_1a "a";
+      :attrs_1b "b";
    ];
 .
 
@@ -46,7 +52,9 @@
    prov:used :e;
    prov:qualifedUsage [
       a prov:Usage;
-      prov:entity :e;
-      rdfs:comment "Some addition triples should be here, but are not provided by the PROV-DM example.";
+      prov:hadQualifiedEntity :e;
+      rdfs:comment "attrs2: Some addition triples should be here, but are not provided by the PROV-DM example.";
+      :attrs_2a "a";
+      :attrs_2b "b";
    ];
 .