Mercurial > hg > prov / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset
prep for fpwd
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Wed, 05 Oct 2011 21:47:26 +0100
changeset 529 5d1a7a008395
parent 528 0f346c1bcef8 (current diff)
parent 527 9d678be4dfec (diff)
child 530 4084e513e54b
prep for fpwd 
--- a/ontology/ProvenanceFormalModel.html	Wed Oct 05 21:47:06 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Wed Oct 05 21:47:26 2011 +0100
@@ -418,7 +418,99 @@
           </p>
           <img
           src="http://www.w3.org/2011/prov/wiki/images/b/b5/WasScheduledAfter.png" />
-        </section>        
+        </section>
+		<section>
+			<h3>Characteristics of Object Properties </h3>
+			  <p>The table below summarizes the characteristics of the object properties that are defined in the OWL schema.
+			  </p> 			 		     
+		      <table style="border-collapse: separate; border-spacing: 0; border-width: 1px; border-style: solid; border-color: #000; padding: 0">
+		      <tr>
+		<th style="border-style: solid; border-width: 0 1px 1px 0">
+		</th><th style="border-style: solid; border-width: 0 1px 1px 0"> Functional
+		</th><th style="border-style: solid; border-width: 0 1px 1px 0"> Reverse functional
+		</th><th style="border-style: solid; border-width: 0 1px 1px 0"> Transitive
+		</th><th style="border-style: solid; border-width: 0 1px 1px 0"> Symmetric
+		</th><th style="border-style: solid; border-width: 0 1px 1px 0">Asymmetric
+		</th><th style="border-style: solid; border-width: 0 1px 1px 0"> Reflexive
+
+		</th><th style="border-style: solid; border-width: 0 1px 1px 0"> Irreflexive
+		</th></tr>
+		<tr>
+		<td style="border-style: solid; border-width: 0 1px 1px 0"> wasControlledBy
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">?
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0"> No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+		</td></tr>
+		<tr>
+		<td style="border-style: solid; border-width: 0 1px 1px 0"> wasDerivedFrom
+
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+		</td></tr>
+		<tr>
+		<td style="border-style: solid; border-width: 0 1px 1px 0"> hadParticipant
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">?
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+		</td></tr>
+		<tr>
+		<tr>
+		<td style="border-style: solid; border-width: 0 1px 1px 0"> wasGeneratedBy
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">?
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+		</td></tr>
+		<tr>
+		<td style="border-style: solid; border-width: 0 1px 1px 0"> used
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">?
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+		</td></tr>
+		<tr>
+		<td style="border-style: solid; border-width: 0 1px 1px 0"> wasInformedBy
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td></tr>
+		<tr>
+		<td style="border-style: solid; border-width: 0 1px 1px 0"> wasScheduledAfter
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+		</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+		</td></tr></table>
+		<div class='note'>Some of them may be subject to discussion. In particular, regarding the object properties <i>wasControlledBy</i>, <i>wasGeneratedBy</i> and <i>isUsedBY</i>, we did not specify whether they are transitive or not. One may argue that given that an agent can be a process execution, a process execution, e.g., <i>pe1</i>, can be controlled by an agent <i>pe2</i>, which happens to be a process execution that is controlled by an agent <i>ag</i>, and that, therefore, <i>ag</i> (indirectly) controls <i>pe1</i>. The same argument can be applied to <i>wasGeneratedBy</i> and <i>isUsedBY</i>. That said, we are not convinced that these properties should be declared as transitive. In fact, we are more inclined towards specifying that they are not.
+		 </div>
+		</section>        
 	  </section>
 	  <section> 
 	  	<h3>Annotation Properties</h3>
@@ -1066,10 +1158,7 @@
     for the complete example showing both domain-specific and PROV ontology terms
       used side by side.
             </p>
-
         </section>
-
-
 	  </section>	    			
 	</section>
 	<section>
@@ -1088,98 +1177,8 @@
 	</section>
 	<section>
 		<h3>Provenance-specific Entailments Supported by PROV Ontology</h3>
-	</section>
-      <h3>Characteristics of Object Properties </h3>
-	  <p>      
-      The table below summarizes the characteristics of the object properties that are defined in the OWL schema. Some of them may be subject to discussion. In particular, regarding the object properties <i>wasControlledBy</i>, <i>wasGeneratedBy</i> and <i>isUsedBY</i>, we did not specify whether they are transitive or not. One may argue that given that an agent can be a process execution, a process execution, e.g., <i>pe1</i>, can be controlled by an agent <i>pe2</i>, which happens to be a process execution that is controlled by an agent <i>ag</i>, and that, therefore, <i>ag</i> (indirectly) controls <i>pe1</i>. The same argument can be applied to <i>wasGeneratedBy</i> and <i>isUsedBY</i>. That said, we are not convinced that these properties should be declared as transitive. In fact, we are more inclined towards specifying that they are not. 
-      </p>
-      <table style="border-collapse: separate; border-spacing: 0; border-width: 1px; border-style: solid; border-color: #000; padding: 0">
-      <tr>
-<th style="border-style: solid; border-width: 0 1px 1px 0">
-</th><th style="border-style: solid; border-width: 0 1px 1px 0"> Functional
-</th><th style="border-style: solid; border-width: 0 1px 1px 0"> Reverse functional
-</th><th style="border-style: solid; border-width: 0 1px 1px 0"> Transitive
-</th><th style="border-style: solid; border-width: 0 1px 1px 0"> Symmetric
-</th><th style="border-style: solid; border-width: 0 1px 1px 0">Asymmetric
-</th><th style="border-style: solid; border-width: 0 1px 1px 0"> Reflexive
-
-</th><th style="border-style: solid; border-width: 0 1px 1px 0"> Irreflexive
-</th></tr>
-<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> wasControlledBy
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">?
-</td><td style="border-style: solid; border-width: 0 1px 1px 0"> No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td></tr>
-<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> wasDerivedFrom
-
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td></tr>
-<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> hadParticipant
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">?
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td></tr>
-<tr>
-<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> wasGeneratedBy
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">?
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td></tr>
-<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> used
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">?
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td></tr>
-<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> wasInformedBy
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td></tr>
-<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> wasScheduledAfter
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td></tr></table>
-	  <section>
-	  
+	</section>      
+	  <section>	  
 		<h4>Additional properties </h4>
 <div class="note">The following constraints are extracted from the
   ProvenanceModel document.  The text below should be kept consistent
@@ -1273,8 +1272,7 @@
 <li> Various things involving IVP-of
 </li></ul>
 	  </section>	
-    </section>
-    <section>
+    </section>   
 	  <h3>PROV Data Model Terms Currently not Modeled in PROV Ontology</h3>
 	  <p>
 	  The following terms, which are defined in the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html">PROV data model</a>, are still to be encoded within the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html">PROV ontology</a>: </br>
@@ -1285,7 +1283,6 @@
 	  <p>
 	  In the PROV ontology, the object property wasPrecededBy is using to specify the order of process executions. PROV-DM, however, uses instead two relationships: <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-OrderingOfProcessExecutions">wasInformedBy</a> and <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-OrderingOfProcessExecutions">wasScheduledAfter</a>. The ontology needs to be updated to cater for these two relationships.
 	  </p>
-	</section>
     <section class='appendix'>
       <h2>Acknowledgements</h2>
       <p>
prov

Hosted by W3C Systems Team, please report bugs to sysreq@w3.org