--- a/ontology/ProvenanceFormalModel.html Tue Nov 15 15:58:06 2011 +0000
+++ b/ontology/ProvenanceFormalModel.html Tue Nov 15 11:03:20 2011 -0500
@@ -968,85 +968,7 @@
</pre>
</div>
</section>
-
- <section id="assumedRole">
- <h4>assumedRole</h4>
- <p>This object property defines which
- <code>Role</code> has been assumed in an
- <code>EntityInRole</code>. This property is applied in
- relations such as <code>used</code> and
- <code>wasGeneratedBy</code>.
- </p>
- <img src="diagram-history/khalidDiagrams/assumedRole.png"
- style="height: 3em" alt="assumedRole links EntityInRole to Role" />
- <p>
- The definition and interpretation of the <code>Role</code>
- is outside the scope for PROV-O. The <code>Role</code> class is
- a placeholder that can be extended and specialized.
- </p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
- <prov:used>
- <rdf:Description rdf:about="http://www.example.com/crimeFile#BobAsAuthor">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/EntityInRole"/>
- <prov:wasAssumedBy rdf:resource="http://www.example.com/crimeFile#Bob"/>
- <strong><prov:assumedRole rdf:resource="http://www.example.com/crime#author"/></strong>
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
- <prov:used>
- </rdf:Description>
- </pre>
- </div>
- <p>
- The example above corresponds to the PROV-ASN assertion:
- <code>used(pe1, bob, qualifier(role="author")</code>
- </p>
- <div class="issue">
- It has been suggested that roles should be represented as
- classes, allowing hierarchies and composition of roles. <a
- href="http://www.w3.org/TR/owl2-new-features/#F12:_Punning">OWL2 punning</a>
- would allow both <code>:entityInRole rdf:type :ExampleRole</code> and
- <code>:entityInRole prov:assumedRole :ExampleRole</code>.
- </div>
- </section>
- <section id="assumedRoleAt">
- <h4>assumedRoleAt</h4>
- <p> This object property defines the first time an
- <code>Entity</code> assumed a <em>role</em>, ie. when the
- <code>EntityInRole</code> which <code>wasAssumedBy</code> was active.
- This is intended to be used together with a
- <code>used</code> statement to define the instant when an
- entity was first used. The time is specified as an
- <code>time:Instant</code> [[!OWL-TIME]], which MAY be a
- <code>Time</code> subclass by specifying the time using a
- <code>time:inXSDDateTime</code> data property.
- </p>
- <img src="diagram-history/khalidDiagrams/assumedRoleAt.png"
- style="height: 3em" alt="assumedRoleAt links EntityInRole to Instant" />
- <p>
- According to the constraint <a
- href="#provenance-constraint-on-wasgeneratedby-generation-unicity">generation-unicity</a>
- from [[PROV-DM]] an entity can only be generated once by a single process
- execution. This ontology further assumes that all
- assertions about that generation must have the same
- start time.
- </p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
- <prov:used rdf:parseType="Resource">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/EntityInRole"/>
- <strong><prov:assumedRoleAt rdf:parseType="Resource"></strong>
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Time"/>
- <strong><time:inXSDDateTime>2011-10-20T17:14:12Z</time:inXSDDateTime></strong>
- </prov:assumedRoleAt>
- </prov:used>
- </rdf:Description>
- </pre>
- </div>
- </section>
- </section>
-
+ </section>
</section>
<section id="characteristics-of-object-properties">
@@ -1137,19 +1059,7 @@
</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>used</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>used</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>
+ <div class='note'>Some of the properties may be subject to discussion. In particular, regarding the object properties <i>wasControlledBy</i>, <i>wasGeneratedBy</i> and <i>used</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>used</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 id="annotation-properties">
--- a/ontology/ProvenanceOntology.owl Tue Nov 15 15:58:06 2011 +0000
+++ b/ontology/ProvenanceOntology.owl Tue Nov 15 11:03:20 2011 -0500
@@ -221,18 +221,6 @@
- <!-- http://www.w3.org/ns/prov-o/wasAssumedBy -->
-
- <owl:ObjectProperty rdf:about="wasAssumedBy">
- <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <rdfs:label xml:lang="en">assumed by</rdfs:label>
- <rdfs:range rdf:resource="Entity"/>
- </owl:ObjectProperty>
-
-
-
<!-- http://www.w3.org/ns/prov-o/wasAttributedTo -->
<owl:ObjectProperty rdf:about="wasAttributedTo">