add entailement properties for wasInformedBy and wasScheduledAfter
authorkbelhajj
Tue, 04 Oct 2011 10:43:48 +0100
changeset 453 fb0290788aab
parent 452 3dad35a635e3
child 454 96b5dde2e3b4
add entailement properties for wasInformedBy and wasScheduledAfter
ontology/ProvenanceFormalModel.html
--- a/ontology/ProvenanceFormalModel.html	Tue Oct 04 10:33:49 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Tue Oct 04 10:43:48 2011 +0100
@@ -398,16 +398,14 @@
           the given recipe resource. 
           </p>
           <img
-          src="http://www.w3.org/2011/prov/wiki/File:HadRecipe.png"
-          style="height: 4em" />
+          src="http://www.w3.org/2011/prov/wiki/images/2/22/HadRecipe.png" />
         </section>
            <section>
           <h4>wasInformedBy</h4>
           <p> This object property links two process executions. It is used to express the fact that a given process execution used an entity that was generated by another process execution.
           </p>
           <img
-          src="http://www.w3.org/2011/prov/wiki/File:WasInformedBy.png"
-          style="height: 4em" />
+          src="http://www.w3.org/2011/prov/wiki/images/0/08/WasInformedBy.png" />
         </section>
            <section>
           <h4>wasScheduledAfter</h4>
@@ -415,8 +413,7 @@
           This object property links two instances of ProcessExecution to specify the order in which they took place. Specifically, it is used to specify that a given process execution starts after the end of another process execution.
           </p>
           <img
-          src="http://www.w3.org/2011/prov/wiki/File:WasScheduledAfter.png"
-          style="height: 4em" />
+          src="http://www.w3.org/2011/prov/wiki/images/b/b5/WasScheduledAfter.png" />
         </section>        
 	  </section>
 	  <section> 
@@ -1139,7 +1136,17 @@
 </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"> preceded
+<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">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">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