--- a/ontology/ProvenanceFormalModel.html Wed Aug 24 21:22:06 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html Wed Aug 24 18:32:54 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,49 @@
</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. file_e1, file_e2, and file_e3 </li>
+ </ul>
+ </p>
+ <p>Example 1 describes the provenance of entity e1 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: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>
@@ -182,8 +221,8 @@
<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" />
</section>
--- a/ontology/ProvenanceOntology.owl Wed Aug 24 21:22:06 2011 +0100
+++ b/ontology/ProvenanceOntology.owl Wed Aug 24 18:32:54 2011 -0400
@@ -40,6 +40,18 @@
+ <!-- http://w3.org/ProvenanceOntology.owl#Used -->
+
+ <owl:ObjectProperty rdf:about="#Used">
+ <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+ <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <rdfs:range rdf:resource="#Entity"/>
+ <rdfs:domain rdf:resource="#ProcessExecution"/>
+ <rdfs:subPropertyOf rdf:resource="#isParticipantIn"/>
+ </owl:ObjectProperty>
+
+
+
<!-- http://w3.org/ProvenanceOntology.owl#isControlledBy -->
<owl:ObjectProperty rdf:about="#isControlledBy">
@@ -100,15 +112,23 @@
- <!-- http://w3.org/ProvenanceOntology.owl#isUsedBy -->
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Data properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
- <owl:ObjectProperty rdf:about="#isUsedBy">
- <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+
+
+
+ <!-- http://w3.org/ProvenanceOntology.owl#ab -->
+
+ <owl:DatatypeProperty rdf:about="#ab">
<rdfs:domain rdf:resource="#Entity"/>
- <rdfs:range rdf:resource="#ProcessExecution"/>
- <rdfs:subPropertyOf rdf:resource="#isParticipantIn"/>
- </owl:ObjectProperty>
+ <rdfs:range rdf:resource="&xsd;string"/>
+ </owl:DatatypeProperty>
@@ -192,6 +212,26 @@
<rdfs:label rdf:datatype="&xsd;string"
>Time represents temporal information about entities in the Provenance model.</rdfs:label>
</owl:Class>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://w3.org/ProvenanceOntology.owl#s -->
+
+ <Entity rdf:about="#s">
+ <rdf:type rdf:resource="&owl;Thing"/>
+ <ab rdf:datatype="&xsd;string">file.txt</ab>
+ </Entity>
</rdf:RDF>