--- a/ontology/ProvenanceFormalModel.html Thu Oct 13 21:26:03 2011 +0200
+++ b/ontology/ProvenanceFormalModel.html Thu Oct 13 21:42:23 2011 +0200
@@ -122,10 +122,9 @@
<body>
<section id="abstract">
-<h2 id="abstract"></h2>
<p> The PROV Ontology Model (also PROV ontology) encodes the PROV Data Model [[PROV-DM]] in the OWL2 Web Ontology Language (OWL2). The PROV ontology consists of a set of classes, properties, and restrictions that can be used to represent provenance information. The PROV ontology is specialized to create domain-specific provenance ontologies that model the provenance information specific to different applications. The PROV ontology supports a set of entailments based on OWL2 formal semantics and provenance specific inference rules. The PROV ontology is available for download as a separate OWL2 document.</p>
-</section>
-
+
+ </section>
<section id='sotd'>
<p>TODO: MUST include at least one customized paragraph. This section SHOULD include the title page date (i.e., the one next to the maturity level at the top of the document). These paragraphs SHOULD explain the publication context, including rationale and relationships to other work. See examples and more discussion in the Manual of Style.<a href="http://www.w3.org/2001/06/manual/#Status">TODO</a></p>