ontology/components/hadParticipant/prov-dm-constraint-participation.ttl
author Paul Groth <p.t.groth@vu.nl>
Fri, 07 Jun 2013 20:21:19 +0200
changeset 6412 600c6fd1fdb4
parent 816 5129c18bc0d7
permissions -rw-r--r--
minor updates to address dong's comments
     1 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     2 @prefix owl:  <http://www.w3.org/2002/07/owl#> .
     3 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
     4 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
     5 @prefix time: <http://www.w3.org/2006/time#> .
     6 @prefix dcterms: <http://purl.org/dc/terms/> .
     7 @prefix prov: <http://www.w3.org/ns/prov-o/> .
     8 @prefix nfo: <http://www.semanticdesktop.org/ontologies/2007/03/22/nfo#> .
     9 @prefix app: <http://www.w3.org/TR/2011/WD-prov-dm-20111018/app#> .
    10 @prefix :    <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#> .
    11 
    12 :pe
    13    rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-Participation>;
    14    dcterms:description "hadParticipant(pe,e) holds if and only if:";
    15    prov:hadParticpant :e;
    16 
    17    dcterms:description "used(pe,e) holds, or";
    18    prov:used :e;
    19 
    20    dcterms:description "wasControlledBy(pe,e) holds, or";
    21    prov:wasControlledBy :e;
    22 
    23    dcterms:description "wasComplementOf(e1,e) holds for some entity expression identified by e1, and hadParticipant(pe,e1) holds some process execution expression identified by pe.";
    24    prov:hadParticipant :e1;
    25 .
    26 
    27 :e
    28    rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-Participation>;
    29    dcterms:description "hadParticipant(pe,e) holds if and only if:";
    30    a prov:Entity;
    31 .
    32 
    33 :e1
    34    rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-Participation>;
    35    dcterms:description "wasComplementOf(e1,e) holds for some entity expression identified by e1, and hadParticipant(pe,e1) holds some process execution expression identified by pe.";
    36    prov:wasComplementOf :e;
    37 .