--- a/ontology/ProvenanceFormalModel.html	Mon Feb 06 08:14:49 2012 +0000
+++ b/ontology/ProvenanceFormalModel.html	Mon Feb 06 09:32:04 2012 -0500
@@ -200,6 +200,8 @@
 		<div class='note'> In addition, RDF is strictly monotonic and "...it cannot express closed-world assumptions, local default preferences, and several other commonly used non-monotonic constructs."[[RDF-MT]], but the PROV-DM seems to introduce the notion of non-monotonic assertions through "Account" construct [[PROV-DM]]. For example, Account description in PROV-DM states that it "It provides a scoping mechanism for expression identifiers and for some contraints (such as generation-unicity and derivation-use)."
 		</div>
      </section> 
+     <p>The PROV-DM "records" are best interpretted as portions of an RDF graph. A single PROV-DM record results in a small set of triples.
+     </p>
 	 <section> 
 	  	<h3>OWL2 Syntax Used in this Document</h3>
 	    <p>This document uses the RDF/XML syntax, which is the mandatory syntax supported by all OWL2 syntax [[!OWL2-PRIMER]] to represent the PROV ontology. Provenance assertions using PROV-O can use any of the RDF syntax defined in the RDF specification [[!RDF-PRIMER]].