--- a/ontology/ProvenanceFormalModel.html Sun Nov 27 16:04:15 2011 -0500
+++ b/ontology/ProvenanceFormalModel.html Sun Nov 27 20:57:59 2011 -0500
@@ -1,13 +1,19 @@
<!DOCTYPE html>
<html>
<head>
- <title>PROV Ontology Model</title>
+ <title>The PROV Ontology: Model and Formal Semantics</title>
<meta http-equiv='Content-Type' content='text/html;charset=utf-8'/>
<!--
=== NOTA BENE ===
For the three scripts below, if your spec resides on dev.w3 you can check them
out in the same tree and use relative links so that they'll work offline,
-->
+<!-- From DM -->
+ <style type="text/css">
+ .note { font-size:small; margin-left:50px }
+ table { text-align: center; vertical-align: middle }
+ </style>
+
<script src='http://dev.w3.org/2009/dap/ReSpec.js/js/respec.js' class='remove'></script>
<script src="http://www.w3.org/2007/OWL/toggles.js" class="remove"></script>
@@ -126,7 +132,7 @@
// This is important for Rec-track documents, do not copy a patent URI from a random
// document unless you know what you're doing. If in doubt ask your friendly neighbourhood
// Team Contact.
- wgPatentURI: "",
+ wgPatentURI: "http://www.w3.org/2004/01/pp-impl/46974/status",
// Add extraReferences to bibliography database
preProcess: [addExtraReferences],
@@ -136,20 +142,17 @@
<body>
<section id="abstract">
-<p> The PROV Ontology (also PROV-O) 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 id='sotd'>
-</section>
+ <p>
+ The PROV Ontology (also PROV-O) 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>
-<div class="buttonpanel">
-<form action=""><p>
-<input id="hide-examples" onclick="set_display_by_class('div','anexample','none'); set_display_by_id('hide-examples','none'); set_display_by_id('show-examples','');" type="button" value="Hide Examples" />
-<input id="show-examples" onclick="set_display_by_class('div','anexample',''); set_display_by_id('hide-examples',''); set_display_by_id('show-examples','none');" style="display: none" type="button" value="Show Examples" />
-</p>
-</form>
-</div>
+ </section>
+
+ <section id='sotd'>
+ <p>
+ This document is part of a set of specifications being created to address the issue of provenance interchange in Web applications. This document is accompanied by (1) the PROV Data Model (PROV-DM), and (2) the PROV Access and Query (PAQ) documents.
+ </p>
+ </section>
<section id="introduction">