--- a/ontology/Overview.html Tue May 29 13:26:41 2012 -0400
+++ b/ontology/Overview.html Tue May 29 13:35:30 2012 -0400
@@ -1280,7 +1280,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-terms" 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-expanded-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>Collection Terms</a></li></ul></li><li class="tocline"><a href="#names-of-inverse-properties" class="tocxref"><span class="secno">A. </span>Names of inverse properties</a><ul class="toc"><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno">A.1 </span>Acknowledgements</a></li></ul></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 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-terms" 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-expanded-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>Collection Terms</a></li></ul></li><li class="tocline"><a href="#prov-o-owl-profile" class="tocxref"><span class="secno">A. </span>PROV-O OWL Profile</a></li><li class="tocline"><a href="#names-of-inverse-properties" class="tocxref"><span class="secno">B. </span>Names of inverse properties</a></li><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno">C. </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno">D. </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno">D.1 </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno">D.2 </span>Informative references</a></li></ul></li></ul></div>
@@ -1711,7 +1711,7 @@
<!-- img src="prov-o-diagrams/Starting-points-terms.png" -->
- <img alt="PROV-O Starting Point terms" style="width: 50%; min-width: 25em; max-width: 60em" src="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/diagram-history/2012-05-03/starting-points.svg" />
+ <img alt="PROV-O Starting Point terms" style="width: 50%; min-width: 25em; max-width: 60em" src="diagrams/starting-points.svg" />
<div class="figcaption">Figure 1. The three Starting Point classes and the properties that relate them.</div>
</div>
@@ -2133,7 +2133,7 @@
<!-- img src="prov-o-diagrams/Qualified-Association.png" -->
- <img alt="Express association between an activity and an agent using a binary relationship and an alternatie qualified relationship" style="width: 100%; min-width: 25em; max-width: 60em" src="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/diagram-history/2012-05-03/qualified-patterns.svg" />
+ <img alt="Express association between an activity and an agent using a binary relationship and an alternatie qualified relationship" style="width: 100%; min-width: 25em; max-width: 60em" src="diagrams/qualified-patterns.svg" />
<div class="figcaption">Figure 2. </div>
</div>
@@ -2597,19 +2597,19 @@
<dt>in domain of</dt>
<dd>
- <a href="#endedAtTime" title="http://www.w3.org/ns/prov#endedAtTime">prov:endedAtTime</a><sup title="data property" class="type-dp">dp</sup>
+ <a href="#qualifiedCommunication" title="http://www.w3.org/ns/prov#qualifiedCommunication">prov:qualifiedCommunication</a><sup title="object property" class="type-op">op</sup>
<a href="#qualifiedStart" title="http://www.w3.org/ns/prov#qualifiedStart">prov:qualifiedStart</a><sup title="object property" class="type-op">op</sup>
+ <a href="#qualifiedAssociation" title="http://www.w3.org/ns/prov#qualifiedAssociation">prov:qualifiedAssociation</a><sup title="object property" class="type-op">op</sup>
<a href="#qualifiedEnd" title="http://www.w3.org/ns/prov#qualifiedEnd">prov:qualifiedEnd</a><sup title="object property" class="type-op">op</sup>
<a href="#startedAtTime" title="http://www.w3.org/ns/prov#startedAtTime">prov:startedAtTime</a><sup title="data property" class="type-dp">dp</sup>
- <a href="#wasInformedBy" title="http://www.w3.org/ns/prov#wasInformedBy">prov:wasInformedBy</a><sup title="object property" class="type-op">op</sup>
- <a href="#qualifiedCommunication" title="http://www.w3.org/ns/prov#qualifiedCommunication">prov:qualifiedCommunication</a><sup title="object property" class="type-op">op</sup>
+ <a href="#wasEndedBy" title="http://www.w3.org/ns/prov#wasEndedBy">prov:wasEndedBy</a><sup title="object property" class="type-op">op</sup>
<a href="#generated" title="http://www.w3.org/ns/prov#generated">prov:generated</a><sup title="object property" class="type-op">op</sup>
- <a href="#qualifiedAssociation" title="http://www.w3.org/ns/prov#qualifiedAssociation">prov:qualifiedAssociation</a><sup title="object property" class="type-op">op</sup>
+ <a href="#endedAtTime" title="http://www.w3.org/ns/prov#endedAtTime">prov:endedAtTime</a><sup title="data property" class="type-dp">dp</sup>
<a href="#wasAssociatedWith" title="http://www.w3.org/ns/prov#wasAssociatedWith">prov:wasAssociatedWith</a><sup title="object property" class="type-op">op</sup>
<a href="#wasStartedBy" title="http://www.w3.org/ns/prov#wasStartedBy">prov:wasStartedBy</a><sup title="object property" class="type-op">op</sup>
+ <a href="#wasInformedBy" title="http://www.w3.org/ns/prov#wasInformedBy">prov:wasInformedBy</a><sup title="object property" class="type-op">op</sup>
+ <a href="#qualifiedUsage" title="http://www.w3.org/ns/prov#qualifiedUsage">prov:qualifiedUsage</a><sup title="object property" class="type-op">op</sup>
<a href="#used" title="http://www.w3.org/ns/prov#used">prov:used</a><sup title="object property" class="type-op">op</sup>
- <a href="#qualifiedUsage" title="http://www.w3.org/ns/prov#qualifiedUsage">prov:qualifiedUsage</a><sup title="object property" class="type-op">op</sup>
- <a href="#wasEndedBy" title="http://www.w3.org/ns/prov#wasEndedBy">prov:wasEndedBy</a><sup title="object property" class="type-op">op</sup>
</dd>
<dt>in range of</dt>
@@ -2723,21 +2723,21 @@
<dt>in domain of</dt>
<dd>
- <a href="#qualifiedQuotation" title="http://www.w3.org/ns/prov#qualifiedQuotation">prov:qualifiedQuotation</a><sup title="object property" class="type-op">op</sup>
+ <a href="#alternateOf" title="http://www.w3.org/ns/prov#alternateOf">prov:alternateOf</a><sup title="object property" class="type-op">op</sup>
+ <a href="#qualifiedGeneration" title="http://www.w3.org/ns/prov#qualifiedGeneration">prov:qualifiedGeneration</a><sup title="object property" class="type-op">op</sup>
<a href="#qualifiedSource" title="http://www.w3.org/ns/prov#qualifiedSource">prov:qualifiedSource</a><sup title="object property" class="type-op">op</sup>
- <a href="#specializationOf" title="http://www.w3.org/ns/prov#specializationOf">prov:specializationOf</a><sup title="object property" class="type-op">op</sup>
<a href="#wasInvalidatedBy" title="http://www.w3.org/ns/prov#wasInvalidatedBy">prov:wasInvalidatedBy</a><sup title="object property" class="type-op">op</sup>
<a href="#qualifiedAttribution" title="http://www.w3.org/ns/prov#qualifiedAttribution">prov:qualifiedAttribution</a><sup title="object property" class="type-op">op</sup>
+ <a href="#specializationOf" title="http://www.w3.org/ns/prov#specializationOf">prov:specializationOf</a><sup title="object property" class="type-op">op</sup>
<a href="#wasQuotedFrom" title="http://www.w3.org/ns/prov#wasQuotedFrom">prov:wasQuotedFrom</a><sup title="object property" class="type-op">op</sup>
<a href="#qualifiedInvalidation" title="http://www.w3.org/ns/prov#qualifiedInvalidation">prov:qualifiedInvalidation</a><sup title="object property" class="type-op">op</sup>
<a href="#hadOriginalSource" title="http://www.w3.org/ns/prov#hadOriginalSource">prov:hadOriginalSource</a><sup title="object property" class="type-op">op</sup>
- <a href="#alternateOf" title="http://www.w3.org/ns/prov#alternateOf">prov:alternateOf</a><sup title="object property" class="type-op">op</sup>
+ <a href="#qualifiedQuotation" title="http://www.w3.org/ns/prov#qualifiedQuotation">prov:qualifiedQuotation</a><sup title="object property" class="type-op">op</sup>
<a href="#wasRevisionOf" title="http://www.w3.org/ns/prov#wasRevisionOf">prov:wasRevisionOf</a><sup title="object property" class="type-op">op</sup>
<a href="#invalidatedAtTime" title="http://www.w3.org/ns/prov#invalidatedAtTime">prov:invalidatedAtTime</a><sup title="data property" class="type-dp">dp</sup>
<a href="#tracedTo" title="http://www.w3.org/ns/prov#tracedTo">prov:tracedTo</a><sup title="object property" class="type-op">op</sup>
- <a href="#qualifiedGeneration" title="http://www.w3.org/ns/prov#qualifiedGeneration">prov:qualifiedGeneration</a><sup title="object property" class="type-op">op</sup>
+ <a href="#qualifiedTrace" title="http://www.w3.org/ns/prov#qualifiedTrace">prov:qualifiedTrace</a><sup title="object property" class="type-op">op</sup>
<a href="#qualifiedRevision" title="http://www.w3.org/ns/prov#qualifiedRevision">prov:qualifiedRevision</a><sup title="object property" class="type-op">op</sup>
- <a href="#qualifiedTrace" title="http://www.w3.org/ns/prov#qualifiedTrace">prov:qualifiedTrace</a><sup title="object property" class="type-op">op</sup>
<a href="#wasAttributedTo" title="http://www.w3.org/ns/prov#wasAttributedTo">prov:wasAttributedTo</a><sup title="object property" class="type-op">op</sup>
<a href="#wasDerivedFrom" title="http://www.w3.org/ns/prov#wasDerivedFrom">prov:wasDerivedFrom</a><sup title="object property" class="type-op">op</sup>
<a href="#qualifiedDerivation" title="http://www.w3.org/ns/prov#qualifiedDerivation">prov:qualifiedDerivation</a><sup title="object property" class="type-op">op</sup>
@@ -2748,25 +2748,25 @@
<dt>in range of</dt>
<dd>
<a href="#alternateOf" title="http://www.w3.org/ns/prov#alternateOf">prov:alternateOf</a><sup title="object property" class="type-op">op</sup>
- <a href="#entity" title="http://www.w3.org/ns/prov#entity">prov:entity</a><sup title="object property" class="type-op">op</sup>
<a href="#wasStartedBy" title="http://www.w3.org/ns/prov#wasStartedBy">prov:wasStartedBy</a><sup title="object property" class="type-op">op</sup>
<a href="#wasQuotedFrom" title="http://www.w3.org/ns/prov#wasQuotedFrom">prov:wasQuotedFrom</a><sup title="object property" class="type-op">op</sup>
- <a href="#hadOriginalSource" title="http://www.w3.org/ns/prov#hadOriginalSource">prov:hadOriginalSource</a><sup title="object property" class="type-op">op</sup>
+ <a href="#wasEndedBy" title="http://www.w3.org/ns/prov#wasEndedBy">prov:wasEndedBy</a><sup title="object property" class="type-op">op</sup>
+ <a href="#tracedTo" title="http://www.w3.org/ns/prov#tracedTo">prov:tracedTo</a><sup title="object property" class="type-op">op</sup>
+ <a href="#wasRevisionOf" title="http://www.w3.org/ns/prov#wasRevisionOf">prov:wasRevisionOf</a><sup title="object property" class="type-op">op</sup>
<a href="#generated" title="http://www.w3.org/ns/prov#generated">prov:generated</a><sup title="object property" class="type-op">op</sup>
- <a href="#wasRevisionOf" title="http://www.w3.org/ns/prov#wasRevisionOf">prov:wasRevisionOf</a><sup title="object property" class="type-op">op</sup>
- <a href="#tracedTo" title="http://www.w3.org/ns/prov#tracedTo">prov:tracedTo</a><sup title="object property" class="type-op">op</sup>
<a href="#wasDerivedFrom" title="http://www.w3.org/ns/prov#wasDerivedFrom">prov:wasDerivedFrom</a><sup title="object property" class="type-op">op</sup>
<a href="#pairValue" title="http://www.w3.org/ns/prov#pairValue">prov:pairValue</a><sup title="object property" class="type-op">op</sup>
+ <a href="#entity" title="http://www.w3.org/ns/prov#entity">prov:entity</a><sup title="object property" class="type-op">op</sup>
+ <a href="#specializationOf" title="http://www.w3.org/ns/prov#specializationOf">prov:specializationOf</a><sup title="object property" class="type-op">op</sup>
+ <a href="#hadOriginalSource" title="http://www.w3.org/ns/prov#hadOriginalSource">prov:hadOriginalSource</a><sup title="object property" class="type-op">op</sup>
<a href="#used" title="http://www.w3.org/ns/prov#used">prov:used</a><sup title="object property" class="type-op">op</sup>
- <a href="#specializationOf" title="http://www.w3.org/ns/prov#specializationOf">prov:specializationOf</a><sup title="object property" class="type-op">op</sup>
- <a href="#wasEndedBy" title="http://www.w3.org/ns/prov#wasEndedBy">prov:wasEndedBy</a><sup title="object property" class="type-op">op</sup>
</dd>
<dt>has subclasses</dt>
<dd>
+ <a class="owlclass" href="#Dictionary" title="http://www.w3.org/ns/prov#Dictionary">prov:Dictionary</a>
+ <a class="owlclass" href="#Plan" title="http://www.w3.org/ns/prov#Plan">prov:Plan</a>
<a class="owlclass" href="#Account" title="http://www.w3.org/ns/prov#Account">prov:Account</a>
- <a class="owlclass" href="#Plan" title="http://www.w3.org/ns/prov#Plan">prov:Plan</a>
- <a class="owlclass" href="#Dictionary" title="http://www.w3.org/ns/prov#Dictionary">prov:Dictionary</a>
</dd>
</dl>
</div>
@@ -3414,20 +3414,20 @@
<dd>
<ul>
<li>
- <a class="owlclass" href="#derivedByInsertionFrom" title="http://www.w3.org/ns/prov#derivedByInsertionFrom">prov:derivedByInsertionFrom</a>
+ <a class="owlclass" href="#hadOriginalSource" title="http://www.w3.org/ns/prov#hadOriginalSource">prov:hadOriginalSource</a>
</li>
<li>
<a class="owlclass" href="#wasQuotedFrom" title="http://www.w3.org/ns/prov#wasQuotedFrom">prov:wasQuotedFrom</a>
</li>
<li>
- <a class="owlclass" href="#hadOriginalSource" title="http://www.w3.org/ns/prov#hadOriginalSource">prov:hadOriginalSource</a>
- </li>
- <li>
<a class="owlclass" href="#derivedByRemovalFrom" title="http://www.w3.org/ns/prov#derivedByRemovalFrom">prov:derivedByRemovalFrom</a>
</li>
<li>
<a class="owlclass" href="#wasRevisionOf" title="http://www.w3.org/ns/prov#wasRevisionOf">prov:wasRevisionOf</a>
</li>
+ <li>
+ <a class="owlclass" href="#derivedByInsertionFrom" title="http://www.w3.org/ns/prov#derivedByInsertionFrom">prov:derivedByInsertionFrom</a>
+ </li>
</ul>
</dd>
@@ -4483,6 +4483,11 @@
</pre>
</div>
+ <div class="description">
+ <dl>
+
+ </dl>
+ </div>
</div>
<div class="entity" id="wasEndedBy">
@@ -5020,8 +5025,8 @@
<dt>has subclasses</dt>
<dd>
<a class="owlclass" href="#Invalidation" title="http://www.w3.org/ns/prov#Invalidation">prov:Invalidation</a>
+ <a class="owlclass" href="#Generation" title="http://www.w3.org/ns/prov#Generation">prov:Generation</a>
<a class="owlclass" href="#Communication" title="http://www.w3.org/ns/prov#Communication">prov:Communication</a>
- <a class="owlclass" href="#Generation" title="http://www.w3.org/ns/prov#Generation">prov:Generation</a>
</dd>
</dl>
</div>
@@ -5597,7 +5602,7 @@
<a href="#hadRole" title="http://www.w3.org/ns/prov#hadRole">prov:hadRole</a>
</dd><dt>parent is in domain of</dt>
<dd>
- <a href="#activity" title="http://www.w3.org/ns/prov#activity">prov:activity</a> <a href="#atTime" title="http://www.w3.org/ns/prov#atTime">prov:atTime</a> </dd>
+ <a href="#atTime" title="http://www.w3.org/ns/prov#atTime">prov:atTime</a> <a href="#activity" title="http://www.w3.org/ns/prov#activity">prov:activity</a> </dd>
<dt>in range of</dt>
<dd>
@@ -5662,11 +5667,11 @@
<dt>has subclasses</dt>
<dd>
+ <a class="owlclass" href="#Invalidation" title="http://www.w3.org/ns/prov#Invalidation">prov:Invalidation</a>
<a class="owlclass" href="#Usage" title="http://www.w3.org/ns/prov#Usage">prov:Usage</a>
- <a class="owlclass" href="#Start" title="http://www.w3.org/ns/prov#Start">prov:Start</a>
- <a class="owlclass" href="#Invalidation" title="http://www.w3.org/ns/prov#Invalidation">prov:Invalidation</a>
<a class="owlclass" href="#Generation" title="http://www.w3.org/ns/prov#Generation">prov:Generation</a>
<a class="owlclass" href="#End" title="http://www.w3.org/ns/prov#End">prov:End</a>
+ <a class="owlclass" href="#Start" title="http://www.w3.org/ns/prov#Start">prov:Start</a>
</dd>
</dl>
</div>
@@ -5739,7 +5744,7 @@
<dt>parent is in domain of</dt>
<dd>
- <a href="#activity" title="http://www.w3.org/ns/prov#activity">prov:activity</a> <a href="#atTime" title="http://www.w3.org/ns/prov#atTime">prov:atTime</a> </dd>
+ <a href="#atTime" title="http://www.w3.org/ns/prov#atTime">prov:atTime</a> <a href="#activity" title="http://www.w3.org/ns/prov#activity">prov:activity</a> </dd>
<dt>in range of</dt>
<dd>
@@ -5802,9 +5807,9 @@
<dt>has subclasses</dt>
<dd>
<a class="owlclass" href="#AgentInvolvement" title="http://www.w3.org/ns/prov#AgentInvolvement">prov:AgentInvolvement</a>
+ <a class="owlclass" href="#EntityInvolvement" title="http://www.w3.org/ns/prov#EntityInvolvement">prov:EntityInvolvement</a>
+ <a class="owlclass" href="#DictionaryInvolvement" title="http://www.w3.org/ns/prov#DictionaryInvolvement">prov:DictionaryInvolvement</a>
<a class="owlclass" href="#ActivityInvolvement" title="http://www.w3.org/ns/prov#ActivityInvolvement">prov:ActivityInvolvement</a>
- <a class="owlclass" href="#DictionaryInvolvement" title="http://www.w3.org/ns/prov#DictionaryInvolvement">prov:DictionaryInvolvement</a>
- <a class="owlclass" href="#EntityInvolvement" title="http://www.w3.org/ns/prov#EntityInvolvement">prov:EntityInvolvement</a>
</dd>
<dt>qualifies</dt>
@@ -7102,12 +7107,12 @@
<a class="owlclass" href="#wasInvalidatedBy" title="http://www.w3.org/ns/prov#wasInvalidatedBy">prov:wasInvalidatedBy</a>
</li>
<li>
- <a class="owlclass" href="#wasStartedBy" title="http://www.w3.org/ns/prov#wasStartedBy">prov:wasStartedBy</a>
- </li>
- <li>
<a class="owlclass" href="#wasInformedBy" title="http://www.w3.org/ns/prov#wasInformedBy">prov:wasInformedBy</a>
</li>
<li>
+ <a class="owlclass" href="#wasGeneratedBy" title="http://www.w3.org/ns/prov#wasGeneratedBy">prov:wasGeneratedBy</a>
+ </li>
+ <li>
<a class="owlclass" href="#wasEndedBy" title="http://www.w3.org/ns/prov#wasEndedBy">prov:wasEndedBy</a>
</li>
<li>
@@ -7120,7 +7125,7 @@
<a class="owlclass" href="#wasAssociatedWith" title="http://www.w3.org/ns/prov#wasAssociatedWith">prov:wasAssociatedWith</a>
</li>
<li>
- <a class="owlclass" href="#wasGeneratedBy" title="http://www.w3.org/ns/prov#wasGeneratedBy">prov:wasGeneratedBy</a>
+ <a class="owlclass" href="#wasStartedBy" title="http://www.w3.org/ns/prov#wasStartedBy">prov:wasStartedBy</a>
</li>
<li>
<a class="owlclass" href="#used" title="http://www.w3.org/ns/prov#used">prov:used</a>
@@ -7666,8 +7671,19 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
-</pre>
+:the-Painter
+ a prov:Entity, :Painting;
+ rdfs:label "Le Peintre"@fr, "The Painter"@en;
+ prov:wasAttributedTo <http://dbpedia.org/resource/Pablo_Picasso>;
+
+ prov:wasInvalidatedBy :swissair_Flight_111_crash;
+ prov:qualifiedInvalidation [
+ a prov:Invalidation;
+ prov:activity :swissair_Flight_111_crash;
+ prov:atTime "2012-09-02T01:31:00Z";
+ prov:atLocation <http://toolserver.org/~geohack/geohack.php?pagename=Swissair_Flight_111&params=44_24_33_N_63_58_25_W_region:CA-NS_type:landmark_scale:500000>;
+ ];
+. </pre>
</div>
<div class="description">
@@ -7832,7 +7848,7 @@
prov:qualifiedResponsibility [
a prov:Responsibility;
prov:agent :city-of-Paris;
- prov:hadRole :employer; # The city of Paris employed the chauffeur during the enforcement.
+ prov:hadRole :employer; # The city of Paris employed the officer during the enforcement.
];
.
@@ -9603,219 +9619,40 @@
</section -->
+ <div class="appendix section" id="prov-o-owl-profile">
+
+<!-- OddPage -->
+<h2><span class="secno">A. </span>PROV-O OWL Profile</h2>
+ <p>To encourage widespread adoption, PROV-O's design is intentionally minimal and lightweight. The OWL RL profile was used as a baseline for simplicity, i.e., if an OWL assertion was not RL compliant, then it would require justification to be included in the final ontology. This section enumerates those axioms that are beyond OWL RL, along with a description of why they were important enough to be included.
+ </p>
+<table>
+ <tbody><tr>
+ <td>Use of non-superclass expression in position that requires a superclass expression: ObjectUnionOf(provDerivation provResponsibility provStart) [ObjectPropertyDomain(provhadActivity ObjectUnionOf(provDerivation provResponsibility provStart)) in provhttp://www.w3.org/TR/2012/WD-prov-o-2012MMDD]</td>
+ <td>hadActivity</td>
+ </tr>
+ <tr>
+ <td>Use of non-superclass expression in position that requires a superclass expression: ObjectUnionOf(provAssociation provEnd provGeneration provStart provUsage) [ObjectPropertyDomain(provhadRole ObjectUnionOf(provAssociation provEnd provGeneration provStart provUsage)) in provhttp://www.w3.org/TR/2012/WD-prov-o-2012MMDD]</td>
+ <td>hadRole</td>
+ </tr>
+</tbody></table>
+
+ </div>
+
<div class="appendix section" id="names-of-inverse-properties">
<!-- OddPage -->
-<h2><span class="secno">A. </span>Names of inverse properties</h2>
+<h2><span class="secno">B. </span>Names of inverse properties</h2>
<p>Defining them both may lead to split use, and both will need to be handled (doubling the effort). The opposite is true. Not defining them will make people that want them named to choose their own name. To balance these tradeoffs, we choose a preferred inverse and define it in PROV-O. The inverse is not defined, but if users wish to refer to it, they should use the following names.</p>
- <table class="inverse-names">
- <caption>Names of inverses</caption>
- <tbody><tr>
- <th>PROV-O Property</th>
- <th>Recommended inverse name</th>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#qualifiedAssociation" title="http://www.w3.org/ns/prov#qualifiedAssociation">prov:qualifiedAssociation</a></td>
- <td>prov:associatedActivity</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#agent" title="http://www.w3.org/ns/prov#agent">prov:agent</a></td>
- <td>prov:agentInvolvement</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#atLocation" title="http://www.w3.org/ns/prov#atLocation">prov:atLocation</a></td>
- <td>prov:locationOf</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#hadPlan" title="http://www.w3.org/ns/prov#hadPlan">prov:hadPlan</a></td>
- <td>prov:wasPlanFor</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#qualifiedGeneration" title="http://www.w3.org/ns/prov#qualifiedGeneration">prov:qualifiedGeneration</a></td>
- <td>prov:generatedEntity</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#wasDerivedFrom" title="http://www.w3.org/ns/prov#wasDerivedFrom">prov:wasDerivedFrom</a></td>
- <td>prov:hadDerivation</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#wasInvalidatedBy" title="http://www.w3.org/ns/prov#wasInvalidatedBy">prov:wasInvalidatedBy</a></td>
- <td>prov:invalidated</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#hadOriginalSource" title="http://www.w3.org/ns/prov#hadOriginalSource">prov:hadOriginalSource</a></td>
- <td>prov:wasOriginalSourceOf</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#tracedTo" title="http://www.w3.org/ns/prov#tracedTo">prov:tracedTo</a></td>
- <td>prov:tracedFrom</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#used" title="http://www.w3.org/ns/prov#used">prov:used</a></td>
- <td>prov:wasUsedBy</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#involvee" title="http://www.w3.org/ns/prov#involvee">prov:involvee</a></td>
- <td>prov:involvement</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#wasStartedBy" title="http://www.w3.org/ns/prov#wasStartedBy">prov:wasStartedBy</a></td>
- <td>prov:started</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#generated" title="http://www.w3.org/ns/prov#generated">prov:generated</a></td>
- <td>prov:wasGeneratedBy</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#wasGeneratedBy" title="http://www.w3.org/ns/prov#wasGeneratedBy">prov:wasGeneratedBy</a></td>
- <td>prov:generated</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#qualifiedSource" title="http://www.w3.org/ns/prov#qualifiedSource">prov:qualifiedSource</a></td>
- <td>prov:sourcingEntity</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#inserted" title="http://www.w3.org/ns/prov#inserted">prov:inserted</a></td>
- <td>prov:wasInsertedBy</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#qualifiedStart" title="http://www.w3.org/ns/prov#qualifiedStart">prov:qualifiedStart</a></td>
- <td>prov:startedActivity</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#hadActivity" title="http://www.w3.org/ns/prov#hadActivity">prov:hadActivity</a></td>
- <td>prov:wasActivityOfInvolvement</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#hadGeneration" title="http://www.w3.org/ns/prov#hadGeneration">prov:hadGeneration</a></td>
- <td>prov:generatedAsDerivation</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#wasEndedBy" title="http://www.w3.org/ns/prov#wasEndedBy">prov:wasEndedBy</a></td>
- <td>prov:ended</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#qualifiedResponsibility" title="http://www.w3.org/ns/prov#qualifiedResponsibility">prov:qualifiedResponsibility</a></td>
- <td>prov:responsibleAgent</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#entity" title="http://www.w3.org/ns/prov#entity">prov:entity</a></td>
- <td>prov:entityInvolvement</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#specializationOf" title="http://www.w3.org/ns/prov#specializationOf">prov:specializationOf</a></td>
- <td>prov:generalizationOf</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#activity" title="http://www.w3.org/ns/prov#activity">prov:activity</a></td>
- <td>prov:activityInvolvement</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#involved" title="http://www.w3.org/ns/prov#involved">prov:involved</a></td>
- <td>prov:wasInvolvedWith</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#dictionary" title="http://www.w3.org/ns/prov#dictionary">prov:dictionary</a></td>
- <td>prov:dictionaryInvolvement</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#wasAssociatedWith" title="http://www.w3.org/ns/prov#wasAssociatedWith">prov:wasAssociatedWith</a></td>
- <td>prov:wasAssociateFor</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#wasAttributedTo" title="http://www.w3.org/ns/prov#wasAttributedTo">prov:wasAttributedTo</a></td>
- <td>prov:contributed</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#wasRevisionOf" title="http://www.w3.org/ns/prov#wasRevisionOf">prov:wasRevisionOf</a></td>
- <td>prov:hadRevision</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#qualifiedDerivation" title="http://www.w3.org/ns/prov#qualifiedDerivation">prov:qualifiedDerivation</a></td>
- <td>prov:derivedEntity</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#hadUsage" title="http://www.w3.org/ns/prov#hadUsage">prov:hadUsage</a></td>
- <td>prov:wasUsedInDerivation</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#alternateOf" title="http://www.w3.org/ns/prov#alternateOf">prov:alternateOf</a></td>
- <td>prov:alternateOf</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#qualifiedUsage" title="http://www.w3.org/ns/prov#qualifiedUsage">prov:qualifiedUsage</a></td>
- <td>prov:consumingActivity</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#wasInformedBy" title="http://www.w3.org/ns/prov#wasInformedBy">prov:wasInformedBy</a></td>
- <td>prov:informed</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#hadRole" title="http://www.w3.org/ns/prov#hadRole">prov:hadRole</a></td>
- <td>prov:wasRoleIn</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#actedOnBehalfOf" title="http://www.w3.org/ns/prov#actedOnBehalfOf">prov:actedOnBehalfOf</a></td>
- <td>prov:responsibleFor</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#qualifiedInsertion" title="http://www.w3.org/ns/prov#qualifiedInsertion">prov:qualifiedInsertion</a></td>
- <td>prov:insertedToDictionary</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#pairValue" title="http://www.w3.org/ns/prov#pairValue">prov:pairValue</a></td>
- <td>prov:valueOf</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#qualifiedRemoval" title="http://www.w3.org/ns/prov#qualifiedRemoval">prov:qualifiedRemoval</a></td>
- <td>prov:removedFromDictionary</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#derivedByRemovalFrom" title="http://www.w3.org/ns/prov#derivedByRemovalFrom">prov:derivedByRemovalFrom</a></td>
- <td>prov:hadDerivationByRemoval</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#qualifiedCommunication" title="http://www.w3.org/ns/prov#qualifiedCommunication">prov:qualifiedCommunication</a></td>
- <td>prov:informedActivity</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#qualifiedEnd" title="http://www.w3.org/ns/prov#qualifiedEnd">prov:qualifiedEnd</a></td>
- <td>prov:endedActivity</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#membership" title="http://www.w3.org/ns/prov#membership">prov:membership</a></td>
- <td>prov:membershipOf</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#member" title="http://www.w3.org/ns/prov#member">prov:member</a></td>
- <td>prov:inMembership</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#wasQuotedFrom" title="http://www.w3.org/ns/prov#wasQuotedFrom">prov:wasQuotedFrom</a></td>
- <td>prov:wasQuotedBy</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#derivedByInsertionFrom" title="http://www.w3.org/ns/prov#derivedByInsertionFrom">prov:derivedByInsertionFrom</a></td>
- <td>prov:hadDerivationByInsertion</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#qualifiedAttribution" title="http://www.w3.org/ns/prov#qualifiedAttribution">prov:qualifiedAttribution</a></td>
- <td>prov:attributedEntity</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#qualifiedRevision" title="http://www.w3.org/ns/prov#qualifiedRevision">prov:qualifiedRevision</a></td>
- <td>prov:revisedEntity</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#qualifiedQuotation" title="http://www.w3.org/ns/prov#qualifiedQuotation">prov:qualifiedQuotation</a></td>
- <td>prov:quotedByEntity</td>
- </tr>
- <tr>
- <td><a class="owlproperty" href="#qualifiedTrace" title="http://www.w3.org/ns/prov#qualifiedTrace">prov:qualifiedTrace</a></td>
- <td>prov:tracedEntity</td>
- </tr>
-</tbody></table><div class="appendix section" id="acknowledgements">
- <h3><span class="secno">A.1 </span>Acknowledgements</h3>
+
+<!-- include "includes/inverse-names.html" -->
+
+ </div>
+
+
+ <div class="appendix section" id="acknowledgements">
+
+<!-- OddPage -->
+<h2><span class="secno">C. </span>Acknowledgements</h2>
<p>Thanks to the members of the Provenance Working Group for their feedback throughout the development of the PROV Ontology and this documentation page. We also thank the developers of the tools that helped create the PROV-O ontology and portions of this page. Without these great tools, developing PROV-O would have been much less of a pleasure.</p>
<ul>
<li>Stanford's <a href="http://protege.stanford.edu/">Protege</a> for editing the ontology.</li>
@@ -9827,12 +9664,14 @@
</ul>
</div>
-</div><div id="references" class="appendix section">
+
+
+<div id="references" class="appendix section">
<!-- OddPage -->
-<h2><span class="secno">B. </span>References</h2><div id="normative-references" class="section"><h3><span class="secno">B.1 </span>Normative references</h3><dl class="bibliography"><dt id="bib-OWL2-RDF-BASED-SEMANTICS">[OWL2-RDF-BASED-SEMANTICS]</dt><dd>Michael Schneider. <a href="http://www.w3.org/TR/2009/REC-owl2-rdf-based-semantics-20091027/"><cite>OWL 2 Web Ontology Language:RDF-Based Semantics.</cite></a> 27 October 2009. W3C Recommendation. URL: <a href="http://www.w3.org/TR/2009/REC-owl2-rdf-based-semantics-20091027/">http://www.w3.org/TR/2009/REC-owl2-rdf-based-semantics-20091027/</a>
+<h2><span class="secno">D. </span>References</h2><div id="normative-references" class="section"><h3><span class="secno">D.1 </span>Normative references</h3><dl class="bibliography"><dt id="bib-OWL2-RDF-BASED-SEMANTICS">[OWL2-RDF-BASED-SEMANTICS]</dt><dd>Michael Schneider. <a href="http://www.w3.org/TR/2009/REC-owl2-rdf-based-semantics-20091027/"><cite>OWL 2 Web Ontology Language:RDF-Based Semantics.</cite></a> 27 October 2009. W3C Recommendation. URL: <a href="http://www.w3.org/TR/2009/REC-owl2-rdf-based-semantics-20091027/">http://www.w3.org/TR/2009/REC-owl2-rdf-based-semantics-20091027/</a>
</dd><dt id="bib-RFC2119">[RFC2119]</dt><dd>S. Bradner. <a href="http://www.ietf.org/rfc/rfc2119.txt"><cite>Key words for use in RFCs to Indicate Requirement Levels.</cite></a> March 1997. Internet RFC 2119. URL: <a href="http://www.ietf.org/rfc/rfc2119.txt">http://www.ietf.org/rfc/rfc2119.txt</a>
</dd><dt id="bib-XMLSCHEMA-2">[XMLSCHEMA-2]</dt><dd>Paul V. Biron; Ashok Malhotra. <a href="http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/"><cite>XML Schema Part 2: Datatypes Second Edition.</cite></a> 28 October 2004. W3C Recommendation. URL: <a href="http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/">http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/</a>
-</dd></dl></div><div id="informative-references" class="section"><h3><span class="secno">B.2 </span>Informative references</h3><dl class="bibliography"><dt id="bib-PROV-DM">[PROV-DM]</dt><dd>Luc Moreau, Paolo Missier<a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/"><cite>The PROV Data Model and Abstract Syntax Notation</cite></a>. 18 October 2011. W3C Working Draft. (Work in progress.) URL: <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/">http://www.w3.org/TR/2011/WD-prov-dm-20111018/</a>
+</dd></dl></div><div id="informative-references" class="section"><h3><span class="secno">D.2 </span>Informative references</h3><dl class="bibliography"><dt id="bib-PROV-DM">[PROV-DM]</dt><dd>Luc Moreau, Paolo Missier<a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/"><cite>The PROV Data Model and Abstract Syntax Notation</cite></a>. 18 October 2011. W3C Working Draft. (Work in progress.) URL: <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/">http://www.w3.org/TR/2011/WD-prov-dm-20111018/</a>
</dd><dt id="bib-PROV-PAQ">[PROV-PAQ]</dt><dd>Graham Klyne and Paul Groth <a href="https://dvcs.w3.org/hg/prov/raw-file/tip/paq/prov-aq.html"><cite>Provenance Access and Query</cite></a>. 2011, Work in progress. URL: <a href="https://dvcs.w3.org/hg/prov/raw-file/tip/paq/prov-aq.html">https://dvcs.w3.org/hg/prov/raw-file/tip/paq/prov-aq.html</a>
</dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda Gil and Simon Miles (eds.) Khalid Belhajjame, Helena Deus, Daniel Garijo, Graham Klyne, Paolo Missier, Stian Soiland-Reyes, and Stephan Zednik <a href="http://www.w3.org/TR/prov-primer/"><cite>Prov Model Primer</cite></a>. 2011, Working Draft. URL: <a href="http://www.w3.org/TR/prov-primer/">http://www.w3.org/TR/prov-primer/</a>
</dd></dl></div></div></body></html>