--- a/ontology/ProvenanceFormalModel.html	Wed Sep 14 20:33:46 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Wed Sep 14 21:45:09 2011 -0400
@@ -324,6 +324,16 @@
 	  </section>
     </section>
 	<section>
+      <h2>Specializing Provenance Ontology for Domain-specific Provenance Applications</h2>
+	  <p>
+        The Provenance Ontology is conceived as a reference ontology that can be extended by various domain-specific applications to model the required set of provenance terms. The Provenance Ontology classes and properties can be specialized using the following two RDFS properties:
+		<ul>
+		<li>rdfs:subClassOf: The property rdfs:subClassOf is an instance of rdf:Property that is used to state that all the instances of one class are instances of another. [RDFS-Ref]</li>
+		<li>rdfs:subPropertyOf: "A rdfs:subPropertyOf axiom defines that the property is a subproperty of some other property." [OWL-Ref]</li>
+		</ul>	
+      </p>
+	</section>
+	<section>
       <h2>Entailments Supported by the Provenance Model</h2>
       <p>
         This section covers the entailments supported by the Provenance Model, which include the standard RDFS, OWL entailments.