--- a/ontology/ProvenanceFormalModel.html Wed Aug 03 15:57:54 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html Wed Aug 03 18:30:01 2011 +0100
@@ -210,6 +210,76 @@
<p>
This section covers the entailments supported by the Provenance Model, which include the standard RDFS, OWL entailments.
</p>
+ <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>isControlledBy</i>, <i>isGeneratedBy</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>isGeneratedBy</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"> isControlledBy
+</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"> isDerivedFrom
+
+</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"> isGeneratedBy
+</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"> isUsedBy
+</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"> isPrecededBy
+</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>
<h4>Transitivity</h4>
</section>