--- a/ontology/ProvenanceFormalModel.html Tue Nov 15 14:08:24 2011 +0000
+++ b/ontology/ProvenanceFormalModel.html Tue Nov 15 10:54:24 2011 -0500
@@ -472,7 +472,7 @@
</section>
<section>
- <h4>Temporary Section for Classes</h4>
+ <h4>Classes under Discussion</h4>
<p>Temporary section for terms not part of "core" ontology.</p>
<section id="time">
@@ -746,7 +746,63 @@
<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>ProcessExecution</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 ProcessExecution to Instant"/>
+ <div><b>Example</b></div>
+ <p> Example of startedAt property is that a pe1 (instance of ProcessExecution 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>ProcessExecution</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 ProcessExecution to Instant"/>
+ <div><b>Example</b></div>
+ <p> Example of endedAt property is that a pe1 (instance of ProcessExecution 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">
+ <h4>wasGeneratedAt</h4>
+ <p> This object property defines the time when a <code>Entity</code> was generated by ProcessExecution.
+ </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>
+ </section>
</section>
<section id="attribution">
@@ -895,7 +951,7 @@
<section>
- <h4>Holding Section for Properties</h4>
+ <h4>Properties under Discussion</h4>
<p>Temporary section for terms not part of "core" ontology.</p>
<section id="followed">
<h4>followed</h4>
@@ -912,98 +968,6 @@
</pre>
</div>
</section>
- <section>
- <h4>hadTemporalValue</h4>
- <p>This property can be considered an abstract property, specialised by
- <code>startedAt</code>, <code>endedAt</code>,
- <code>wasGeneratedAt</code> and
- <code>assumedRoleAt</code> where the time MUST be specified as
- an <code>time:Instant</code> or more specifically MAY be
- specified using the PROV-O subclass <code>Time</code>
- which mandates the use of the
- <code>time:inXSDDateTime</code> data property.
- </p>
- </section>
-
- <section>
- <h4>wasAssumedBy</h4>
- <p>, forming a placeholder <code>EntityInRole</code> for use in
- relations such as <code>used</code> and
- <code>wasGeneratedBy</code>.
- <code>wasAssumedBy</code> is a required, functional property of
- <code>EntityInRole</code>, so an <code>EntityInRole</code>
- is assumed by one and only one <code>Entity</code>.
- <code>wasAssumedBy</code> is a subproperty of <code>wasComplementOf</code>.</p>
- </section>
- <section id="startedAt">
- <h4>startedAt</h4>
- <p> This object property defines the time when a
- <code>ProcessExecution</code> started. The time is specified as an
- <code>time:Instant</code> [[!OWL-TIME]], which MAY be a
- <code>Time</code> subclass by specifying the time using a
- <code>time:inXSDDateTime</code> data property.
- </p>
- <img src="diagram-history/khalidDiagrams/startedAt.png"
- style="height: 3em" alt="startedAt links ProcessExecution to Instant" />
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
- <prov:startedAt rdf:parseType="Resource">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Time"/>
- <time:inXSDDateTime>2011-10-20T16:26:45Z</time:inXSDDateTime>
- </prov:startedAt>
- </rdf:Description>
- </pre>
- </div>
- </section>
- <section id="endedAt">
- <h4>endedAt</h4>
- <p> This object property defines the time when a
- <code>ProcessExecution</code> ended. The time is specified as an
- <code>time:Instant</code> [[!OWL-TIME]], which MAY be a
- <code>Time</code> subclass by specifying the time using a
- <code>time:inXSDDateTime</code> data property.
- </p>
- <img src="diagram-history/khalidDiagrams/endedAt.png"
- style="height: 3em" alt="endedAt links ProcessExecution to Instant" />
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
- <prov:endedAt rdf:parseType="Resource">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Time"/>
- <time:inXSDDateTime>2011-11-21T18:36:52Z</time:inXSDDateTime>
- </prov:endedAt>
- </rdf:Description>
- </pre>
- </div>
- </section>
- <section id="wasGeneratedAt">
- <h4>wasGeneratedAt</h4>
- <p> This object property defines the time when a
- <code>Entity</code> was generated (as specified using
- <code>wasGeneratedBy</code>), meaning the instant when the entity
- first existed (and could be used by other process
- executions). The time is specified as an
- <code>time:Instant</code> [[!OWL-TIME]], which MAY be a
- <code>Time</code> subclass by specifying the time using a
- <code>time:inXSDDateTime</code> data property.
- </p>
- <img src="diagram-history/khalidDiagrams/wasGeneratedAt.png"
- style="height: 3em" alt="wasGeneratedAt links Entity to Instant" />
- <p>
- Note that by constraint
- </p>
- <div class="exampleOuter">
- <pre class="example">
- <rdf:Description rdf:about="http://www.example.com/crimeFile#e2">
- <prov:wasGeneratedAt rdf:parseType="Resource">
- <rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Time"/>
- <time:inXSDDateTime>2011-10-20T17:14:12Z</time:inXSDDateTime>
- </prov:wasGeneratedAt>
- </rdf:Description>
- </pre>
- </div>
- </section>
<section id="assumedRole">
<h4>assumedRole</h4>