--- a/ontology/ProvenanceFormalModel.html Sun Nov 13 15:41:42 2011 -0500
+++ b/ontology/ProvenanceFormalModel.html Sun Nov 13 17:30:00 2011 -0500
@@ -372,7 +372,7 @@
<pre class="example">
<rdf:Description rdf:about="http://www.example.com/crimeFile#u1">
<rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Usage"/>
- <prov:? rdf:resource="http://www.example.com/crimeFile#Bob"/>
+ <prov:hadQualifiedEntity rdf:resource="http://www.example.com/crimeFile#Bob"/>
</rdf:Description>
</pre>
</div>
@@ -390,7 +390,7 @@
<pre class="example">
<rdf:Description rdf:about="http://www.example.com/crimeFile#p1">
<rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Participation"/>
- <prov:? rdf:resource="http://www.example.com/crimeFile#Bob"/>
+ <prov:hadQualifiedEntity rdf:resource="http://www.example.com/crimeFile#Bob"/>
</rdf:Description>
</pre>
</div>
@@ -408,7 +408,7 @@
<pre class="example">
<rdf:Description rdf:about="http://www.example.com/crimeFile#c1">
<rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Control"/>
- <prov:wasAssumedBy rdf:resource="http://www.example.com/crimeFile#Bob"/>
+ <prov:hadQualifiedEntity rdf:resource="http://www.example.com/crimeFile#Bob"/>
</rdf:Description>
</pre>
</div>
@@ -426,7 +426,7 @@
<pre class="example">
<rdf:Description rdf:about="http://www.example.com/crimeFile#g1">
<rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Generation"/>
- <prov:? rdf:resource="http://www.example.com/crimeFile#Bob"/>
+ <prov:hadQualifiedEntity rdf:resource="http://www.example.com/crimeFile#Bob"/>
</rdf:Description>
</pre>
</div>
@@ -451,8 +451,28 @@
</div>
</section>
+ <section id ="role">
+ <h4>Role</h4>
+ <div><b>Class Description</b></div>
+ <p>Role class models additional information about Entity or ProcessExecution class with respect to the QualifiedInvolvement class [[PROV-DM]]</p>
+ <div><b>OWL syntax</b></div>
+ <pre>prov:Role rdfs:subClassOf owl:Thing.</pre>
+ <div><b>Example</b></div>
+ <p> Example of instances of class Role from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> are <i>author (for Alice)</i> and <i>save (for pe1)</i>. The RDF/XML syntax for asserting that Alice played a role of author in the usage u1 (instance of class Usage) of file e1 in the activity of adding content.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#u1">
+ <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Usage"/>
+ <prov:hadRole rdf:resource="www.example.com/crimeFile#author"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ <div class='note'> It is not clear how two roles can be modeled using the QualifiedInvolvement class-based approach, where an Entity plays a role of "author", while the ProcessExecution plays the role of "save" (from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a>).
+ </div>
+ </section>
+
<section>
- <h4>Holding Section for Classes</h4>
+ <h4>Temporary Section for Classes</h4>
<p>Temporary section for terms not part of "core" ontology.</p>
<section id="time">
@@ -851,7 +871,16 @@
<section id="hadqualifiedentity">
<h4>hadQualifiedEntity</h4>
- <p>The hadQualifiedEntity property links the QualifiedInvolvement class with the Entity class.</p>
+ <p>The hadQualifiedEntity property links the QualifiedInvolvement class with the Entity class.</p>
+ <div><b>Example</b></div>
+ <p> Example of hadQualifiedEntity property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> <i> u2 hadQualifiedEntity e2</i>, where the hadRole describes the usage of e2 as an "attachment". The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#u2">
+ <prov:hadQualifiedEntity rdf:resource="http://www.example.com/crimeFile#e2"/>
+ </rdf:Description>
+ </pre>
+ </div>
</section>
--- a/ontology/ProvenanceOntology.owl Sun Nov 13 15:41:42 2011 -0500
+++ b/ontology/ProvenanceOntology.owl Sun Nov 13 17:30:00 2011 -0500
@@ -164,9 +164,20 @@
+ <!-- http://www.w3.org/ns/prov-o/hadRole -->
+
+ <owl:ObjectProperty rdf:about="hadRole">
+ <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <rdfs:domain rdf:resource="QualifiedInvolvement"/>
+ <rdfs:range rdf:resource="Role"/>
+ </owl:ObjectProperty>
+
+
+
<!-- http://www.w3.org/ns/prov-o/hadTemporalValue -->
<owl:ObjectProperty rdf:about="hadTemporalValue">
+ <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdfs:label xml:lang="en"
>has temporal value</rdfs:label>
<rdfs:range rdf:resource="&time;TemporalEntity"/>
@@ -175,6 +186,7 @@
<owl:unionOf rdf:parseType="Collection">
<rdf:Description rdf:about="Entity"/>
<rdf:Description rdf:about="ProcessExecution"/>
+ <rdf:Description rdf:about="QualifiedInvolvement"/>
</owl:unionOf>
</owl:Class>
</rdfs:domain>
@@ -202,7 +214,6 @@
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdfs:label xml:lang="en">assumed by</rdfs:label>
<rdfs:range rdf:resource="Entity"/>
- <rdfs:domain rdf:resource="EntityInRole"/>
</owl:ObjectProperty>
@@ -449,23 +460,6 @@
- <!-- http://www.w3.org/ns/prov-o/EntityInRole -->
-
- <owl:Class rdf:about="EntityInRole">
- <rdfs:label xml:lang="en">Entity In Role</rdfs:label>
- <rdfs:subClassOf rdf:resource="Entity"/>
- <rdfs:subClassOf>
- <owl:Restriction>
- <owl:onProperty rdf:resource="wasAssumedBy"/>
- <owl:someValuesFrom rdf:resource="&owl;Thing"/>
- </owl:Restriction>
- </rdfs:subClassOf>
- <rdfs:comment xml:lang="en"
- >Entity in role is defined to be "a function assumed by a entity or an agent."</rdfs:comment>
- </owl:Class>
-
-
-
<!-- http://www.w3.org/ns/prov-o/Generation -->
<owl:Class rdf:about="Generation">
@@ -528,6 +522,12 @@
+ <!-- http://www.w3.org/ns/prov-o/Role -->
+
+ <owl:Class rdf:about="Role"/>
+
+
+
<!-- http://www.w3.org/ns/prov-o/Usage -->
<owl:Class rdf:about="Usage">