--- a/ontology/ProvenanceFormalModel.html Fri Oct 21 11:53:00 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html Fri Oct 21 11:53:08 2011 +0100
@@ -245,7 +245,8 @@
<rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
<rdf:type rdf:resource="http://www.example.com/crime#CrimeFile"/>
<cf:hasLocation rdf:resource="http://www.example.com/crimeFile#sharedDirectoryLocation1"/>
- <cf:hasFileContent rdf:datatype="http://www.w3.org/2001/XMLSchema#string">There was a lot of crime in London last month.</cf:hasFileContent>
+ <cf:hasFileContent rdf:datatype="http://www.w3.org/2001/XMLSchema#string">There
+ was a lot of crime in London last month.</cf:hasFileContent>
</rdf:Description>
</pre>
</div>
@@ -398,20 +399,38 @@
<p> Example of instances of class EntityInRole from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> are <i>author</i> role assumed by Bob and <i>file creator</i> role assumed by Alice. The RDF/XML syntax for asserting that Bob assumes the role of an author is given below.
<div class="exampleOuter">
<pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#AliceAsAuthor">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#BobAsAuthor">
<rdf:type rdf:resource="http://www.w3.org/ns/prov-o/EntityInRole"/>
- <prov:assumedBy rdf:resource="http://www.example.com/crimeFile#Alice"/>
+ <prov:assumedBy rdf:resource="http://www.example.com/crimeFile#Bob"/>
<prov:assumedRole rdf:resource="http://www.example.com/crime#author"/>
</rdf:Description>
</pre>
</div>
- <div class='issue'>prov:assumedBy and prov:assumedRole
- (or equivalent) properties have not yet been defined
- in this ontology. This is
- <a href="http://www.w3.org/2011/prov/track/issues/103">ISSUE-103</a>
- and
- <a href="http://www.w3.org/2011/prov/track/issues/111">ISSUE-111</a>
- </div>
+ <p>
+ An <code>EntityInRole</code> can be used together with
+ <code>used</code>, <code>wasGeneratedBy</code> and
+ <code>wasControlledBy</code> to specify that the
+ <code>assumedBy</code> entity
+ participated in the relation in a given <em>role</em>. The role is
+ specified using <code>assumedRole</code>, referring to a
+ <code>Role</code>.
+ </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"/>
+ <prov:assumedBy rdf:resource="http://www.example.com/crimeFile#Bob"/>
+ <prov:assumedRole rdf:resource="http://www.example.com/crime#author"/>
+ <crime:parameter>p1</crime:parameter>
+ </prov:assumedRoleAt>
+ </rdf:Description>
+ </pre>
+ </div>
+ <p>
+ The example above corresponds to in [[PROV-DM]] ASN
+ <code>used(pe1, Bob, qualifier(role="author", parameter="p1")</code>.
+ </p>
<div class='issue'>The PROV-DM defines the term <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-qualifier">Qualifier</a>, which is incorporated implicitly in definition of OWL sub-classes and sub-properties that specialize a parent class or property by defining additional qualifying constraints. Hence, <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-qualifier">Qualifier</a> is not modeled explicitly in PROV ontology.</div>
</section>
@@ -896,7 +915,8 @@
<cf:hasFilePath rdf:datatype="http://www.w3.org/2001/XMLSchema#string">/share/crime.txt</cf:hasFilePath>
</rdf:Description>
</cf:hasLocation>
- <cf:hasFileContent rdf:datatype="http://www.w3.org/2001/XMLSchema#string">There was a lot of crime in London last month.</cf:hasFileContent>
+ <cf:hasFileContent rdf:datatype="http://www.w3.org/2001/XMLSchema#string">There
+ was a lot of crime in London last month.</cf:hasFileContent>
</rdf:Description>
<rdf:Description rdf:about="http://www.example.com/crimeFile#pe2">
<rdf:type rdf:resource="http://www.w3.org/ns/prov-o/ProcessExecution"/>
@@ -1516,7 +1536,7 @@
</p>
<div class="exampleOuter">
<pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#alice">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#Alice">
<rdf:type rdf:resource="http://www.example.com/crime#Journalist"/>
</rdf:Description>
</pre>
@@ -1535,7 +1555,7 @@
<p>we can infer that</p>
<div class="exampleOuter">
<pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#alice">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#Alice">
<rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Agent"/>
</rdf:Description>
</pre>
@@ -1543,7 +1563,7 @@
<p>and</p>
<div class="exampleOuter">
<pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#alice">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#Alice">
<rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
</rdf:Description>
</pre>