--- a/ontology/ProvenanceFormalModel.html Thu Aug 25 10:26:45 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html Thu Aug 25 12:18:24 2011 -0400
@@ -80,7 +80,7 @@
</head>
<body>
<section id='abstract'>
-<p> This document defines the semantics of the provenance model expressed using the W3C Web Language (OWL). </p>
+<p> This document describes the Provenance Formal Model, which is an encoding of the <a href = "http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html"> provenance conceptual model </a> in the OWL2 Web Ontology Language (<a href="http://www.w3.org/TR/owl2-primer/">OWL2</a>) and hence the semantics as well the set of inference rules supported by the Provenance Model.</p>
<p><i> This document is for internal discussion and is expected to evolve into the first Public Working Draft of the Formal Model.</i></p>
</section>
@@ -97,10 +97,52 @@
</section>
<section>
<h2>OWL2 Encoding of the Provenance Model</h2>
+ <p>The PIL Conceptual Model document introduces an example <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> describing the creation of crime statistics file stored on a shared file system and edited by journalists Alice, Bob, Charles, David, and Edith. The example scenario can be encoded as a <a href = "http://www.w3.org/TR/rdf-primer/"> Resource Description Framework (RDF) </a> graph in <a href = "">Figure 1</a>:</p>
+ <p><a href = "">Figure 1</a> represents both the Provenance ontology schema and the instance information. For example,
+ <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. e1, e2, and e3 </li>
+ </ul>
+ </p>
+ <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> e2 using RDF/XML syntax
+ <div class="exampleOuter">
+ <pre class="example">
+ <?xml version="1.0"?>
+ <rdf:RDF
+ xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+ xmlns:po="http://www.w3.org/TR/ProvenanceOntology.owl#"
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:cf="http://www.w3.org/2011/prov/crimefile#">
+
+ <rdf:Description rdf:about="http://www.w3.org/2011/prov/crimefile#e2">
+ <rdf:type rdf:resource="http://www.w3.org/TR/ProvenanceOntology.owl#Entity"/>
+ <cf:isGeneratedBy>
+ <rdf:Description rdf:about="http://www.w3.org/2011/prov/crimefile#pe1">
+ <rdf:type rdf:resource="http://www.w3.org/2011/prov/crimefile#FileAppend"/>
+ <cf:isControlledBy>
+ <rdf:Description rdf:about="http://www.w3.org/2011/prov/crimefile#Bob">
+ <rdf:type rdf:resource="http://www.w3.org/TR/ProvenanceOntology.owl#Agent"/>
+ </rdf:Description>
+ </cf:isControlledBy>
+ </rdf:Description>
+ </cf:isGeneratedBy>
+ <cf:isDerivedFrom rdf:resource="http://www.w3.org/2011/prov/crimefile#e1"/>
+ <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>
+ </p>
+
<section>
<h3>Visualization of the Provenance ontology</h3>
<h4>Hierarchical view of the ontology</h4>
- <img src="http://www.w3.org/2011/prov/wiki/images/8/80/InitialDiagram.png" />
+ <img src="" />
<h4>Overview of the ontology</h4>
<img src="http://www.w3.org/2011/prov/wiki/images/a/ad/GlobalSchema.png" />
</section>
@@ -110,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>
@@ -178,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>isUsedBy</h4>
- <p>isUsedBy links Entity to ProcessExecution, where Entity is consumed by ProcessExecution.</p>
+ <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>