Mercurial > hg > prov / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset
property restrictions
authorSatya Sahoo <satya.sahoo@case.edu>
Wed, 05 Oct 2011 16:17:14 -0400
changeset 521 fb8f2e52b7d0
parent 515 6dca6bae7b1d
child 522 90148354a9a0
property restrictions
ontology/ProvenanceFormalModel.html 
--- a/ontology/ProvenanceFormalModel.html	Wed Oct 05 13:06:12 2011 -0400
+++ b/ontology/ProvenanceFormalModel.html	Wed Oct 05 16:17:14 2011 -0400
@@ -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