ontology/components/Entity/public-prov-wg-2011Nov-0090-building-statue.ttl
author Paul Groth <p.t.groth@vu.nl>
Fri, 07 Jun 2013 20:21:19 +0200
changeset 6412 600c6fd1fdb4
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 time:    <http://www.w3.org/2006/time#> .
     5 @prefix dcterms: <http://purl.org/dc/terms/> .
     6 @prefix foaf:    <http://xmlns.com/foaf/0.1/> .
     7 @prefix prov:    <http://www.w3.org/ns/prov-o/> .
     8 @prefix :        <#> .
     9 
    10 :e_1
    11    rdfs:seeAlso <http://lists.w3.org/Archives/Public/public-prov-wg/2011Nov/0090.html>;
    12    dcterms:description
    13 """ Issue: If two sculptors collaborate on creating a human figurine statue entity e1: sculptor A by PE pe1 creates the arms and legs of e1 and sculptor B by PE pe2 creates the head and upper-body part of e1 then both pe1 and pe2 create e1. They may or may not be synchronized. How can we infer that pe1 = pe2 (whether in one account or across accounts)?
    14   
    15 
    16 I think you've articulated well the case that A and B create different parts.  If they do this at different times, you will have
    17 statue without head, statue with head without leg, statue with head with leg.
    18 
    19 The constrained with accounts on generation-unicity is enforcing some structure in the provenance records, so that if really pe1<>pe2, then
    20 they should generate the statue in different records.""";
    21 
    22    a :Human_Figurine_Statue, prov:Entity;
    23 .
    24 
    25 :sculptor_a
    26    a :Sculptor, prov:Agent;
    27 .
    28 
    29 :pe_1
    30    a prov:ProcessExecution;
    31    prov:wasControlledBy :sculptor_a;
    32    prov:generated :arms, :legs;
    33 .
    34 
    35 :sculptor_b
    36    a :Sculptor, prov:Agent;
    37 .
    38 
    39 :pe_2
    40    a prov:ProcessExecution;
    41    prov:wasControlledBy :sculptor_b;
    42    prov:generated :head, :upper-body;
    43 .
    44 
    45 :statue_without_head
    46    a prov:Entity;
    47 .
    48 
    49 :statue_with_head_without_legs
    50    a prov:Entity;
    51    prov:wasDerivedFrom :statue_without_head, 
    52                        :head;
    53 .
    54 
    55 :statue_with_head_with_legs
    56    a prov:Entity;
    57    prov:wasDerivedFrom :statue_with_head_without_legs, 
    58                        :legs;
    59 .