--- a/ontology/ProvenanceFormalModel.html Wed Nov 23 23:39:09 2011 +0000
+++ b/ontology/ProvenanceFormalModel.html Thu Nov 24 15:16:17 2011 +0100
@@ -9,6 +9,8 @@
out in the same tree and use relative links so that they'll work offline,
-->
<script src='http://dev.w3.org/2009/dap/ReSpec.js/js/respec.js' class='remove'></script>
+ <script src="http://www.w3.org/2007/OWL/toggles.js" class="remove"></script>
+
<script class='remove'>
var addExtraReferences = function() {
for (var k in extraReferences)
@@ -131,7 +133,16 @@
<section id='sotd'>
</section>
-
+
+<div class="buttonpanel">
+<form action=""><p>
+<input id="hide-examples" onclick="set_display_by_class('div','anexample','none'); set_display_by_id('hide-examples','none'); set_display_by_id('show-examples','');" type="button" value="Hide Examples" />
+<input id="show-examples" onclick="set_display_by_class('div','anexample',''); set_display_by_id('hide-examples',''); set_display_by_id('show-examples','none');" style="display: none" type="button" value="Show Examples" />
+</p>
+</form>
+</div>
+
+
<section id="introduction">
<h2>Introduction</h2>
<p>
@@ -215,28 +226,32 @@
<div><b>OWL syntax</b></div>
<pre> prov:Entity rdfs:subClassOf owl:Thing.
</pre>
+ <div class="anexample">
<div><b>Example</b></div>
- <p> Example of instances of class Entity from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> are files with identifiers <i>e1</i> and <i>e2</i>. The RDF/XML syntax for asserting that e1 is an instance of Entity is given below.
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#e1">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
- </rdf:Description>
- </pre>
- </div>
+ <p> Example of instances of class Entity from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> are files with identifiers <i>e1</i> and <i>e2</i>. The RDF/XML syntax for asserting that e1 is an instance of Entity is given below.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e1">
+ <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
<p>Additional assertions can be made about the Entity instances that describe additional attributes of the entities. Following common knowledge representation approach, the Entity class can be specialized to create multiple sub classes, using the <code>rdfs:subClassOf</code> property, representing distinct categories of entities using additional characterizing attributes (as defined in the [[PROV-DM]]). The additional attributes SHOULD use an appropriate namespace, and the new sub classes MAY be introduced by application-specific provenance ontologies.
</p>
+ <div class="anexample">
<div><b>Example</b></div>
<div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#e2">
- <rdf:type rdf:resource="http://www.example.com/crime#CrimeFile">
- </rdf:Description>
-<rdf:Description rdf:about="http://www.example.com/crime#CrimeFile">
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
-</rdf:Description>
- </pre>
- </div>
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e2">
+ <rdf:type rdf:resource="http://www.example.com/crime#CrimeFile">
+ </rdf:Description>
+ <rdf:Description rdf:about="http://www.example.com/crime#CrimeFile">
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
</section> <!-- Classes -->
@@ -246,14 +261,16 @@
<p>Activity is defined to be "an identifiable activity, which performs a piece of work." [[PROV-DM]]</p>
<div><b>OWL syntax</b></div>
<pre>prov:Activity rdfs:subClassOf owl:Thing.</pre>
- <div><b>Example</b></div>
- <p> Example instances of the class Activity (from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a>) are "file creation" (<i>pe0</i>) and "file editing" (<i>pe2</i>) . The RDF/XML syntax for asserting that pe2 is an instance of Activity is given below.
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe2">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Activity"/>
- </rdf:Description>
- </pre>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example instances of the class Activity (from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a>) are "file creation" (<i>pe0</i>) and "file editing" (<i>pe2</i>) . The RDF/XML syntax for asserting that pe2 is an instance of Activity is given below.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe2">
+ <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Activity"/>
+ </rdf:Description>
+ </pre>
+ </div>
</div>
<div class='note'> pe2 is an instance of class <code>:Emailing</code>, which is defined to be sub-class of class <code>prov:Activity</code> in the CrimeFile ontology. Hence, using standard RDFS entailment allows us to infer that pe2 is also an instance of <code>prov:Activity</code>.
</div>
@@ -267,14 +284,16 @@
<p>Agent is defined to be a "characterized entity capable of activity" [[PROV-DM]]</p>
<div><b>OWL syntax</b></div>
<pre>prov:Agent rdfs:subClassOf prov:Entity.</pre>
- <div><b>Example</b></div>
- <p> Example of instances of class Agent from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> are <i>Alice</i> and <i>Edith</i>. The RDF/XML syntax for asserting that Alice is an instance of Agent is given below.
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#Alice">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Agent"/>
- </rdf:Description>
- </pre>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of instances of class Agent from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> are <i>Alice</i> and <i>Edith</i>. The RDF/XML syntax for asserting that Alice is an instance of Agent is given below.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#Alice">
+ <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Agent"/>
+ </rdf:Description>
+ </pre>
+ </div>
</div>
<div class='note'> Similar to example for Entity, both Alice and Edith are instances of class Journalist, which is defined to be "sub-class" of class Agent in the CrimeFile ontology. Hence, using standard RDFS entailment allows us to infer that both Alice and Edith are also instances of Agent.
</div>
@@ -288,20 +307,21 @@
<p>The Instant class represents "point-line" temporal information that have "no interior points" [[!OWL-TIME]]. The Interval class represents temporal information that have a non-zero duration [[!OWL-TIME]]</p>
<div><b>OWL syntax</b></div>
<pre>time:TemporalEntity rdfs:subClassOf owl:Thing.</pre>
- <div><b>Example</b></div>
- <p> Example of instances of class TemporalEntity from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> are <i>t</i> and <i>t+1</i>. t+1 is associated with the instance of Activity pe2. The instances of TemporalEntity are linked to instances of Entity or Activity classes by the <a href="#hadtemporalvalue">hadTemporalValue</a> property that is described later in this document. </p>
- <p>The RDF/XML syntax for this asserting that t+1 is an instance of class TemporalEntity and t+1 is associated with pe2 is given below.
- </p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe2">
- <prov:hadTemporalValue rdf:about="http://www.example.com/crimeFile#t+1">
- <rdf:type rdf:resource="http://www.w3.org/2006/time#TemporalEntity"/>
- </prov:hadTemporalValue>
- </rdf:Description>
- </pre>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of instances of class TemporalEntity from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> are <i>t</i> and <i>t+1</i>. t+1 is associated with the instance of Activity pe2. The instances of TemporalEntity are linked to instances of Entity or Activity classes by the <a href="#hadtemporalvalue">hadTemporalValue</a> property that is described later in this document. </p>
+ <p>The RDF/XML syntax for this asserting that t+1 is an instance of class TemporalEntity and t+1 is associated with pe2 is given below.
+ </p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe2">
+ <prov:hadTemporalValue rdf:about="http://www.example.com/crimeFile#t+1">
+ <rdf:type rdf:resource="http://www.w3.org/2006/time#TemporalEntity"/>
+ </prov:hadTemporalValue>
+ </rdf:Description>
+ </pre>
+ </div>
</div>
-
</section>
<section id="provenancecontainer">
@@ -311,16 +331,19 @@
<div><b>OWL syntax</b></div>
<pre>prov:ProvenanceContainer rdfs:subClassOf owl:Thing.</pre>
<p>Examples of instance of class ProvenanceContainer includes a RDF graph containing set of assertions describing the provenance of a car, such as its manufacturer, date of manufacture, and place of manufacture.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#ProvenanceContainer1">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/#ProvenanceContainer"/>
- <cf:contains rdf:resource="http://www.example.com/crimeFile#Statement1"/>
- <cf:contains rdf:resource="http://www.example.com/crimeFile#Statement2"/>
- <cf:assertedBy rdf:resource="http://www.example.com/crimeFile#Alice"/>
- </rdf:Description>
- </pre>
- </div>
+
+ <div class="anexample">
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#ProvenanceContainer1">
+ <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/#ProvenanceContainer"/>
+ <cf:contains rdf:resource="http://www.example.com/crimeFile#Statement1"/>
+ <cf:contains rdf:resource="http://www.example.com/crimeFile#Statement2"/>
+ <cf:assertedBy rdf:resource="http://www.example.com/crimeFile#Alice"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
<div class='note'> According to the definitions of ProvenanceContainer and Account, both contain a set of provenance assertions and have an identifier. Hence, ProvenanceContainer class can also be used to create instances of accounts.
</div>
<div class='issue'>Scope and Identifiers.
@@ -338,16 +361,19 @@
<div><b>OWL syntax</b></div>
<pre>prov:Location rdfs:subClassOf owl:Thing.</pre>
<p> Example of instances of class Location from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is the location of the crime file in the shared directory <i>/share</i> with file path <i>/shared/crime.txt</i>. The RDF/XML syntax for asserting that the location of the crime file is the shared directory.
- <div class="exampleOuter">
- <pre class="example">
- <cf:hasLocation>
- <rdf:Description rdf:about="http://www.example.com/crimeFile#sharedDirectoryLocation1">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Location"/>
- <cf:hasFilePath rdf:datatype="http://www.w3.org/2001/XMLSchema#string">/share/crime.txt</cf:hasFilePath>
- </rdf:Description>
- </cf:hasLocation>
- </pre>
- </div>
+
+ <div class="anexample">
+ <div class="exampleOuter">
+ <pre class="example">
+ <cf:hasLocation>
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#sharedDirectoryLocation1">
+ <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Location"/>
+ <cf:hasFilePath rdf:datatype="http://www.w3.org/2001/XMLSchema#string">/share/crime.txt</cf:hasFilePath>
+ </rdf:Description>
+ </cf:hasLocation>
+ </pre>
+ </div>
+ </div>
<div class='note'> Need to clarify whether "geographic" includes "geospatial"?</div>
</section>
@@ -366,16 +392,18 @@
<p>The Usage class represents an n-ary property to capture qualifying information related to the the use, generation, control, and participation.</p>
<div><b>OWL syntax</b></div>
<pre>prov:Usage rdfs:subClassOf prov:QualifiedInvolvement.</pre>
- <div><b>Example</b></div>
- <p> Example of instances of class Usage from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> provenance scenario ??? is given below.
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#u1">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Usage"/>
- <prov:hadQualifiedEntity rdf:resource="http://www.example.com/crimeFile#Bob"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of instances of class Usage from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> provenance scenario ??? is given below.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#u1">
+ <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Usage"/>
+ <prov:hadQualifiedEntity rdf:resource="http://www.example.com/crimeFile#Bob"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
</section>
<section id="participation">
@@ -384,16 +412,18 @@
<p>The Participation class represents an n-ary property to capture qualifying information related to the participation of Entity in Activity.</p>
<div><b>OWL syntax</b></div>
<pre>prov:Participation rdfs:subClassOf prov:QualifiedInvolvement.</pre>
- <div><b>Example</b></div>
- <p> Example of instances of class Participation from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> provenance scenario ??? is given below.
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#p1">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Participation"/>
- <prov:hadQualifiedEntity rdf:resource="http://www.example.com/crimeFile#Bob"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of instances of class Participation from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> provenance scenario ??? is given below.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#p1">
+ <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Participation"/>
+ <prov:hadQualifiedEntity rdf:resource="http://www.example.com/crimeFile#Bob"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
</section>
<section id="control">
@@ -402,16 +432,18 @@
<p>The Control class represents an n-ary property to capture qualifying information related to the control of Activity by Agent.</p>
<div><b>OWL syntax</b></div>
<pre>prov:Control rdfs:subClassOf prov:QualifiedInvolvement.</pre>
- <div><b>Example</b></div>
- <p>Example of instances of class Control from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> provenance scenario ??? is given below.
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#c1">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Control"/>
- <prov:hadQualifiedEntity rdf:resource="http://www.example.com/crimeFile#Bob"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p>Example of instances of class Control from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> provenance scenario ??? is given below.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#c1">
+ <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Control"/>
+ <prov:hadQualifiedEntity rdf:resource="http://www.example.com/crimeFile#Bob"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
</section>
<section id="generation">
@@ -420,16 +452,18 @@
<p>The Generation class represents an n-ary property to capture qualifying information related to the generation of Entity by Activity.</p>
<div><b>OWL syntax</b></div>
<pre>prov:Generation rdfs:subClassOf prov:QualifiedInvolvement.</pre>
- <div><b>Example</b></div>
- <p> Example of instances of class Generation from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario</a> ??? is given below.
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#g1">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Generation"/>
- <prov:hadQualifiedEntity rdf:resource="http://www.example.com/crimeFile#Bob"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of instances of class Generation from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario</a> ??? is given below.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#g1">
+ <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Generation"/>
+ <prov:hadQualifiedEntity rdf:resource="http://www.example.com/crimeFile#Bob"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
</section>
</section>
@@ -439,16 +473,18 @@
<p>Recipe represents the specification of a <a href="#activity">Activity</a>. PROV ontology does not define the different types of recipes that can be created by provenance applications in different domains.</p>
<div><b>OWL syntax</b></div>
<pre>prov:Recipe rdfs:subClassOf owl:Thing.</pre>
- <div><b>Example</b></div>
- <p>An example of recipe from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario">provenance scenario </a>may be the editing protocol followed by the journalists to edit a news report.
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#news_editing">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Activity"/>
- <prov:hadRecipe rdf:resource="http://www.example.com/crimeFile#NewsReportEditingProtocol"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p>An example of recipe from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario">provenance scenario </a>may be the editing protocol followed by the journalists to edit a news report.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#news_editing">
+ <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Activity"/>
+ <prov:hadRecipe rdf:resource="http://www.example.com/crimeFile#NewsReportEditingProtocol"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
</section>
<section id ="role">
@@ -457,15 +493,17 @@
<p>Role class models additional information about Entity or Activity class with respect to the QualifiedInvolvement class [[PROV-DM]]</p>
<div><b>OWL syntax</b></div>
<pre>prov:Role rdfs:subClassOf owl:Thing.</pre>
- <div><b>Example</b></div>
- <p> Example of instances of class Role from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> are <i>author (for Alice)</i> and <i>save (for pe1)</i>. The RDF/XML syntax for asserting that Alice played a role of author in the usage u1 (instance of class Usage) of file e1 in the activity of adding content.
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#u1">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Usage"/>
- <prov:hadRole rdf:resource="www.example.com/crimeFile#author"/>
- </rdf:Description>
- </pre>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of instances of class Role from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> are <i>author (for Alice)</i> and <i>save (for pe1)</i>. The RDF/XML syntax for asserting that Alice played a role of author in the usage u1 (instance of class Usage) of file e1 in the activity of adding content.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#u1">
+ <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Usage"/>
+ <prov:hadRole rdf:resource="www.example.com/crimeFile#author"/>
+ </rdf:Description>
+ </pre>
+ </div>
</div>
<div class='note'> It is not clear how two roles can be modeled using the QualifiedInvolvement class-based approach, where an Entity plays a role of "author", while the Activity plays the role of "save" (from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a>).
</div>
@@ -504,41 +542,45 @@
<p><i>Note: No arity constraints are assumed between Entity and Activity</i></p>
<img src="diagram-history/khalidDiagrams/wasGeneratedBy.png"
style="height: 3em" alt="wasGeneratedBy links Entity to Activity" />
- <div><b>Example</b></div>
- <p>Example of wasGeneratedBy property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>e1 wasGeneratedBy pe0</i>. The RDF/XML syntax for asserting this information is given below.
- </p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#e1">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
- <prov:wasGeneratedBy>
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe0">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Activity"/>
- </rdf:Description>
- <prov:wasGeneratedBy>
- </rdf:Description>
- </pre>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p>Example of wasGeneratedBy property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>e1 wasGeneratedBy pe0</i>. The RDF/XML syntax for asserting this information is given below.
+ </p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e1">
+ <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+ <prov:wasGeneratedBy>
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe0">
+ <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Activity"/>
+ </rdf:Description>
+ <prov:wasGeneratedBy>
+ </rdf:Description>
+ </pre>
+ </div>
</div>
</section>
<section id="revision">
<h4>wasRevisionOf</h4>
<p>The wasRevisionOf property links two instances of Entity class, where one instance is a revision of another instance, and there is explicit role of an Agent in asserting this information.</p>
- <div><b>Example</b></div>
- <p>Example of wasRevisionOf property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>e3 wasRevisionOf e2</i>. The RDF/XML syntax for asserting this information is given below.
- </p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#e3">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
- <prov:wasRevisionOf>
- <rdf:Description rdf:about="http://www.example.com/crimeFile#e2">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
- </rdf:Description>
- <prov:wasRevisionOf>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p>Example of wasRevisionOf property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>e3 wasRevisionOf e2</i>. The RDF/XML syntax for asserting this information is given below.
+ </p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e3">
+ <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+ <prov:wasRevisionOf>
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e2">
+ <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+ </rdf:Description>
+ <prov:wasRevisionOf>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
<div class='note'> Can instance of Agents be reasoning agents that infer the information that one Entity instance is a revision of another Entity instance and then asserts the information? In other words, is assertion after inference supported by this property?
</div>
</section>
@@ -548,15 +590,17 @@
<p>The wasDerivedFrom property links two instances of Entity class, where "some characterized entity is transformed from, created from, or affected by another characterized entity." [[PROV-DM]]</p>
<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://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>e3 wasDerivedFrom e2</i>. The RDF/XML syntax for asserting this is given below.
- </p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#e3">
- <prov:wasDerivedFrom rdf:resource="http://www.example.com/crimeFile#e2"/>
- </rdf:Description>
- </pre>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of wasDerivedFrom property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>e3 wasDerivedFrom e2</i>. The RDF/XML syntax for asserting this is given below.
+ </p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e3">
+ <prov:wasDerivedFrom rdf:resource="http://www.example.com/crimeFile#e2"/>
+ </rdf:Description>
+ </pre>
+ </div>
</div>
<div class='issue'>Should derivation have a time? Which time? This is <a href="http://www.w3.org/2011/prov/track/issues/43">ISSUE-43</a>.</div>
<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>
@@ -568,15 +612,17 @@
</p>
<img src="diagram-history/khalidDiagrams/wasEventuallyDerivedFrom.png"
style="height: 3em" alt="wasEventuallyDerivedFrom links Entity to Entity" />
- <div><b>Example</b></div>
- <p> Example of wasEventuallyDerivedFrom property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>e5 wasEventuallyDerivedFrom e2</i>. The RDF/XML syntax for asserting this is given below.
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#e5">
- <prov:wasEventuallyDerivedFrom rdf:resource="http://www.example.com/crimeFile#e2"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of wasEventuallyDerivedFrom property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>e5 wasEventuallyDerivedFrom e2</i>. The RDF/XML syntax for asserting this is given below.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e5">
+ <prov:wasEventuallyDerivedFrom rdf:resource="http://www.example.com/crimeFile#e2"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
<div class='issue'>Is the current definition of wasEventuallyDerivedFrom inconsistent with definition of wasDerivedFrom? This is <a href="http://www.w3.org/2011/prov/track/issues/122">ISSUE-122 </a> and <a href="http://www.w3.org/2011/prov/track/issues/126">ISSUE-126</a></div>
</section>
@@ -585,15 +631,17 @@
<p>The dependedOn property links two instances of Entity class to model the derivation of one instance from another instance. This is a <i>transitive</i> property, in other words if an Entity instance a1 dependedOn a2 and a2 dependedOn a3, then a1 dependedOn a3 is also true.</p>
<img src="diagram-history/khalidDiagrams/dependedOn.png"
style="height: 3em" alt="dependedOn links Entity to Entity"/>
- <div><b>Example</b></div>
- <p>Example of dependedOn property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>e5 dependedOn e2</i>. The RDF/XML syntax for asserting this is given below.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#e5">
- <prov:dependedOn rdf:resource="http://www.example.com/crimeFile#e2"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p>Example of dependedOn property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>e5 dependedOn e2</i>. The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e5">
+ <prov:dependedOn rdf:resource="http://www.example.com/crimeFile#e2"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
<div class='issue'>Is dependedOn a parent property of
wasDerivedFrom? This is <a
href="http://www.w3.org/2011/prov/track/issues/125">ISSUE-125</a>
@@ -608,15 +656,17 @@
<p><i>Note: No arity constraints are assumed between Entity and Activity</i></p>
<img src="diagram-history/khalidDiagrams/used.png"
style="height: 3em" alt="used links Activity to Entity" />
- <div><b>Example</b></div>
- <p> Example of used property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>pe2 used e2</i>. The RDF/XML syntax for asserting this is given below.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe2">
- <prov:used rdf:resource="http://www.example.com/crimeFile#e2"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of used property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>pe2 used e2</i>. The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe2">
+ <prov:used rdf:resource="http://www.example.com/crimeFile#e2"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
</section>
@@ -626,14 +676,16 @@
<p><i>Note: No arity constraints are assumed between Entity and Activity</i></p>
<img src="diagram-history/khalidDiagrams/hadParticipant.png"
style="height: 3em" alt="hadParticipant links Activity to Entity" />
- <div><b>Example</b></div>
- <p> Example of hadParticipant property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>pe2 hadParticipant e2</i>. The RDF/XML syntax for asserting this is given below.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe2">
- <prov:hadParticipant rdf:resource="http://www.example.com/crimeFile#e2"/>
- </rdf:Description>
- </pre>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of hadParticipant property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>pe2 hadParticipant e2</i>. The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe2">
+ <prov:hadParticipant rdf:resource="http://www.example.com/crimeFile#e2"/>
+ </rdf:Description>
+ </pre>
+ </div>
</div>
<div class='pending'>Suggested definition for participation. This is <a href="http://www.w3.org/2011/prov/track/issues/49">ISSUE-49</a>.</div>
<div class='note'> The current definition of hasParticipant does not account for involvement of an Entity in Activity where it was neither "used" or "generated". For example, a witness in a criminal activity.
@@ -658,19 +710,21 @@
<p>The wasControlledBy property links Activity class to Agent class, where control represents the involvement of the Agent in modifying the characteristics of the instance of the Activity class"[[PROV-DM]].</p>
<img src="diagram-history/khalidDiagrams/wasControlledBy.png"
style="height: 3em" alt="wasControlledBy links Activity to Agent" />
- <div><b>Example</b></div>
- <p> Example of wasControlledBy property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>FileAppending</i> (Activity) <i>wasControlledBy Bob</i>. The RDF/XML syntax for asserting this is given below.
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
- <prov:wasControlledBy>
- <rdf:Description rdf:about="http://www.example.com/crimeFile#Bob">
- <rdf:type rdf:resource="http://www.example.com/crime#Journalist"/>
- </rdf:Description>
- </prov:wasControlledBy>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of wasControlledBy property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>FileAppending</i> (Activity) <i>wasControlledBy Bob</i>. The RDF/XML syntax for asserting this is given below.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
+ <prov:wasControlledBy>
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#Bob">
+ <rdf:type rdf:resource="http://www.example.com/crime#Journalist"/>
+ </rdf:Description>
+ </prov:wasControlledBy>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
</section>
@@ -681,15 +735,17 @@
</p>
<img src="diagram-history/khalidDiagrams/hadRecipe.png"
style="height: 3em" alt="hadRecipe links Activity to Agent" />
- <div><b>Example</b></div>
- <p> Example of hadRecipe property in the (extended)<a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is that pe1 (instance of Activity class) followed some file appending instructions (instructions1). The RDF/XML syntax for asserting this is given below.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
- <prov:hadRecipe rdf:resource="http://www.example.com/crimeFile#instructions1"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of hadRecipe property in the (extended)<a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is that pe1 (instance of Activity class) followed some file appending instructions (instructions1). The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
+ <prov:hadRecipe rdf:resource="http://www.example.com/crimeFile#instructions1"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
</section>
@@ -700,14 +756,16 @@
</p>
<img src="diagram-history/khalidDiagrams/wasInformedBy.png"
style="height: 3em" alt="wasInformedBy links Activity to Activity" />
- <div><b>Example</b></div>
- <p> Example of wasInformedBy property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>pe4 wasInformedBy pe3</i>. The RDF/XML syntax for asserting this is given below.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe4">
- <prov:wasInformedBy rdf:resource="http://www.example.com/crimeFile#pe3"/>
- </rdf:Description>
- </pre>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of wasInformedBy property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>pe4 wasInformedBy pe3</i>. The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe4">
+ <prov:wasInformedBy rdf:resource="http://www.example.com/crimeFile#pe3"/>
+ </rdf:Description>
+ </pre>
+ </div>
</div>
</section>
@@ -720,14 +778,16 @@
</p>
<img src="diagram-history/khalidDiagrams/wasScheduledAfter.png"
style="height: 3em" alt="wasScheduledAfter links Activity to Activity" />
- <div><b>Example</b></div>
- <p> Example of wasScheduledAfter property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>pe4 wasScheduledAfter pe3</i>. The RDF/XML syntax for asserting this is given below.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe4">
- <prov:wasScheduledAfter rdf:resource="http://www.example.com/crimeFile#pe3"/>
- </rdf:Description>
- </pre>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of wasScheduledAfter property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>pe4 wasScheduledAfter pe3</i>. The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe4">
+ <prov:wasScheduledAfter rdf:resource="http://www.example.com/crimeFile#pe3"/>
+ </rdf:Description>
+ </pre>
+ </div>
</div>
<div class='issue'> There is proposal to either rename wasScheduledAfter or clarify its definition in PROV-DM. These are issues <a href="http://www.w3.org/2011/prov/track/issues/148">Issue-148</a>
</div>
@@ -740,51 +800,58 @@
</p>
<img src="diagram-history/khalidDiagrams/hadTemporalValue.png"
style="height: 3em" alt="hadTemporalValue links Activity or Entity to time:TemporalValue" />
- <div><b>Example</b></div>
- <p> Example of hadTemporalValue property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario">provenance scenario</a> is <i>t+3</i> time value is associated with the pe3 Activity instanc</i>. The RDF/XML syntax for asserting this is given below.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe3">
- <prov:hasTemporalValue rdf:resource="http://www.example.com/crimeFile#t+3"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of hadTemporalValue property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario">provenance scenario</a> is <i>t+3</i> time value is associated with the pe3 Activity instanc</i>. The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe3">
+ <prov:hasTemporalValue rdf:resource="http://www.example.com/crimeFile#t+3"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
+
+
<section id="startedat">
<h4>startedAt</h4>
<p> This object property defines the time when <code>Activity</code> started. The time is specified as an <code>time:Instant</code> [[!OWL-TIME]].
</p>
<img src="diagram-history/khalidDiagrams/startedAt.png" style="height: 3em" alt="startedAt links Activity to Instant"/>
- <div><b>Example</b></div>
- <p> Example of startedAt property is that a pe1 (instance of Activity class) is "2011-10-20T17:14:12Z". The RDF/XML syntax for asserting this is given below.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
- <prov:startedAt rdf:about="http://www.example.com/crimeFile#t1>
- <rdf:type rdf:resource=""http://www.w3.org/2006/time#Instant"/>
- <time:inXSDDateTime>2011-10-20T17:14:12Z</time:inXSDDateTime>
- </prov:startedAt>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of startedAt property is that a pe1 (instance of Activity class) is "2011-10-20T17:14:12Z". The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
+ <prov:startedAt rdf:about="http://www.example.com/crimeFile#t1>
+ <rdf:type rdf:resource=""http://www.w3.org/2006/time#Instant"/>
+ <time:inXSDDateTime>2011-10-20T17:14:12Z</time:inXSDDateTime>
+ </prov:startedAt>
+ </rdf:Description>
+ </pre>
+ </div>
</div>
</section>
+
<section id="endedat">
<h4>endedAt</h4>
<p> This object property defines the time when a <code>Activity</code> ended. The time is specified as an <code>time:Instant</code> [[!OWL-TIME]].
</p>
<img src="diagram-history/khalidDiagrams/endedAt.png" style="height: 3em" alt="endedAt links Activity to Instant"/>
- <div><b>Example</b></div>
- <p> Example of endedAt property is that a pe1 (instance of Activity class) is "2011-10-20T20:14:12Z". The RDF/XML syntax for asserting this is given below.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
- <prov:endedAt rdf:about="http://www.example.com/crimeFile#t2>
- <rdf:type rdf:resource=""http://www.w3.org/2006/time#Instant"/>
- <time:inXSDDateTime>2011-10-20T20:14:12Z</time:inXSDDateTime>
- </prov:endedAt>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of endedAt property is that a pe1 (instance of Activity class) is "2011-10-20T20:14:12Z". The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
+ <prov:endedAt rdf:about="http://www.example.com/crimeFile#t2>
+ <rdf:type rdf:resource=""http://www.w3.org/2006/time#Instant"/>
+ <time:inXSDDateTime>2011-10-20T20:14:12Z</time:inXSDDateTime>
+ </prov:endedAt>
+ </rdf:Description>
+ </pre>
+ </div>
</div>
</section>
<section id="wasGeneratedat">
@@ -792,18 +859,20 @@
<p> This object property defines the time when a <code>Entity</code> was generated by Activity.
</p>
<img src="diagram-history/khalidDiagrams/wasGeneratedAt.png" style="height: 3em" alt="wasGeneratedAt links Entity to Instant"/>
- <div><b>Example</b></div>
- <p> Example of wasGeneratedAt property is that a e1 (instance of Entity class) wasGeneratedAt "2011-10-20T20:12:12Z". The RDF/XML syntax for asserting this is given below.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#e1">
- <prov:wasGeneratedAt rdf:about="http://www.example.com/crimeFile#t3>
- <rdf:type rdf:resource=""http://www.w3.org/2006/time#Instant"/>
- <time:inXSDDateTime>2011-10-20T20:12:12Z</time:inXSDDateTime>
- </prov:startedAt>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of wasGeneratedAt property is that a e1 (instance of Entity class) wasGeneratedAt "2011-10-20T20:12:12Z". The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e1">
+ <prov:wasGeneratedAt rdf:about="http://www.example.com/crimeFile#t3>
+ <rdf:type rdf:resource=""http://www.w3.org/2006/time#Instant"/>
+ <time:inXSDDateTime>2011-10-20T20:12:12Z</time:inXSDDateTime>
+ </prov:startedAt>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
</section>
</section>
@@ -812,15 +881,17 @@
<p>The wasAttributedTo property links an instance of the Entity class to an instance of Agent class.</p>
<img src="diagram-history/khalidDiagrams/wasAttributedTo.png"
style="height: 3em" alt="wasAttributedTo links Entity to Agent" />
- <div><b>Example</b></div>
- <p> Example of wasAttributedTo property as an addition to the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is the attribution of e3 to David for writting editing the file (<i>e3 wasAttributedTo David</i>). The RDF/XML syntax for asserting this is given below.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#e3">
- <prov:wasAttributedTo rdf:resource="http://www.example.com/crimeFile#David"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of wasAttributedTo property as an addition to the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is the attribution of e3 to David for writting editing the file (<i>e3 wasAttributedTo David</i>). The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e3">
+ <prov:wasAttributedTo rdf:resource="http://www.example.com/crimeFile#David"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
</section>
<section id="quotation">
@@ -828,15 +899,17 @@
<p>The wasQuoteOf property links an instance of the Entity class to an instance of the Agent class.</p>
<img src="diagram-history/khalidDiagrams/wasQuoteOf.png"
style="height: 3em" alt="wasQuoteOf links Entity to Agent" />
- <div><b>Example</b></div>
- <p> Example of wasQuoteOf property as an addition to the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is e2 quoting Alice, recorded by Bob (<i> e2 wasQuoteOf Alice</i>). The RDF/XML syntax for asserting this is given below.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#e2">
- <prov:wasQuoteOf rdf:resource="http://www.example.com/crimeFile#Alice"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of wasQuoteOf property as an addition to the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is e2 quoting Alice, recorded by Bob (<i> e2 wasQuoteOf Alice</i>). The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e2">
+ <prov:wasQuoteOf rdf:resource="http://www.example.com/crimeFile#Alice"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
</section>
<section id="summary">
@@ -844,15 +917,17 @@
<p>The wasSummaryOf property links two instances of the Entity class.</p>
<img src="diagram-history/khalidDiagrams/wasSummaryOf.png"
style="height: 3em" alt="wasSummaryOf links Entity to Entity" />
- <div><b>Example</b></div>
- <p> Example of wasSummaryOf property as an addition to the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is e3 summarizing some additional statistics(<i> e3 wasSummaryOf statistics</i>). The RDF/XML syntax for asserting this is given below.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#e3">
- <prov:wasSummaryOf rdf:resource="http://www.example.com/crimeFile#statistics"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of wasSummaryOf property as an addition to the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is e3 summarizing some additional statistics(<i> e3 wasSummaryOf statistics</i>). The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e3">
+ <prov:wasSummaryOf rdf:resource="http://www.example.com/crimeFile#statistics"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
</section>
<section id="originalsource">
@@ -860,15 +935,17 @@
<p>The hadOriginalSource property links two instances of the Entity class. This property is defined to be a specialization of the wasEventuallyDerivedFrom propery.</p>
<img src="diagram-history/khalidDiagrams/hadOriginalSource.png"
style="height: 3em" alt="hadOriginalSource links Entity to Entity" />
- <div><b>Example</b></div>
- <p> Example of hadOriginalSource property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> <i> e6 hadOriginalSource e1</i>. The RDF/XML syntax for asserting this is given below.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#e6">
- <prov:hadOriginalSource rdf:resource="http://www.example.com/crimeFile#e1"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of hadOriginalSource property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> <i> e6 hadOriginalSource e1</i>. The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e6">
+ <prov:hadOriginalSource rdf:resource="http://www.example.com/crimeFile#e1"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ <div>
</section>
<section id="hadqualifiedusage">
@@ -876,15 +953,17 @@
<p>The hadQualifiedUsage property links the Activity class with the Usage class.</p>
<img src="diagram-history/khalidDiagrams/hadQualifiedUsage.png"
style="height: 3em" alt="hadQualifiedUsage links Activity to Usage" />
- <div><b>Example</b></div>
- <p> Example of hadQualifiedUsage property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> <i> pe1 hadQualifiedUsage u1</i>, where the hadRole describes the usage of e1 as a "load". The RDF/XML syntax for asserting this is given below.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
- <prov:hadQualifiedUsage rdf:resource="http://www.example.com/Usage#u1"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of hadQualifiedUsage property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> <i> pe1 hadQualifiedUsage u1</i>, where the hadRole describes the usage of e1 as a "load". The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
+ <prov:hadQualifiedUsage rdf:resource="http://www.example.com/Usage#u1"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
</section>
<section id="hadqualifiedparticipation">
@@ -892,15 +971,17 @@
<p>The hadQualifiedParticipation property links the Activity class with the Participation class.</p>
<img src="diagram-history/khalidDiagrams/hadQualifiedParticipation.png"
style="height: 3em" alt="hadQualifiedParticipation links Activity to Participation" />
- <div><b>Example</b></div>
- <p> Example of hadQualifiedParticipation property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> <i> pe1 hadQualifiedParticipation p1</i>, where the hadRole describes the participation of Alice as an "author" in pe1. The RDF/XML syntax for asserting this is given below.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
- <prov:hadQualifiedParticipation rdf:resource="http://www.example.com/crimeFile#p1"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of hadQualifiedParticipation property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> <i> pe1 hadQualifiedParticipation p1</i>, where the hadRole describes the participation of Alice as an "author" in pe1. The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
+ <prov:hadQualifiedParticipation rdf:resource="http://www.example.com/crimeFile#p1"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
</section>
<section id="hadqualifiedcontrol">
@@ -908,15 +989,17 @@
<p>The hadQualifiedControl property links the Activity class with the Control class.</p>
<img src="diagram-history/khalidDiagrams/hadQualifiedControl.png"
style="height: 3em" alt="hadQualifiedControl links Activity to Control" />
- <div><b>Example</b></div>
- <p> Example of hadQualifiedControl property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> <i> pe0 hadQualifiedControl c1</i>, where the hadRole describes the control of pe0 by Alice as "creator". The RDF/XML syntax for asserting this is given below.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe0">
- <prov:hadQualifiedControl rdf:resource="http://www.example.com/crimeFile#c1"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of hadQualifiedControl property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> <i> pe0 hadQualifiedControl c1</i>, where the hadRole describes the control of pe0 by Alice as "creator". The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe0">
+ <prov:hadQualifiedControl rdf:resource="http://www.example.com/crimeFile#c1"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
</section>
<section id="hadqualifiedgeneration">
@@ -924,15 +1007,17 @@
<p>The hadQualifiedGeneration property links the Activity class with the Generation class.</p>
<img src="diagram-history/khalidDiagrams/hadQualifiedGeneration.png"
style="height: 3em" alt="hadQualifiedGeneration links Activity to Generation" />
- <div><b>Example</b></div>
- <p> Example of hadQualifiedGeneration property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> <i> e1 hadQualifiedGeneration g1</i>, where the hadRole describes the generation of e1 by "save". The RDF/XML syntax for asserting this is given below.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#e1">
- <prov:hadQualifiedGeneration rdf:resource="http://www.example.com/crimeFile#u1"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of hadQualifiedGeneration property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> <i> e1 hadQualifiedGeneration g1</i>, where the hadRole describes the generation of e1 by "save". The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e1">
+ <prov:hadQualifiedGeneration rdf:resource="http://www.example.com/crimeFile#u1"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
</section>
<section id="hadqualifiedentity">
@@ -940,15 +1025,17 @@
<p>The hadQualifiedEntity property links the QualifiedInvolvement class with the Entity class.</p>
<img src="diagram-history/khalidDiagrams/hadQualifiedEntity.png"
style="height: 3em" alt="hadQualifiedInvolvement links QualifiedInvolvement to Entity" />
- <div><b>Example</b></div>
- <p> Example of hadQualifiedEntity property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> <i> u2 hadQualifiedEntity e2</i>, where the hadRole describes the usage of e2 as an "attachment". The RDF/XML syntax for asserting this is given below.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#u2">
- <prov:hadQualifiedEntity rdf:resource="http://www.example.com/crimeFile#e2"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="anexample">
+ <div><b>Example</b></div>
+ <p> Example of hadQualifiedEntity property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> <i> u2 hadQualifiedEntity e2</i>, where the hadRole describes the usage of e2 as an "attachment". The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#u2">
+ <prov:hadQualifiedEntity rdf:resource="http://www.example.com/crimeFile#e2"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </div>
</section>
</section>
@@ -1105,6 +1192,7 @@
<li><a href="#activity">Activity</a>, e.g. FileCreation, FileAppending, and FileEditing </li>
<li>specialization of <a href="#entity">Entity</a> to define a class called CrimeFile, which has individuals such as e1, e2, and e3 </li>
</ul>
+ <div class="anexample">
<p>Example given below describes the provenance of <a href="#entity">Entity</a> e2 using RDF/XML syntax</p>
<div class="exampleOuter">
<pre class="example">
@@ -1163,31 +1251,36 @@
</rdf:Description>
</rdf:RDF>
</pre>
- </div>
+ </div>
+ </div>
<section id="specialization-of-prov-ontology-classes">
<h4>Specialization of PROV Ontology Classes</h4>
<p> The following new classes were created in the CrimeFile Ontology by extending the PROV ontology classes:</p>
<section id="cf-journalist">
<h5>cf:Journalist</h5>
<p>The cf:Journalist is a specialization of the PROV ontology <a href="#agent">Agent</a> class and models all individuals that participate in creating, editing, and sharing the crime file.The following RDF/XML code illustrates how cf:Journalist is asserted to be a specialization of <a href="#agent">prov:Agent.</a></p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crime#Journalist">
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov-o/Agent"/>
- </rdf:Description>
- </pre>
+ <div class="anexample">
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crime#Journalist">
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov-o/Agent"/>
+ </rdf:Description>
+ </pre>
+ </div>
</div>
</section>
<section id="cf-crimefile">
<h5>cf:CrimeFile</h5>
<p> The cf:CrimeFile is a specialization of the PROV ontology <a href="#entity">Entity</a> class and it models the the file describing the crime statistics in the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario">provenance scenario</a>, including the multiple versions of the file. The following RDF/XML code illustrates how cf:Journalist is asserted to be a specialization of <a href="#entity">prov:Entity</a>.
</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crime#CrimeFile">
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
- </rdf:Description>
- </pre>
+ <div class="anexample">
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crime#CrimeFile">
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
+ </rdf:Description>
+ </pre>
+ </div>
</div>
</section>
<section id="cf-filecreation">
@@ -1200,12 +1293,14 @@
href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario">provenance
scenario</a>. The following RDF/XML code illustrates the
specialization of the <a href="#activity">prov:Activity</a> to define class cf:FileCreation (other classes can be similarly defined by using the subClassOf property).</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crime#FileCreation">
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov-o/Activity"/>
- </rdf:Description>
- </pre>
+ <div class="anexample">
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crime#FileCreation">
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov-o/Activity"/>
+ </rdf:Description>
+ </pre>
+ </div>
</div>
<p>The following diagram illustrates the above class specializations: </p>
<!--
@@ -1228,12 +1323,14 @@
<section id="cf-hadfilepath">
<h5>cf:hadFilePath</h5>
<p>The property cf:hadFilePath is a specialization of the PROV ontology hadLocation object property and links the class CrimeFile to the FileDirectory class. The following RDF/XML code illustrates the use of rdfs:subPropertyOf to create hadFilePath property.</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crime#hadFilePath">
- <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov-o/hadLocation"/>
- </rdf:Description>
- </pre>
+ <div class="anexample">
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crime#hadFilePath">
+ <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov-o/hadLocation"/>
+ </rdf:Description>
+ </pre>
+ </div>
</div>
</section>
<p>The following diagram illustrates the above property specialization: </p>
@@ -1561,7 +1658,7 @@
<a
href="examples/ontology-extensions/workflow/workflowDefinition.ttl">Turtle</a>
</p>
- </section>
+ </section>
<section id="example-workflow-run">
<h4>Example workflow run</h4>
<p>
@@ -1569,6 +1666,7 @@
together with PROV can provide the provenance of executing
the workflow defined above.
</p>
+ <div class="anexample">
<div class="exampleOuter"><pre class="example">
<rdf:RDF xmlns="http://www.example.com/scientific-workflow#"
xmlns:foaf="http://xmlns.com/foaf/0.1/"
@@ -1715,13 +1813,14 @@
and
<a href="examples/ontology-extensions/workflow/workflow.ttl">Turtle</a>
</em>
- </div>
+ </div>
<p> Note that for brevity, the example above does not show the inferred classes
and properties from the PROV ontology. For interoperability, applications
should also expressed such inferred statements in its
serialisations, so that the provenance can be read without using
- OWL2 inferencing and the customized ontologies.
- See the <a
+ OWL2 inferencing and the customized ontologies.</p>
+ <div class="anexample">
+ <p>See the <a
href="examples/ontology-extensions/workflow/workflow-inferred.rdf">workflow-inferred.rdf</a>
for the complete example showing both domain-specific and PROV ontology terms
used side by side.
@@ -1752,15 +1851,17 @@
<p>Similar to Rule 1, if a PROV ontology class Y is defined to be <i>range</i> of a PROV object property, then an individual asserted as "object" of that property in a RDF triple is an instance of the class Y. (from rdf3 Rule defined in RDF Semantics)
</p>
<h4>Rule 3</h4>
- <p>Both the <code>rdfs:subClassOf</code> and <code>rdfs:subPropertyOf</code> are transitive properties, hence provenance assertions, in form of RDF triples, using a specialized sub class or sub property can be inferred to be true for their parent class or parent property. For example, in the provenance scenario, though alice and bob are asserted to be individuals of the class Journalist, we can infer that they are also individuals of the PROV ontology class Agent and Entity. Given,
+ <p>Both the <code>rdfs:subClassOf</code> and <code>rdfs:subPropertyOf</code> are transitive properties, hence provenance assertions, in form of RDF triples, using a specialized sub class or sub property can be inferred to be true for their parent class or parent property. For example, in the provenance scenario, though alice and bob are asserted to be individuals of the class Journalist, we can infer that they are also individuals of the PROV ontology class Agent and Entity.
+ <div class="anexample">Given,
</p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#Alice">
- <rdf:type rdf:resource="http://www.example.com/crime#Journalist"/>
- </rdf:Description>
- </pre>
- </div>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#Alice">
+ <rdf:type rdf:resource="http://www.example.com/crime#Journalist"/>
+ </rdf:Description>
+ </pre>
+ </div>
+
<p>and</p>
<div class="exampleOuter">
<pre class="example">
@@ -1787,7 +1888,8 @@
<rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Entity"/>
</rdf:Description>
</pre>
- </div>
+ </div>
+ </div>
</section>