building a statue example
authorTim L <lebot@rpi.edu>
Wed, 16 Nov 2011 10:38:54 -0500
changeset 918 0ba4a0136d55
parent 917 57800b45437c
child 919 03b757be9117
building a statue example
ontology/components/Entity/public-prov-wg-2011Nov-0090-building-statue.ttl
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/Entity/public-prov-wg-2011Nov-0090-building-statue.ttl	Wed Nov 16 10:38:54 2011 -0500
@@ -0,0 +1,59 @@
+@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 :        <#> .
+
+:e_1
+   rdfs:seeAlso <http://lists.w3.org/Archives/Public/public-prov-wg/2011Nov/0090.html>;
+   dcterms:description
+""" 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;
+.
+
+:sculptor_a
+   a :Sculptor, prov:Agent;
+.
+
+:pe_1
+   a prov:ProcessExecution;
+   prov:wasControlledBy :sculptor_a;
+   prov:generated :arms, :legs;
+.
+
+:sculptor_b
+   a :Sculptor, prov:Agent;
+.
+
+:pe_2
+   a prov:ProcessExecution;
+   prov:wasControlledBy :sculptor_b;
+   prov:generated :head, :upper-body;
+.
+
+:statue_without_head
+   a prov:Entity;
+.
+
+:statue_with_head_without_legs
+   a prov:Entity;
+   prov:wasDerivedFrom :statue_without_head, 
+                       :head;
+.
+
+:statue_with_head_with_legs
+   a prov:Entity;
+   prov:wasDerivedFrom :statue_with_head_without_legs, 
+                       :legs;
+.