--- a/ontology/ProvenanceFormalModel.html Mon Sep 19 10:43:24 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html Mon Sep 19 10:27:59 2011 -0400
@@ -186,7 +186,7 @@
<pre> PROV:Entity rdfs:subClassOf owl:Thing.
</pre>
<div><b>Example</b></div>
- <p> Example of instances of class Entity from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> are files with identifiers <i>e1</i> and <i>e2</i>. The RDF/XML syntax for this asserting that e1 is an instance of Entity is given below.
+ <p> Example of instances of class Entity from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> are files with identifiers <i>e1</i> and <i>e2</i>. The RDF/XML syntax for asserting that e1 is an instance of Entity is given below.
<div class="exampleOuter">
<pre class="example">
<rdf:Description rdf:about="http://www.w3.org/PROV/CrimeFile#e1">
@@ -207,7 +207,7 @@
<div><b>OWL syntax</b></div>
<pre>PROV:ProcessExecution rdfs:subClassOf owl:Thing.</pre>
<div><b>Example</b></div>
- <p> Example of instances of class ProcessExecution from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> are file creation (<i>pe0</i>) and file editing (<i>pe2</i>) . The RDF/XML syntax for this asserting that pe2 is an instance of ProcessExecution is given below.
+ <p> Example of instances of class ProcessExecution from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> are file creation (<i>pe0</i>) and file editing (<i>pe2</i>) . The RDF/XML syntax for asserting that pe2 is an instance of ProcessExecution is given below.
<div class="exampleOuter">
<pre class="example">
<rdf:Description rdf:about="http://www.w3.org/PROV/CrimeFile#pe2">
@@ -224,7 +224,7 @@
<div><b>OWL syntax</b></div>
<pre>PROV:Agent rdfs:subClassOf PROV:Entity.</pre>
<div><b>Example</b></div>
- <p> Example of instances of class Agent from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> are <i>Alice</i> and <i>Edith</i>. The RDF/XML syntax for this asserting that Alice is an instance of Agent is given below.
+ <p> Example of instances of class Agent from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> are <i>Alice</i> and <i>Edith</i>. The RDF/XML syntax for asserting that Alice is an instance of Agent is given below.
<div class="exampleOuter">
<pre class="example">
<rdf:Description rdf:about="http://www.w3.org/PROV/CrimeFile#Alice">
@@ -272,7 +272,7 @@
<p>Location is defined to be "is an identifiable geographic place (ISO 19112)." [[PROV-DM]]</p>
<div><b>OWL syntax</b></div>
<pre>PROV:Location rdfs:subClassOf PROV:Entity.</pre>
- <p> Example of instances of class Location from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is the location of the crime file in the shared directory <i>/share</i> with file path <i>/shared/crime.txt</i>. The RDF/XML syntax for this asserting that the location of the crime file is the shared directory.
+ <p> Example of instances of class Location from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is the location of the crime file in the shared directory <i>/share</i> with file path <i>/shared/crime.txt</i>. The RDF/XML syntax for asserting that the location of the crime file is the shared directory.
<div class="exampleOuter">
<pre class="example">
<cf:hasLocation>
@@ -292,7 +292,7 @@
<div><b>OWL syntax</b></div>
<pre>PROV:Role rdfs:subClassOf PROV:Entity.</pre>
<div><b>Example</b></div>
- <p> Example of instances of class Role 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 this asserting that Bob assumes the role of an author is given below.
+ <p> Example of instances of class Role 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.w3.org/PROV/CrimeFile#Alice">
@@ -311,12 +311,35 @@
<p>wasGeneratedBy links Entity with ProcessExecution representing that Entity was generated as a result of ProcessExecution</p>
<p><i>Note: No arity constraints are assumed between Entity and ProcessExecution</i></p>
<img src="http://www.w3.org/2011/prov/wiki/images/b/b4/WasGeneratedBy.png" />
+ <div><b>Example</b></div>
+ <p> Example of wasGeneratedBy 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>e1 wasGeneratedBy pe0</i>. The RDF/XML syntax for asserting this is given below.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.w3.org/PROV/CrimeFile#e1">
+ <rdf:type rdf:resource="http://www.w3.org/PROV/CrimeFileOntology.owl#CrimeFile"/>
+ <cf:isGeneratedBy>
+ <rdf:Description rdf:about="http://www.w3.org/PROV/CrimeFile#pe0">
+ <rdf:type rdf:resource="http://www.w3.org/PROV/CrimeFileOntology.owl#FileCreation"/>
+ </rdf:Description>
+ <cf:isGeneratedBy>
+ </rdf:Description>
+ </pre>
+ </div>
</section>
<section>
<h4>wasDerivedFrom</h4>
<p>wasDerivedFrom links two distinct characterized entities, where "some characterized entity is transformed from, created from, or affected by another characterized entity."</p>
<img src="http://www.w3.org/2011/prov/wiki/images/3/34/WasDerivedFrom.png" />
- <div class='pending'>Is derivation transitive? If so, it should not be introduced as an assertion. This is <a href="http://www.w3.org/2011/prov/track/issues/45">ISSUE-45</a>.</div>
+ <div><b>Example</b></div>
+ <p> Example of wasDerivedFrom 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>e3 wasDerivedFrom e2</i>. The RDF/XML syntax for asserting this is given below.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.w3.org/PROV/CrimeFile#e3">
+ <cf:isDerivedFrom rdf:resource="http://www.w3.org/PROV/CrimeFile#e2"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ <div class='issue'>Is derivation transitive? If so, it should not be introduced as an assertion. This is <a href="http://www.w3.org/2011/prov/track/issues/45">ISSUE-45</a>.</div>
<div class='issue'>Should derivation have a time? Which time? This is <a href="http://www.w3.org/2011/prov/track/issues/43">ISSUE-43</a>.</div>
<div class='issue'>Should we specifically mention derivation of agents? This is <a href="http://www.w3.org/2011/prov/track/issues/42">ISSUE-42</a>.</div>
@@ -324,7 +347,7 @@
</section>
<section>
<h4>dependedOn</h4>
- <p>depndedOn links two distinct characterized entities, where "some characterized entity cannot be generated without the existence of another characterized entity."</p>
+ <p>dependedOn links two distinct characterized entities, where "some characterized entity cannot be generated without the existence of another characterized entity."</p>
<img src="http://www.w3.org/2011/prov/wiki/images/c/c1/DependedOn.png" />
</section>
<section>
@@ -333,6 +356,15 @@
<p><i>Note: No arity constraints are assumed between Entity and ProcessExecution</i></p>
<img src="http://www.w3.org/2011/prov/wiki/images/2/2f/Used.png" />
<div class='issue'>Should we define a taxonomy of use? This is <a href="http://www.w3.org/2011/prov/track/issues/23">ISSUE-23</a>.</div>
+ <div><b>Example</b></div>
+ <p> Example of Used 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 Used e2</i>. The RDF/XML syntax for asserting this is given below.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.w3.org/PROV/CrimeFile#pe2">
+ <cf:Used rdf:resource="http://www.w3.org/PROV/CrimeFile#e2"/>
+ </rdf:Description>
+ </pre>
+ </div>
</section>
<section>
<h4>hadParticipant</h4>
@@ -348,6 +380,19 @@
<h4>wasControlledBy</h4>
<p>wasControlledBy links ProcessExecution to Agent, where "Control represents the involvement of an agent or a Entity in a process execution"<i>(from the Provenance Conceptual Model)</i></p>
<img src="http://www.w3.org/2011/prov/wiki/images/2/2f/WasControlledBy.png" />
+ <div><b>Example</b></div>
+ <p> Example of wasControlledBy 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>FileAppending</i> (ProcessExecution) <i>wasControlledBy Bob</i>. The RDF/XML syntax for asserting this is given below.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.w3.org/PROV/CrimeFile#pe1">
+ <cf:isControlledBy>
+ <rdf:Description rdf:about="http://www.w3.org/PROV/CrimeFile#Bob">
+ <rdf:type rdf:resource="http://www.w3.org/PROV/CrimeFileOntology.owl#Journalist"/>
+ </rdf:Description>
+ </cf:isControlledBy>
+ </rdf:Description>
+ </pre>
+ </div>
<div class='issue'>Mutual ivpOf each other should be agreed. This is <a href="http://www.w3.org/2011/prov/track/issues/29">ISSUE-29</a></div>
<div class='issue'>Do we need a sameAsEntity relation. This is <a href="http://www.w3.org/2011/prov/track/issues/35">ISSUE-35</a></div>
<div class='issue'>Is ivpOf transitive? This is <a href="http://www.w3.org/2011/prov/track/issues/45">ISSUE-45</a></div>