Added issues to the provenance formal model documents
authorkbelhajj
Sun, 11 Sep 2011 11:34:15 +0100
changeset 263 5fc587d4eb99
parent 262 86cf70b51a74
child 264 18e3c4ef0fc6
child 266 fc7eb11057e5
Added issues to the provenance formal model documents
ontology/ProvenanceFormalModel.html
--- a/ontology/ProvenanceFormalModel.html	Fri Sep 09 14:39:19 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Sun Sep 11 11:34:15 2011 +0100
@@ -146,7 +146,6 @@
 		<img src="http://www.w3.org/2011/prov/wiki/images/8/8d/CurrentHierarchy.png" />
 		<h4>Overview of the ontology</h4>
 		<img src="http://www.w3.org/2011/prov/wiki/images/9/9a/Object_Properties_overall_diagram.png" />
-		<div class='issue'>update picture above to use properties in past tense</div>
 	  </section>
       <section> 
 	  	<h3>Classes</h3>
@@ -155,7 +154,7 @@
 	    <section>
 		<h4>Entity</h4>
 		<div><b>Class Description</b></div>
-	    <p>Entity is defined to be "A Entity represents an identifiable characterized entity." <i>(from the Provenance Conceptual Model)</i></p>
+	    <p>Entity is defined to be "An Entity represents an identifiable characterized thing." <i>(from the Provenance Conceptual Model)</i></p>
 		<div><b>OWL syntax</b></div>
 		<pre> pil:Entity rdfs:subClassOf owl:Thing. 
 		</pre>
@@ -167,6 +166,11 @@
 				&lt;rdf:type rdf:resource="http://www.w3.org/TR/ProvenanceOntology.owl#Entity"/&gt;
 			</pre>
 		</div>		
+		
+		<div class='issue'>How is domain specific data combined with the provenance model? This is <a href="http://www.w3.org/2011/prov/track/issues/65">ISSUE-65</a>.</div>
+
+		<div class='issue'>Definition of Entity is confusing, maybe over-complex <a href="http://www.w3.org/2011/prov/track/issues/85">ISSUE-85</a>.</div>
+
 	    </section>
 		<section>
 		<h4>ProcessExecution</h4>	    
@@ -182,6 +186,7 @@
 				&lt;rdf:type rdf:resource="http://www.w3.org/TR/ProvenanceOntology.owl#ProcessExecution"/&gt;
 			</pre>
 		</div>
+		
 	    </section>
 		<section>
 		<h4>Agent</h4>	    
@@ -219,6 +224,7 @@
 	    <p>Revision is defined as a modified version of a Entity.</p> 
 		<div><b>OWL syntax</b></div>
 		<pre>pil:Revision rdfs:subClassOf pil:Entity.</pre>
+		<div class='pending'>Revision should be a class not a  property. This is <a href="http://www.w3.org/2011/prov/track/issues/48">ISSUE-48</a>.</div>
 	    </section>
 		<section>
 		<h4>ProvenanceContainer</h4>	    
@@ -226,6 +232,8 @@
 	    <p>ProvenanceContainer is defined to be an aggregation of provenance assertions. A provenance container SHOULD have an URI associated with it.</p>
 		<div><b>OWL syntax</b></div>
 		<pre>pil:ProvenanceContainer rdfs:subClassOf pil:Entity.</pre>
+		<div class='pending'>Asserter needs to be defined. This is <a href="http://www.w3.org/2011/prov/track/issues/51">ISSUE-51</a>.</div>
+		<div class='issue'>Scope and Identifiers. This is <a href="http://www.w3.org/2011/prov/track/issues/81">ISSUE-81</a>.</div>
 	    </section>
 		<section>
 		<h4>Location</h4>
@@ -260,13 +268,16 @@
 	    <p>wasGeneratedBy links Entity with ProcessExecution representing that Entity was generated as a result of ProcessExecution</p>
 	    <p><i>Note: No arity constraints are assumed between Entity and ProcessExecution</i></p>	
 		<img src="http://www.w3.org/2011/prov/wiki/images/b/b4/WasGeneratedBy.png" />
-		<div class='issue'>update picture above to use properties in past tense</div>
 	    </section>
 		<section>
 		<h4>wasDerivedFrom</h4>
         <p>wasDerivedFrom links two distinct characterized entities, where "some characterized entity is transformed from, created from, or affected by another characterized entity."</p>
 		<img src="http://www.w3.org/2011/prov/wiki/images/3/34/WasDerivedFrom.png" />
-		<div class='issue'>update picture above to use properties in past tense</div>
+		<div class='pending'>Is derivation transitive? If so, it should not be introduced as an assertion.  This is <a href="http://www.w3.org/2011/prov/track/issues/45">ISSUE-45</a>.</div>
+		<div class='issue'>Should derivation have a time? Which time? This is   <a href="http://www.w3.org/2011/prov/track/issues/43">ISSUE-43</a>.</div>
+		<div class='issue'>Should we specifically mention derivation of agents? This is <a href="http://www.w3.org/2011/prov/track/issues/42">ISSUE-42</a>.</div>
+
+<div class='resolved'> What's the difference between one step and multi-step derivation assertion. Justification of why one entity can be generated at most once.  Multi-step derivation is also transitive. This is all in <a href="http://www.w3.org/2011/prov/track/issues/67">ISSUE-67</a>.</div>
 	    </section>
 	    <section>
 		<h4>dependedOn</h4>
@@ -278,11 +289,13 @@
 	    <p>Used links ProcessExecution to Entity, where Entity is consumed by ProcessExecution.</p>
 	    <p><i>Note: No arity constraints are assumed between Entity and ProcessExecution</i></p>
 		<img src="http://www.w3.org/2011/prov/wiki/images/2/2f/Used.png" />
+		<div class='issue'>Should we define a taxonomy of use? This is <a href="http://www.w3.org/2011/prov/track/issues/23">ISSUE-23</a>.</div>
 	    </section>
 		<section>
 		<h4>hadParticipant</h4>
 	    <p>hadPariticipant links Entity to ProcessExecution, where Entity used or wasGeneratedBy ProcessExecution.
 		<p><i>Note: No arity constraints are assumed between Entity and ProcessExecution</i></p>
+		<div class='pending'>Suggested definition for participation. This is <a href="http://www.w3.org/2011/prov/track/issues/49">ISSUE-49</a>.</div>
 	    </section>
 		<section>
 		<h4>wasComplementOf</h4>
@@ -292,7 +305,10 @@
 		<h4>wasControlledBy</h4>
 	    <p>wasControlledBy links ProcessExecution to Agent, where "Control represents the involvement of an agent or a Entity in a process execution"<i>(from the Provenance Conceptual Model)</i></p>
 		<img src="http://www.w3.org/2011/prov/wiki/images/2/2f/WasControlledBy.png" />
-		<div class='issue'>update picture above to use properties in past tense</div>
+		<div class='issue'>Mutual ivpOf each other should be agreed. This is <a href="http://www.w3.org/2011/prov/track/issues/29">ISSUE-29</a></div>
+		<div class='issue'>Do we need a sameAsEntity relation. This is <a href="http://www.w3.org/2011/prov/track/issues/35">ISSUE-35</a></div>
+		<div class='issue'>Is ivpOf transitive? This is <a href="http://www.w3.org/2011/prov/track/issues/45">ISSUE-45</a></div>
+		<div class='issue'> Comments on ivpof in <a href="http://www.w3.org/2011/prov/track/issues/57">ISSUE-57</a>.</div>
 	    </section>
 		<section>
 		<h4>preceded</h4>
@@ -394,7 +410,6 @@
 </td></tr></table>
 	  <section>
 	  <img src="http://www.w3.org/2011/prov/wiki/images/9/9a/Object_Properties_overall_diagram.png" />
-		<div class='issue'>update picture above to use properties in past tense</div>
 		<h4>Additional properties </h4>
 <div class="note">The following constraints are extracted from the
   ProvenanceModel document.  The text below should be kept consistent