--- a/ontology/ProvenanceFormalModel.html Tue Oct 25 19:47:08 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html Wed Oct 26 01:15:57 2011 +0200
@@ -485,7 +485,16 @@
<p>This object property is used to link two entities that are not directly used and generated respectively by a single instance of ProcessExecution.
</p>
<img src="diagram-history/khalidDiagrams/wasEventuallyDerivedFrom.png"
- style="height: 3em" alt="wasEventuallyDerivedFrom links Entity to Entity" />
+ style="height: 3em" alt="wasEventuallyDerivedFrom links Entity to Entity" />
+ <div><b>Example</b></div>
+ <p> Example of wasEventuallyDerivedFrom property from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is <i>e5 wasEventuallyDerivedFrom e2</i>. The RDF/XML syntax for asserting this is given below.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e5">
+ <prov:wasEventuallyDerivedFrom rdf:resource="http://www.example.com/crimeFile#e2"/>
+ </rdf:Description>
+ </pre>
+ </div>
<div class='issue'>Is the current definition of wasEventuallyDerivedFrom inconsistent with definition of wasDerivedFrom? This is <a href="http://www.w3.org/2011/prov/track/issues/122">ISSUE-122 </a> and <a href="http://www.w3.org/2011/prov/track/issues/126">ISSUE-126</a></div>
</section>
@@ -493,7 +502,16 @@
<h4>dependedOn</h4>
<p>dependedOn links two instances of Entity to model derivation of one instance of Entity from another instance of Entity. This property is asserted to be transitive</p>
<img src="diagram-history/khalidDiagrams/dependedOn.png"
- style="height: 3em" alt="dependedOn links Entity to Entity" />
+ style="height: 3em" alt="dependedOn links Entity to Entity" />
+ <div><b>Example</b></div>
+ <p> Example of dependedOn property from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is <i>e5 dependedOn e2</i>. The RDF/XML syntax for asserting this is given below.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e5">
+ <prov:dependedOn rdf:resource="http://www.example.com/crimeFile#e2"/>
+ </rdf:Description>
+ </pre>
+ </div>
<div class='issue'>Is dependedOn a parent property of wasDerivedFrom? This is <a href="http://www.w3.org/2011/prov/track/issues/125">ISSUE-125</a>
</section>
</section>
@@ -525,7 +543,16 @@
<p>hadPariticipant links Entity to ProcessExecution, where Entity used or wasGeneratedBy ProcessExecution.
<p><i>Note: No arity constraints are assumed between Entity and ProcessExecution</i></p>
<img src="diagram-history/khalidDiagrams/hadParticipant.png"
- style="height: 3em" alt="hadParticipant links ProcessExecution to Entity" />
+ style="height: 3em" alt="hadParticipant links ProcessExecution to Entity" />
+ <div><b>Example</b></div>
+ <p> Example of hadParticipant property from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is <i>pe2 hadParticipant e2</i>. 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#pe2">
+ <prov:hadParticipant rdf:resource="http://www.example.com/crimeFile#e2"/>
+ </rdf:Description>
+ </pre>
+ </div>
<div class='pending'>Suggested definition for participation. This is <a href="http://www.w3.org/2011/prov/track/issues/49">ISSUE-49</a>.</div>
</section>
@@ -572,6 +599,15 @@
</p>
<img src="diagram-history/khalidDiagrams/hadRecipe.png"
style="height: 3em" alt="hadRecipe links ProcessExecution to Agent" />
+ <div><b>Example</b></div>
+ <p> Example of hadRecipe property as an addition to the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is pe1 using some file appending instructions (<i> pe1 hadRecipe e2</i>). 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#pe1">
+ <prov:hadRecipe rdf:resource="http://www.example.com/crimeFile#instructions"/>
+ </rdf:Description>
+ </pre>
+ </div>
</section>
@@ -582,6 +618,15 @@
</p>
<img src="diagram-history/khalidDiagrams/wasInformedBy.png"
style="height: 3em" alt="wasInformedBy links ProcessExecution to ProcessExecution" />
+ <div><b>Example</b></div>
+ <p> Example of wasInformedBy property from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is <i>pe4 wasInformedBy pe3</i>. 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#pe4">
+ <prov:wasInformedBy rdf:resource="http://www.example.com/crimeFile#pe3"/>
+ </rdf:Description>
+ </pre>
+ </div>
</section>
@@ -593,41 +638,95 @@
</p>
<img src="diagram-history/khalidDiagrams/wasScheduledAfter.png"
style="height: 3em" alt="wasScheduledAfter links ProcessExecution to ProcessExecution" />
+ <div><b>Example</b></div>
+ <p> Example of wasScheduledAfter property from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is <i>pe4 wasScheduledAfter pe3</i>. 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#pe4">
+ <prov:wasScheduledAfter rdf:resource="http://www.example.com/crimeFile#pe3"/>
+ </rdf:Description>
+ </pre>
+ </div>
</section>
<section id="followed">
<h4>followed</h4>
<p>wasInformedBy links two instances of ProcessExecution to model ordering of the ProcessExecution instances.</p>
<img src="diagram-history/khalidDiagrams/followed.png"
- style="height: 3em" alt="followed links ProcessExecution to ProcessExecution" />
+ style="height: 3em" alt="followed links ProcessExecution to ProcessExecution" />
+ <div><b>Example</b></div>
+ <p> Example of followed property from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is <i>pe4 followed pe1</i>. 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#pe4">
+ <prov:wasScheduledAfter rdf:resource="http://www.example.com/crimeFile#pe1"/>
+ </rdf:Description>
+ </pre>
+ </div>
</section>
<section id="attribution">
<h4>wasAttributedTo</h4>
<p>wasAttributedTo links an instance of the Entity class to an instance of Agent class.</p>
<img src="diagram-history/khalidDiagrams/wasAttributedTo.png"
- style="height: 3em" alt="wasAttributedTo links Entity to Agent" />
+ style="height: 3em" alt="wasAttributedTo links Entity to Agent" />
+ <div><b>Example</b></div>
+ <p> Example of wasAttributedTo property as an addition to the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is the attribution of e3 to David for writting editing the file (<i>e3 wasAttributedTo David</i>). 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#e3">
+ <prov:wasAttributedTo rdf:resource="http://www.example.com/crimeFile#David"/>
+ </rdf:Description>
+ </pre>
+ </div>
</section>
<section id="quotation">
<h4>wasQuoteOf</h4>
<p>wasQuoteOf links an instance of the Entity class to an instance of of the Agent class.</p>
<img src="diagram-history/khalidDiagrams/wasQuoteOf.png"
- style="height: 3em" alt="wasQuoteOf links Entity to Agent" />
+ style="height: 3em" alt="wasQuoteOf links Entity to Agent" />
+ <div><b>Example</b></div>
+ <p> Example of wasQuoteOf property as an addition to the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is e2 quoting Alice words, recorded by Bob (<i> e2 wasQuoteOf Alice</i>). 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#e2">
+ <prov:wasQuoteOf rdf:resource="http://www.example.com/crimeFile#Alice"/>
+ </rdf:Description>
+ </pre>
+ </div>
</section>
<section id="summary">
<h4>wasSummaryOf</h4>
<p>wasSummaryOf links two instances of the Entity class.</p>
<img src="diagram-history/khalidDiagrams/wasSummaryOf.png"
- style="height: 3em" alt="wasSummaryOf links Entity to Entity" />
+ style="height: 3em" alt="wasSummaryOf links Entity to Entity" />
+ <div><b>Example</b></div>
+ <p> Example of wasSummaryOf property as an addition to the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is e3 summarizing some additional statistics(<i> e3 wasSummaryOf statistics</i>). 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#e3">
+ <prov:wasSummaryOf rdf:resource="http://www.example.com/crimeFile#statistics"/>
+ </rdf:Description>
+ </pre>
+ </div>
</section>
<section id="originalsource">
<h4>hadOriginalSource</h4>
<p>hadOriginalSource links two instances of the Entity class. This property is defined to be a specialization of the wasEventuallyDerivedFrom propery.</p>
<img src="diagram-history/khalidDiagrams/hadOriginalSource.png"
- style="height: 3em" alt="hadOriginalSource links Entity to Entity" />
+ style="height: 3em" alt="hadOriginalSource links Entity to Entity" />
+ <div><b>Example</b></div>
+ <p> Example of hadOriginalSource property from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> <i> e6 hadOriginalSource e1</i>. 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#e6">
+ <prov:hadOriginalSource rdf:resource="http://www.example.com/crimeFile#e1"/>
+ </rdf:Description>
+ </pre>
+ </div>
</section>
<section id="hastemporalvalue">