--- a/ontology/Overview.html Wed May 23 22:24:34 2012 -0400
+++ b/ontology/Overview.html Wed May 23 22:32:37 2012 -0400
@@ -1248,11 +1248,11 @@
</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.
- </p>
-
- <p style="text-align: center;">The OWL encoding of the PROV Ontology is available <a href="https://dvcs.w3.org/hg/prov/raw-file/cf7deb6c5f3e/ontology/ProvenanceOntology.owl">here</a>.
- </p>
+ <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.
+ </p>
+
+ <p style="text-align: center;">The OWL encoding of the PROV Ontology is available <a href="https://dvcs.w3.org/hg/prov/raw-file/cf7deb6c5f3e/ontology/ProvenanceOntology.owl">here</a>.
+ </p>
</div><div class="introductory section" id="sotd"><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>
<h4 id="prov-family-of-specifications">PROV Family of Specifications</h4>
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
@@ -1281,34 +1281,27 @@
<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>
-
+
+
<div id="introduction" class="section">
-
+
<!-- OddPage -->
<h2><span class="secno">1. </span>Introduction</h2>
- <p>The PROV Ontology (PROV-O) defines the normative OWL2 Web Ontology Language encoding of the PROV Data Model [<cite><a class="bibref" rel="biblioentry" href="#bib-PROV-DM">PROV-DM</a></cite>]. This document describes the set of classes, properties, and restrictions that constitute the PROV Ontology. This ontology specification provides the foundation to implement provenance applications in different domains that can represent, exchange, and integrate provenance information generated in different systems and under different contexts. Together with the PROV Access and Query [<cite><a class="bibref" rel="biblioentry" href="#bib-PROV-PAQ">PROV-PAQ</a></cite>] and PROV Data Model [<cite><a class="bibref" rel="biblioentry" href="#bib-PROV-DM">PROV-DM</a></cite>], this document forms a framework for provenance information interchange and management in domain-specific Web-based applications.
- </p>
- <p>
- PROV-O conforms to the OWL-RL profile and is lightweight so that it can be adopted in the widest range of applications. The PROV Ontology classes and properties are defined such that they can not only be used directly to represent provenance information, but also can be specialized for modeling application-specific provenance details in a variety of domains. Thus, the PROV Ontology is expected to be both directly usable in applications as well as serve as a <i>reference model</i> for creating domain-specific provenance ontologies and thereby facilitate interoperable provenance modeling. To demonstrate the use of PROV-O classes and properties, this document uses an example provenance scenario similar to the one introduced in the PROV-Primer [<cite><a class="bibref" rel="biblioentry" href="#bib-PROV-PRIMER">PROV-PRIMER</a></cite>]. PROV-O conforms to the OWL-RL profile and is lightweight so that it can be adopted in the widest range of applications.
- </p>
-
-<!-- p>
- Finally, this document describes the formal semantics of the PROV Ontology using the OWL2 semantics, [[!OWL2-DIRECT-SEMANTICS]], [[!OWL2-RDF-BASED-SEMANTICS]], and a set of provenance-specific inference rules. This is expected to support provenance implementations to automatically check for consistency of provenance information represented using PROV Ontology and explicitly assert implicit provenance knowledge.
- </p -->
-
- <p> The PROV Data Model [<cite><a class="bibref" rel="biblioentry" href="#bib-PROV-DM">PROV-DM</a></cite>] introduces a minimal set of concepts to represent provenance information in a variety of application domains. This document maps the PROV Data Model to PROV Ontology using the OWL2 ontology language, which facilitates a fixed interpretation and use of the PROV Data Model concepts based on the formal semantics of OWL2 [<cite><a class="bibref" rel="biblioentry" href="#bib-OWL2-RDF-BASED-SEMANTICS">OWL2-RDF-BASED-SEMANTICS</a></cite>].
- </p>
-
- <p> We briefly introduce some of the OWL2 modeling terms that will be used to describe the PROV Ontology. An OWL2 <i>instance</i> is an individual object in a domain of discourse, for example a person named Alice or a car, and a set of individuals sharing a set of additional characteristics is called a <i>class</i>. Person and Car are examples of classes representing the set of individual persons and cars respectively. The OWL2 object properties are used to link individuals, classes, or create a property hierarchy. For example, the object property "hasOwner" can be used to link car with person. The OWL2 datatype properties are used to link individuals or classes to data values, including XML Schema datatypes [<cite><a class="bibref" rel="biblioentry" href="#bib-XMLSCHEMA-2">XMLSCHEMA-2</a></cite>].
- </p>
-
- <p>The key words "<em class="rfc2119" title="must">must</em>", "<em class="rfc2119" title="must not">must not</em>", "<em class="rfc2119" title="required">required</em>", "<em class="rfc2119" title="shall">shall</em>", "<em class="rfc2119" title="shall not">shall not</em>", "<em class="rfc2119" title="should">should</em>", "<em class="rfc2119" title="should not">should not</em>", "<em class="rfc2119" title="recommended">recommended</em>", "<em class="rfc2119" title="may">may</em>", and "<em class="rfc2119" title="optional">optional</em>" in this document are to be interpreted as described in [<cite><a class="bibref" rel="biblioentry" href="#bib-RFC2119">RFC2119</a></cite>].</p>
- </div>
-<!-- Introduction -->
-
+ <p>The PROV Ontology (PROV-O) defines the normative OWL2 Web Ontology Language encoding of the PROV Data Model [<cite><a class="bibref" rel="biblioentry" href="#bib-PROV-DM">PROV-DM</a></cite>]. This document describes the set of classes, properties, and restrictions that constitute the PROV Ontology. This ontology specification provides the foundation to implement provenance applications in different domains that can represent, exchange, and integrate provenance information generated in different systems and under different contexts. Together with the PROV Access and Query [<cite><a class="bibref" rel="biblioentry" href="#bib-PROV-PAQ">PROV-PAQ</a></cite>] and PROV Data Model [<cite><a class="bibref" rel="biblioentry" href="#bib-PROV-DM">PROV-DM</a></cite>], this document forms a framework for provenance information interchange and management in domain-specific Web-based applications.
+ </p>
+ <p>
+ PROV-O conforms to the OWL-RL profile and is lightweight so that it can be adopted in the widest range of applications. The PROV Ontology classes and properties are defined such that they can not only be used directly to represent provenance information, but also can be specialized for modeling application-specific provenance details in a variety of domains. Thus, the PROV Ontology is expected to be both directly usable in applications as well as serve as a <i>reference model</i> for creating domain-specific provenance ontologies and thereby facilitate interoperable provenance modeling. To demonstrate the use of PROV-O classes and properties, this document uses an example provenance scenario similar to the one introduced in the PROV-Primer [<cite><a class="bibref" rel="biblioentry" href="#bib-PROV-PRIMER">PROV-PRIMER</a></cite>]. PROV-O conforms to the OWL-RL profile and is lightweight so that it can be adopted in the widest range of applications.
+ </p>
+ <p> The PROV Data Model [<cite><a class="bibref" rel="biblioentry" href="#bib-PROV-DM">PROV-DM</a></cite>] introduces a minimal set of concepts to represent provenance information in a variety of application domains. This document maps the PROV Data Model to PROV Ontology using the OWL2 ontology language, which facilitates a fixed interpretation and use of the PROV Data Model concepts based on the formal semantics of OWL2 [<cite><a class="bibref" rel="biblioentry" href="#bib-OWL2-RDF-BASED-SEMANTICS">OWL2-RDF-BASED-SEMANTICS</a></cite>].
+ </p>
+
+ <p> We briefly introduce some of the OWL2 modeling terms that will be used to describe the PROV Ontology. An OWL2 <i>instance</i> is an individual object in a domain of discourse, for example a person named Alice or a car, and a set of individuals sharing a set of additional characteristics is called a <i>class</i>. Person and Car are examples of classes representing the set of individual persons and cars respectively. The OWL2 object properties are used to link individuals, classes, or create a property hierarchy. For example, the object property "hasOwner" can be used to link car with person. The OWL2 datatype properties are used to link individuals or classes to data values, including XML Schema datatypes [<cite><a class="bibref" rel="biblioentry" href="#bib-XMLSCHEMA-2">XMLSCHEMA-2</a></cite>].
+ </p>
+ <p>The key words "<em class="rfc2119" title="must">must</em>", "<em class="rfc2119" title="must not">must not</em>", "<em class="rfc2119" title="required">required</em>", "<em class="rfc2119" title="shall">shall</em>", "<em class="rfc2119" title="shall not">shall not</em>", "<em class="rfc2119" title="should">should</em>", "<em class="rfc2119" title="should not">should not</em>", "<em class="rfc2119" title="recommended">recommended</em>", "<em class="rfc2119" title="may">may</em>", and "<em class="rfc2119" title="optional">optional</em>" in this document are to be interpreted as described in [<cite><a class="bibref" rel="biblioentry" href="#bib-RFC2119">RFC2119</a></cite>].</p>
+ </div>
@@ -1685,7 +1678,7 @@
<div id="description" class="section">
<!-- OddPage -->
-<h2><span class="secno">3. </span>The PROV-O Ontology Description</h2>
+<h2><span class="secno">3. </span>The PROV-O Ontology Description</h2>
<p>This section introduces the terms in each of the following categories:
</p>
<ul>
@@ -1765,7 +1758,7 @@
<div xmlns:prov="http://www.w3.org/ns/prov#" class="exampleOuter" typeof="prov:Entity" about="#narrative-example-simple-1">
<p>The following PROV-O describes the resources involved when creating a chart about crime statistics. The example uses only Starting Point terms and serves as a basis for elaboration that will be described in subsequent sections. In the example, Derek performs an aggregation of some government crime data, grouping by national regions that are described in a separate dataset by a civil action group.
</p>
- <pre class="example" resource="http://dvcs.w3.org/hg/prov/raw-file/3f3083c6a9eb/ontology/khalid-jun-dropbox/eg16-journalism-simple-without-comments.ttl" rel="prov:wasQuotedFrom">@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+ <pre class="example" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/khalid-jun-dropbox/eg16-journalism-simple-without-comments.ttl" rel="prov:wasQuotedFrom">@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix ex: <http://example.org#> .
@@ -2482,7 +2475,7 @@
</div>
- </div>
+ </div>
@@ -2604,28 +2597,28 @@
<dt>in domain of</dt>
<dd>
- <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="#endedAtTime" title="http://www.w3.org/ns/prov#endedAtTime">prov:endedAtTime</a><sup title="data property" class="type-dp">dp</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="#wasEndedBy" title="http://www.w3.org/ns/prov#wasEndedBy">prov:wasEndedBy</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="#qualifiedCommunication" title="http://www.w3.org/ns/prov#qualifiedCommunication">prov:qualifiedCommunication</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="#endedAtTime" title="http://www.w3.org/ns/prov#endedAtTime">prov:endedAtTime</a><sup title="data property" class="type-dp">dp</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="#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="#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="#used" title="http://www.w3.org/ns/prov#used">prov:used</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>
<dd>
<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="#wasInvalidatedBy" title="http://www.w3.org/ns/prov#wasInvalidatedBy">prov:wasInvalidatedBy</a><sup title="object property" class="type-op">op</sup>
<a href="#hadActivity" title="http://www.w3.org/ns/prov#hadActivity">prov:hadActivity</a><sup title="object property" class="type-op">op</sup>
+ <a href="#activity" title="http://www.w3.org/ns/prov#activity">prov:activity</a><sup title="object property" class="type-op">op</sup>
<a href="#wasGeneratedBy" title="http://www.w3.org/ns/prov#wasGeneratedBy">prov:wasGeneratedBy</a><sup title="object property" class="type-op">op</sup>
- <a href="#activity" title="http://www.w3.org/ns/prov#activity">prov:activity</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>
</dd>
</dl>
</div>
@@ -2732,7 +2725,8 @@
<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="#qualifiedSource" title="http://www.w3.org/ns/prov#qualifiedSource">prov:qualifiedSource</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="#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="#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>
@@ -2740,39 +2734,38 @@
<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="#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="#generatedAtTime" title="http://www.w3.org/ns/prov#generatedAtTime">prov:generatedAtTime</a><sup title="data property" class="type-dp">dp</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="#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="#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="#qualifiedRevision" title="http://www.w3.org/ns/prov#qualifiedRevision">prov:qualifiedRevision</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="#tracedTo" title="http://www.w3.org/ns/prov#tracedTo">prov:tracedTo</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>
<a href="#wasGeneratedBy" title="http://www.w3.org/ns/prov#wasGeneratedBy">prov:wasGeneratedBy</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="#generatedAtTime" title="http://www.w3.org/ns/prov#generatedAtTime">prov:generatedAtTime</a><sup title="data property" class="type-dp">dp</sup>
</dd>
<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="#wasEndedBy" title="http://www.w3.org/ns/prov#wasEndedBy">prov:wasEndedBy</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="#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="#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="#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="#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="#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="#Account" title="http://www.w3.org/ns/prov#Account">prov:Account</a>
<a class="owlclass" href="#Dictionary" title="http://www.w3.org/ns/prov#Dictionary">prov:Dictionary</a>
</dd>
</dl>
@@ -3427,12 +3420,12 @@
<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="#hadOriginalSource" title="http://www.w3.org/ns/prov#hadOriginalSource">prov:hadOriginalSource</a>
- </li>
- <li>
<a class="owlclass" href="#wasRevisionOf" title="http://www.w3.org/ns/prov#wasRevisionOf">prov:wasRevisionOf</a>
</li>
</ul>
@@ -4490,6 +4483,11 @@
</pre>
</div>
+ <div class="description">
+ <dl>
+
+ </dl>
+ </div>
</div>
<div class="entity" id="wasEndedBy">
@@ -5026,9 +5024,9 @@
<dt>has subclasses</dt>
<dd>
- <a class="owlclass" href="#Generation" title="http://www.w3.org/ns/prov#Generation">prov:Generation</a>
<a class="owlclass" href="#Invalidation" title="http://www.w3.org/ns/prov#Invalidation">prov:Invalidation</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>
@@ -5387,8 +5385,8 @@
<dt>in domain of</dt>
<dd>
+ <a href="#hadGeneration" title="http://www.w3.org/ns/prov#hadGeneration">prov:hadGeneration</a><sup title="object property" class="type-op">op</sup>
<a href="#hadUsage" title="http://www.w3.org/ns/prov#hadUsage">prov:hadUsage</a><sup title="object property" class="type-op">op</sup>
- <a href="#hadGeneration" title="http://www.w3.org/ns/prov#hadGeneration">prov:hadGeneration</a><sup title="object property" class="type-op">op</sup>
</dd>
<dt>a domain of</dt>
@@ -5462,7 +5460,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="#entity" title="http://www.w3.org/ns/prov#entity">prov:entity</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="#entity" title="http://www.w3.org/ns/prov#entity">prov:entity</a> </dd>
<dt>in range of</dt>
<dd>
@@ -5670,10 +5668,10 @@
<dt>has subclasses</dt>
<dd>
<a class="owlclass" href="#Usage" title="http://www.w3.org/ns/prov#Usage">prov:Usage</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>
+ <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="#Invalidation" title="http://www.w3.org/ns/prov#Invalidation">prov:Invalidation</a>
- <a class="owlclass" href="#Start" title="http://www.w3.org/ns/prov#Start">prov:Start</a>
+ <a class="owlclass" href="#End" title="http://www.w3.org/ns/prov#End">prov:End</a>
</dd>
</dl>
</div>
@@ -6258,7 +6256,7 @@
<a href="#hadActivity" title="http://www.w3.org/ns/prov#hadActivity">prov:hadActivity</a> <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="#entity" title="http://www.w3.org/ns/prov#entity">prov:entity</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="#entity" title="http://www.w3.org/ns/prov#entity">prov:entity</a> </dd>
<dt>in range of</dt>
<dd>
@@ -6407,7 +6405,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="#entity" title="http://www.w3.org/ns/prov#entity">prov:entity</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="#entity" title="http://www.w3.org/ns/prov#entity">prov:entity</a> </dd>
<dt>in range of</dt>
<dd>
@@ -7109,24 +7107,24 @@
<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="#wasEndedBy" title="http://www.w3.org/ns/prov#wasEndedBy">prov:wasEndedBy</a>
</li>
<li>
+ <a class="owlclass" href="#generated" title="http://www.w3.org/ns/prov#generated">prov:generated</a>
+ </li>
+ <li>
<a class="owlclass" href="#tracedTo" title="http://www.w3.org/ns/prov#tracedTo">prov:tracedTo</a>
</li>
<li>
- <a class="owlclass" href="#generated" title="http://www.w3.org/ns/prov#generated">prov:generated</a>
- </li>
- <li>
<a class="owlclass" href="#wasAssociatedWith" title="http://www.w3.org/ns/prov#wasAssociatedWith">prov:wasAssociatedWith</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="#wasGeneratedBy" title="http://www.w3.org/ns/prov#wasGeneratedBy">prov:wasGeneratedBy</a>
</li>
<li>
@@ -8690,8 +8688,8 @@
<dt>in range of</dt>
<dd>
+ <a href="#member" title="http://www.w3.org/ns/prov#member">prov:member</a><sup title="object property" class="type-op">op</sup>
<a href="#inserted" title="http://www.w3.org/ns/prov#inserted">prov:inserted</a><sup title="object property" class="type-op">op</sup>
- <a href="#member" title="http://www.w3.org/ns/prov#member">prov:member</a><sup title="object property" class="type-op">op</sup>
</dd>
</dl>
</div>
@@ -9594,13 +9592,6 @@
</div>
</div>
-
-
-
-
-
-
-
<!-- section class="appendix">
<h2>Changes Since First Public Working Draft</h2>
@@ -9617,112 +9608,6 @@
</section -->
-
-<!-- <section class="appendix">
- <h2>Provenance-specific Constraints</h2>
- <p>This section lists the provenance-specific constraints introduced by the PROV-DM [[PROV-DM]], but are still under discussion.
- <section id="provenance-constraint-on-activity">
- <h4>Provenance constraint on Activity</h4>
- <p>The PROV-DM describes a constraint on ordering of time (or event) associated with a <a href="#activity">Activity.</a> </p>
- <div class='issue'>"From a process execution expression, one can infer that the start event precedes the end event of the represented activity." This is <a href="http://www.w3.org/2011/prov/track/issues/121">ISSUE-121</a></div>
- </section>
- <section id="provenance-constraint-on-wasgeneratedby-generation-affects-attributes">
- <h4>Provenance constraint on wasGeneratedBy (generation-affects-attributes)</h4>
- <p>The PROV-DM describes a constraint on wasGeneratedBy that associates the values of attributes of an Entity with the Activity that generated the Entity.</p>
- <div class='issue'>"Given a process execution act, entity e, role r, and optional time t, if the assertion wasGeneratedBy(e,pe,r) or wasGeneratedBy(e,pe,r,t) holds, the values of some of e's attributes are determined by the activity denoted by act and the entities used by act. Only some (possibly none) of the attributes values may be determined since, in an open world, not all used entities may have been asserted." This is <a href="http://www.w3.org/2011/prov/track/issues/122">ISSUE-122 </a> and <a href="http://www.w3.org/2011/prov/track/issues/105">ISSUE-105</a></div>
- </section>
- <section id="provenance-constraint-on-wasgeneratedby-generation-pe-ordering">
- <h4>Provenance constraint on wasGeneratedBy (generation-pe-ordering)</h4>
- <p>The second constraint on wasGeneratedBy associates an ordering of events associated with the generation of an Entity instance and the start, end time or event of theActivityinstance.</p>
- <div class='note'> Without an explicit association of <a href="#time">TemporalEntity</a> with the <a href="#entity">Entity</a> instance and <a href="#activity">PE</a> instance, it is not possible to state or enforce this constraint in the PROV Ontology schema and the corresponding RDF dataset.
- </div>
- </section>
- <section id="provenance-constraint-on-wasgeneratedby-generation-unicity">
- <h4>Provenance constraint on wasGeneratedBy (generation-unicity)</h4>
- <p>The PROV-DM describes a constraint on wasGeneratedBy that asserts that given an account, only oneActivityinstance can be associated to an Entity instance by the property wasGeneratedBy.</p>
- <div class='issue'>"Given an entity expression denoted by e, two process execution expressions denoted by act1 and act2, and two qualifiers q1 and q2, if the expressions wasGeneratedBy(e,pe1,q1) and wasGeneratedBy(e,pe2,q2) exist in the scope of a given account, then act1=act2 and q1=q2." This is <a href="http://www.w3.org/2011/prov/track/issues/105">ISSUE-105</a></div>
- </section>
- <section id ="provenance-constraint-on-used-use-attributes">
- <h4>Provenance constraint on Used (use-attributes)</h4>
- <p>A constraint is defined for the Used relation in PROV-DM, that makes it necessary for an attribute-value to be true for an Entity instance linked to a Activity instance by relation Used.
- </p>
- <div class='issue'>"Given a process execution expression identified by act, an entity expression identified by e, a qualifier q, and optional time t, if assertion used(pe,e,q) or used(pe,e,q,t) holds, then the existence of an attribute-value pair in the entity expression identified by e is a pre-condition for the termination of the activity represented by the process execution expression identified by act." This is <a href="http://www.w3.org/2011/prov/track/issues/124">ISSUE-124</a></div>
- </section>
- <section id ="provenance-constraint-on-used-pe-ordering">
- <h4>Provenance constraint on Used (use-pe-ordering)</h4>
- <p>The PROV-DM describes a constraint for Used relation, which makes it necessary for an Entity instance e (linked to a Activity instance act by Used relation) to be "used" before act terminates and also the "generation" of e precedes "use" of e.
- </p>
- <div class='issue'>"Given a process execution expression identified by act, an entity expression identified by e, a qualifier q, and optional time t, if assertion used(pe,e,q) or used(pe,e,q,t) holds, then the use of the thing represented by entity expression identified by e precedes the end time contained in the process execution expression identified by act and follows its beginning. Furthermore, the generation of the thing denoted by entity expression identified by e always precedes its use." This is <a href="http://www.w3.org/2011/prov/track/issues/124">ISSUE-124</a></div>
- </section>
- <section id ="provenance-constraint-on-derivation-attributes">
- <h4>Provenance constraint on wasDerivedFrom (derivation-attributes)</h4>
- <p>The PROV-DM describes a constraint for asserting wasDerivedFrom property between two Entity instances if some attributes of an Entity instance are partially or fully determined by attributes values of the other Entity instance.
- </p>
- <div class='issue'>"Given a process execution expression denoted by act, entity expressions denoted by e1 and e2, qualifiers q1 and q2, the assertion wasDerivedFrom(e2,e1,pe,q2,q1) or wasDerivedFrom(e2,e1) holds if and only if the values of some attributes of the entity expression identified by e2 are partly or fully determined by the values of some attributes of the entity expression identified by e1." This is <a href="http://www.w3.org/2011/prov/track/issues/125">ISSUE-125</a></div>
- </section>
- <section id ="provenance-constraint-on-derivation-use-generation-ordering">
- <h4>Provenance constraint on wasDerivedFrom (derivation-use-generation-ordering)</h4>
- <p>The PROV-DM describes a constraint that if wasDerivedFrom property is asserted between two Entity instances e1 and e2, that is wasDerivedFrom (e2, e1), then the for time instant t1 associated with aActivityinstance that "used" is less than the time instant t2 associated with "generation" of e2.
- </p>
- <div class='note'> Without an explicit association of <a href="#time">TemporalEntity</a> with the <a href="#entity">Entity</a> instance and <a href="#activity">PE</a> instance, it is not possible to state or enforce this constraint in the PROV Ontology schema and the corresponding RDF dataset.
- </div>
- </section>
- <section id ="provenance-constraint-on-derivation-events">
- <h4>Provenance constraint on wasDerivedFrom (derivation-events)</h4>
- <p>The PROV-DM describes a constraint that if wasDerivedFrom property is asserted between two Entity instances e1 and e2, that is wasDerivedFrom (e2, e1, act), then wasGeneratedBy(e2, act) and used(pe, e1) can also be asserted.
- </p>
- <div class='note'> Since the above constraint defined in PROV-DM does not define how act is linked to the derivation of e2 from e1, this constraint can be supported in the "opposite" direction in PROV-O. In other words, given e2 was generated at time instant t2 by act and act used e1 at time instant t1 and t1 is less than t2, then we can assert that wasDerivedFrom(e2, e1).
- </div>
- </section>
- <section id ="provenance-constraint-on-derivation-process-execution">
- <h4>Provenance constraint on wasDerivedFrom (derivation-events)</h4>
- <p>The PROV-DM describes a constraint that if wasDerivedFrom property is asserted between two Entity instances e1 and e2, then there exists someActivityinstance such that wasGeneratedBy(e2, act) and used(pe, e1) can also be asserted.
- </p>
- <div class='note'> This constraint is a re-statement of the generic Semantic Web "open-world assumption". Hence, it is not mapped to PROV Ontology.
- </div>
- </section>
- <section id ="provenance-constraint-on-derivation-use">
- <h4>Provenance constraint on wasDerivedFrom (derivation-use)</h4>
- <p>The PROV-DM describes a constraint that if wasDerivedFrom property is asserted between two Entity instances e1 and e2, and wasGeneratedBy(e2, act) is also asserted then Used(pe, e1) can also be asserted.
- </p>
- <div class='note'> This will be asserted as a rule.
- </div>
- </section>
- <section id ="provenance-constraint-on-derivation-generation-generation-ordering">
- <h4>Provenance constraint on wasEventuallyDerivedFrom (derivation-generation-generation-ordering)</h4>
- <p>The PROV-DM describes a constraint that if wasEventuallyDerivedFrom property is asserted between two Entity instances e1 and e2, then generation of e1 occurred before generation of e2.
- </p>
- <div class='note'> Without an explicit association of <a href="#time">TemporalEntity</a> (or event) with the <a href="#entity">Entity</a> instance and <a href="#activity">PE</a> instance, it is not possible to state or enforce this constraint in the PROV Ontology schema and the corresponding RDF dataset.
- </div>
- </section>
- <section id ="provenance-constraint-on-derivation-linked-independent">
- <h4>Provenance constraint on wasEventuallyDerivedFrom (derivation-linked-independent)</h4>
- <p>The PROV-DM describes a constraint that if wasDerivedFrom property is asserted between two Entity instances e1 and e2, then wasEventuallyDerivedFrom property can also be asserted between the two Entity instances.
- </p>
- <div class='note'> Is this an equivalence constraint or can we assert a subPropertyOf property between wasDerivedFrom and wasEventuallyFrom?
- </div>
- </section>
- <section id ="provenance-constraint-on-complementof-necessary-cond">
- <h4>Provenance constraint on wasComplementOf (wasComplementOf-necessary-cond)</h4>
- <p>The PROV-DM describes a constraint that wasComplementOf property holds between two entities over a temporal intersection of the two entities.
- </p>
- <div class='note'> Without an explicit association of time value, this constraint cannot be stated or enforced in PROV Ontology.
- </div>
- </section>
- <section id ="provenance-constraint-on-hasParticipant-participant">
- <h4>Provenance constraint on wasAssociatedWith (participant)</h4>
- <p>The PROV-DM describes a constraint that wasAssociatedWith property holds between an instance of Entity and instance of Activity if the two instances are linked by "used" of "wasControlledBy" or "wasComplementOf".
- </p>
- <div class='issue'> "Given two identifiers act and e, respectively identifying a process execution expression and an entity expression, the expression wasAssociatedWith(pe,e) holds if and only if:
- *used(pe,e) holds, or
- *wasControlledBy(pe,e) holds, or
- *wasComplementOf(e1,e) holds for some entity expression identified by e1, and wasAssociatedWith(pe,e1) holds some process execution expression identified by act." This is <a href="http://www.w3.org/2011/prov/track/issues/127">ISSUE-127</a>
- </div>
- </section>
- </section>
- -->
-
-
<div class="appendix section" id="names-of-inverse-properties">
<!-- OddPage -->
@@ -9735,204 +9620,204 @@
<th>Recommended inverse name</th>
</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="#wasInformedBy" title="http://www.w3.org/ns/prov#wasInformedBy">prov:wasInformedBy</a></td>
- <td>prov:informed</td>
+ <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="#qualifiedQuotation" title="http://www.w3.org/ns/prov#qualifiedQuotation">prov:qualifiedQuotation</a></td>
- <td>prov:quotedByEntity</td>
+ <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="#wasAssociatedWith" title="http://www.w3.org/ns/prov#wasAssociatedWith">prov:wasAssociatedWith</a></td>
- <td>prov:wasAssociateFor</td>
+ <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="#qualifiedRemoval" title="http://www.w3.org/ns/prov#qualifiedRemoval">prov:qualifiedRemoval</a></td>
- <td>prov:removedFromDictionary</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>
+ <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="#derivedByRemovalFrom" title="http://www.w3.org/ns/prov#derivedByRemovalFrom">prov:derivedByRemovalFrom</a></td>
- <td>prov:hadDerivationByRemoval</td>
+ <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="#qualifiedTrace" title="http://www.w3.org/ns/prov#qualifiedTrace">prov:qualifiedTrace</a></td>
- <td>prov:tracedEntity</td>
+ <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="#hadUsage" title="http://www.w3.org/ns/prov#hadUsage">prov:hadUsage</a></td>
- <td>prov:wasUsedInDerivation</td>
+ <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="#tracedTo" title="http://www.w3.org/ns/prov#tracedTo">prov:tracedTo</a></td>
- <td>prov:tracedFrom</td>
+ <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="#atLocation" title="http://www.w3.org/ns/prov#atLocation">prov:atLocation</a></td>
- <td>prov:locationOf</td>
+ <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="#qualifiedStart" title="http://www.w3.org/ns/prov#qualifiedStart">prov:qualifiedStart</a></td>
- <td>prov:startedActivity</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="#wasQuotedFrom" title="http://www.w3.org/ns/prov#wasQuotedFrom">prov:wasQuotedFrom</a></td>
- <td>prov:wasQuotedBy</td>
+ <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="#involvee" title="http://www.w3.org/ns/prov#involvee">prov:involvee</a></td>
- <td>prov:involvement</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>
+ <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="#generated" title="http://www.w3.org/ns/prov#generated">prov:generated</a></td>
- <td>prov:wasGeneratedBy</td>
+ <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="#qualifiedAssociation" title="http://www.w3.org/ns/prov#qualifiedAssociation">prov:qualifiedAssociation</a></td>
- <td>prov:associatedActivity</td>
+ <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="#hadOriginalSource" title="http://www.w3.org/ns/prov#hadOriginalSource">prov:hadOriginalSource</a></td>
- <td>prov:wasOriginalSourceOf</td>
+ <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="#qualifiedResponsibility" title="http://www.w3.org/ns/prov#qualifiedResponsibility">prov:qualifiedResponsibility</a></td>
- <td>prov:responsibleAgent</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="#derivedByInsertionFrom" title="http://www.w3.org/ns/prov#derivedByInsertionFrom">prov:derivedByInsertionFrom</a></td>
- <td>prov:hadDerivationByInsertion</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>
+ <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="#hadGeneration" title="http://www.w3.org/ns/prov#hadGeneration">prov:hadGeneration</a></td>
- <td>prov:generatedAsDerivation</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="#dictionary" title="http://www.w3.org/ns/prov#dictionary">prov:dictionary</a></td>
- <td>prov:dictionaryInvolvement</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="#activity" title="http://www.w3.org/ns/prov#activity">prov:activity</a></td>
- <td>prov:activityInvolvement</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>
+ <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="#qualifiedSource" title="http://www.w3.org/ns/prov#qualifiedSource">prov:qualifiedSource</a></td>
- <td>prov:sourcingEntity</td>
+ <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="#involved" title="http://www.w3.org/ns/prov#involved">prov:involved</a></td>
- <td>prov:wasInvolvedWith</td>
+ <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="#wasAttributedTo" title="http://www.w3.org/ns/prov#wasAttributedTo">prov:wasAttributedTo</a></td>
- <td>prov:contributed</td>
+ <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="#hadActivity" title="http://www.w3.org/ns/prov#hadActivity">prov:hadActivity</a></td>
- <td>prov:wasActivityOfInvolvement</td>
+ <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="#wasDerivedFrom" title="http://www.w3.org/ns/prov#wasDerivedFrom">prov:wasDerivedFrom</a></td>
- <td>prov:hadDerivation</td>
+ <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="#specializationOf" title="http://www.w3.org/ns/prov#specializationOf">prov:specializationOf</a></td>
- <td>prov:generalizationOf</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>
+ <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="#actedOnBehalfOf" title="http://www.w3.org/ns/prov#actedOnBehalfOf">prov:actedOnBehalfOf</a></td>
- <td>prov:responsibleFor</td>
+ <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="#qualifiedEnd" title="http://www.w3.org/ns/prov#qualifiedEnd">prov:qualifiedEnd</a></td>
- <td>prov:endedActivity</td>
+ <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="#used" title="http://www.w3.org/ns/prov#used">prov:used</a></td>
- <td>prov:wasUsedBy</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>
+ <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="#wasInvalidatedBy" title="http://www.w3.org/ns/prov#wasInvalidatedBy">prov:wasInvalidatedBy</a></td>
- <td>prov:invalidated</td>
+ <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>
@@ -9945,15 +9830,16 @@
<li>Silvio Peroni's <a href="http://lode.sourceforge.net/">LODE</a> for the CSS styling of this page's cross reference section.</li>
<li>Robin Berjon's <a href="http://dev.w3.org/2009/dap/ReSpec.js/documentation.html">respec</a> for handling the <acronym title="World Wide Web Consortium">W3C</acronym> styling.</li>
</ul>
- </div>
+ </div><table>
+
-</div><div id="references" class="appendix section">
+</table></div><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>
</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>