--- a/ontology/spwd/2012-04-26-with-luc/prov-xhtml.html Thu Apr 26 17:20:09 2012 -0400
+++ b/ontology/spwd/2012-04-26-with-luc/prov-xhtml.html Thu Apr 26 17:34:37 2012 -0400
@@ -562,14 +562,156 @@
pre.sh_sourceCode .sh_paren { color: red; }
pre.sh_sourceCode .sh_attribute { color: #006400; }
-</style><style type="text/css">body {
- text-align: justify;
+</style><style type="text/css">
+/* --- EDITORIAL NOTES --- */
+.pending {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #f00;
+ background: #BFEFFF;
}
-h1 {
- line-height: 110%;
+.pending::before {
+ content: "Pending Review";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #f00;
+ background: #fff;
+ padding: 3px 1em;
}
+
+.resolved {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #f00;
+ background: #9BCD9B;
+}
+
+.resolved::before {
+ content: "Resolved";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #f00;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+
+.inference {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #f00;
+ background: #fff;
+}
+
+.inference::before {
+ content: "Inference";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #f00;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+.unamedconstraint {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #00f;
+ background: #fff;
+}
+
+
+.unamedconstraint::before {
+ content: "Constraint";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #00f;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+
+
+.constraint {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #00f;
+ background: #fff;
+}
+
+.constraint[id]::before {
+ content: "Constraint: " attr(id);
+ width: 380px; /* How can we compute the length of "Constraint: " attr(id) */
+}
+
+
+.constraint::before {
+ content: "Constraint";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #00f;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+
+
+.conditional {
+ color: blue;
+}
+
+.grammar {
+ margin-top: 1ex;
+ margin-bottom: 1ex;
+ padding-left: 1ex;
+ padding-right: 1ex;
+ padding-top: 1ex;
+ padding-bottom: 0.6ex;
+ border: 1px dashed #2f6fab;
+ font-family: monospace;
+}
+.nonterminal {
+ font-weight: bold;
+ font-family: sans-serif;
+ font-size: 95%;
+}
+
+.name {
+ font-family: monospace;
+}
+
+
+.xmpl {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #f00;
+ background: #fff;
+}
+
+.xmpl::before {
+ content: "Example";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #f00;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+/* added prov-wg lebot */
+
.hlist {
border: 1px solid navy;
padding:5px;
@@ -583,116 +725,19 @@
padding-right: 20px;
}
-
-.entity {
- border: 1px solid navy;
- margin:5px 0px 5px 0px;
- padding: 5px;
-}
-
-.type-c {
- cursor:help;
- color:orange;
-}
-
-.type-op {
- cursor:help;
- color:navy;
-}
-
-.type-dp {
- cursor:help;
- color:green;
-}
-
-.type-ap {
- cursor:help;
- color:maroon;
-}
-
-.type-ni {
- cursor:help;
- color:brown;
-}
-
-.logic {
- color:purple;
- font-weight:bold;
-}
-
-h3 {
- margin-top: 3px;
- padding-bottom: 5px;
- border-bottom: 1px solid navy;
-}
-
-h2 {
- margin-top:40px;
-}
-
-.dotted {
- border-bottom: 1px dotted gray;
-}
-
-dt {
- margin-top:5px;
-}
-
-.description {
- border-top: 1px dashed gray;
- border-bottom: 1px dashed gray;
- background-color: rgb(242, 243, 244);
- margin-top:5px;
- padding-bottom:5px;
-}
-
-.description dl {
- background-color: rgb(242, 243, 244);
-}
-
-.description ul {
- padding-left: 12px;
- margin-top: 0px;
-}
-
-.backlink {
- font-size:10pt;
- text-align:right;
- float:right;
- color:black;
- padding: 2px;
- border: 1px dotted navy;
- background-color: #F4FFFF;
-}
-
-.imageblock {
- text-align: center;
-}
-
-.imageblock img {
- border:1px solid gray;
-}
-
-.endnote {
- margin-top: 40px;
- border-top: 1px solid gray;
- padding-top: 10px;
- text-align: center;
- color:gray;
- font-size:50%;
-}</style><link href="http://www.w3.org/StyleSheets/TR/W3C-ED" rel="stylesheet" type="text/css" charset="utf-8" /></head>
- <body style="display: inherit;"><div class="head"><p><a href="http://www.w3.org/"><img width="72" height="48" alt="W3C" src="http://www.w3.org/Icons/w3c_home" /></a></p><h1 id="title" class="title">PROV-O: The PROV Ontology</h1><h2 id="w3c-editor-s-draft-18-april-2012"><acronym title="World Wide Web Consortium">W3C</acronym> Editor's Draft 18 April 2012</h2><dl><dt>This version:</dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html">http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html</a></dd><dt>Latest published version:</dt><dd><a href="http://www.w3.org/TR/prov-o/">http://www.w3.org/TR/prov-o/</a></dd><dt>Latest editor's draft:</dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html">http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html</a></dd><dt>Previous version:</dt><dd><a href="http://www.w3.org/TR/2011/WD-prov-o-20111213/">http://www.w3.org/TR/2011/WD-prov-o-20111213/</a></dd><dt>Editors:</dt><dd><a href="http://tw.rpi.edu/instances/TimLebo">Timothy Lebo</a>, Rensselaer Polytechnic Institute, USA</dd>
+</style><link href="http://www.w3.org/StyleSheets/TR/W3C-WD" rel="stylesheet" type="text/css" charset="utf-8" /></head>
+ <body style="display: inherit;"><div class="head"><p><a href="http://www.w3.org/"><img width="72" height="48" alt="W3C" src="http://www.w3.org/Icons/w3c_home" /></a></p><h1 id="title" class="title">PROV-O: The PROV Ontology</h1><h2 id="w3c-working-draft-03-may-2012"><acronym title="World Wide Web Consortium">W3C</acronym> Working Draft 03 May 2012</h2><dl><dt>This version:</dt><dd><a href="http://www.w3.org/TR/2012/WD-prov-o-20120503/">http://www.w3.org/TR/2012/WD-prov-o-20120503/</a></dd><dt>Latest published version:</dt><dd><a href="http://www.w3.org/TR/prov-o/">http://www.w3.org/TR/prov-o/</a></dd><dt>Latest editor's draft:</dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/ontology/prov-o.html">http://dvcs.w3.org/hg/prov/raw-file/default/ontology/prov-o.html</a></dd><dt>Previous version:</dt><dd><a href="http://www.w3.org/TR/2011/WD-prov-o-20111213/">http://www.w3.org/TR/2011/WD-prov-o-20111213/</a></dd><dt>Editors:</dt><dd><a href="http://tw.rpi.edu/instances/TimLebo">Timothy Lebo</a>, Rensselaer Polytechnic Institute, USA</dd>
<dd><a href="http://cci.case.edu/cci/index.php/Satya_Sahoo">Satya Sahoo</a>, Case Western Reserve University, USA</dd>
<dd><a href="http://tw.rpi.edu/instances/Deborah_L_McGuinness">Deborah McGuinness</a>, Rensselaer Polytechnic Institute, USA</dd>
-<dd><span>Mike Lang, Jr.</span>, Revelytix, USA</dd>
<dt>Authors:</dt><dd><span>(In alphabetical order)</span></dd>
<dd><a href="http://semanticweb.org/wiki/Khalid_Belhajjame">Khalid Belhajjame</a>, University of Manchester, UK</dd>
<dd><a href="http://homepages.inf.ed.ac.uk/jcheney/">James Cheney</a>, University of Edinburgh, UK</dd>
<dd><a href="http://www.oeg-upm.net/index.php/en/phdstudents/28-dgarijo">Daniel Garijo</a>, Universidad Politécnica de Madrid, Spain</dd>
+<dd><span>Mike Lang, Jr.</span>, Revelytix, USA</dd>
<dd><a href="http://soiland-reyes.com/stian/">Stian Soiland-Reyes</a>, University of Manchester, UK</dd>
<dd><a href="http://tw.rpi.edu/web/person/StephanZednik">Stephan Zednik</a>, Rensselaer Polytechnic Institute, USA</dd>
<dd><a href="http://users.ox.ac.uk/~zool0770/">Jun Zhao</a>, University of Oxford, UK</dd>
-</dl><p class="copyright"><a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a> © 2012 <a href="http://www.w3.org/"><acronym title="World Wide Web Consortium">W3C</acronym></a><sup>®</sup> (<a href="http://www.csail.mit.edu/"><acronym title="Massachusetts Institute of Technology">MIT</acronym></a>, <a href="http://www.ercim.eu/"><acronym title="European Research Consortium for Informatics and Mathematics">ERCIM</acronym></a>, <a href="http://www.keio.ac.jp/">Keio</a>), All Rights Reserved. <acronym title="World Wide Web Consortium">W3C</acronym> <a href="http://www.w3.org/Consortium/Legal/ipr-notice#Legal_Disclaimer">liability</a>, <a href="http://www.w3.org/Consortium/Legal/ipr-notice#W3C_Trademarks">trademark</a> and <a href="http://www.w3.org/Consortium/Legal/copyright-documents">document use</a> rules apply.</p><hr /></div>
+</dl><p class="copyright"><a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a> © 2011-2012 <a href="http://www.w3.org/"><acronym title="World Wide Web Consortium">W3C</acronym></a><sup>®</sup> (<a href="http://www.csail.mit.edu/"><acronym title="Massachusetts Institute of Technology">MIT</acronym></a>, <a href="http://www.ercim.eu/"><acronym title="European Research Consortium for Informatics and Mathematics">ERCIM</acronym></a>, <a href="http://www.keio.ac.jp/">Keio</a>), All Rights Reserved. <acronym title="World Wide Web Consortium">W3C</acronym> <a href="http://www.w3.org/Consortium/Legal/ipr-notice#Legal_Disclaimer">liability</a>, <a href="http://www.w3.org/Consortium/Legal/ipr-notice#W3C_Trademarks">trademark</a> and <a href="http://www.w3.org/Consortium/Legal/copyright-documents">document use</a> rules apply.</p><hr /></div>
<div id="abstract" class="introductory section"><h2>Abstract</h2>
<p>The PROV Ontology (PROV-O) expresses the PROV Data Model using the OWL2 Web Ontology Language (OWL2). It provides a set of classes, properties, and restrictions that can be used to represent and interchange provenance information generated in different systems and under different contexts. It can also be specialized to create new classes and properties to model provenance information specific to different domain applications.
@@ -705,10 +750,10 @@
This document is part of the PROV family of specifications, a set of specifications defining various aspects that are necessary to achieve the vision of inter-operable
interchange of provenance information in heterogeneous environments such as the Web. The specifications are:
<ul>
- <li> PROV-DM, the PROV data model for provenance (this document);</li>
+ <li> PROV-DM, the PROV data model for provenance;</li>
<li> PROV-CONSTRAINTS, a set of constraints applying to the PROV data model;</li>
<li> PROV-N, a notation for provenance aimed at human consumption;</li>
- <li> PROV-O, the PROV ontology, an OWL-RL ontology allowing the mapping of PROV to RDF;</li>
+ <li> PROV-O, the PROV ontology, an OWL-RL ontology allowing the mapping of PROV to RDF; (this document)</li>
<li> PROV-AQ, the mechanisms for accessing and querying provenance; </li>
<li> PROV-PRIMER, a primer for the PROV data model;</li>
<li> PROV-SEM, a formal semantics for the PROV data model;</li>
@@ -727,7 +772,7 @@
<h4 id="prov-o-second-working-draft">PROV-O Second Working Draft</h4>
<p>This specification defines the PROV Ontology as the normative representation of the PROV Data Model using the Web Ontology Language (OWL2). Following feedback, the structure of the document has been reorganized to suit a gradual introduction to the terms available in PROV-O, permitting the addition of more elaborate terms as users understand the earlier terms. A cross reference was added and is created directly from the OWL ontology. Examples throughout this document are taken directly from the working group's version control system.
</p>
- <p>This document was published by the <a href="http://www.w3.org/2011/prov/">Provenance Working Group</a> as an Editor's Draft. If you wish to make comments regarding this document, please send them to <a href="mailto:public-prov-wg@w3.org">public-prov-wg@w3.org</a> (<a href="mailto:public-prov-wg-request@w3.org?subject=subscribe">subscribe</a>, <a href="http://lists.w3.org/Archives/Public/public-prov-wg/">archives</a>). All feedback is welcome.</p><p>Publication as an Editor's Draft does not imply endorsement by the <acronym title="World Wide Web Consortium">W3C</acronym> Membership. This is a draft document and may be updated, replaced or obsoleted by other documents at any time. It is inappropriate to cite this document as other than work in progress.</p><p>This document was produced by a group operating under the <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/">5 February 2004 <acronym title="World Wide Web Consortium">W3C</acronym> Patent Policy</a>. <acronym title="World Wide Web Consortium">W3C</acronym> maintains a <a rel="disclosure" href="http://www.w3.org/2004/01/pp-impl/46974/status">public list of any patent disclosures</a> made in connection with the deliverables of the group; that page also includes instructions for disclosing a patent. An individual who has actual knowledge of a patent which the individual believes contains <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#def-essential">Essential Claim(s)</a> must disclose the information in accordance with <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#sec-Disclosure">section 6 of the <acronym title="World Wide Web Consortium">W3C</acronym> Patent Policy</a>.</p></div><div id="toc" class="section"><h2 class="introductory">Table of Contents</h2><ul class="toc"><li class="tocline"><a href="#introduction" class="tocxref"><span class="secno">1. </span>Introduction</a></li><li class="tocline"><a href="#prov-o-at-a-glance" class="tocxref"><span class="secno">2. </span>PROV-O at a glance</a></li><li class="tocline"><a href="#description" class="tocxref"><span class="secno">3. </span>The PROV-O Ontology Description</a><ul class="toc"><li class="tocline"><a href="#description-starting-point-terms" class="tocxref"><span class="secno">3.1 </span>Starting Point Terms</a></li><li class="tocline"><a href="#description-expanded-terms" class="tocxref"><span class="secno">3.2 </span>Expanded Terms</a></li><li class="tocline"><a href="#description-qualified-terms" class="tocxref"><span class="secno">3.3 </span>Qualified Terms</a></li><li class="tocline"><a href="#description-collections" class="tocxref"><span class="secno">3.4 </span>Collections Terms</a></li></ul></li><li class="tocline"><a href="#cross-reference" class="tocxref"><span class="secno">4. </span>Cross reference for PROV-O classes and properties</a><ul class="toc"><li class="tocline"><a href="#cross-reference-starting-point-terms" class="tocxref"><span class="secno">4.1 </span>Starting Point Terms</a></li><li class="tocline"><a href="#cross-reference-additional-terms" class="tocxref"><span class="secno">4.2 </span>Expanded Terms</a></li><li class="tocline"><a href="#cross-reference-qualified-terms" class="tocxref"><span class="secno">4.3 </span>Qualified Terms</a></li><li class="tocline"><a href="#cross-reference-collection-terms" class="tocxref"><span class="secno">4.4 </span>Collections Terms</a></li></ul></li><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno">A. </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno">B. </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno">B.1 </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno">B.2 </span>Informative references</a></li></ul></li></ul></div>
+ <p>This document was published by the <a href="http://www.w3.org/2011/prov/">Provenance Working Group</a> as a Working Draft. This document is intended to become a <acronym title="World Wide Web Consortium">W3C</acronym> Recommendation. If you wish to make comments regarding this document, please send them to <a href="mailto:public-prov-wg@w3.org">public-prov-wg@w3.org</a> (<a href="mailto:public-prov-wg-request@w3.org?subject=subscribe">subscribe</a>, <a href="http://lists.w3.org/Archives/Public/public-prov-wg/">archives</a>). All feedback is welcome.</p><p>Publication as a Working Draft does not imply endorsement by the <acronym title="World Wide Web Consortium">W3C</acronym> Membership. This is a draft document and may be updated, replaced or obsoleted by other documents at any time. It is inappropriate to cite this document as other than work in progress.</p><p>This document was produced by a group operating under the <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/">5 February 2004 <acronym title="World Wide Web Consortium">W3C</acronym> Patent Policy</a>. <acronym title="World Wide Web Consortium">W3C</acronym> maintains a <a rel="disclosure" href="http://www.w3.org/2004/01/pp-impl/46974/status">public list of any patent disclosures</a> made in connection with the deliverables of the group; that page also includes instructions for disclosing a patent. An individual who has actual knowledge of a patent which the individual believes contains <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#def-essential">Essential Claim(s)</a> must disclose the information in accordance with <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#sec-Disclosure">section 6 of the <acronym title="World Wide Web Consortium">W3C</acronym> Patent Policy</a>.</p></div><div id="toc" class="section"><h2 class="introductory">Table of Contents</h2><ul class="toc"><li class="tocline"><a href="#introduction" class="tocxref"><span class="secno">1. </span>Introduction</a></li><li class="tocline"><a href="#prov-o-at-a-glance" class="tocxref"><span class="secno">2. </span>PROV-O at a glance</a></li><li class="tocline"><a href="#description" class="tocxref"><span class="secno">3. </span>The PROV-O Ontology Description</a><ul class="toc"><li class="tocline"><a href="#description-starting-point-terms" class="tocxref"><span class="secno">3.1 </span>Starting Point Terms</a></li><li class="tocline"><a href="#description-expanded-terms" class="tocxref"><span class="secno">3.2 </span>Expanded Terms</a></li><li class="tocline"><a href="#description-qualified-terms" class="tocxref"><span class="secno">3.3 </span>Qualified Terms</a></li><li class="tocline"><a href="#description-collections" class="tocxref"><span class="secno">3.4 </span>Collections Terms</a></li></ul></li><li class="tocline"><a href="#cross-reference" class="tocxref"><span class="secno">4. </span>Cross reference for PROV-O classes and properties</a><ul class="toc"><li class="tocline"><a href="#cross-reference-starting-point-terms" class="tocxref"><span class="secno">4.1 </span>Starting Point Terms</a></li><li class="tocline"><a href="#cross-reference-additional-terms" class="tocxref"><span class="secno">4.2 </span>Expanded Terms</a></li><li class="tocline"><a href="#cross-reference-qualified-terms" class="tocxref"><span class="secno">4.3 </span>Qualified Terms</a></li><li class="tocline"><a href="#cross-reference-collection-terms" class="tocxref"><span class="secno">4.4 </span>Collections Terms</a></li></ul></li><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno">A. </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno">B. </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno">B.1 </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno">B.2 </span>Informative references</a></li></ul></li></ul></div>
@@ -1166,10 +1211,10 @@
</p>
<div style="text-align: center;">
- <div class="respec-figure">
+ <figure>
<img alt="PROV-O Starting Point terms" style="width: 50%; min-width: 25em; max-width: 60em" src="prov-o-diagrams/Starting-points-terms.png" />
- <div class="respec-captioin">Figure 1. The three Starting Point classes and the properties that relate them.</div>
- </div>
+ <figcaption>Figure 1. The three Starting Point classes and the properties that relate them.</figcaption>
+ </figure>
</div>
<p>
@@ -1555,10 +1600,10 @@
</p>
<div style="text-align: center;">
- <div class="respec-figure">
+ <figure>
<img alt="Express association between an activity and an agent using a binary relationship and an alternatie qualified relationship" style="width: 50%; min-width: 25em; max-width: 60em" src="prov-o-diagrams/Qualified-Association.png" />
- <div class="respec-caption">Figure 2. An illustration of the qualification pattern applied to the Starting Point properties <a href="#used" class="qname">prov:used</a> and <a href="#wasAssociatedWith" class="qname">prov:wasAssociatedWith</a>.</div>
- </div>
+ <figcaption>Figure 2. An illustration of the qualification pattern applied to the Starting Point properties <a href="#used" class="qname">prov:used</a> and <a href="#wasAssociatedWith" class="qname">prov:wasAssociatedWith</a>.</figcaption>
+ </figure>
</div>
<p>The following two examples show the result of applying the Usage and Association patterns to the chart making example from <a href="#description-starting-point-terms">Section 3.1</a>.