Updated Overview.html
authorStian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Tue, 06 Dec 2011 08:30:19 +0000
changeset 1179 712834b53967
parent 1178 40cf7cf727ff
child 1180 6383a22d4f89
Updated Overview.html
ontology/Overview.html
--- a/ontology/Overview.html	Mon Dec 05 21:51:58 2011 +0100
+++ b/ontology/Overview.html	Tue Dec 06 08:30:19 2011 +0000
@@ -631,7 +631,7 @@
     padding:    3px 1em;
 }
 </style><link charset="utf-8" type="text/css" rel="stylesheet" href="http://www.w3.org/StyleSheets/TR/W3C-WD"></head>
-  <body style="display: inherit;"><div class="head"><p><a href="http://www.w3.org/"><img src="http://www.w3.org/Icons/w3c_home" alt="W3C" height="48" width="72"></a></p><h1 class="title" id="title">The PROV Ontology: Model and Formal Semantics</h1><h2 id="w3c-working-draft-29-november-2011"><acronym title="World Wide Web Consortium">W3C</acronym> Working Draft 29 November 2011</h2><dl><dt>This version:</dt><dd><a href="http://www.w3.org/TR/2011/WD-prov-o-20111129/">http://www.w3.org/TR/2011/WD-prov-o-20111129/</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>Editors:</dt><dd><a href="http://cci.case.edu/cci/index.php/Satya_Sahoo">Satya Sahoo</a>, Case Western Reserve University, USA</dd>
+  <body style="display: inherit;"><div class="head"><p><a href="http://www.w3.org/"><img src="http://www.w3.org/Icons/w3c_home" alt="W3C" height="48" width="72"></a></p><h1 class="title" id="title">The PROV Ontology: Model and Formal Semantics</h1><h2 id="w3c-working-draft-24-november-2011"><acronym title="World Wide Web Consortium">W3C</acronym> Working Draft 24 November 2011</h2><dl><dt>This version:</dt><dd><a href="http://www.w3.org/TR/2011/WD-prov-o-20111124/">http://www.w3.org/TR/2011/WD-prov-o-20111124/</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>Editors:</dt><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>
 <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>
@@ -649,9 +649,9 @@
 
     </div><div id="sotd" class="introductory section"><h2>Status of This Document</h2><p><em>This section describes the status of this document at the time of its publication. Other documents may supersede this document. A list of current <acronym title="World Wide Web Consortium">W3C</acronym> publications and the latest revision of this technical report can be found in the <a href="http://www.w3.org/TR/"><acronym title="World Wide Web Consortium">W3C</acronym> technical reports index</a> at http://www.w3.org/TR/.</em></p>
 	  <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.
+	  This specification defines the PROV Ontology as the normative representation of the PROV Data Model using the Web Ontology Language (OWL2). 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, (2) the PROV Access and Query, and (3) the Primer documents.
 	  </p>	
-    <p>This document was published by the <a href="http://www.w3.org/2011/prov/wiki/Main_Page">Provenance Working Group</a> as a First Public 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 href="http://www.w3.org/2004/01/pp-impl/46974/status" rel="disclosure">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 class="section" id="toc"><h2 class="introductory">Table of Contents</h2><ul class="toc"><li class="tocline"><a class="tocxref" href="#introduction"><span class="secno">1. </span>Introduction</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#guide-to-this-document"><span class="secno">1.1 </span>Guide to this Document</a></li></ul></li><li class="tocline"><a class="tocxref" href="#prov-ontology"><span class="secno">2. </span>PROV Ontology</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#mapping-the-prov-dm-terms-to-prov-ontology"><span class="secno">2.1 </span>Mapping the PROV-DM terms to PROV Ontology</a></li><li class="tocline"><a class="tocxref" href="#owl2-syntax-used-in-this-document"><span class="secno">2.2 </span>OWL2 Syntax Used in this Document</a></li><li class="tocline"><a class="tocxref" href="#namespace-and-owl2-version"><span class="secno">2.3 </span>Namespace and OWL2 version</a></li></ul></li><li class="tocline"><a class="tocxref" href="#prov-ontology--owl-encoding-of-prov-data-model"><span class="secno">3. </span>PROV Ontology: Classes and Properties</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#classes"><span class="secno">3.1 </span>Classes</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#entity"><span class="secno">3.1.1 </span>Entity</a></li><li class="tocline"><a class="tocxref" href="#activity"><span class="secno">3.1.2 </span>Activity</a></li><li class="tocline"><a class="tocxref" href="#agent"><span class="secno">3.1.3 </span>Agent</a></li><li class="tocline"><a class="tocxref" href="#temporalentity"><span class="secno">3.1.4 </span>TemporalEntity</a></li><li class="tocline"><a class="tocxref" href="#provenancecontainer"><span class="secno">3.1.5 </span>ProvenanceContainer</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#modeling-provenancecontainer-and-account-as-rdf-graph"><span class="secno">3.1.5.1 </span>Modeling ProvenanceContainer and Account as RDF Graph</a></li></ul></li><li class="tocline"><a class="tocxref" href="#location"><span class="secno">3.1.6 </span>Location</a></li><li class="tocline"><a class="tocxref" href="#qualifiedinvolvement"><span class="secno">3.1.7 </span>QualifiedInvolvement</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#usage"><span class="secno">3.1.7.1 </span>Usage</a></li><li class="tocline"><a class="tocxref" href="#participation"><span class="secno">3.1.7.2 </span>Participation</a></li><li class="tocline"><a class="tocxref" href="#control"><span class="secno">3.1.7.3 </span>Control</a></li><li class="tocline"><a class="tocxref" href="#generation"><span class="secno">3.1.7.4 </span>Generation</a></li></ul></li><li class="tocline"><a class="tocxref" href="#recipe"><span class="secno">3.1.8 </span>Recipe</a></li><li class="tocline"><a class="tocxref" href="#role"><span class="secno">3.1.9 </span>Role</a></li><li class="tocline"><a class="tocxref" href="#classes-under-discussion"><span class="secno">3.1.10 </span>Classes under Discussion</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#time"><span class="secno">3.1.10.1 </span>Time</a></li></ul></li></ul></li><li class="tocline"><a class="tocxref" href="#object-properties"><span class="secno">3.2 </span>Object Properties</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#wasgeneratedby"><span class="secno">3.2.1 </span>wasGeneratedBy</a></li><li class="tocline"><a class="tocxref" href="#revision"><span class="secno">3.2.2 </span>wasRevisionOf</a></li><li class="tocline"><a class="tocxref" href="#wasderivedfrom"><span class="secno">3.2.3 </span>wasDerivedFrom</a></li><li class="tocline"><a class="tocxref" href="#waseventuallyderivedfrom"><span class="secno">3.2.4 </span>wasEventuallyDerivedFrom</a></li><li class="tocline"><a class="tocxref" href="#dependedon"><span class="secno">3.2.5 </span>dependedOn</a></li><li class="tocline"><a class="tocxref" href="#used"><span class="secno">3.2.6 </span>used</a></li><li class="tocline"><a class="tocxref" href="#hadparticipant"><span class="secno">3.2.7 </span>hadParticipant</a></li><li class="tocline"><a class="tocxref" href="#wascomplementof"><span class="secno">3.2.8 </span>wasComplementOf</a></li><li class="tocline"><a class="tocxref" href="#wascontrolledby"><span class="secno">3.2.9 </span>wasControlledBy</a></li><li class="tocline"><a class="tocxref" href="#hadrecipe"><span class="secno">3.2.10 </span>hadRecipe</a></li><li class="tocline"><a class="tocxref" href="#wasinformedby"><span class="secno">3.2.11 </span>wasInformedBy</a></li><li class="tocline"><a class="tocxref" href="#wascheduledafter"><span class="secno">3.2.12 </span>wasScheduledAfter</a></li><li class="tocline"><a class="tocxref" href="#hadtemporalvalue"><span class="secno">3.2.13 </span>hadTemporalValue</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#startedat"><span class="secno">3.2.13.1 </span>startedAt</a></li><li class="tocline"><a class="tocxref" href="#endedat"><span class="secno">3.2.13.2 </span>endedAt</a></li><li class="tocline"><a class="tocxref" href="#wasGeneratedat"><span class="secno">3.2.13.3 </span>wasGeneratedAt</a></li></ul></li><li class="tocline"><a class="tocxref" href="#attribution"><span class="secno">3.2.14 </span>wasAttributedTo</a></li><li class="tocline"><a class="tocxref" href="#quotation"><span class="secno">3.2.15 </span>wasQuoteOf</a></li><li class="tocline"><a class="tocxref" href="#summary"><span class="secno">3.2.16 </span>wasSummaryOf</a></li><li class="tocline"><a class="tocxref" href="#originalsource"><span class="secno">3.2.17 </span>hadOriginalSource</a></li><li class="tocline"><a class="tocxref" href="#hadqualifiedusage"><span class="secno">3.2.18 </span>hadQualifiedUsage</a></li><li class="tocline"><a class="tocxref" href="#hadqualifiedparticipation"><span class="secno">3.2.19 </span>hadQualifiedParticipation</a></li><li class="tocline"><a class="tocxref" href="#hadqualifiedcontrol"><span class="secno">3.2.20 </span>hadQualifiedControl</a></li><li class="tocline"><a class="tocxref" href="#hadqualifiedgeneration"><span class="secno">3.2.21 </span>hadQualifiedGeneration</a></li><li class="tocline"><a class="tocxref" href="#hadqualifiedentity"><span class="secno">3.2.22 </span>hadQualifiedEntity</a></li></ul></li><li class="tocline"><a class="tocxref" href="#characteristics-of-object-properties"><span class="secno">3.3 </span>Characteristics of Object Properties </a></li><li class="tocline"><a class="tocxref" href="#annotation-properties"><span class="secno">3.4 </span>Annotation Properties</a></li><li class="tocline"><a class="tocxref" href="#overview-of-the-ontology"><span class="secno">3.5 </span>Overview of the ontology</a></li><li class="tocline"><a class="tocxref" href="#overview-of-qualified-involvement"><span class="secno">3.6 </span>Overview of Qualified Involvement</a></li></ul></li><li class="tocline"><a class="tocxref" href="#specializing-provenance-ontology-for-domain-specific-provenance-applications"><span class="secno">4. </span>Specializing the PROV Ontology for Domain-specific Provenance Applications</a></li><li class="tocline"><a class="tocxref" href="#formal-semantics-of-the-prov-ontology"><span class="secno">5. </span>Formal Semantics of the PROV Ontology</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#rdf-semantics-for-prov-ontology"><span class="secno">5.1 </span>RDF Semantics for PROV Ontology</a></li><li class="tocline"><a class="tocxref" href="#owl2-semantics-for-prov-ontology"><span class="secno">5.2 </span>OWL2 Semantics for PROV Ontology</a></li><li class="tocline"><a class="tocxref" href="#entailments-supported-by-the-provenance-model"><span class="secno">5.3 </span>Provenance-specific Entailments Supported by PROV Ontology</a></li></ul></li><li class="tocline"><a class="tocxref" href="#acknowledgements"><span class="secno">A. </span>Acknowledgements</a></li><li class="tocline"><a class="tocxref" href="#references"><span class="secno">B. </span>References</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#normative-references"><span class="secno">B.1 </span>Normative references</a></li><li class="tocline"><a class="tocxref" href="#informative-references"><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 First Public 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 href="http://www.w3.org/2004/01/pp-impl/46974/status" rel="disclosure">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 class="section" id="toc"><h2 class="introductory">Table of Contents</h2><ul class="toc"><li class="tocline"><a class="tocxref" href="#introduction"><span class="secno">1. </span>Introduction</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#guide-to-this-document"><span class="secno">1.1 </span>Guide to this Document</a></li></ul></li><li class="tocline"><a class="tocxref" href="#prov-ontology"><span class="secno">2. </span>PROV Ontology</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#mapping-the-prov-dm-terms-to-prov-ontology"><span class="secno">2.1 </span>Mapping the PROV-DM terms to PROV Ontology</a></li><li class="tocline"><a class="tocxref" href="#owl2-syntax-used-in-this-document"><span class="secno">2.2 </span>OWL2 Syntax Used in this Document</a></li><li class="tocline"><a class="tocxref" href="#namespace-and-owl2-version"><span class="secno">2.3 </span>Namespace and OWL2 version</a></li></ul></li><li class="tocline"><a class="tocxref" href="#prov-ontology--owl-encoding-of-prov-data-model"><span class="secno">3. </span>PROV Ontology: Classes and Properties</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#classes"><span class="secno">3.1 </span>Classes</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#entity"><span class="secno">3.1.1 </span>Entity</a></li><li class="tocline"><a class="tocxref" href="#activity"><span class="secno">3.1.2 </span>Activity</a></li><li class="tocline"><a class="tocxref" href="#agent"><span class="secno">3.1.3 </span>Agent</a></li><li class="tocline"><a class="tocxref" href="#temporalentity"><span class="secno">3.1.4 </span>TemporalEntity</a></li><li class="tocline"><a class="tocxref" href="#provenancecontainer"><span class="secno">3.1.5 </span>ProvenanceContainer</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#modeling-provenancecontainer-and-account-as-rdf-graph"><span class="secno">3.1.5.1 </span>Modeling ProvenanceContainer and Account as RDF Graph</a></li></ul></li><li class="tocline"><a class="tocxref" href="#location"><span class="secno">3.1.6 </span>Location</a></li><li class="tocline"><a class="tocxref" href="#qualifiedinvolvement"><span class="secno">3.1.7 </span>QualifiedInvolvement</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#usage"><span class="secno">3.1.7.1 </span>Usage</a></li><li class="tocline"><a class="tocxref" href="#participation"><span class="secno">3.1.7.2 </span>Participation</a></li><li class="tocline"><a class="tocxref" href="#control"><span class="secno">3.1.7.3 </span>Control</a></li><li class="tocline"><a class="tocxref" href="#generation"><span class="secno">3.1.7.4 </span>Generation</a></li></ul></li><li class="tocline"><a class="tocxref" href="#recipe"><span class="secno">3.1.8 </span>Recipe</a></li><li class="tocline"><a class="tocxref" href="#role"><span class="secno">3.1.9 </span>Role</a></li><li class="tocline"><a class="tocxref" href="#classes-under-discussion"><span class="secno">3.1.10 </span>Classes under Discussion</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#time"><span class="secno">3.1.10.1 </span>Time</a></li></ul></li></ul></li><li class="tocline"><a class="tocxref" href="#object-properties"><span class="secno">3.2 </span>Object Properties</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#wasgeneratedby"><span class="secno">3.2.1 </span>wasGeneratedBy</a></li><li class="tocline"><a class="tocxref" href="#revision"><span class="secno">3.2.2 </span>wasRevisionOf</a></li><li class="tocline"><a class="tocxref" href="#wasderivedfrom"><span class="secno">3.2.3 </span>wasDerivedFrom</a></li><li class="tocline"><a class="tocxref" href="#waseventuallyderivedfrom"><span class="secno">3.2.4 </span>wasEventuallyDerivedFrom</a></li><li class="tocline"><a class="tocxref" href="#dependedon"><span class="secno">3.2.5 </span>dependedOn</a></li><li class="tocline"><a class="tocxref" href="#used"><span class="secno">3.2.6 </span>used</a></li><li class="tocline"><a class="tocxref" href="#hadparticipant"><span class="secno">3.2.7 </span>hadParticipant</a></li><li class="tocline"><a class="tocxref" href="#wascomplementof"><span class="secno">3.2.8 </span>wasComplementOf</a></li><li class="tocline"><a class="tocxref" href="#wascontrolledby"><span class="secno">3.2.9 </span>wasControlledBy</a></li><li class="tocline"><a class="tocxref" href="#hadrecipe"><span class="secno">3.2.10 </span>hadRecipe</a></li><li class="tocline"><a class="tocxref" href="#wasinformedby"><span class="secno">3.2.11 </span>wasInformedBy</a></li><li class="tocline"><a class="tocxref" href="#wascheduledafter"><span class="secno">3.2.12 </span>wasScheduledAfter</a></li><li class="tocline"><a class="tocxref" href="#hadtemporalvalue"><span class="secno">3.2.13 </span>hadTemporalValue</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#startedat"><span class="secno">3.2.13.1 </span>startedAt</a></li><li class="tocline"><a class="tocxref" href="#endedat"><span class="secno">3.2.13.2 </span>endedAt</a></li><li class="tocline"><a class="tocxref" href="#wasGeneratedat"><span class="secno">3.2.13.3 </span>wasGeneratedAt</a></li></ul></li><li class="tocline"><a class="tocxref" href="#attribution"><span class="secno">3.2.14 </span>wasAttributedTo</a></li><li class="tocline"><a class="tocxref" href="#quotation"><span class="secno">3.2.15 </span>wasQuoteOf</a></li><li class="tocline"><a class="tocxref" href="#summary"><span class="secno">3.2.16 </span>wasSummaryOf</a></li><li class="tocline"><a class="tocxref" href="#originalsource"><span class="secno">3.2.17 </span>hadOriginalSource</a></li><li class="tocline"><a class="tocxref" href="#hadqualifiedusage"><span class="secno">3.2.18 </span>hadQualifiedUsage</a></li><li class="tocline"><a class="tocxref" href="#hadqualifiedparticipation"><span class="secno">3.2.19 </span>hadQualifiedParticipation</a></li><li class="tocline"><a class="tocxref" href="#hadqualifiedcontrol"><span class="secno">3.2.20 </span>hadQualifiedControl</a></li><li class="tocline"><a class="tocxref" href="#hadqualifiedgeneration"><span class="secno">3.2.21 </span>hadQualifiedGeneration</a></li><li class="tocline"><a class="tocxref" href="#hadqualifiedentity"><span class="secno">3.2.22 </span>hadQualifiedEntity</a></li></ul></li><li class="tocline"><a class="tocxref" href="#characteristics-of-object-properties"><span class="secno">3.3 </span>Characteristics of Object Properties </a></li><li class="tocline"><a class="tocxref" href="#annotation-properties"><span class="secno">3.4 </span>Annotation Properties</a></li><li class="tocline"><a class="tocxref" href="#overview-of-the-ontology"><span class="secno">3.5 </span>Overview of the ontology</a></li><li class="tocline"><a class="tocxref" href="#overview-of-qualified-involvement"><span class="secno">3.6 </span>Overview of Qualified Involvement</a></li></ul></li><li class="tocline"><a class="tocxref" href="#specializing-provenance-ontology-for-domain-specific-provenance-applications"><span class="secno">4. </span>Specializing the PROV Ontology for Domain-specific Provenance Applications</a></li><li class="tocline"><a class="tocxref" href="#formal-semantics-of-the-prov-ontology"><span class="secno">5. </span>Formal Semantics of the PROV Ontology</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#rdf-semantics-for-prov-ontology"><span class="secno">5.1 </span>RDF Semantics for PROV Ontology</a></li><li class="tocline"><a class="tocxref" href="#owl2-semantics-for-prov-ontology"><span class="secno">5.2 </span>OWL2 Semantics for PROV Ontology</a></li><li class="tocline"><a class="tocxref" href="#entailments-supported-by-the-provenance-model"><span class="secno">5.3 </span>Provenance-specific Entailments Supported by PROV Ontology</a></li></ul></li><li class="tocline"><a class="tocxref" href="#acknowledgements"><span class="secno">A. </span>Acknowledgements</a></li><li class="tocline"><a class="tocxref" href="#references"><span class="secno">B. </span>References</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#normative-references"><span class="secno">B.1 </span>Normative references</a></li><li class="tocline"><a class="tocxref" href="#informative-references"><span class="secno">B.2 </span>Informative references</a></li></ul></li></ul></div>
    
     
 
@@ -886,14 +886,14 @@
 		<div class="section" id="qualifiedinvolvement">
 		  <h4><span class="secno">3.1.7 </span>QualifiedInvolvement</h4>	    
 		  <div><b>Class Description</b></div>
-	      <p>The QualifiedInvolvement class represents an n-ary property to capture qualifying information related to the  use of Entity by Activity.</p>
+	      <p>The QualifiedInvolvement class represents an n-ary property to capture qualifying information related to the the use, generation, control, and participation.</p>
 		  <div><b>OWL syntax</b></div>
 		  <pre>prov:QualifiedInvolvement rdfs:subClassOf owl:Thing.</pre>
 		
 		  <div class="section" id="usage">
   		    <h5><span class="secno">3.1.7.1 </span>Usage</h5>	    
 		    <div><b>Class Description</b></div>
-		    <p>The Usage class represents an n-ary property to capture qualifying information related to the the use, generation, control, and participation.</p>
+		    <p>The Usage class represents an n-ary property to capture qualifying information related to the  use of Entity by Activity.</p>
 		    <div><b>OWL syntax</b></div>
 		    <pre>prov:Usage rdfs:subClassOf prov:QualifiedInvolvement.</pre>
 			<div class="anexample">