--- a/ontology/ProvenanceFormalModel.html Wed Aug 24 18:37:51 2011 -0400
+++ b/ontology/ProvenanceFormalModel.html Wed Aug 24 21:28:15 2011 -0400
@@ -102,10 +102,10 @@
<ul>
<li><a href="#agent">Agent</a>, e.g. alice, bob, and edith </li>
<li><a href="#processexecution">ProcessExecution</a>, e.g. fileCreation, fileAppending </li>
- <li>specialization of <a href="#entity">Entity</a>, e.g. file_e1, file_e2, and file_e3 </li>
+ <li>specialization of <a href="#entity">Entity</a>, e.g. e1, e2, and e3 </li>
</ul>
</p>
- <p>Example 1 describes the provenance of entity e1 using RDF/XML syntax
+ <p>Example given below describes the provenance of <a href="http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html#entity">Entity</a> e1 using RDF/XML syntax
<div class="exampleOuter">
<pre class="example">
<?xml version="1.0"?>
@@ -131,6 +131,9 @@
<cf:hasFilePath rdf:datatype="http://www.w3.org/2001/XMLSchema#string">/share/crime.txt</cf:hasFilePath>
<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.w3.org/2011/prov/crimefile#pe1">
+ <cf:Used rdf:resource="http://www.w3.org/2011/prov/crimefile#e1"/>
+ </rdf:Description>
</rdf:RDF>
</pre>
</div>
@@ -149,60 +152,100 @@
<p><i>Note: CamelBack notation is used for class names</i></p>
<section>
<h4>Entity</h4>
+ <div><b>Class Description</b></div>
+ <p>Entity is defined to be "A Entity represents an identifiable characterized entity." <i>(from the Provenance Conceptual Model)</i></p>
<div><b>OWL syntax</b></div>
<pre> pil:Entity rdfs:subClassOf owl:Thing.
- </pre>
- <div><b>Class Description</b></div>
- <p>Entity is defined to be "A Entity represents an identifiable characterized entity." <i>(from the Provenance Conceptual Model)</i></p>
+ </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.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.w3.org/2011/prov/crimefile#e1">
+ <rdf:type rdf:resource="http://www.w3.org/TR/ProvenanceOntology.owl#Entity"/>
+ </pre>
+ </div>
</section>
<section>
- <h4>ProcessExecution</h4>
- <div><b>OWL syntax</b></div>
- <pre>pil:ProcessExecution rdfs:subClassOf owl:Thing.</pre>
+ <h4>ProcessExecution</h4>
<div><b>Class Description</b></div>
<p>ProcessExecution is defined to be "an identifiable activity, which performs a piece of work." <i>(from the Provenance Conceptual Model)</i></p>
+ <div><b>OWL syntax</b></div>
+ <pre>pil: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.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.w3.org/2011/prov/crimefile#pe2">
+ <rdf:type rdf:resource="http://www.w3.org/TR/ProvenanceOntology.owl#ProcessExecution"/>
+ </pre>
+ </div>
</section>
<section>
- <h4>Agent</h4>
- <div><b>OWL syntax</b></div>
- <pre>pil:Agent rdfs:subClassOf pil:Entity.</pre>
+ <h4>Agent</h4>
<div><b>Class Description</b></div>
<p>Agent is defined to be a "characterized entity capable of activity" <i>(from the Provenance Conceptual Model)</i></p>
- </section>
- <section>
- <h4>Time</h4>
- <div><b>OWL syntax</b></div>
- <pre>pil:Time rdfs:subClassOf owl:Thing.</pre>
- <div><b>Class Description</b></div>
- <p>Time represents temporal information about entities in the Provenance model.</p>
+ <div><b>OWL syntax</b></div>
+ <pre>pil:Agent rdfs:subClassOf pil: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.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.w3.org/2011/prov/crimefile#Alice">
+ <rdf:type rdf:resource="http://www.w3.org/TR/ProvenanceOntology.owl#Agent"/>
+ </pre>
+ </div>
</section>
<section>
- <h4>Revision</h4>
- <div><b>OWL syntax</b></div>
- <pre>pil:Revision rdfs:subClassOf pil:Entity.</pre>
+ <h4>Time</h4>
+ <div><b>Class Description</b></div>
+ <p>Time represents temporal information about entities in the Provenance model.</p>
+ <div><b>OWL syntax</b></div>
+ <pre>pil:Time rdfs:subClassOf owl:Thing.</pre>
+ <div><b>Example</b></div>
+ <p> Example of instances of class Time from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> are <i>t</i> and <i>t+1</i>. The RDF/XML syntax for this asserting that t+1 is an instance of Time is given below.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.w3.org/2011/prov/crimefile#t+1">
+ <rdf:type rdf:resource="http://www.w3.org/TR/ProvenanceOntology.owl#Time"/>
+ </pre>
+ </div>
+ </section>
+ <section>
+ <h4>Revision</h4>
<div><b>Class Description</b></div>
<p>Revision is defined as a modified version of a Entity.</p>
+ <div><b>OWL syntax</b></div>
+ <pre>pil:Revision rdfs:subClassOf pil:Entity.</pre>
</section>
<section>
- <h4>ProvenanceContainer</h4>
- <div><b>OWL syntax</b></div>
+ <h4>ProvenanceContainer</h4>
+ <div><b>Class Description</b></div>
+ <p>ProvenanceContainer is defined to be an aggregation of provenance assertions. A provenance container SHOULD have an URI associated with it.</p>
+ <div><b>OWL syntax</b></div>
<pre>pil:ProvenanceContainer rdfs:subClassOf pil:Entity.</pre>
- <div><b>Class Description</b></div>
- <p>ProvenanceContainer is defined to be an aggregation of provenance assertions. A provenance container SHOULD have an URI associated with it.
</section>
<section>
<h4>Location</h4>
- <div><b>OWL syntax</b></div>
- <pre>pil:Location rdfs:subClassOf pil:Entity.</pre>
<div><b>Class Description</b></div>
<p>Location is defined to be "is an identifiable geographic place (ISO 19112)." <i>(from the Provenance Conceptual Model)</i></p>
+ <div><b>OWL syntax</b></div>
+ <pre>pil:Location rdfs:subClassOf pil:Entity.</pre>
</section>
<section>
- <h4>Role</h4>
- <div><b>OWL syntax</b></div>
- <pre>pil:Role rdfs:subClassOf owl:Thing.</pre>
+ <h4>Role</h4>
<div><b>Class Description</b></div>
<p>Role is defined to be "a function assumed by a Entity or an agent." <i>(from the Provenance Conceptual Model)</i></p>
+ <div><b>OWL syntax</b></div>
+ <pre>pil:Role rdfs:subClassOf owl:Thing.</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.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.w3.org/2011/prov/crimefile#Alice">
+ <cf:assumesRole rdf:resource="http://www.w3.org/TR/ProvenanceOntology.owl#author"/>
+ </pre>
+ </div>
</section>
</section>
<section>
@@ -217,14 +260,14 @@
</section>
<section>
<h4>isDerivedFrom</h4>
- <p>isDerivedFrom links two distinct characterized entities, where "some characterized entity is transformed from, created from, or affected by another characterized entity."
+ <p>isDerivedFrom 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/30/IsDerivedFrom.png" />
</section>
<section>
<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/b/b1/Uses.png" />
+ <img src="" />
</section>
<section>
<h4>hasParticipant</h4>