ontology/components/wasInformedBy/prov-dm-constraint-wasInformedBy.ttl
author Paul Groth <p.t.groth@vu.nl>
Fri, 07 Jun 2013 20:21:19 +0200
changeset 6412 600c6fd1fdb4
parent 987 98992e088cff
permissions -rw-r--r--
minor updates to address dong's comments
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix time: <http://www.w3.org/2006/time#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov: <http://www.w3.org/ns/prov-o/> .
@prefix nfo: <http://www.semanticdesktop.org/ontologies/2007/03/22/nfo#> .
@prefix app: <http://www.w3.org/TR/2011/WD-prov-dm-20111018/app#> .
@prefix :    <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#> .

:a2
   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>,
                <https://dvcs.w3.org/hg/prov/raw-file/06d757eed9d5/ontology/components/wasInformedBy/prov-dm-constraint-wasInformedBy.png>;
   dcterms:description "Given two activity records identified by a1 and a2, the record wasInformedBy(a2,a1) 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,a1,attrs1) and used(a2,e,attrs2) hold.";

   dcterms:description "wasInformedBy(a2,a1)";
   prov:wasInformedBy :a1;
   a prov:ProcessExecution;
.
:a1
   rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-OrderingOfProcessExecutions>;
   dcterms:description "wasInformedBy(a2,a1)";
   a prov:ProcessExecution;
.

# <= If and only if =>
 
:e
   rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-OrderingOfProcessExecutions>;
   dcterms:description "wasGeneratedBy(e,a1,attrs1)";
   a prov:Entity;
   prov:wasGeneratedBy :a1;
.
:a1
   a prov:ProcessExecution;
   prov:generated :e;
   prov:qualifiedGeneration [
      a prov:Generation;
      prov:hadQualifiedEntity :e;
      :attrs1_a "1a";
      :attrs1_b "1b";
   ];
.
:a2
   rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-OrderingOfProcessExecutions>;
   dcterms:description "used(a2,e,attrs2)";
   a prov:ProcessExecution;
   prov:used :e;
   prov:qualifedUsage [
      a prov:Usage;
      prov:hadQualifiedEntity :e;
      rdfs:comment "attrs2: Some addition triples should be here, but are not provided by the PROV-DM example.";
      :attrs2_a "2a";
      :attrs2_b "2b";
   ];
.
<https://dvcs.w3.org/hg/prov/raw-file/06d757eed9d5/ontology/components/wasInformedBy/prov-dm-constraint-wasInformedBy.png> 
   prov:wasDerivedFrom <https://dvcs.w3.org/hg/prov/raw-file/06d757eed9d5/ontology/components/wasInformedBy/prov-dm-constraint-wasInformedBy.ttl> .