--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/ProvenanceFormalModel.html Tue Jul 26 22:03:26 2011 -0400
@@ -0,0 +1,194 @@
+<!DOCTYPE html>
+<html>
+ <head>
+ <title>Provenance Formal Model</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,
+ -->
+ <script src='http://dev.w3.org/2009/dap/ReSpec.js/js/respec.js' class='remove'></script>
+ <script class='remove'>
+ var respecConfig = {
+ // specification status (e.g. WD, LCWD, NOTE, etc.). If in doubt use ED.
+ specStatus: "ED",
+
+ // the specification's short name, as in http://www.w3.org/TR/short-name/
+ shortName: "PIL-FormalModel",
+
+ // if your specification has a subtitle that goes below the main
+ // formal title, define it here
+ subtitle : "Initial draft for internal discussion",
+
+ // if you wish the publication date to be other than today, set this
+ // publishDate: "2009-08-06",
+
+ // if the specification's copyright date is a range of years, specify
+ // the start date here:
+ // copyrightStart: "2005"
+
+ // if there is a previously published draft, uncomment this and set its YYYY-MM-DD date
+ // and its maturity status
+ // previousPublishDate: "1977-03-15",
+ // previousMaturity: "WD",
+
+ // if there a publicly available Editor's Draft, this is the link
+ edDraftURI: "http://www.w3.org/2011/prov/wiki/D1--NOT-YET-AVAILABLE",
+
+ // if this is a LCWD, uncomment and set the end of its review period
+ // lcEnd: "2009-08-05",
+
+ // if you want to have extra CSS, append them to this list
+ // it is recommended that the respec.css stylesheet be kept
+ extraCSS: ["http://dev.w3.org/2009/dap/ReSpec.js/css/respec.css"],
+
+ // editors, add as many as you like
+ // only "name" is required
+ editors: [
+ { name: "Satya Sahoo", url: "http://cci.case.edu/cci/index.php/Satya_Sahoo",
+ company: "Case Western Reserve University" },
+ { name: "Deborah McGuinness", url: "http://www.cs.rpi.edu/~dlm/",
+ company: "Rensselaer Polytechnic Institute" }
+ ],
+
+ // authors, add as many as you like.
+ // This is optional, uncomment if you have authors as well as editors.
+ // only "name" is required. Same format as editors.
+
+ authors: [
+ { name: "TBD" },
+ ],
+
+ // name of the WG
+ wg: "Provenance Working Group",
+
+ // URI of the public WG page
+ wgURI: "http://www.w3.org/2011/prov/wiki/Main_Page",
+
+ // name (with the @w3c.org) of the public mailing to which comments are due
+ wgPublicList: "public-prov-wg",
+
+ // URI of the patent status for this WG, for Rec-track documents
+ // !!!! IMPORTANT !!!!
+ // 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: "",
+ };
+ </script>
+ </head>
+ <body>
+ <section id='abstract'>
+<p> This document defines the semantics of the provenance model expressed using the W3C Web Language (OWL). </p>
+
+<p><i> This document is for internal discussion and is expected to evolve into the first Public Working Draft of the Formal Model.</i></p>
+ </section>
+
+ <section>
+ <h2>Introduction</h2>
+ <p>
+ Placeholder text.
+ </p>
+ </section>
+ <section>
+ <h2>OWL2 Encoding of the Provenance Model</h2>
+ <section>
+ <h3>Classes</h3>
+ <p>The Provenance Model consists of the following classes. </p>
+ <p><i>Note: CamelBack notation is used for the classes</i></p>
+ <section>
+ <h4>BOB</h4>
+ <p>BOB is a rdfs:subClassOf owl:Thing.</p>
+ <p>BOB is defined to be "A BOB represents an identifiable characterized entity." <i>(from the Provenance Conceptual Model)</i> </p>
+ </section>
+ <section>
+ <h4>ProcessExecution</h4>
+ <p>ProcessExecution is a rdfs:subClassOf BOB.</p>
+ <p>ProcessExecution is defined to be "an identifiable activity, which performs a piece of work." <i>(from the Provenance Conceptual Model)</i></p>
+ </section>
+ <section>
+ <h4>Agent</h4>
+ <p>Agent is a rdfs:subClassOf BOB.</p>
+ <p>Agent is defined to be a "characterized entity capable of activity" <i>(from the Provenance Conceptual Model)</i></p>
+ </section>
+ <section>
+ <h4>Time</h4>
+ <p>Time is a rdfs:subClassOf owl:Thing.</p>
+ <p>Time represents temporal information about entities in the Provenance model.</p>
+ </section>
+ <section>
+ <h4>Revision</h4>
+ <p>Revision is a rdfs:subClassOf BOB.</p>
+ <p>Revision is defined as a modified version of a BOB.</p>
+ </section>
+ <section>
+ <h4>ProvenanceContainer</h4>
+ <p>ProvenanceContainer is a rdfs:subClassOf BOB.</p>
+ <p>ProvenanceContainer is defined to be an aggregation of provenance assertions. A provenance container SHOULD have an URI associated with it.
+ </section>
+ <section>
+ <h4>Location</h4>
+ <p>Location is a rdfs:subClassOf BOB.</p>
+ <p>Location is defined to be "is an identifiable geographic place (ISO 19112)." <i>(from the Provenance Conceptual Model)</i></p>
+ </section>
+ </section>
+ <section>
+ <h3>Object Properties</h3>
+ <p>The Provenance Model consists of the following object properties. </p>
+ <p><i>Note: Names of properties starts with a verb in lower case followed by verb(s) starting with upper case </i></p>
+ <section>
+ <h4>isGeneratedBy</h4>
+ <p>isGeneratedBy links BOB with ProcessExecution representing that BOB was generated as a result of ProcessExecution</p>
+ <p><i>Note: No arity constraints are assumed between BOB and ProcessExecution</i></p>
+ </section>
+ <section>
+ <h4>isDerivedFrom</h4>
+ <p>isDerivedFrom links two distinct characterized entities, where "some characterized entity is transformed from, created from, or affected by another characterized entity."
+ </section>
+ <section>
+ <h4>isUsedBy</h4>
+ <p>isUsedBy links BOB to ProcessExecution, where BOB is consumed by ProcessExecution.</p>
+ <p><i>Note: No arity constraints are assumed between BOB and ProcessExecution</i></p>
+ </section>
+ <section>
+ <h4>hasParticipant</h4>
+ <p>hasParticipant links BOB to ProcessExecution, where BOB isUsedBy or isGeneratedBy ProcessExecution.
+ <p><i>Note: No arity constraints are assumed between BOB and ProcessExecution</i></p>
+ </section>
+ <section>
+ <h4>isIVPOf</h4>
+ <p> isIVPOf links two instances of BOB, where "it is relationship between two characterized entities asserted to have compatible characterization over some continuous time interval." <i>(from the Provenance Conceptual Model)</i></p>
+ </section>
+ <section>
+ <h4>isControlledBy</h4>
+ <p>isControlledBy links ProcessExecution to Agent, where "Control represents the involvement of an agent or a BOB in a process execution"<i>(from the Provenance Conceptual Model)</i></p>
+ </section>
+ <section>
+ <h4>isPrecededBy</h4>
+ <p>isPrecededBy links two instances of ProcessExecution, where "Ordering of processes execution (in provenance) needs to be modeled as a property linking process entities in specific order along a particular dimension (temporal or control flow)"</p>
+ </section>
+ </section>
+ <section>
+ <h3>Datatype Properties</h3>
+ <p>The Provenance Model consists of the following datatype properties. </p>
+ <p><i>Note: Names of properties starts with a verb in lower case followed by verb(s) starting with upper case </i></p>
+ </section>
+ </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.
+ </p>
+ <section>
+ <h4>Transitivity</h4>
+ </section>
+ </section>
+ <section class='appendix'>
+ <h2>Acknowledgements</h2>
+ <p>
+ Many thanks to Robin Berjon for making our lives so much easier with his cool tool.
+ </p>
+ </section>
+ </body>
+</html>
\ No newline at end of file