--- a/ontology/ProvenanceFormalModel.html	Tue Oct 25 16:03:37 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Tue Oct 25 19:47:08 2011 +0100
@@ -604,22 +604,30 @@
 		
 		<section id="attribution">
 			  <h4>wasAttributedTo</h4>
-		      <p>wasAttributedTo links an instance of Entity class to an instance of Agent class.</p>		      
+		      <p>wasAttributedTo 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" />			            
 		</section>
 		
 		<section id="quotation">
 			  <h4>wasQuoteOf</h4>
-		      <p>wasQuoteOf links an instances of Entity class to instances of Agent class.</p>		      
+		      <p>wasQuoteOf links an instance of the Entity class to an instance of of the Agent class.</p>	
+		       <img src="diagram-history/khalidDiagrams/wasQuoteOf.png" 
+               style="height: 3em"  alt="wasQuoteOf links Entity to Agent" />		      
 		</section>
 		
 		<section id="summary">
 			  <h4>wasSummaryOf</h4>
-		      <p>wasSummaryOf links an instances of Entity class.</p>		      
+		      <p>wasSummaryOf links two instances of the Entity class.</p>	
+		       <img src="diagram-history/khalidDiagrams/wasSummaryOf.png" 
+               style="height: 3em"  alt="wasSummaryOf links Entity to Entity" />		      
 		</section>
 		
 		<section id="originalsource">
 			  <h4>hadOriginalSource</h4>
-		      <p>hadOriginalSource links an instances of Entity class. This property is defined to be a specialization of the wasEventuallyDerivedFrom propery.</p>		      
+		      <p>hadOriginalSource 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" />			      
 		</section>
 		
 		<section id="hastemporalvalue">
@@ -647,6 +655,8 @@
               <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">
                     &lt;rdf:Description rdf:about="http://www.example.com/crimeFile#pe1"&gt;
@@ -666,6 +676,8 @@
               <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">
                     &lt;rdf:Description rdf:about="http://www.example.com/crimeFile#pe1"&gt;
@@ -688,6 +700,8 @@
               <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>
@@ -714,6 +728,8 @@
               is assumed by one and only one <code>Entity</code>.
               <code>wasAssumedBy</code> is a subproperty of <code>wasComplementOf</code>.
               </p>
+              <img src="diagram-history/khalidDiagrams/wasAssumedBy.png" 
+               style="height: 3em"  alt="wasAssumedBy links EntityInRole to Entity" />	
               <div class="exampleOuter">
                 <pre class="example">
                     &lt;rdf:Description rdf:about="http://www.example.com/crimeFile#pe1"&gt;
@@ -740,6 +756,8 @@
               relations such as <code>used</code> and
               <code>wasGeneratedBy</code>.
               </p>
+              <img src="diagram-history/khalidDiagrams/assumedRole.png" 
+               style="height: 3em"  alt="assumedRole links EntityInRole to Role" />	
               <p>
               The definition and interpretation of the <code>Role</code>
               is outside the scope for PROV-O. The <code>Role</code> class is
@@ -782,6 +800,8 @@
               <code>Time</code> subclass by specifying the time using a
               <code>time:inXSDDateTime</code> data property.
 	          </p>
+	          <img src="diagram-history/khalidDiagrams/assumedRoleAt.png" 
+               style="height: 3em"  alt="assumedRoleAt links EntityInRole to Instant" />	
               <p>
               According to the constraint <a
               href="#provenance-constraint-on-wasgeneratedby-generation-unicity">generation-unicity</a>

Binary file ontology/diagram-history/khalidDiagrams/assumedRole.png has changed

Binary file ontology/diagram-history/khalidDiagrams/assumedRoleAt.png has changed

Binary file ontology/diagram-history/khalidDiagrams/endedAt.png has changed

Binary file ontology/diagram-history/khalidDiagrams/hadOriginalSource.png has changed

Binary file ontology/diagram-history/khalidDiagrams/startedAt.png has changed

Binary file ontology/diagram-history/khalidDiagrams/wasAssumedBy.png has changed

Binary file ontology/diagram-history/khalidDiagrams/wasAttributedTo.png has changed

Binary file ontology/diagram-history/khalidDiagrams/wasGeneratedAt.png has changed

Binary file ontology/diagram-history/khalidDiagrams/wasQuoteOf.png has changed

Binary file ontology/diagram-history/khalidDiagrams/wasSummaryOf.png has changed