author Paul Groth <p.t.groth@vu.nl>
Fri, 07 Jun 2013 20:21:19 +0200
changeset 6412 600c6fd1fdb4
parent 918 0ba4a0136d55
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 time:    <http://www.w3.org/2006/time#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix foaf:    <http://xmlns.com/foaf/0.1/> .
@prefix prov:    <http://www.w3.org/ns/prov-o/> .
@prefix :        <#> .

   rdfs:seeAlso <http://lists.w3.org/Archives/Public/public-prov-wg/2011Nov/0090.html>;
""" 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)?

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
statue without head, statue with head without leg, statue with head with leg.

The constrained with accounts on generation-unicity is enforcing some structure in the provenance records, so that if really pe1<>pe2, then
they should generate the statue in different records.""";

   a :Human_Figurine_Statue, prov:Entity;

   a :Sculptor, prov:Agent;

   a prov:ProcessExecution;
   prov:wasControlledBy :sculptor_a;
   prov:generated :arms, :legs;

   a :Sculptor, prov:Agent;

   a prov:ProcessExecution;
   prov:wasControlledBy :sculptor_b;
   prov:generated :head, :upper-body;

   a prov:Entity;

   a prov:Entity;
   prov:wasDerivedFrom :statue_without_head, 

   a prov:Entity;
   prov:wasDerivedFrom :statue_with_head_without_legs,