--- a/ontology/ProvenanceFormalModel.html Thu Oct 13 14:20:09 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html Thu Oct 13 14:20:17 2011 +0100
@@ -1,6 +1,3 @@
-<!DOCTYPE html>
-<html>
- <head>
<title>PROV Ontology Model</title>
<meta http-equiv='Content-Type' content='text/html;charset=utf-8'/>
<!--
@@ -196,15 +193,9 @@
</p>
<img src="diagram-history/khalidDiagrams/Ontology_hierarchy.png"
style="width: 50%; min-width: 25em; max-width: 37em"
- alt="Class hierarchy of the PROV OWL ontology"/>
+ alt="Class hierarchy of the PROV ontology"/>
<br>
<p><i>Note: CamelBack notation is used for class names</i></p>
- <div class="issue">
- The class <code>prov:Role</code> has been
- renamed to <code>prov:EntityInRole</code>. (A new
- <code>prov:Role</code> might appear in the rdfs:range of
- <code>prov:assuming</code>
- </div>
<section id="entity">
<h4>Entity</h4>
<div><b>Class Description</b></div>
@@ -256,10 +247,11 @@
<pre class="example">
<rdf:Description rdf:about="http://www.example.com/crimeFile#pe2">
<rdf:type rdf:resource="http://www.w3.org/ns/prov-o/ProcessExecution"/>
+ <rdf:type rdf:resource="http://www.example.com/crime#Emailing"/>
</rdf:Description>
</pre>
</div>
- <div class='note'> pe2 is an instance of class EmailProcessExecution, which is defined to be "sub-class" of class ProcessExecution in the CrimeFile ontology. Hence, using standard RDFS entailment allows us to infer that pe2 is also an instance of ProcessExecution.
+ <div class='note'> pe2 is an instance of class <code>:Emailing</code>, which in the CrimeFile ontology is defined to be sub-class of class <code>prov:ProcessExecution</code>. Hence, using standard RDFS entailment allows us to infer that pe2 is also an instance of <code>prov:ProcessExecution</code>. However, not all PROV-O clients might be able to do RDFS reasoning over third-party ontologies, therefore asserters SHOULD explicitly assert any <code>prov</code> type or property which can be inferred from the specialising ontologies.
</div>
</section>
@@ -406,7 +398,8 @@
<h4>wasGeneratedBy</h4>
<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" alt="wasGeneratedBy links Entity to ProcessExecution" />
+ <img src="diagram-history/khalidDiagrams/wasGeneratedBy.png"
+ style="height: 3em" alt="wasGeneratedBy links Entity to ProcessExecution" />
<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">
@@ -430,7 +423,8 @@
<section id="wasderivedfrom">
<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" alt="wasDerivedFrom links Entity to Entity"/>
+ <img src="diagram-history/khalidDiagrams/wasDerivedFrom.png"
+ style="height: 3em" alt="wasDerivedFrom links Entity to Entity" />
<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">
@@ -450,7 +444,8 @@
<h4>Used</h4>
<p>Used links ProcessExecution to Entity, where Entity is consumed by 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/2/2f/Used.png" alt="prov:used links ProcessExecution to Entity"/>
+ <img src="diagram-history/khalidDiagrams/used.png"
+ style="height: 3em" alt="used links ProcessExecution to Entity" />
<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.</p>
@@ -485,7 +480,8 @@
<section id="wascontrolledby">
<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" alt="wasControlledBy links ProcessExecution to Agent"/>
+ <img src="diagram-history/khalidDiagrams/wasControlledBy.png"
+ style="height: 3em" alt="wasControlledBy links ProcessExecution to Agent" />
<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">
@@ -515,7 +511,8 @@
might or might not have been followed exactly by the Process
Execution.
</p>
- <img src="http://www.w3.org/2011/prov/wiki/images/2/22/HadRecipe.png" alt="prov:hadRecipe links ProcessExecution to Recipe."/>
+ <img src="diagram-history/khalidDiagrams/hadRecipe.png"
+ style="height: 3em" alt="hadRecipe links ProcessExecution to Agent" />
</section>
@@ -524,7 +521,8 @@
<h4>wasInformedBy</h4>
<p> This object property links two process executions. It is used to express the fact that a given process execution used an entity that was generated by another process execution.
</p>
- <img src="http://www.w3.org/2011/prov/wiki/images/0/08/WasInformedBy.png" alt="prov:wasInformedBy links ProcessExecution to ProcessExecution"/>
+ <img src="diagram-history/khalidDiagrams/wasInformedBy.png"
+ style="height: 3em" alt="wasInformedBy links ProcessExecution to ProcessExecution" />
</section>
@@ -534,7 +532,8 @@
<p>
This object property links two instances of ProcessExecution to specify the order in which they took place. Specifically, it is used to specify that a given process execution starts after the end of another process execution.
</p>
- <img src="http://www.w3.org/2011/prov/wiki/images/b/b5/WasScheduledAfter.png" alt="prov:wasScheduledAfter links ProcessExecution to ProcessExecution"/>
+ <img src="diagram-history/khalidDiagrams/wasScheduledAfter.png"
+ style="height: 3em" alt="wasScheduledAfter links ProcessExecution to ProcessExecution" />
</section>
</section>
@@ -653,9 +652,15 @@
<section id="overview-of-the-ontology">
<h3>Overview of the ontology</h3>
+ <p>The following diagram illustrates the complete PROV ontology. </p>
+ <img src="diagram-history/2011-10-03-tlebo/ProvenanceOntology_11_October_2011.png "
+ style="min-width: 45em; width: 55em; max-width: 95%"
+ alt="Classes and properties of the PROV ontology"/>
+<!--
<p>The following diagram illustrates the complete PROV ontology schema along with the cardinality restrictions imposed on the properties. </p>
- <img src="http://www.w3.org/2011/prov/wiki/images/9/9a/Object_Properties_overall_diagram.png" alt="Object properties among all classes in the PROV OWL ontology"/>
- <a href="https://dvcs.w3.org/hg/prov/raw-file/34a479f3f5d0/ontology/diagram-history/2011-10-03-tlebo/ProvenanceOntology.owl.pdf"><img src="https://dvcs.w3.org/hg/prov/raw-file/34a479f3f5d0/ontology/diagram-history/2011-10-03-tlebo/ProvenanceOntology.owl.png" alt="Object properties among all classes in the PROV OWL ontology"/></a>
+ <img src="http://www.w3.org/2011/prov/wiki/images/9/9a/Object_Properties_overall_diagram.png" alt="Object properties among all classes in the PROV ontology"/>
+ <a href="https://dvcs.w3.org/hg/prov/raw-file/34a479f3f5d0/ontology/diagram-history/2011-10-03-tlebo/ProvenanceOntology.owl.pdf"><img src="https://dvcs.w3.org/hg/prov/raw-file/34a479f3f5d0/ontology/diagram-history/2011-10-03-tlebo/ProvenanceOntology.owl.png" alt="Object properties among all classes in the PROV ontology"/></a>
+-->
</section>
</section>
@@ -749,9 +754,9 @@
</div>
</section>
<section id="cf-filecreation">
- <h5>cf:FileCreation, cf:FileEditing, cf:FileAppending, cf:EmailProcessExecution, cf:SpellChecking</h5>
+ <h5>cf:FileCreation, cf:FileEditing, cf:FileAppending, cf:Emailing, cf:SpellChecking</h5>
<p>The classes cf:FileCreation, cf:FileEditing,
- cf:FileAppending, cf:EmailProcessExecution, cf:SpellChecking are
+ cf:FileAppending, cf:Emailing, cf:SpellChecking are
specialization of the PROV ontology <a
href="#processexecution">ProcessExecution</a> and model the
different activities in the <a
@@ -765,9 +770,17 @@
</rdf:Description>
</pre>
</div>
- <p>The following diagram illustrates the above specialization: </p>
- <img src="http://www.w3.org/2011/prov/wiki/images/5/5d/AlternativeSchema.png" alt="New classes (cf:SpellChecking, cf:FileEditing, cf:FileCreation, cf:FileAppending, cf:EmailProcessExecution, cf:Journalist) extend the classes in the PROV OWL Ontology (Entity, Agent, ProcessExecution)."/>
- <a href="https://dvcs.w3.org/hg/prov/raw-file/631b9ae346a0/ontology/examples/ontology-extensions/crime-file/diagrams/2011-10-04-tlebo/crime.owl.classes.pdf"><img src="https://dvcs.w3.org/hg/prov/raw-file/631b9ae346a0/ontology/examples/ontology-extensions/crime-file/diagrams/2011-10-04-tlebo/crime.owl.classes.png" alt="New classes (cf:SpellChecking, cf:FileEditing, cf:FileCreation, cf:FileAppending, cf:EmailProcessExecution, cf:Journalist) extend the classes in the PROV OWL Ontology (Entity, Agent, ProcessExecution)."/></a>
+ <p>The following diagram illustrates the above class specializations: </p>
+<!--
+ <img src="http://www.w3.org/2011/prov/wiki/images/5/5d/AlternativeSchema.png" alt="New classes (cf:SpellChecking, cf:FileEditing, cf:FileCreation, cf:FileAppending, cf:Emailing, cf:Journalist) extend the classes in the PROV Ontology (Entity, Agent, ProcessExecution)."/>
+ <a href="https://dvcs.w3.org/hg/prov/raw-file/631b9ae346a0/ontology/examples/ontology-extensions/crime-file/diagrams/2011-10-04-tlebo/crime.owl.classes.pdf"><img src="https://dvcs.w3.org/hg/prov/raw-file/631b9ae346a0/ontology/examples/ontology-extensions/crime-file/diagrams/2011-10-04-tlebo/crime.owl.classes.png" alt="New classes (cf:SpellChecking, cf:FileEditing, cf:FileCreation, cf:FileAppending, cf:Emailing, cf:Journalist) extend the classes in the PROV Ontology (Entity, Agent, ProcessExecution)."/></a>
+ <img src="examples/ontology-extensions/crime-file/diagrams/2011-10-13-ssoiland/crime.owl.png "
+ style="min-width: 45em; width: 55em; max-width: 95%"
+ alt="New classes (:SpellChecking, :FileEditing, :FileCreation, :FileAppending, :Emailing, :Journalist) extend the classes in the PROV Ontology (prov:Entity, prov:Agent, prov:ProcessExecution). "/>
+-->
+ <img src="examples/ontology-extensions/crime-file/diagrams/2011-10-13-ssoiland/crime.owl.classes.png "
+ style="min-width: 35em; width: 45em; max-width: 95%"
+ alt="New classes (:SpellChecking, :FileEditing, :FileCreation, :FileAppending, :Emailing, :Journalist) extend the classes in the PROV Ontology (prov:Entity, prov:Agent, prov:ProcessExecution). "/>
<br>
<em>Example extension of PROV ontology in order to describe the crime file scenario</em>
</section>
@@ -786,11 +799,16 @@
</pre>
</div>
</section>
- <p>The following diagram illustrates the above specialization: </p>
+ <p>The following diagram illustrates the above property specialization: </p>
+<!--
<a href="https://dvcs.w3.org/hg/prov/raw-file/631b9ae346a0/ontology/examples/ontology-extensions/crime-file/diagrams/2011-10-04-tlebo/crime.owl.properties.pdf">
<img src="https://dvcs.w3.org/hg/prov/raw-file/631b9ae346a0/ontology/examples/ontology-extensions/crime-file/diagrams/2011-10-04-tlebo/crime.owl.properties.png"
- alt="ext:FileCreation, ext:FileAppending, ext:FileEditing, ext:EmailProcessExecution, extSpellChecking extend prov:ProcessExecution; ext:Journalist extends prov:Agent; ext:CrimeFile extends prov:Entity; ext:hadFilePath extends prov:hadLocation and has range prov:Location."/>
+ alt="ext:FileCreation, ext:FileAppending, ext:FileEditing, ext:Emailing, extSpellChecking extend prov:ProcessExecution; ext:Journalist extends prov:Agent; ext:CrimeFile extends prov:Entity; ext:hadFilePath extends prov:hadLocation and has range prov:Location."/>
</a>
+-->
+ <img src="examples/ontology-extensions/crime-file/diagrams/2011-10-13-ssoiland/crime.owl.properties.png "
+ style="min-width: 30em; width: 40em; max-width: 95%"
+ alt="ext:FileCreation, ext:FileAppending, ext:FileEditing, ext:Emailing, extSpellChecking extend prov:ProcessExecution; ext:Journalist extends prov:Agent; ext:CrimeFile extends prov:Entity; ext:hadFilePath extends prov:hadLocation and has range prov:Location."/>
<br>
<em>Example extension of PROV ontology in order to describe the crime file scenario</em>
</section>