--- a/model/ProvenanceModel.html Thu Aug 25 17:18:05 2011 +0100
+++ b/model/ProvenanceModel.html Wed Aug 31 23:57:24 2011 -0700
@@ -114,7 +114,9 @@
<div class='pending'>Alter example to cater for multiple ivpOf. This is <a href="http://www.w3.org/2011/prov/track/issues/33">ISSUE-33</a>.</div>
-<div class='pending'>Some comments on the example. This is <a href="http://www.w3.org/2011/prov/track/issues/63">ISSUE-63</a>.</div>
+<div class='resolved'>Some comments on the example. This is <a href="http://www.w3.org/2011/prov/track/issues/63">ISSUE-63</a>.</div>
+
+<div class='issue'>Comments on section 3.2. This is <a href="http://www.w3.org/2011/prov/track/issues/71">ISSUE-71</a></div>
<section>
<h3>A File Scenario</h3>
@@ -141,7 +143,7 @@
</p>
<p>Event evt3: Charles emails (pe2) the contents of /share/crime.txt, as an
-attachment, which we refer to as e4.
+attachment, which we refer to as e4. (Our description is not precise about the nature of e4, it could be a copy of the file that is local the mail client, that is uploaded on the mail server, or even in transit to a recipient.)
</p>
<p>
@@ -179,10 +181,10 @@
</p>
-<p>The entities, as characterized, hold during intervals delimited by events. The following table lists all entities and their corresponding validity intervals; evt5 is considered to be the most recent event.
+<p>The entities are characterized by attributes that have given values during intervals delimited by events; such intervals are referred to as <em>characterization intervals</em>. The following table lists all entities and their corresponding characterization intervals; evt5 is considered to be the most recent event.
<blockquote>
<table>
-<tr><td>Entity</td><td>Interval</td></tr>
+<tr><td>Entity</td><td>Characterization Interval</td></tr>
<tr><td>e0</td><td>evt1 - evt5</td></tr>
<tr><td>e1</td><td>evt1 - evt2</td></tr>
<tr><td>e2</td><td>evt2 - evt4</td></tr>
@@ -217,7 +219,7 @@
</p>
<p>
-Generations (construct described in <a href="#concept-Generation">Section Generation</a>): generation is the event at which a file is created in a specific form. To distinguish the various entities generated by a given process execution, a role (construct described in <a href="#concept-Role">Section Role</a>) is introduced. Illustrations of such roles are outFile, outContent, out, attachment.
+Generations (construct described in <a href="#concept-Generation">Section Generation</a>): generation is the event at which a file is created in a specific form. To distinguish the function that the various entities generated by a given process execution have in the context of this process execution, a role (construct described in <a href="#concept-Role">Section Role</a>) is introduced. Illustrations of such roles are outFile, outContent, out, attachment.
<pre>
isGeneratedBy(e0,pe0,outFile)
isGeneratedBy(e1,pe0,outContent)
@@ -307,7 +309,7 @@
<div class='issue'>The name of the data model still has to be decided by the WG. Current placeholder name is PIDM. This is <a href="http://www.w3.org/2011/prov/track/issues/31">ISSUE-31</a></div>
-<div class='pending'>Data model vs Language. Misc comments raised at <a href="http://www.w3.org/2011/prov/track/issues/62">ISSUE-62</a></div>
+<div class='resolved'>Data model vs Language. Misc comments raised at <a href="http://www.w3.org/2011/prov/track/issues/62">ISSUE-62</a></div>
<p>In the world (whether real or not), there are things, which can be
physical, digital, conceptual, or otherwise, and activities involving
@@ -423,7 +425,7 @@
<div class='issue'>How is domain specific data combined with the provenance model? This is <a href="http://www.w3.org/2011/prov/track/issues/65">ISSUE-65</a>.</div>
-<div class='pending'> Comments on bob <a href="http://www.w3.org/2011/prov/track/issues/60">ISSUE-60</a>.</div>
+<div class='resolved'> Comments on bob <a href="http://www.w3.org/2011/prov/track/issues/60">ISSUE-60</a>.</div>
<div class='resolved'>The name <b>entity</b> is used as a replacement for placeholder BOB. This is <a href="http://www.w3.org/2011/prov/track/issues/30">ISSUE-30</a>.</div>
@@ -518,11 +520,11 @@
</div>
-<div class='pending'>Need to say identifiable activity. This is <a href="http://www.w3.org/2011/prov/track/issues/39">ISSUE-39</a>. The qualifier 'identifiable' is said to be implicit in section 4. </div>
+<div class='resolved'>Need to say identifiable activity. This is <a href="http://www.w3.org/2011/prov/track/issues/39">ISSUE-39</a>. The qualifier 'identifiable' is said to be implicit in section 4. </div>
-<div class='pending'> Comments on generation <a href="http://www.w3.org/2011/prov/track/issues/59">ISSUE-59</a>.</div>
+<div class='resolved'>Comments on generation <a href="http://www.w3.org/2011/prov/track/issues/59">ISSUE-59</a>.</div>
-<div class='pending'> Added justification for generation by a single process <a href="http://www.w3.org/2011/prov/track/issues/67">ISSUE-67</a>.</div>
+<div class='resolved'> Added justification for generation by a single process <a href="http://www.w3.org/2011/prov/track/issues/67">ISSUE-67</a>.</div>
@@ -533,7 +535,7 @@
<section id="concept-Use">
<h3>Use</h3>
-<div class='pending'>Various comments raised at <a href="http://www.w3.org/2011/prov/track/issues/64">ISSUE-64</a>.</div>
+<div class='resolved'>Various comments raised at <a href="http://www.w3.org/2011/prov/track/issues/64">ISSUE-64</a>.</div>
<p><dfn id="dfn-Use">Use</dfn> represents the consumption of a characterized thing by an activity.</p>
@@ -786,9 +788,9 @@
<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>
-<div class='pending'> Transitivity does not seem to follow from above definition. This is <a href="http://www.w3.org/2011/prov/track/issues/56">ISSUE-56</a>.</div>
+<div class='resolved'> Transitivity does not seem to follow from above definition. This is <a href="http://www.w3.org/2011/prov/track/issues/56">ISSUE-56</a>.</div>
-<div class='pending'> What's the difference between one step and multi-step derivation assertion. Justification of why one entity can be generated at most once. Multi-step derivation is also transitive. This is all in <a href="http://www.w3.org/2011/prov/track/issues/67">ISSUE-67</a>.</div>
+<div class='resolved'> What's the difference between one step and multi-step derivation assertion. Justification of why one entity can be generated at most once. Multi-step derivation is also transitive. This is all in <a href="http://www.w3.org/2011/prov/track/issues/67">ISSUE-67</a>.</div>
</section>
@@ -928,7 +930,7 @@
<p>It is OPTIONAL to assert time in use, generation, and process execution.</p>
-<div class='pending'> Is it appropriate to refer to ISO8601. Point in Time, Interval? This is <a href="http://www.w3.org/2011/prov/track/issues/58">ISSUE-58</a>.</div>
+<div class='resolved'> Is it appropriate to refer to ISO8601. Point in Time, Interval? This is <a href="http://www.w3.org/2011/prov/track/issues/58">ISSUE-58</a>.</div>
<section>
<h4>Temporal Events</h4>
@@ -1000,7 +1002,7 @@
<p> The set of all Use (resp. Generation, Control) assertions that refer to a given process execution MUST contain at most one occurrence of a given role. The rationale for this requirement is that when provenance is used to replay execution, roles are used to determine which values must be associated with which input (resp. output, control channel) of a process execution.</p>
-<div class='pending'>Decide the level of requirements: MUST/SHOULD and justify. This is <a href="http://www.w3.org/2011/prov/track/issues/40">ISSUE-40</a> and <a href="http://www.w3.org/2011/prov/track/issues/41">ISSUE-41</a>. MUST is confirmed. </div>
+<div class='resolved'>Decide the level of requirements: MUST/SHOULD and justify. This is <a href="http://www.w3.org/2011/prov/track/issues/40">ISSUE-40</a> and <a href="http://www.w3.org/2011/prov/track/issues/41">ISSUE-41</a>. MUST is confirmed. </div>
<p>The interpretation of a role is specific to the process execution it relates
@@ -1020,7 +1022,6 @@
<p><dfn id="dfn-Location">Location</dfn> is an identifiable geographic place (ISO 19112). As such, there are numerous ways in which location can be specified, such as by a coordinate, address, landmark, row, column, and so forth.</p>
-
<p>
Location is an OPTIONAL characteristics of
entity, process execution, and agent.
@@ -1093,7 +1094,7 @@
<div class='pending'>Revision should be a class not a property. This is <a href="http://www.w3.org/2011/prov/track/issues/48">ISSUE-48</a>.</div>
-<div class='pending'> What's the difference with derivation? Is it necessary? This is <a href="http://www.w3.org/2011/prov/track/issues/61">ISSUE-61</a>.</div>
+<div class='resolved'> What's the difference with derivation? Is it necessary? This is <a href="http://www.w3.org/2011/prov/track/issues/61">ISSUE-61</a>.</div>
</section>
--- a/ontology/ProvenanceFormalModel.html Thu Aug 25 17:18:05 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html Wed Aug 31 23:57:24 2011 -0700
@@ -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,12 +97,54 @@
</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"/>
+ <po: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"/>
+ <po: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>
+ </po:isControlledBy>
+ </rdf:Description>
+ </po:isGeneratedBy>
+ <po: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">
+ <po: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="http://www.w3.org/2011/prov/wiki/images/8/8d/CurrentHierarchy.png" />
<h4>Overview of the ontology</h4>
- <img src="http://www.w3.org/2011/prov/wiki/images/a/ad/GlobalSchema.png" />
+ <img src="http://www.w3.org/2011/prov/wiki/images/a/a1/GlobalSchema1.png" />
</section>
<section>
<h3>Classes</h3>
@@ -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="http://www.w3.org/2011/prov/wiki/images/2/2f/Used.png" />
</section>
<section>
<h4>hasParticipant</h4>
--- a/ontology/ProvenanceOntology.owl Thu Aug 25 17:18:05 2011 +0100
+++ b/ontology/ProvenanceOntology.owl Wed Aug 31 23:57:24 2011 -0700
@@ -40,6 +40,17 @@
+ <!-- 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"/>
+ </owl:ObjectProperty>
+
+
+
<!-- http://w3.org/ProvenanceOntology.owl#isControlledBy -->
<owl:ObjectProperty rdf:about="#isControlledBy">
@@ -74,7 +85,6 @@
>isGeneratedBy links BOB with ProcessExecution representing that BOB was generated as a result of ProcessExecution</rdfs:label>
<rdfs:domain rdf:resource="#Entity"/>
<rdfs:range rdf:resource="#ProcessExecution"/>
- <rdfs:subPropertyOf rdf:resource="#isParticipantIn"/>
</owl:ObjectProperty>
@@ -84,6 +94,8 @@
<owl:ObjectProperty rdf:about="#isParticipantIn">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <rdfs:domain rdf:resource="#Entity"/>
+ <rdfs:range rdf:resource="#ProcessExecution"/>
</owl:ObjectProperty>
@@ -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,32 @@
<rdfs:label rdf:datatype="&xsd;string"
>Time represents temporal information about entities in the Provenance model.</rdfs:label>
</owl:Class>
+
+
+
+ <!-- http://www.w3.org/2002/07/owl#Thing -->
+
+ <owl:Class rdf:about="&owl;Thing"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // 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>
Binary file ontology/diagram-history/DGarijoDiagrams/CurrentHierarchy.png has changed
--- a/ontology/diagram-history/DGarijoDiagrams/GlobalSchema.graphml Thu Aug 25 17:18:05 2011 +0100
+++ b/ontology/diagram-history/DGarijoDiagrams/GlobalSchema.graphml Wed Aug 31 23:57:24 2011 -0700
@@ -71,11 +71,10 @@
<edge id="e2" source="n0" target="n2">
<data key="d10">
<y:PolyLineEdge>
- <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
+ <y:Path sx="0.0" sy="0.0" tx="0.0" ty="-27.50244140625"/>
<y:LineStyle color="#000000" type="line" width="1.0"/>
<y:Arrows source="none" target="standard"/>
- <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="33.40234375" modelName="six_pos" modelPosition="tail" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="90.044921875" x="2.0" y="47.322021484375">isGeneratedBy,
-isUsedBy</y:EdgeLabel>
+ <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="six_pos" modelPosition="head" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="83.376953125" x="-85.376953125" y="54.62603759765625">isGeneratedBy</y:EdgeLabel>
<y:BendStyle smoothed="false"/>
</y:PolyLineEdge>
</data>
@@ -93,6 +92,17 @@
</y:PolyLineEdge>
</data>
</edge>
+ <edge id="e4" source="n2" target="n0">
+ <data key="d10">
+ <y:PolyLineEdge>
+ <y:Path sx="11.0" sy="-2.5" tx="11.0" ty="-0.5"/>
+ <y:LineStyle color="#000000" type="line" width="1.0"/>
+ <y:Arrows source="none" target="standard"/>
+ <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="six_pos" modelPosition="tail" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="30.021484375" x="2.0" y="-73.383544921875">used</y:EdgeLabel>
+ <y:BendStyle smoothed="false"/>
+ </y:PolyLineEdge>
+ </data>
+ </edge>
</graph>
<data key="d0">
<y:Resources/>
Binary file ontology/diagram-history/DGarijoDiagrams/GlobalSchema.png has changed
--- a/ontology/diagram-history/DGarijoDiagrams/WhatItShouldBe.graphml Thu Aug 25 17:18:05 2011 +0100
+++ b/ontology/diagram-history/DGarijoDiagrams/WhatItShouldBe.graphml Wed Aug 31 23:57:24 2011 -0700
@@ -108,7 +108,7 @@
<y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
<y:LineStyle color="#000000" type="line" width="1.0"/>
<y:Arrows source="none" target="standard"/>
- <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="six_pos" modelPosition="tail" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="29.34765625" x="95.79364513960041" y="-73.3514404296875">uses</y:EdgeLabel>
+ <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="six_pos" modelPosition="tail" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="30.021484375" x="95.79364513960041" y="-73.3514404296875">used</y:EdgeLabel>
<y:BendStyle smoothed="false"/>
</y:PolyLineEdge>
</data>
--- a/ontology/diagram-history/DGarijoDiagrams/uses.graphml Thu Aug 25 17:18:05 2011 +0100
+++ b/ontology/diagram-history/DGarijoDiagrams/uses.graphml Wed Aug 31 23:57:24 2011 -0700
@@ -17,7 +17,7 @@
<node id="n0">
<data key="d6">
<y:GenericNode configuration="BevelNode3">
- <y:Geometry height="55.0" width="121.0" x="135.0" y="178.0"/>
+ <y:Geometry height="55.0" width="121.0" x="326.0" y="183.0"/>
<y:Fill color="#99CCFF" transparent="false"/>
<y:BorderStyle hasColor="false" type="line" width="1.0"/>
<y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="34.01171875" x="43.494140625" y="18.1494140625">Entity</y:NodeLabel>
@@ -27,7 +27,7 @@
<node id="n1">
<data key="d6">
<y:GenericNode configuration="BevelNode3">
- <y:Geometry height="55.0" width="121.0" x="433.0" y="178.0"/>
+ <y:Geometry height="55.0" width="121.0" x="87.0" y="183.0"/>
<y:Fill color="#99CCFF" transparent="false"/>
<y:BorderStyle hasColor="false" type="line" width="1.0"/>
<y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="103.380859375" x="8.8095703125" y="18.1494140625">Process Execution</y:NodeLabel>
@@ -40,7 +40,7 @@
<y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
<y:LineStyle color="#000000" type="line" width="1.0"/>
<y:Arrows source="none" target="standard"/>
- <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="six_pos" modelPosition="tail" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="29.34765625" x="-103.178955078125" y="2.0">uses</y:EdgeLabel>
+ <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="six_pos" modelPosition="tail" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="30.021484375" x="44.0098876953125" y="2.0">used</y:EdgeLabel>
<y:BendStyle smoothed="false"/>
</y:PolyLineEdge>
</data>
Binary file ontology/diagram-history/DGarijoDiagrams/uses.png has changed