--- a/ontology/Overview.html Tue May 15 10:08:12 2012 -0400
+++ b/ontology/Overview.html Tue May 15 13:58:26 2012 -0400
@@ -596,6 +596,9 @@
a.qname {
font-family: monospace;
}
+ strong {
+ padding-right: 15px;
+ }
</style>
@@ -1277,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="#acknowledgements" class="tocxref"><span class="secno">A. </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno">B. </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno">B.1 </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno">B.2 </span>Informative references</a></li></ul></li></ul></div>
+ <p>This document was published by the <a href="http://www.w3.org/2011/prov/">Provenance Working Group</a> as 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>
@@ -1343,6 +1346,12 @@
<a href="#endedAtTime">prov:endedAtTime</a>
</li>
<li class="datatype-property">
+ <a href="#generatedAtTime">prov:generatedAtTime</a>
+ </li>
+ <li class="datatype-property">
+ <a href="#invalidatedAtTime">prov:invalidatedAtTime</a>
+ </li>
+ <li class="datatype-property">
<a href="#startedAtTime">prov:startedAtTime</a>
</li>
<li class="object-property">
@@ -1364,7 +1373,7 @@
<a href="#wasInformedBy">prov:wasInformedBy</a>
</li>
<li class="object-property">
- <a href="#wasStartedByActivity">prov:wasStartedByActivity</a>
+ <a href="#wasInvalidatedBy">prov:wasInvalidatedBy</a>
</li>
</ul>
</div>
@@ -1383,9 +1392,6 @@
<a href="#Location">prov:Location</a>
</li>
<li>
- <a href="#Note">prov:Note</a>
- </li>
- <li>
<a href="#Organization">prov:Organization</a>
</li>
<li>
@@ -1412,9 +1418,6 @@
<a href="#hadOriginalSource">prov:hadOriginalSource</a>
</li>
<li class="object-property">
- <a href="#hasAnnotation">prov:hasAnnotation</a>
- </li>
- <li class="object-property">
<a href="#specializationOf">prov:specializationOf</a>
</li>
<li class="object-property">
@@ -1500,9 +1503,6 @@
<a href="#Start">prov:Start</a>
</li>
<li>
- <a href="#StartByActivity">prov:StartByActivity</a>
- </li>
- <li>
<a href="#Trace">prov:Trace</a>
</li>
<li>
@@ -1535,12 +1535,6 @@
<a href="#hadPlan">prov:hadPlan</a>
</li>
<li class="object-property">
- <a href="#hadQuoted">prov:hadQuoted</a>
- </li>
- <li class="object-property">
- <a href="#hadQuoter">prov:hadQuoter</a>
- </li>
- <li class="object-property">
<a href="#hadRole">prov:hadRole</a>
</li>
<li class="object-property">
@@ -1550,6 +1544,9 @@
<a href="#involved">prov:involved</a>
</li>
<li class="object-property">
+ <a href="#involvee">prov:involvee</a>
+ </li>
+ <li class="object-property">
<a href="#qualifiedAssociation">prov:qualifiedAssociation</a>
</li>
<li class="object-property">
@@ -1568,6 +1565,9 @@
<a href="#qualifiedGeneration">prov:qualifiedGeneration</a>
</li>
<li class="object-property">
+ <a href="#qualifiedInvalidation">prov:qualifiedInvalidation</a>
+ </li>
+ <li class="object-property">
<a href="#qualifiedQuotation">prov:qualifiedQuotation</a>
</li>
<li class="object-property">
@@ -1583,9 +1583,6 @@
<a href="#qualifiedStart">prov:qualifiedStart</a>
</li>
<li class="object-property">
- <a href="#qualifiedStartByActivity">prov:qualifiedStartByActivity</a>
- </li>
- <li class="object-property">
<a href="#qualifiedTrace">prov:qualifiedTrace</a>
</li>
<li class="object-property">
@@ -1606,6 +1603,9 @@
<div class="prov-collections owl-classes at-a-glance">
<ul class="hlist">
<li>
+ <a href="#CompleteMembership">prov:CompleteMembership</a>
+ </li>
+ <li>
<a href="#Dictionary">prov:Dictionary</a>
</li>
<li>
@@ -1709,7 +1709,10 @@
</p>
<div class="figure" style="text-align: center;">
- <img alt="PROV-O Starting Point terms" style="width: 50%; min-width: 25em; max-width: 60em" src="diagrams/Starting-points-terms.png" />
+
+<!-- When publishing to w3c: replace prov-o-diagrams/ with diagrams/ -->
+
+ <img alt="PROV-O Starting Point terms" style="width: 50%; min-width: 25em; max-width: 60em" src="prov-o-diagrams/Starting-points-terms.png" />
<div class="figcaption">Figure 1. The three Starting Point classes and the properties that relate them.</div>
</div>
@@ -1923,14 +1926,8 @@
ex:post9821
a prov:Entity, sioc:Post;
prov:wasGeneratedBy ex:publicationActivity1123;
- prov:atLocation ex:more-crime-happens-in-cities; ## PERMALINK of the post
+ prov:atLocation ex:more-crime-happens-in-cities; ## PERMALINK to the (latest revision of the) post
ex:snapshotContent ex:postContent0; ## Snapshot with the content of this version
- prov:qualifiedGeneration [
- a prov:Generation;
- prov:activity ex:publicationActivity1123;
- prov:atTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
- prov:atLocation <http://dbpedia.org/resource/Madrid>;
- ];
sioc:title "More crime happens in cities"^^xsd:string;
prov:hadOriginalSource ex:aggregatedByRegions;
prov:wasAttributedTo ex:derek
@@ -1940,7 +1937,7 @@
ex:post9821v1
a prov:Entity, sioc:Post;
- prov:atLocation ex:more-crime-happens-in-cities; ## PERMALINK of the post
+ prov:atLocation ex:more-crime-happens-in-cities; ## PERMALINK to the (latest revision of the) post
ex:snapshotContent ex:postContent1; ## Snapshot with the content of this version
prov:wasRevisionOf ex:post9821;
prov:specializationOf ex:post9821;
@@ -1951,7 +1948,7 @@
ex:post9821v2
a prov:Entity, sioc:Post;
- prov:atLocation ex:more-crime-happens-in-cities-for-dummies; ## PERMALINK of the post
+ prov:atLocation ex:more-crime-happens-in-cities-for-dummies; ## PERMALINK to the (latest revision of the) post
ex:snapshotContent ex:postContent2; ## Snapshot with the content of this version
prov:alternateOf ex:post9821v1;
prov:specializationOf ex:post9821;
@@ -1959,10 +1956,6 @@
sioc:title "More crime happens in cities for dummies"^^xsd:string;
prov:wasAttributedTo ex:monica;
.
-
- <http://dbpedia.org/resource/Madrid>
- a prov:Location;
- .
ex:publicationActivity1123
a prov:Activity;
@@ -1979,15 +1972,14 @@
<p>
Agent <code>ex:derek</code>, acting again in behalf of the <code>ex:chartgenerators</code> organization,
- publishes a post about his recent changes to the aggregated file (<code>ex:aggregatedByRegions</code>). He also provides the location for the crime file, so everyone knows the content he has been browsing,
- and records the city where the publishing took place (Madrid). Since he is the one who started and ended the publishing activity (<code>ex:publicationActivity1123</code>), that information
+ publishes a post about his recent changes to the aggregated file (<code>ex:aggregatedByRegions</code>). Since he is the one who started and ended the publishing activity (<code>ex:publicationActivity1123</code>), that information
is recorded as well. The post produced by <code>ex:derek</code> (<code>ex:post9821</code>) includes a permanent link where the content of the latest version is shown
(<code>ex:more-crime-happens-in-cities</code>) plus a snapshot of the content of the current version (<code>ex:postContent0</code>). Derek also adds additional metadata of the post, like the title.
</p>
<p>
- However, inmediately after having published the post, Derek detects a typo. He doesnt' want to record the activity that led to the new version, so he just creates a new version and
+ However, inmediately after having published the post, Derek detects a typo. He does not want to record the activity that led to the new version, so he just creates a new version and
summarizes the changes in a revision of the original post(<code>ex:post9821v1</code>). This revision is also a specialization of the original post, since it is a refined version.
- Thus, the location of the new revision has the same permalink, but a different url for its snapshot (<code>ex:postContent1</code>).
+ Thus, the permalink to the latest version (<code>ex:more-crime-happens-in-cities</code>) remains the same in the new revision, but a different URL is given for its snapshot (<code>ex:postContent1</code>).
</p>
<p>
Shortly after Derek's post publication, ex:monica adapts the text for a wider audience in a new version (<code>ex:post9821v2</code>). This version is an specialization of the original post,
@@ -2084,13 +2076,50 @@
</div>
</div>
+
+<!-- incorporate https://dvcs.w3.org/hg/prov/rev/e3ecc51f4598 -->
+
<div id="description-qualified-terms" class="section">
<h3><span class="secno">3.3 </span>Qualified Terms</h3>
- <p>The classes and properties in the Qualified terms category are for users who wish to provide additional details about the relationships between entities, activities, and agents.
- The terms in this category are the result of applying the <strong>Qualification Pattern</strong> to the simple relations available in the
- <a href="#prov-starting-point-owl-terms-at-a-glance">Starting Point</a> and <a href="#prov-expanded-owl-terms-at-a-glance">Expanded</a> categories.
- </p>
- <p>For example, Figure 2 illustrates the classes and properties needed to fulfill the qualification pattern for the <a href="#used" class="qname">prov:used</a> and <a href="#wasAssociatedWith" class="qname">prov:wasAssociatedWith</a> properties. While <a href="#qualifiedUsage" class="qname">prov:qualifiedUsage</a>, <a href="#Usage" class="qname">prov:Usage</a>, and <a href="#entity" class="qname">prov:entity</a> are used to qualify <span class="repeated">prov:used</span> relations, <a href="#qualifiedAssociation" class="qname">prov:qualifiedAssociation</a>, <a href="#Association" class="qname">prov:Association</a>, and <a href="#agent" class="qname">prov:agent</a> are used to qualify <span class="repeated">prov:wasAssociatedWith</span> relations. This pattern applies to the twelve other relations that can be qualified.
+ <p>The classes and properties in the Qualified terms category are for
+users who wish to provide additional details about the relationships between
+entities, activities, and agents. The terms in this category are the result of
+applying the <strong>Qualification Pattern</strong> to the simple (unqualified)
+relations available in the <a href="#prov-starting-point-owl-terms-at-a-glance">Starting
+Point</a> and <a href="#prov-expanded-owl-terms-at-a-glance">Expanded</a>
+categories. The Qualification Pattern consists of restating the unqualified
+relation by using an intermediate <em>involvement</em> class. In this
+document, each property that can be qualified has a <em>can be qualified
+with</em> header linking to the qualifying property and involvement class.
+In the PROV-O OWL these are indicated using the annotation property <span class="qname">prov:qualifiedForm</span>. The involvement class is a
+subclass of <a href="#Involvement" class="qname">prov:Involvement</a> which
+determines which property to link from the involvement to the unqualified object,
+that is either
+ <a href="#entity" class="qname">prov:entity</a>,
+ <a href="#activity" class="qname">prov:activity</a>,
+ <a href="#agent" class="qname">prov:agent</a> or
+ <a href="#dictionary" class="qname">prov:dictionary</a>.</p>
+<p>
+So for instance, if we have the unqualified statement:
+</p><pre class="example">:e1 prov:wasGeneratedBy :a1 .</pre>
+<p></p>
+<p>Then we find in PROV-O that <a href="#wasGeneratedBy" class="qname">prov:wasGeneratedBy</a> can be qualified with
+the qualification property <a href="#qualifiedGeneration" class="qname">prov:qualifiedGeneration</a>
+and
+the involvement class <a href="#Generation" class="qname">prov:Generation</a>, which is a subclass of <a href="#ActivityInvolvement" class="qname">prov:ActivityInvolvement</a>. From this, we can restate the above relation using the <em>qualification pattern</em> as:
+</p>
+<pre class="example">:e1 prov:wasGeneratedBy :e1Gen .
+:e1Gen a prov:Generation ;
+ prov:entity :a1 .</pre>
+<p>
+The asserter can thus attach additional properties to <code>:e1Gen</code> to
+describe the generation of <code>:e1</code>. To simplify client queries, any
+qualified relation <em class="rfc2119" title="should">should</em> be accompanied by the equivalent unqualified
+statement. Unqualified properties <em class="rfc2119" title="should not">should not</em> have the equivalent qualified form
+asserted unless it adds additional information (for instance identifying the
+involvement). </p>
+
+ <p>Figure 2 illustrates an example of the classes and properties needed to fulfill the qualification pattern for the <a href="#used" class="qname">prov:used</a> and <a href="#wasAssociatedWith" class="qname">prov:wasAssociatedWith</a> properties. While <a href="#qualifiedUsage" class="qname">prov:qualifiedUsage</a>, <a href="#Usage" class="qname">prov:Usage</a>, and <a href="#entity" class="qname">prov:entity</a> are used to qualify <span class="repeated">prov:used</span> relations, <a href="#qualifiedAssociation" class="qname">prov:qualifiedAssociation</a>, <a href="#Association" class="qname">prov:Association</a>, and <a href="#agent" class="qname">prov:agent</a> are used to qualify <span class="repeated">prov:wasAssociatedWith</span> relations. This pattern applies to the twelve other relations that can be qualified.
</p>
<p>In the example, the <span class="repeated">prov:qualifiedUsage</span> property parallels the <span class="repeated">prov:used</span> property, and references an instance of <span class="repeated">prov:Usage</span> that provides attributes of the <span class="repeated">prov:used</span> relation between the Activity and Entity. The <span class="repeated">prov:entity</span> property is used to cite the Entity that was used by the Activity. In this case, the time that the Activity used the Entity is provided using the <span class="repeated">prov:atTime</span> property and a literal <span class="repeated">xsd:dateTime</span> value.
</p>
@@ -2098,7 +2127,10 @@
</p>
<div class="figure" style="text-align: center;">
- <img alt="Express association between an activity and an agent using a binary relationship and an alternatie qualified relationship" style="width: 50%; min-width: 25em; max-width: 60em" src="diagrams/Qualified-Association.png" />
+
+<!-- When publishing to w3c: replace prov-o-diagrams/ with diagrams/ -->
+
+ <img alt="Express association between an activity and an agent using a binary relationship and an alternatie qualified relationship" style="width: 50%; min-width: 25em; max-width: 60em" src="prov-o-diagrams/Qualified-Association.png" />
<div class="figcaption">Figure 2. An illustration of the qualification pattern applied to the Starting Point properties <a href="#used" class="qname">prov:used</a> and <a href="#wasAssociatedWith" class="qname">prov:wasAssociatedWith</a>.</div>
</div>
@@ -2207,12 +2239,6 @@
<td><a class="owlclass" href="#Communication" title="http://www.w3.org/ns/prov#Communication">prov:Communication</a></td>
<td><a class="owlproperty" href="#activity" title="http://www.w3.org/ns/prov#activity">prov:activity</a></td>
</tr>
- <tr>
- <td><a class="owlproperty" href="#wasStartedByActivity" title="http://www.w3.org/ns/prov#wasStartedByActivity">prov:wasStartedByActivity</a></td>
- <td><a class="owlproperty" href="#qualifiedStartByActivity" title="http://www.w3.org/ns/prov#qualifiedStartByActivity">prov:qualifiedStartByActivity</a></td>
- <td><a class="owlclass" href="#StartByActivity" title="http://www.w3.org/ns/prov#StartByActivity">prov:StartByActivity</a></td>
- <td><a class="owlproperty" href="#activity" title="http://www.w3.org/ns/prov#activity">prov:activity</a></td>
- </tr>
</tbody></table>
</div>
@@ -2347,8 +2373,8 @@
<div xmlns:prov="http://www.w3.org/ns/prov#" class="exampleOuter" typeof="prov:Entity" about="#narrative-example-dictionaries-1">
<pre class="example" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-26-provo-collections-narrative/rdf/membership.ttl" rel="prov:wasQuotedFrom">@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix : <http://example.org/> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix : <http://example.org/> .
:e1 a prov:Entity .
:e2 a prov:Entity .
@@ -2383,7 +2409,7 @@
that a given dictionary was obtained from an existing dictionary by
<em>removing</em> a set of key-value pairs. The example below specifies that
the dictionary <code>:c1</code> was obtained from the empty dictionary
-<code>:c1</code> by <em>inserting</em> the key-value pairs <code>("k1",
+<code>:c</code> by <em>inserting</em> the key-value pairs <code>("k1",
:e1)</code> and <code>("k2", :e2)</code>.
</p>
@@ -2427,8 +2453,8 @@
<div xmlns:prov="http://www.w3.org/ns/prov#" class="exampleOuter" typeof="prov:Entity" about="#narrative-example-dictionaries-3">
<pre class="example" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-26-provo-collections-narrative/rdf/removal.ttl" rel="prov:wasQuotedFrom">@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix : <http://example.org/> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix : <http://example.org/> .
:c2 a prov:Dictionary .
@@ -2438,7 +2464,7 @@
a prov:Removal;
prov:dictionary :c2;
prov:removed "k1"^^xsd:string,
- "k3"^^xsd:string
+ "k3"^^xsd:string;
];
.</pre>
</div>
@@ -2496,6 +2522,12 @@
<a href="#endedAtTime">prov:endedAtTime</a>
</li>
<li class="datatype-property">
+ <a href="#generatedAtTime">prov:generatedAtTime</a>
+ </li>
+ <li class="datatype-property">
+ <a href="#invalidatedAtTime">prov:invalidatedAtTime</a>
+ </li>
+ <li class="datatype-property">
<a href="#startedAtTime">prov:startedAtTime</a>
</li>
<li class="object-property">
@@ -2517,7 +2549,7 @@
<a href="#wasInformedBy">prov:wasInformedBy</a>
</li>
<li class="object-property">
- <a href="#wasStartedByActivity">prov:wasStartedByActivity</a>
+ <a href="#wasInvalidatedBy">prov:wasInvalidatedBy</a>
</li>
</ul>
</div>
@@ -2531,7 +2563,7 @@
back to <a href="#prov-starting-point-owl-terms-at-a-glance">starting-point classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Activity</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Activity</p>
<div class="definition"><p>An activity is something that occurs over a period of time and acts upon or with entities. This action can take multiple forms: consuming, processing, transforming, modifying, relocating, using, generating, or being associated with entities. Activities that operate on digital entities may for example move, copy, or duplicate them.</p>
</div>
@@ -2562,30 +2594,27 @@
<dt>in domain of</dt>
<dd>
- <a href="#wasStartedByActivity" title="http://www.w3.org/ns/prov#wasStartedByActivity">prov:wasStartedByActivity</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="#wasAssociatedWith" title="http://www.w3.org/ns/prov#wasAssociatedWith">prov:wasAssociatedWith</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="#wasStartedBy" title="http://www.w3.org/ns/prov#wasStartedBy">prov:wasStartedBy</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="#qualifiedAssociation" title="http://www.w3.org/ns/prov#qualifiedAssociation">prov:qualifiedAssociation</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="#qualifiedCommunication" title="http://www.w3.org/ns/prov#qualifiedCommunication">prov:qualifiedCommunication</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="#qualifiedStartByActivity" title="http://www.w3.org/ns/prov#qualifiedStartByActivity">prov:qualifiedStartByActivity</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="#qualifiedEnd" title="http://www.w3.org/ns/prov#qualifiedEnd">prov:qualifiedEnd</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="#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="#wasAssociatedWith" title="http://www.w3.org/ns/prov#wasAssociatedWith">prov:wasAssociatedWith</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="#endedAtTime" title="http://www.w3.org/ns/prov#endedAtTime">prov:endedAtTime</a><sup title="data property" class="type-dp">dp</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="#startedAtTime" title="http://www.w3.org/ns/prov#startedAtTime">prov:startedAtTime</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>
</dd>
<dt>in range of</dt>
<dd>
- <a href="#wasStartedByActivity" title="http://www.w3.org/ns/prov#wasStartedByActivity">prov:wasStartedByActivity</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="#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>
</dd>
</dl>
@@ -2598,7 +2627,7 @@
back to <a href="#prov-starting-point-owl-terms-at-a-glance">starting-point classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Agent</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Agent</p>
<div class="definition"><p>An agent is a type of entity that bears some form of responsibility for an activity taking place.</p>
</div>
@@ -2609,21 +2638,21 @@
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix : <http://example.com/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
-
- :derek
- a prov:Agent, foaf:Person;
- foaf:givenName "Derek"^^xsd:string;
- foaf:mbox <mailto:dererk@example.org>;
- foaf:homePage <http://dereck.example.com>;
- prov:actedOnBehalfOf :chartgen;
- .
-
- :chartgen
- a prov:Agent, prov:Organization, foaf:Organization;
- foaf:name "Chart Generators, Inc.";
- .
+@prefix : <http://example.com/> .
+
+:derek
+ a prov:Agent, prov:Person;
+ foaf:givenName "Derek"^^xsd:string;
+ foaf:mbox <mailto:dererk@example.org>;
+ foaf:homePage <http://dereck.example.com>;
+ prov:actedOnBehalfOf :chartgen;
+.
+
+:chartgen
+ a prov:Agent, prov:Organization;
+ foaf:name "Chart Generators, Inc.";
+.
</pre>
</div>
@@ -2640,11 +2669,9 @@
<dt>in range of</dt>
<dd>
<a href="#actedOnBehalfOf" title="http://www.w3.org/ns/prov#actedOnBehalfOf">prov:actedOnBehalfOf</a><sup title="object property" class="type-op">op</sup>
- <a href="#hadQuoter" title="http://www.w3.org/ns/prov#hadQuoter">prov:hadQuoter</a><sup title="object property" class="type-op">op</sup>
<a href="#agent" title="http://www.w3.org/ns/prov#agent">prov:agent</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="#wasAttributedTo" title="http://www.w3.org/ns/prov#wasAttributedTo">prov:wasAttributedTo</a><sup title="object property" class="type-op">op</sup>
- <a href="#hadQuoted" title="http://www.w3.org/ns/prov#hadQuoted">prov:hadQuoted</a><sup title="object property" class="type-op">op</sup>
</dd>
<dt>has subclasses</dt>
@@ -2663,7 +2690,7 @@
back to <a href="#prov-starting-point-owl-terms-at-a-glance">starting-point classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Entity</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Entity</p>
<div class="definition"><p>An entity is a thing one wants to provide provenance for. For the purpose of this specification, things can be physical, digital, conceptual, or otherwise; things may be real or imaginary.</p>
</div>
@@ -2682,6 +2709,8 @@
dcterms:title "Aggregated statistics from the crime file"^^xsd:string;
prov:wasAttributedTo :derek;
.
+
+:derek a prov:Agent .
</pre>
</div>
@@ -2691,47 +2720,50 @@
<dt>in domain of</dt>
<dd>
+ <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="#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="#qualifiedInvalidation" title="http://www.w3.org/ns/prov#qualifiedInvalidation">prov:qualifiedInvalidation</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="#generatedAtTime" title="http://www.w3.org/ns/prov#generatedAtTime">prov:generatedAtTime</a><sup title="data property" class="type-dp">dp</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="#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="#wasAttributedTo" title="http://www.w3.org/ns/prov#wasAttributedTo">prov:wasAttributedTo</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="#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="#wasAttributedTo" title="http://www.w3.org/ns/prov#wasAttributedTo">prov:wasAttributedTo</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="#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="#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="#wasGeneratedBy" title="http://www.w3.org/ns/prov#wasGeneratedBy">prov:wasGeneratedBy</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>
<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>
</dd>
<dt>in range of</dt>
<dd>
+ <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="#wasEndedBy" title="http://www.w3.org/ns/prov#wasEndedBy">prov:wasEndedBy</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="#generated" title="http://www.w3.org/ns/prov#generated">prov:generated</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="#alternateOf" title="http://www.w3.org/ns/prov#alternateOf">prov:alternateOf</a><sup title="object property" class="type-op">op</sup>
<a href="#value" title="http://www.w3.org/ns/prov#value">prov:value</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="#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="#wasEndedBy" title="http://www.w3.org/ns/prov#wasEndedBy">prov:wasEndedBy</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="#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="#used" title="http://www.w3.org/ns/prov#used">prov:used</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="#Dictionary" title="http://www.w3.org/ns/prov#Dictionary">prov:Dictionary</a>
</dd>
</dl>
</div>
@@ -2744,7 +2776,7 @@
back to <a href="#prov-starting-point-owl-terms-at-a-glance">starting-point properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#actedOnBehalfOf</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#actedOnBehalfOf</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-actedOnBehalfOf">
<span resource="http://www.w3.org/ns/prov#actedOnBehalfOf" rel="dcterms:subject"></span>
@@ -2825,7 +2857,7 @@
back to <a href="#prov-starting-point-owl-terms-at-a-glance">starting-point properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#endedAtTime</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#endedAtTime</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-endedAtTime">
<span resource="http://www.w3.org/ns/prov#endedAtTime" rel="dcterms:subject"></span>
@@ -2836,7 +2868,13 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+:geneSequencing
+ a prov:Activity;
+ prov:used :drosophilaSample;
+ prov:endedAtTime "2012-04-30T12:46:32Z"^^xsd:dateTime;
+.
+
+:drosophilaSample a prov:Entity .
</pre>
</div>
@@ -2864,6 +2902,155 @@
</ul>
</dd>
+ <dt>can be qualified with</dt>
+ <dd>
+ <ul>
+ <li>
+ <a class="owlclass" href="#End" title="http://www.w3.org/ns/prov#End">prov:End</a>
+ </li>
+ <li>
+ <a class="owlproperty" href="#atTime" title="http://www.w3.org/ns/prov#atTime">prov:atTime</a>
+ </li>
+ </ul>
+ </dd>
+
+ </dl>
+ </div>
+ </div>
+
+ <div class="entity" id="generatedAtTime">
+ <h3 id="property--prov-generatedattimedp-----------------back-to-starting-point-properties">
+ Property: <a href="#generatedAtTime"><span title="http://www.w3.org/ns/prov#generatedAtTime" class="dotted">prov:generatedAtTime</span></a><sup title="data property" class="type-dp">dp</sup>
+ <span class="backlink">
+ back to <a href="#prov-starting-point-owl-terms-at-a-glance">starting-point properties</a>
+ </span>
+ </h3>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#generatedAtTime</p>
+
+ <div class="example" typeof="prov:Entity" about="#example-for-property-generatedAtTime">
+ <span resource="http://www.w3.org/ns/prov#generatedAtTime" rel="dcterms:subject"></span>
+ <strong>Example</strong>
+ <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_generatedAtTime.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix : <http://example.com/> .
+
+# A widget was generated 1:35:23 PM on April 3, 2012 UTC
+
+:widget-789532
+ a prov:Entity;
+ prov:generatedAtTime "2012-04-03T13:35:23Z"^^xsd:dateTime;
+.
+
+# The above statement is equivalent to:
+# :widget-789532 prov:qualifiedGeneration [ prov:atTime "2012-04-03T13:35:23Z"^^xsd:dateTime ] .
+</pre>
+ </div>
+
+ <div class="description">
+ <div class="comment"><p>The time at which an entity was completely created.</p>
+ </div>
+ <p><strong>has characteristics</strong> Functional </p>
+ <dl>
+
+ <dt>has domain</dt>
+ <dd>
+ <ul>
+ <li>
+ <a class="owlclass" href="#Entity" title="http://www.w3.org/ns/prov#Entity">prov:Entity</a>
+ </li>
+ </ul>
+ </dd>
+
+ <dt>has range</dt>
+ <dd>
+ <ul>
+ <li>
+ http://www.w3.org/2001/XMLSchema#dateTime
+ </li>
+ </ul>
+ </dd>
+
+ <dt>can be qualified with</dt>
+ <dd>
+ <ul>
+ <li>
+ <a class="owlclass" href="#Generation" title="http://www.w3.org/ns/prov#Generation">prov:Generation</a>
+ </li>
+ <li>
+ <a class="owlproperty" href="#atTime" title="http://www.w3.org/ns/prov#atTime">prov:atTime</a>
+ </li>
+ </ul>
+ </dd>
+
+ </dl>
+ </div>
+ </div>
+
+ <div class="entity" id="invalidatedAtTime">
+ <h3 id="property--prov-invalidatedattimedp-----------------back-to-starting-point-properties">
+ Property: <a href="#invalidatedAtTime"><span title="http://www.w3.org/ns/prov#invalidatedAtTime" class="dotted">prov:invalidatedAtTime</span></a><sup title="data property" class="type-dp">dp</sup>
+ <span class="backlink">
+ back to <a href="#prov-starting-point-owl-terms-at-a-glance">starting-point properties</a>
+ </span>
+ </h3>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#invalidatedAtTime</p>
+
+ <div class="example" typeof="prov:Entity" about="#example-for-property-invalidatedAtTime">
+ <span resource="http://www.w3.org/ns/prov#invalidatedAtTime" rel="dcterms:subject"></span>
+ <strong>Example</strong>
+ <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_invalidatedAtTime.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix : <http://example.com/> .
+
+:the-Painter
+ a prov:Entity, :Painting;
+ rdfs:label "Le Peintre"@fr, "The Painter"@en;
+ prov:wasAttributedTo <http://dbpedia.org/resource/Pablo_Picasso>;
+ prov:invalidatedAtTime "2012-09-02T01:31:00Z";
+.
+</pre>
+ </div>
+
+ <div class="description">
+ <div class="comment"><p>The time at which the entity began to be invalidated.</p>
+ </div>
+ <p><strong>has characteristics</strong> Functional </p>
+ <dl>
+
+ <dt>has domain</dt>
+ <dd>
+ <ul>
+ <li>
+ <a class="owlclass" href="#Entity" title="http://www.w3.org/ns/prov#Entity">prov:Entity</a>
+ </li>
+ </ul>
+ </dd>
+
+ <dt>has range</dt>
+ <dd>
+ <ul>
+ <li>
+ http://www.w3.org/2001/XMLSchema#dateTime
+ </li>
+ </ul>
+ </dd>
+
+ <dt>can be qualified with</dt>
+ <dd>
+ <ul>
+ <li>
+ <a class="owlclass" href="#Invalidation" title="http://www.w3.org/ns/prov#Invalidation">prov:Invalidation</a>
+ </li>
+ <li>
+ <a class="owlproperty" href="#atTime" title="http://www.w3.org/ns/prov#atTime">prov:atTime</a>
+ </li>
+ </ul>
+ </dd>
+
</dl>
</div>
</div>
@@ -2875,7 +3062,7 @@
back to <a href="#prov-starting-point-owl-terms-at-a-glance">starting-point properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#startedAtTime</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#startedAtTime</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-startedAtTime">
<span resource="http://www.w3.org/ns/prov#startedAtTime" rel="dcterms:subject"></span>
@@ -2886,7 +3073,13 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+:geneSequencing
+ a prov:Activity;
+ prov:used :drosophilaSample;
+ prov:startedAtTime "2012-04-25T01:30:25Z"^^xsd:dateTime;
+.
+
+:drosophilaSample a prov:Entity .
</pre>
</div>
@@ -2914,6 +3107,18 @@
</ul>
</dd>
+ <dt>can be qualified with</dt>
+ <dd>
+ <ul>
+ <li>
+ <a class="owlclass" href="#Start" title="http://www.w3.org/ns/prov#Start">prov:Start</a>
+ </li>
+ <li>
+ <a class="owlproperty" href="#atTime" title="http://www.w3.org/ns/prov#atTime">prov:atTime</a>
+ </li>
+ </ul>
+ </dd>
+
</dl>
</div>
</div>
@@ -2925,7 +3130,7 @@
back to <a href="#prov-starting-point-owl-terms-at-a-glance">starting-point properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#used</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#used</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-used">
<span resource="http://www.w3.org/ns/prov#used" rel="dcterms:subject"></span>
@@ -3006,7 +3211,7 @@
back to <a href="#prov-starting-point-owl-terms-at-a-glance">starting-point properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasAssociatedWith</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasAssociatedWith</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-wasAssociatedWith">
<span resource="http://www.w3.org/ns/prov#wasAssociatedWith" rel="dcterms:subject"></span>
@@ -3018,8 +3223,9 @@
@prefix : <http://example.com/> .
:illustrating
- a prov:Activity ;
- prov:wasAssociatedWith :derek .
+ a prov:Activity;
+ prov:wasAssociatedWith :derek;
+.
:derek a prov:Person, prov:Agent, prov:Entity .
</pre>
@@ -3080,7 +3286,7 @@
back to <a href="#prov-starting-point-owl-terms-at-a-glance">starting-point properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasAttributedTo</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasAttributedTo</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-wasAttributedTo">
<span resource="http://www.w3.org/ns/prov#wasAttributedTo" rel="dcterms:subject"></span>
@@ -3089,11 +3295,12 @@
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix ex: <http://example.com/> .
-
-ex:nationalRegionsList
+@prefix : <http://example.com/> .
+
+:nationalRegionsList
a prov:Entity;
- prov:wasAttributedTo ex:civil_action_group.
+ prov:wasAttributedTo :civil_action_group;
+.
</pre>
</div>
@@ -3152,7 +3359,7 @@
back to <a href="#prov-starting-point-owl-terms-at-a-glance">starting-point properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasDerivedFrom</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasDerivedFrom</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-wasDerivedFrom">
<span resource="http://www.w3.org/ns/prov#wasDerivedFrom" rel="dcterms:subject"></span>
@@ -3161,9 +3368,9 @@
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix ex: <http://example.com/> .
-
-ex:bar_chart prov:wasDerivedFrom ex:aggregatedByRegions.
+@prefix : <http://example.com/> .
+
+:bar_chart prov:wasDerivedFrom :aggregatedByRegions .
</pre>
</div>
@@ -3204,20 +3411,20 @@
<dd>
<ul>
<li>
- <a class="owlclass" href="#derivedByInsertionFrom" title="http://www.w3.org/ns/prov#derivedByInsertionFrom">prov:derivedByInsertionFrom</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="#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="#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>
@@ -3244,7 +3451,7 @@
back to <a href="#prov-starting-point-owl-terms-at-a-glance">starting-point properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasGeneratedBy</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasGeneratedBy</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-wasGeneratedBy">
<span resource="http://www.w3.org/ns/prov#wasGeneratedBy" rel="dcterms:subject"></span>
@@ -3253,11 +3460,12 @@
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix : <http://example.com/> .
+@prefix : <http://example.com/> .
:bar_chart
- a prov:Entity ;
- prov:wasGeneratedBy :illustrating .
+ a prov:Entity;
+ prov:wasGeneratedBy :illustrating;
+.
:illustrating a prov:Activity .
</pre>
@@ -3319,7 +3527,7 @@
back to <a href="#prov-starting-point-owl-terms-at-a-glance">starting-point properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasInformedBy</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasInformedBy</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-wasInformedBy">
<span resource="http://www.w3.org/ns/prov#wasInformedBy" rel="dcterms:subject"></span>
@@ -3330,23 +3538,12 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-:filling-petrol
+:writing-celebrity-gossip
a prov:Activity;
- prov:startedAtTime "2012-04-24T18:21:00Z"^^xsd:dateTime;
- prov:endedAtTime "2012-04-24T18:23:10Z"^^xsd:dateTime;
- prov:wasInformedBy :low-fuel-flashing;
-.
-
-:low-fuel-flashing
- a prov:Activity;
- prov:wasInformedBy :fuel-tank-measurement;
- prov:startedAtTime "2012-04-24T17:45:00Z"^^xsd:dateTime;
- prov:endedAtTime "2012-04-24T18:21:40Z"^^xsd:dateTime;
-.
-
-:fuel-tank-measurement;
- a prov:Activity;
-.
+ prov:wasInformedBy :voicemail-interception;
+.
+
+:voicemail-interception a prov:Activity .
</pre>
</div>
@@ -3398,34 +3595,47 @@
</div>
</div>
- <div class="entity" id="wasStartedByActivity">
- <h3 id="property--prov-wasstartedbyactivityop-----------------back-to-starting-point-properties">
- Property: <a href="#wasStartedByActivity"><span title="http://www.w3.org/ns/prov#wasStartedByActivity" class="dotted">prov:wasStartedByActivity</span></a><sup title="object property" class="type-op">op</sup>
+ <div class="entity" id="wasInvalidatedBy">
+ <h3 id="property--prov-wasinvalidatedbyop-----------------back-to-starting-point-properties">
+ Property: <a href="#wasInvalidatedBy"><span title="http://www.w3.org/ns/prov#wasInvalidatedBy" class="dotted">prov:wasInvalidatedBy</span></a><sup title="object property" class="type-op">op</sup>
<span class="backlink">
back to <a href="#prov-starting-point-owl-terms-at-a-glance">starting-point properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasStartedByActivity</p>
-
- <div class="example" typeof="prov:Entity" about="#example-for-property-wasStartedByActivity">
- <span resource="http://www.w3.org/ns/prov#wasStartedByActivity" rel="dcterms:subject"></span>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasInvalidatedBy</p>
+
+ <div class="example" typeof="prov:Entity" about="#example-for-property-wasInvalidatedBy">
+ <span resource="http://www.w3.org/ns/prov#wasInvalidatedBy" rel="dcterms:subject"></span>
<strong>Example</strong>
- <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasStartedByActivity.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+ <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasInvalidatedBy.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix : <http://example.com/> .
-:workflow-execution a prov:Activity .
-:subWorkflow-execution
- a prov:Activity;
- prov:wasStartedByActivity :workflow-execution .
+: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;
+.
+
+<http://dbpedia.org/resource/Pablo_Picasso>
+ a prov:Agent;
+ foaf:depiction <http://upload.wikimedia.org/wikipedia/commons/9/98/Pablo_picasso_1.jpg>;
+.
+
+:Swissair_Flight_111_crash
+ a prov:Activity;
+ prov:used <http://dbpedia.org/resource/Swissair_Flight_111>;
+.
+
+<> prov:wasDerivedFrom <http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#dfn-wasinvalidatedby> .
</pre>
</div>
<div class="description">
- <div class="comment"><p>The start of an activity with an implicit trigger generated by another activity.</p>
- </div>
<dl>
<dt>has super-properties</dt>
@@ -3441,7 +3651,7 @@
<dd>
<ul>
<li>
- <a class="owlclass" href="#Activity" title="http://www.w3.org/ns/prov#Activity">prov:Activity</a>
+ <a class="owlclass" href="#Entity" title="http://www.w3.org/ns/prov#Entity">prov:Entity</a>
</li>
</ul>
</dd>
@@ -3455,18 +3665,6 @@
</ul>
</dd>
- <dt>can be qualified with</dt>
- <dd>
- <ul>
- <li>
- <a class="owlproperty" href="#qualifiedStartByActivity" title="http://www.w3.org/ns/prov#qualifiedStartByActivity">prov:qualifiedStartByActivity</a>
- </li>
- <li>
- <a class="owlclass" href="#StartByActivity" title="http://www.w3.org/ns/prov#StartByActivity">prov:StartByActivity</a>
- </li>
- </ul>
- </dd>
-
</dl>
</div>
</div>
@@ -3488,9 +3686,6 @@
<a href="#Location">prov:Location</a>
</li>
<li>
- <a href="#Note">prov:Note</a>
- </li>
- <li>
<a href="#Organization">prov:Organization</a>
</li>
<li>
@@ -3517,9 +3712,6 @@
<a href="#hadOriginalSource">prov:hadOriginalSource</a>
</li>
<li class="object-property">
- <a href="#hasAnnotation">prov:hasAnnotation</a>
- </li>
- <li class="object-property">
<a href="#specializationOf">prov:specializationOf</a>
</li>
<li class="object-property">
@@ -3549,7 +3741,7 @@
back to <a href="#prov-expanded-owl-terms-at-a-glance">expanded classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Account</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Account</p>
<div class="definition"><p>An account is any mechanism by which a set of provenance descriptions can be bundled up and named.</p>
</div>
@@ -3563,16 +3755,14 @@
@prefix : <http://example.com/> .
# An account can be described in many ways. A possibility is a named graph:
-:acc23_04_2012_dereck{
-
-:acc23_04_2012_dereck a prov:Account.
-
-:entity1 a prov:Entity.
-
-:agent1 a prov:Agent.
-
-#Other provenance statements.
-
+:acc23_04_2012_dereck {
+
+ :acc23_04_2012_dereck a prov:Account .
+
+ :entity1 a prov:Entity .
+ :agent1 a prov:Agent .
+
+ #Other provenance statements.
}
# Another possibility is by pointing to the container of the provenance triples:
@@ -3588,6 +3778,10 @@
<dd>
<a class="owlclass" href="#Entity" title="http://www.w3.org/ns/prov#Entity">prov:Entity</a>
</dd>
+
+ <dt>parent is in domain of</dt>
+ <dd>
+ </dd>
</dl>
</div>
@@ -3598,7 +3792,7 @@
back to <a href="#prov-expanded-owl-terms-at-a-glance">expanded classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Location</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Location</p>
<div class="definition"><p>A location can be an identifiable geographic place (ISO 19112), but it can also be a non-geographic place such as a directory, row, or column. As such, there are numerous ways in which location can be expressed, such as by a coordinate, address, landmark, and so forth.</p>
</div>
@@ -3612,22 +3806,23 @@
@prefix sioc: <http://rdfs.org/sioc/ns#> .
@prefix : <http://example.com/> .
-#A Location can be a path or a geographical location.
+# A Location can be a path or a geographical location.
+
:post9821
- a prov:Entity, sioc:Post;
- prov:wasGeneratedBy :publicationActivity1123;
- prov:atLocation :more-crime-happens-in-cities;
- prov:qualifiedGeneration [
- a prov:Generation;
- prov:activity :publicationActivity1123;
- prov:atTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
- prov:atLocation <http://dbpedia.org/resource/Madrid>;
- ];
- .
-:publicationActivity1123 a prov:Activity.
+ a prov:Entity, sioc:Post;
+ prov:wasGeneratedBy :publicationActivity1123;
+ prov:atLocation :more-crime-happens-in-cities;
+ prov:qualifiedGeneration [
+ a prov:Generation;
+ prov:activity :publicationActivity1123;
+ prov:atTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
+ prov:atLocation <http://dbpedia.org/resource/Madrid>;
+ ];
+.
+
+:publicationActivity1123 a prov:Activity.
:more-crime-happens-in-cities a prov:Location.
-<http://dbpedia.org/resource/Madrid> a prov:Location.
-
+<http://dbpedia.org/resource/Madrid> a prov:Location.
</pre>
</div>
@@ -3642,49 +3837,6 @@
</dl>
</div>
- <div class="entity" id="Note">
- <h3 id="class--prov-note-----------------back-to-expanded-classes">
- Class: <a href="#Note"><span title="http://www.w3.org/ns/prov#Note" class="dotted">prov:Note</span></a>
- <span class="backlink">
- back to <a href="#prov-expanded-owl-terms-at-a-glance">expanded classes</a>
- </span>
- </h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Note</p>
- <div class="definition"><p>Attribute-value pairs occurring in notes are application specific.</p>
- </div>
-
- <div class="example" typeof="prov:Entity" about="#example-for-class-Note">
- <span resource="http://www.w3.org/ns/prov#Note" rel="dcterms:subject"></span>
- <strong>Example</strong>
- <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Note.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix owl: <http://www.w3.org/2002/07/owl#> .
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix : <http://example.com/> .
-
-:post112
- a prov:Entity;
- prov:hasAnnotation :parserNote.
-
-:parserNote {
- :parserNote a prov:Note.
- :post112 :parsedAt "2012-04-15T13:00:00-04:00"^^xsd:dateTime.
- #Other statements annotating the resource could be added here
-}
-</pre>
- </div>
-
- <dl class="description">
- <dd class="comment"><p>Attribute-value pairs occurring in notes are application specific.</p>
- </dd>
-
- <dt>in range of</dt>
- <dd>
- <a href="#hasAnnotation" title="http://www.w3.org/ns/prov#hasAnnotation">prov:hasAnnotation</a><sup title="object property" class="type-op">op</sup>
- </dd>
- </dl>
- </div>
-
<div class="entity" id="Organization">
<h3 id="class--prov-organization-----------------back-to-expanded-classes">
Class: <a href="#Organization"><span title="http://www.w3.org/ns/prov#Organization" class="dotted">prov:Organization</span></a>
@@ -3692,7 +3844,7 @@
back to <a href="#prov-expanded-owl-terms-at-a-glance">expanded classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Organization</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Organization</p>
<div class="definition"><p>Agents of type Organization are social institutions such as companies, societies etc.</p>
</div>
@@ -3707,7 +3859,7 @@
@prefix : <http://example.com/> .
:boogle
- a prov:Agent, prov:Organization, foaf:Organization;
+ a prov:Agent, prov:Organization;
foaf:name "Boogle";
.
</pre>
@@ -3721,6 +3873,10 @@
<dd>
<a class="owlclass" href="#Agent" title="http://www.w3.org/ns/prov#Agent">prov:Agent</a>
</dd>
+
+ <dt>parent is in domain of</dt>
+ <dd>
+ <a href="#actedOnBehalfOf" title="http://www.w3.org/ns/prov#actedOnBehalfOf">prov:actedOnBehalfOf</a> <a href="#qualifiedResponsibility" title="http://www.w3.org/ns/prov#qualifiedResponsibility">prov:qualifiedResponsibility</a> </dd>
</dl>
</div>
@@ -3731,7 +3887,7 @@
back to <a href="#prov-expanded-owl-terms-at-a-glance">expanded classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Person</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Person</p>
<div class="definition"><p>Agents of type Person are people.</p>
</div>
@@ -3760,6 +3916,10 @@
<dd>
<a class="owlclass" href="#Agent" title="http://www.w3.org/ns/prov#Agent">prov:Agent</a>
</dd>
+
+ <dt>parent is in domain of</dt>
+ <dd>
+ <a href="#actedOnBehalfOf" title="http://www.w3.org/ns/prov#actedOnBehalfOf">prov:actedOnBehalfOf</a> <a href="#qualifiedResponsibility" title="http://www.w3.org/ns/prov#qualifiedResponsibility">prov:qualifiedResponsibility</a> </dd>
</dl>
</div>
@@ -3770,7 +3930,7 @@
back to <a href="#prov-expanded-owl-terms-at-a-glance">expanded classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#SoftwareAgent</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#SoftwareAgent</p>
<div class="definition"><p>A software agent is running software.</p>
</div>
@@ -3783,10 +3943,12 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# Googlebot is Google's web crawling bot. it can initiate and participate in web-crawling activities.
+# Googlebot is Google's web crawling bot; it can initiate and participate in web-crawling activities.
+
:googlebot
- a prov:SoftwareAgent ;
- rdfs:label "Googlebot"^^xsd:string .
+ a prov:SoftwareAgent;
+ rdfs:label "Googlebot"^^xsd:string;
+.
</pre>
</div>
@@ -3798,6 +3960,10 @@
<dd>
<a class="owlclass" href="#Agent" title="http://www.w3.org/ns/prov#Agent">prov:Agent</a>
</dd>
+
+ <dt>parent is in domain of</dt>
+ <dd>
+ <a href="#actedOnBehalfOf" title="http://www.w3.org/ns/prov#actedOnBehalfOf">prov:actedOnBehalfOf</a> <a href="#qualifiedResponsibility" title="http://www.w3.org/ns/prov#qualifiedResponsibility">prov:qualifiedResponsibility</a> </dd>
</dl>
</div>
</div>
@@ -3809,7 +3975,7 @@
back to <a href="#prov-expanded-owl-terms-at-a-glance">expanded properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#alternateOf</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#alternateOf</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-alternateOf">
<span resource="http://www.w3.org/ns/prov#alternateOf" rel="dcterms:subject"></span>
@@ -3820,32 +3986,35 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-:london_forecast_0412 a prov:Entity ;
- prov:wasAttributedTo :bbc ;
- prov:wasGeneratedBy [
- a prov:Activity ;
- prov:endedAtTime "2012-04-12T00:00:00-04:00"^^xsd:dateTime;
- ]
-.
-
-
-:london_forecast_0413 a prov:Entity ;
- prov:wasAttributedTo :bbc ;
- prov:wasGeneratedBy [
- a prov:Activity ;
- prov:endedAtTime "2012-04-13T00:00:00-04:00"^^xsd:dateTime;
- ]
-.
-
-
-:london_forecast a prov:Entity ;
- prov:wasAttributedTo :bbc ;
-.
-
-### :london_forecast_0412 and :london_forecast_0413 are both specialization of the more general entity :london_forecast
-
-:london_forecast_0412 prov:alternateOf :london_forecast_0413 ;
- prov:specializationOf :london_forecast ;
+:london_forecast_0412
+ a prov:Entity;
+ prov:wasAttributedTo :bbc;
+ prov:wasGeneratedBy [
+ a prov:Activity;
+ prov:endedAtTime "2012-04-12T00:00:00-04:00"^^xsd:dateTime;
+ ];
+.
+
+:london_forecast_0413
+ a prov:Entity;
+ prov:wasAttributedTo :bbc;
+ prov:wasGeneratedBy [
+ a prov:Activity;
+ prov:endedAtTime "2012-04-13T00:00:00-04:00"^^xsd:dateTime;
+ ];
+.
+
+:london_forecast
+ a prov:Entity;
+ prov:wasAttributedTo :bbc;
+.
+
+## :london_forecast_0412 and :london_forecast_0413 are both
+## specialization of the more general entity :london_forecast
+
+:london_forecast_0412
+ prov:alternateOf :london_forecast_0413;
+ prov:specializationOf :london_forecast;
.
</pre>
</div>
@@ -3884,7 +4053,7 @@
back to <a href="#prov-expanded-owl-terms-at-a-glance">expanded properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#atLocation</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#atLocation</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-atLocation">
<span resource="http://www.w3.org/ns/prov#atLocation" rel="dcterms:subject"></span>
@@ -3896,21 +4065,23 @@
@prefix sioc: <http://rdfs.org/sioc/ns#> .
@prefix : <http://example.com/> .
-#A Location can be a path or a geographical location.
+# A Location can be a path or a geographical location.
+
:post9821
- a prov:Entity, sioc:Post;
- prov:wasGeneratedBy :publicationActivity1123;
- prov:atLocation :more-crime-happens-in-cities;
- prov:qualifiedGeneration [
- a prov:Generation;
- prov:activity :publicationActivity1123;
- prov:atTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
- prov:atLocation <http://dbpedia.org/resource/Madrid>;
- ];
- .
-:publicationActivity1123 a prov:Activity.
-:more-crime-happens-in-cities a prov:Location.
-<http://dbpedia.org/resource/Madrid> a prov:Location.
+ a prov:Entity, sioc:Post;
+ prov:wasGeneratedBy :publicationActivity1123;
+ prov:atLocation :more-crime-happens-in-cities;
+ prov:qualifiedGeneration [
+ a prov:Generation;
+ prov:activity :publicationActivity1123;
+ prov:atTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
+ prov:atLocation <http://dbpedia.org/resource/Madrid>;
+ ];
+.
+
+:publicationActivity1123 a prov:Activity .
+:more-crime-happens-in-cities a prov:Location .
+<http://dbpedia.org/resource/Madrid> a prov:Location .
</pre>
</div>
@@ -3940,7 +4111,7 @@
back to <a href="#prov-expanded-owl-terms-at-a-glance">expanded properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#generated</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#generated</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-generated">
<span resource="http://www.w3.org/ns/prov#generated" rel="dcterms:subject"></span>
@@ -3951,7 +4122,12 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+:proteinDigestion
+ a prov:Activity;
+ prov:generated :peptideSample1;
+.
+
+:peptideSample1 a prov:Entity .
</pre>
</div>
@@ -4007,7 +4183,7 @@
back to <a href="#prov-expanded-owl-terms-at-a-glance">expanded properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#hadOriginalSource</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#hadOriginalSource</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-hadOriginalSource">
<span resource="http://www.w3.org/ns/prov#hadOriginalSource" rel="dcterms:subject"></span>
@@ -4015,25 +4191,44 @@
<pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadOriginalSource.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-### a particular case of derivation
-
-:myPost
- a prov:Entity;
- prov:hadOriginalSource :donQuixote;
- prov:qualifiedSource [
- a prov:Source;
- prov:entity :donQuixote;
- #other attributes of the relationship
- ].
+## Having an original source is a particular case of derivation.
+
+:myQuote
+ a prov:Entity;
+ prov:value """In a village of La Mancha, the name of which I have no desire
+ to call to mind, there lived not long since one of those gentlemen
+ that keep a lance in the lance-rack, an old buckler, a lean hack,
+ and a greyhound for coursing.""";
+ prov:hadOriginalSource <http://dbpedia.org/resource/Don_Quixote>;
+ prov:wasDerivedFrom <http://dbpedia.org/resource/Don_Quixote>; # This is inferred.
+ prov:qualifiedSource [
+ a prov:Source;
+ prov:entity <http://dbpedia.org/resource/Don_Quixote>;
+ :volume 1;
+ :chapter 1;
+ ];
+.
-:donQuixote a prov:Entity.
+<http://dbpedia.org/resource/Don_Quixote>
+ a prov:Entity;
+ prov:wasAttributedTo :cervantes;
+ foaf:homepage <http://en.wikipedia.org/wiki/Don_Quixote>;
+.
+
+:cervantes
+ a prov:Person;
+ foaf:name "Miguel de Cervantes";
+.
</pre>
</div>
<div class="description">
+ <div class="comment"><p>An original source refers to the source material that is closest to the person, information, period, or idea being studied. An original source relation is a particular case of derivation that aims to give credit to the source that originated some information.</p>
+ </div>
<dl>
<dt>has super-properties</dt>
@@ -4079,52 +4274,6 @@
</div>
</div>
- <div class="entity" id="hasAnnotation">
- <h3 id="property--prov-hasannotationop-----------------back-to-expanded-properties">
- Property: <a href="#hasAnnotation"><span title="http://www.w3.org/ns/prov#hasAnnotation" class="dotted">prov:hasAnnotation</span></a><sup title="object property" class="type-op">op</sup>
- <span class="backlink">
- back to <a href="#prov-expanded-owl-terms-at-a-glance">expanded properties</a>
- </span>
- </h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#hasAnnotation</p>
-
- <div class="example" typeof="prov:Entity" about="#example-for-property-hasAnnotation">
- <span resource="http://www.w3.org/ns/prov#hasAnnotation" rel="dcterms:subject"></span>
- <strong>Example</strong>
- <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hasAnnotation.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix owl: <http://www.w3.org/2002/07/owl#> .
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix : <http://example.com/> .
-
-:post112
- a prov:Entity;
- prov:hasAnnotation :myNote;
-.
-
-:myNote
- a prov:Note;
- :reputation "excellent";
-.
-</pre>
- </div>
-
- <div class="description">
- <dl>
-
- <dt>has range</dt>
- <dd>
- <ul>
- <li>
- <a class="owlclass" href="#Note" title="http://www.w3.org/ns/prov#Note">prov:Note</a>
- </li>
- </ul>
- </dd>
-
- </dl>
- </div>
- </div>
-
<div class="entity" id="specializationOf">
<h3 id="property--prov-specializationofop-----------------back-to-expanded-properties">
Property: <a href="#specializationOf"><span title="http://www.w3.org/ns/prov#specializationOf" class="dotted">prov:specializationOf</span></a><sup title="object property" class="type-op">op</sup>
@@ -4132,7 +4281,7 @@
back to <a href="#prov-expanded-owl-terms-at-a-glance">expanded properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#specializationOf</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#specializationOf</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-specializationOf">
<span resource="http://www.w3.org/ns/prov#specializationOf" rel="dcterms:subject"></span>
@@ -4143,32 +4292,35 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-:london_forecast_0412 a prov:Entity ;
- prov:wasAttributedTo :bbc ;
- prov:wasGeneratedBy [
- a prov:Activity ;
- prov:endedAtTime "2012-04-12T00:00:00-04:00"^^xsd:dateTime;
- ]
-.
-
-
-:london_forecast_0413 a prov:Entity ;
- prov:wasAttributedTo :bbc ;
- prov:wasGeneratedBy [
- a prov:Activity ;
- prov:endedAtTime "2012-04-13T00:00:00-04:00"^^xsd:dateTime;
- ]
-.
-
-
-:london_forecast a prov:Entity ;
- prov:wasAttributedTo :bbc ;
-.
-
-### :london_forecast_0412 and :london_forecast_0413 are both specialization of the more general entity :london_forecast
-
-:london_forecast_0412 prov:alternateOf :london_forecast_0413 ;
- prov:specializationOf :london_forecast ;
+:london_forecast_0412
+ a prov:Entity;
+ prov:wasAttributedTo :bbc;
+ prov:wasGeneratedBy [
+ a prov:Activity;
+ prov:endedAtTime "2012-04-12T00:00:00-04:00"^^xsd:dateTime;
+ ];
+.
+
+:london_forecast_0413
+ a prov:Entity;
+ prov:wasAttributedTo :bbc;
+ prov:wasGeneratedBy [
+ a prov:Activity;
+ prov:endedAtTime "2012-04-13T00:00:00-04:00"^^xsd:dateTime;
+ ];
+.
+
+:london_forecast
+ a prov:Entity;
+ prov:wasAttributedTo :bbc;
+.
+
+## :london_forecast_0412 and :london_forecast_0413 are both
+## specialization of the more general entity :london_forecast
+
+:london_forecast_0412
+ prov:alternateOf :london_forecast_0413;
+ prov:specializationOf :london_forecast;
.
</pre>
</div>
@@ -4207,24 +4359,30 @@
back to <a href="#prov-expanded-owl-terms-at-a-glance">expanded properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#tracedTo</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#tracedTo</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-tracedTo">
<span resource="http://www.w3.org/ns/prov#tracedTo" rel="dcterms:subject"></span>
<strong>Example</strong>
- <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_tracedTo.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix owl: <http://www.w3.org/2002/07/owl#> .
-@prefix prov: <http://www.w3.org/ns/prov#> .
+ <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_tracedTo.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix dcterms: <http://purl.org/dc/elements/1.1/>.
-@prefix : <http://example.com/> .
-
-:newsArticle
+@prefix : <http://example.com/> .
+
+# An up-to-date web page listing the presidents of the United States
+# is traced to all of those who have held the office.
+
+<http://en.wikipedia.org/wiki/List_of_Presidents_of_the_United_States>
a prov:Entity;
- dcterms:title "Last presidents of the United States of America"^^xsd:string;
- prov:tracedTo :president_obama.
-
-:president_obama a prov:Entity, prov:Agent.
+ dcterms:title "List of Presidents of the United States"^^xsd:string;
+ prov:tracedTo <http://dbpedia.org/resource/Barack_Obama>;
+.
+
+<http://dbpedia.org/resource/Barack_Obama>
+ a prov:Entity, prov:Person;
+.
</pre>
</div>
@@ -4296,7 +4454,7 @@
back to <a href="#prov-expanded-owl-terms-at-a-glance">expanded properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasEndedBy</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasEndedBy</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-wasEndedBy">
<span resource="http://www.w3.org/ns/prov#wasEndedBy" rel="dcterms:subject"></span>
@@ -4313,13 +4471,13 @@
prov:qualifiedEnd [
a prov:End;
prov:entity :inconsistentResult;
- prov:atTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
- prov:atLocation :scienceLab003;
+ prov:atTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
+ prov:atLocation :scienceLab_003;
];
.
-:inconsistentResult a prov:Entity.
-:scienceLab003 a prov:Location .
+:inconsistentResult a prov:Entity .
+:scienceLab_003 a prov:Location .
</pre>
</div>
@@ -4378,7 +4536,7 @@
back to <a href="#prov-expanded-owl-terms-at-a-glance">expanded properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasQuotedFrom</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasQuotedFrom</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-wasQuotedFrom">
<span resource="http://www.w3.org/ns/prov#wasQuotedFrom" rel="dcterms:subject"></span>
@@ -4391,6 +4549,7 @@
:bl-dagstuhl
a prov:Entity;
+
prov:value """During the workshop, it became clear to me that the consensus
based models (which are often graphical in nature) can not only be
formalized but also be directly connected to these database focused
@@ -4398,8 +4557,9 @@
This could imply that we could have nice way to trace provenance across
systems and through databases and be able to understand the
mathematical properties of this interconnection.""";
-prov:wasQuotedFrom
-<http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/>;
+
+ prov:wasQuotedFrom
+ <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/>;
.
<http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/> a prov:Entity .
@@ -4463,7 +4623,7 @@
back to <a href="#prov-expanded-owl-terms-at-a-glance">expanded properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasRevisionOf</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasRevisionOf</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-wasRevisionOf">
<span resource="http://www.w3.org/ns/prov#wasRevisionOf" rel="dcterms:subject"></span>
@@ -4538,7 +4698,7 @@
back to <a href="#prov-expanded-owl-terms-at-a-glance">expanded properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasStartedBy</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasStartedBy</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-wasStartedBy">
<span resource="http://www.w3.org/ns/prov#wasStartedBy" rel="dcterms:subject"></span>
@@ -4549,12 +4709,14 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# use prov:qualifiedStart to see when and where the activity was started
+# Use prov:qualifiedStart to see when and where the activity was started
+
:experiment
- a prov:Activity ;
- prov:wasStartedBy :researcher.
-
-:researcher a prov:Agent.
+ a prov:Activity;
+ prov:wasStartedBy :researcher;
+.
+
+:researcher a prov:Agent .
</pre>
</div>
@@ -4674,9 +4836,6 @@
<a href="#Start">prov:Start</a>
</li>
<li>
- <a href="#StartByActivity">prov:StartByActivity</a>
- </li>
- <li>
<a href="#Trace">prov:Trace</a>
</li>
<li>
@@ -4709,12 +4868,6 @@
<a href="#hadPlan">prov:hadPlan</a>
</li>
<li class="object-property">
- <a href="#hadQuoted">prov:hadQuoted</a>
- </li>
- <li class="object-property">
- <a href="#hadQuoter">prov:hadQuoter</a>
- </li>
- <li class="object-property">
<a href="#hadRole">prov:hadRole</a>
</li>
<li class="object-property">
@@ -4724,6 +4877,9 @@
<a href="#involved">prov:involved</a>
</li>
<li class="object-property">
+ <a href="#involvee">prov:involvee</a>
+ </li>
+ <li class="object-property">
<a href="#qualifiedAssociation">prov:qualifiedAssociation</a>
</li>
<li class="object-property">
@@ -4742,6 +4898,9 @@
<a href="#qualifiedGeneration">prov:qualifiedGeneration</a>
</li>
<li class="object-property">
+ <a href="#qualifiedInvalidation">prov:qualifiedInvalidation</a>
+ </li>
+ <li class="object-property">
<a href="#qualifiedQuotation">prov:qualifiedQuotation</a>
</li>
<li class="object-property">
@@ -4757,9 +4916,6 @@
<a href="#qualifiedStart">prov:qualifiedStart</a>
</li>
<li class="object-property">
- <a href="#qualifiedStartByActivity">prov:qualifiedStartByActivity</a>
- </li>
- <li class="object-property">
<a href="#qualifiedTrace">prov:qualifiedTrace</a>
</li>
<li class="object-property">
@@ -4777,7 +4933,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#ActivityInvolvement</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#ActivityInvolvement</p>
<div class="example" typeof="prov:Entity" about="#example-for-class-ActivityInvolvement">
<span resource="http://www.w3.org/ns/prov#ActivityInvolvement" rel="dcterms:subject"></span>
@@ -4788,17 +4944,20 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
+:bar_chart
+ a prov:Entity;
+ prov:wasGeneratedBy :illustrating;
+ prov:qualifiedGeneration :making-bar-chart;
+.
+
:making-bar-chart
- a prov:Generation, prov:ActivityInvolvement ;
- prov:activity :illustrating ;
- rdfs:comment "Ended up with bar chart as line chart looked ugly."@en .
+ a prov:Generation,
+ prov:ActivityInvolvement; ## Instances of Generation, Invalidation, and Communication qualify
+ prov:activity :illustrating; ## the involvement of an Activity (cited by prov:activity)
+ rdfs:comment "Ended up with bar chart as line chart looked ugly."@en;
+.
:illustrating a prov:Activity .
-
-:bar_chart a prov:Entity ;
- prov:wasGeneratedBy :illustrating ;
- prov:qualifiedGeneration :making-bar-chart .
-
</pre>
</div>
@@ -4816,12 +4975,15 @@
<a href="#activity" title="http://www.w3.org/ns/prov#activity">prov:activity</a><sup title="object property" class="type-op">op</sup>
</dd>
+ <dt>parent is in domain of</dt>
+ <dd>
+ </dd>
+
<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="#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>
- <a class="owlclass" href="#Communication" title="http://www.w3.org/ns/prov#Communication">prov:Communication</a>
- <a class="owlclass" href="#StartByActivity" title="http://www.w3.org/ns/prov#StartByActivity">prov:StartByActivity</a>
</dd>
</dl>
</div>
@@ -4833,7 +4995,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#AgentInvolvement</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#AgentInvolvement</p>
<div class="example" typeof="prov:Entity" about="#example-for-class-AgentInvolvement">
<span resource="http://www.w3.org/ns/prov#AgentInvolvement" rel="dcterms:subject"></span>
@@ -4846,17 +5008,19 @@
:illustrating
a prov:Activity;
- prov:wasAssociatedWith :derek ;
+ prov:wasAssociatedWith :derek;
prov:qualifiedAssociation [
- a prov:AgentInvolvement ;
- a prov:Association ;
- prov:agent :derek ;
- prov:role :illustrationist
- ] .
+ a prov:Association,
+ prov:AgentInvolvement; ## Instances of Generation, Invalidation, and Communication qualify
+ prov:agent :derek; ## the involvement of an Agent (cited by prov:agent)
+ prov:hadRole :illustrationist
+ ];
+.
:derek a prov:Person, prov:Agent, prov:Entity .
-:illustratonist a prov:Role .</pre>
+:illustratonist a prov:Role .
+</pre>
</div>
<dl class="description">
@@ -4873,6 +5037,10 @@
<a href="#agent" title="http://www.w3.org/ns/prov#agent">prov:agent</a><sup title="object property" class="type-op">op</sup>
</dd>
+ <dt>parent is in domain of</dt>
+ <dd>
+ </dd>
+
<dt>has subclasses</dt>
<dd>
<a class="owlclass" href="#Responsibility" title="http://www.w3.org/ns/prov#Responsibility">prov:Responsibility</a>
@@ -4889,7 +5057,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Association</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Association</p>
<div class="definition"><p>An activity association is an assignment of responsibility to an agent for an activity, indicating that the agent had a role in the activity. It further allows for a plan to be specified, which is the plan intended by the agent to achieve some goals in the context of this activity.</p>
</div>
@@ -4904,32 +5072,34 @@
:illustrating
a prov:Activity;
- prov:wasAssociatedWith :derek, :steve ;
+ prov:wasAssociatedWith :derek,
+ :steve;
prov:qualifiedAssociation [
- a prov:Association ;
- prov:agent :derek ;
- prov:role :illustrationist
- ] ;
+ a prov:Association;
+ prov:agent :derek;
+ prov:hadRole :illustrationist;
+ ];
prov:qualifiedAssociation [
- a prov:Association ;
- prov:agent :steve ;
- prov:role :stylist ;
- prov:hadPlan :house-styles ;
- rdfs:comment "Steve helped Derek conform with the house style"@en
- ] .
+ a prov:Association;
+ prov:agent :steve;
+ prov:hadRole :stylist;
+ prov:hadPlan :house-styles;
+ rdfs:comment "Steve helped Derek conform with the house style."@en;
+ ];
+.
:derek a prov:Person, prov:Agent, prov:Entity .
:steve a prov:Person, prov:Agent, prov:Entity .
:illustratonist a prov:Role .
-:stylist a prov:Role .
+:stylist a prov:Role .
:house-styles a prov:Plan, prov:Entity .
</pre>
</div>
<dl class="description">
- <dd class="comment"><p>An instance of prov:Association provides additional descriptions about the binary prov:wasAssociatedWith relation from an prov:Activity to some prov:Agent that is responsible for it. For example, :baking prov:wasAssociatedWith :baker; prov:qualified [ a prov:Association; prov:entity :baker; :foo :bar ].</p>
+ <dd class="comment"><p>An instance of prov:Association provides additional descriptions about the binary prov:wasAssociatedWith relation from an prov:Activity to some prov:Agent that is responsible for it. For example, :baking prov:wasAssociatedWith :baker; prov:qualified [ a prov:Association; prov:agent :baker; :foo :bar ].</p>
</dd>
<dt>is subclass of</dt>
@@ -4942,6 +5112,13 @@
<a href="#hadPlan" title="http://www.w3.org/ns/prov#hadPlan">prov:hadPlan</a><sup title="object property" class="type-op">op</sup>
</dd>
+ <dt>a domain of</dt>
+ <dd>
+ <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="#agent" title="http://www.w3.org/ns/prov#agent">prov:agent</a> </dd>
+
<dt>in range of</dt>
<dd>
<a href="#qualifiedAssociation" title="http://www.w3.org/ns/prov#qualifiedAssociation">prov:qualifiedAssociation</a><sup title="object property" class="type-op">op</sup>
@@ -4961,7 +5138,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Attribution</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Attribution</p>
<div class="definition"><p>Attribution is the ascribing of an entity to an agent.</p>
</div>
@@ -5011,6 +5188,10 @@
<a class="owlclass" href="#AgentInvolvement" title="http://www.w3.org/ns/prov#AgentInvolvement">prov:AgentInvolvement</a>
</dd>
+ <dt>parent is in domain of</dt>
+ <dd>
+ <a href="#agent" title="http://www.w3.org/ns/prov#agent">prov:agent</a> </dd>
+
<dt>in range of</dt>
<dd>
<a href="#qualifiedAttribution" title="http://www.w3.org/ns/prov#qualifiedAttribution">prov:qualifiedAttribution</a><sup title="object property" class="type-op">op</sup>
@@ -5030,7 +5211,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Communication</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Communication</p>
<div class="definition"><p>Communication is the exchange of an entity by two activities, one activity using the entity generated by the other.</p>
</div>
@@ -5043,14 +5224,25 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-:filling-petrol
+:writing-celebrity-gossip
a prov:Activity;
- prov:wasInformedBy :low-fuel-flashing;
- prov:qualifiedCommunication [
- a prov:Communication;
- prov:activity :low-fuel-flashing;
- rdfs:comment "Don't like flashing warning lights";
- ];
+ prov:wasInformedBy :voicemail-interception;
+ prov:qualifiedCommunication :informing-the-journalist;
+.
+
+:informing-the-journalist
+ a prov:Communication;
+ prov:activity :voicemail-interception;
+ prov:atLocation :unknown-location;
+ rdfs:comment """The journalist was informed by the private
+ investigator, but we don't know how or what he was told."""@en;
+.
+
+:voicemail-interception a prov:Activity .
+
+:unknown-location
+ a prov:Location;
+ rdfs:label "Location unknown"@en;
.
</pre>
</div>
@@ -5064,6 +5256,10 @@
<a class="owlclass" href="#ActivityInvolvement" title="http://www.w3.org/ns/prov#ActivityInvolvement">prov:ActivityInvolvement</a>
</dd>
+ <dt>parent is in domain of</dt>
+ <dd>
+ <a href="#activity" title="http://www.w3.org/ns/prov#activity">prov:activity</a> </dd>
+
<dt>in range 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>
@@ -5083,7 +5279,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Derivation</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Derivation</p>
<div class="definition"><p>A derivation is a transformation of an entity into another, a construction of an entity into another, or an update of an entity, resulting in a new one.</p>
</div>
@@ -5096,16 +5292,41 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-:bar_chart prov:wasDerivedFrom :aggregatedByRegions ;
- prov:qualifiedDerivation [
- a prov:Derivation ;
- prov:hadGeneration :illustration ; ## more details about the activity underpinning the derivation
- prov:entity :aggregatedByRegions ;
- ]
-.
-
-:illustration a prov:Generation, prov:InstantaneousEvent ;
- prov:atTime "2012-04-03T00:00:01Z"^^xsd:dateTime;
+:bar_chart
+ a prov:Entity;
+ prov:wasDerivedFrom :aggregatedByRegions; # The simplest (and least detailed) form of derivation.
+.
+
+:bar_chart
+ a prov:Entity;
+ prov:wasDerivedFrom :aggregatedByRegions; # The simple form can be accompanied by a qualified form:
+ prov:qualifiedDerivation [
+ a prov:Derivation; # An instance of Derivation provides more details
+ prov:entity :aggregatedByRegions; # about how :bar_chart was derived from :aggregatedRegions
+
+ :foo :bar; # - - - - - - - - - - - - - - Arbitrary domain-specific descriptions are permitted.
+
+ # Derivations can cite the Activity involved in doing the derivation.
+ prov:hadActivity :illustration_activity;
+
+ # They can also cite the Usage and Generation that the Activity performed to generate :bar_chart.
+ prov:hadUsage :how_illustration_activity_used_data;
+ prov:hadGeneration :bar_chart_generation;
+ ];
+.
+
+:illustration_activity
+ a prov:Activity;
+ prov:wasAttributedTo :derek;
+.
+
+:bar_chart_generation
+ a prov:Generation, prov:InstantaneousEvent;
+ prov:atTime "2012-04-03T00:00:01Z"^^xsd:dateTime;
+.
+
+:how_illustration_activity_used_data
+ a prov:Usage;
.
</pre>
</div>
@@ -5125,6 +5346,13 @@
<a href="#hadUsage" title="http://www.w3.org/ns/prov#hadUsage">prov:hadUsage</a><sup title="object property" class="type-op">op</sup>
</dd>
+ <dt>a domain of</dt>
+ <dd>
+ <a href="#hadActivity" title="http://www.w3.org/ns/prov#hadActivity">prov:hadActivity</a>
+ </dd><dt>parent is in domain of</dt>
+ <dd>
+ <a href="#entity" title="http://www.w3.org/ns/prov#entity">prov:entity</a> </dd>
+
<dt>in range of</dt>
<dd>
<a href="#qualifiedDerivation" title="http://www.w3.org/ns/prov#qualifiedDerivation">prov:qualifiedDerivation</a><sup title="object property" class="type-op">op</sup>
@@ -5144,7 +5372,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#End</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#End</p>
<div class="definition"><p>An activity end event is the instantaneous event that marks the instant an activity ends.</p>
</div>
@@ -5158,17 +5386,20 @@
@prefix : <http://example.com/> .
# End can be used to qualify wasEndedBy with time and location information
+
:experiment
a prov:Activity;
prov:wasEndedBy :inconsistentResult;
prov:qualifiedEnd [
a prov:End;
- prov:entity :inconsistentResult;
- prov:atTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
- prov:atLocation :scienceLab003
- ].
+ prov:entity :inconsistentResult;
+ prov:atTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
+ prov:atLocation :scienceLab_003;
+ ];
+.
-:inconsistentResult a prov:Entity.</pre>
+:inconsistentResult a prov:Entity .
+</pre>
</div>
<dl class="description">
@@ -5181,6 +5412,13 @@
<a class="owlclass" href="#EntityInvolvement" title="http://www.w3.org/ns/prov#EntityInvolvement">prov:EntityInvolvement</a>
</dd>
+ <dt>a domain of</dt>
+ <dd>
+ <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="#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>
<a href="#qualifiedEnd" title="http://www.w3.org/ns/prov#qualifiedEnd">prov:qualifiedEnd</a><sup title="object property" class="type-op">op</sup>
@@ -5200,7 +5438,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#EntityInvolvement</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#EntityInvolvement</p>
<div class="example" typeof="prov:Entity" about="#example-for-class-EntityInvolvement">
<span resource="http://www.w3.org/ns/prov#EntityInvolvement" rel="dcterms:subject"></span>
@@ -5211,7 +5449,25 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+# EntityInvolvement is an 'abstract' subclass of Involvement
+# that references an entity (e.g. Usage, Derivation, Source).
+
+# It is not recommended that the type EntityInvolvement be directly declared,
+# use a specialization of EntityInvolvement instead.
+
+# By definition, all instances of prov:Usage are also instances of prov:EntityInvolvement.
+
+:sortActivity
+ a prov:Activity;
+ prov:used :datasetA;
+ prov:qualifiedUsage [
+ a prov:Usage,
+ prov:EntityInvolvement; ## Instances of Start, End, Usage, and Derivation qualify
+ prov:entity :datasetA; ## the involvement of an Entity (cited by prov:entity)
+ prov:hadRole :inputToBeSorted;
+ ];
+ prov:generated :datasetB;
+.
</pre>
</div>
@@ -5229,16 +5485,20 @@
<a href="#entity" title="http://www.w3.org/ns/prov#entity">prov:entity</a><sup title="object property" class="type-op">op</sup>
</dd>
+ <dt>parent is in domain of</dt>
+ <dd>
+ </dd>
+
<dt>has subclasses</dt>
<dd>
+ <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>
+ <a class="owlclass" href="#Derivation" title="http://www.w3.org/ns/prov#Derivation">prov:Derivation</a>
+ <a class="owlclass" href="#Trace" title="http://www.w3.org/ns/prov#Trace">prov:Trace</a>
<a class="owlclass" href="#Usage" title="http://www.w3.org/ns/prov#Usage">prov:Usage</a>
<a class="owlclass" href="#Source" title="http://www.w3.org/ns/prov#Source">prov:Source</a>
<a class="owlclass" href="#Revision" title="http://www.w3.org/ns/prov#Revision">prov:Revision</a>
<a class="owlclass" href="#Quotation" title="http://www.w3.org/ns/prov#Quotation">prov:Quotation</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>
- <a class="owlclass" href="#Derivation" title="http://www.w3.org/ns/prov#Derivation">prov:Derivation</a>
- <a class="owlclass" href="#Trace" title="http://www.w3.org/ns/prov#Trace">prov:Trace</a>
</dd>
</dl>
</div>
@@ -5250,7 +5510,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Generation</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Generation</p>
<div class="definition"><p>An entity generation event is the instantaneous event that marks the final instant of an entity's creation timespan, after which it is no longer available for use.</p>
</div>
@@ -5292,6 +5552,13 @@
<a class="owlclass" href="#ActivityInvolvement" title="http://www.w3.org/ns/prov#ActivityInvolvement">prov:ActivityInvolvement</a>
</dd>
+ <dt>a domain of</dt>
+ <dd>
+ <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="#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>
<a href="#hadGeneration" title="http://www.w3.org/ns/prov#hadGeneration">prov:hadGeneration</a><sup title="object property" class="type-op">op</sup>
@@ -5312,7 +5579,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#InstantaneousEvent</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#InstantaneousEvent</p>
<div class="definition"><p>An instantaneous event, or event for short, happens in the world and marks a change in the world, in its activities and in its entities. The term 'event' is commonly used in process algebra with a similar meaning. Events represent communications or interactions; they are assumed to be atomic and instantaneous.</p>
</div>
@@ -5355,11 +5622,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="#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="#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>
</dd>
</dl>
</div>
@@ -5371,7 +5638,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Invalidation</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Invalidation</p>
<div class="definition"><p>Invalidation is the start of the destruction, cessation, or expiry of an existing entity by an activity. The entity is no longer available for use after invalidation. Any generation or usage of an entity precedes its invalidation.</p>
</div>
@@ -5429,6 +5696,18 @@
<a class="owlclass" href="#InstantaneousEvent" title="http://www.w3.org/ns/prov#InstantaneousEvent">prov:InstantaneousEvent</a>
<a class="owlclass" href="#ActivityInvolvement" title="http://www.w3.org/ns/prov#ActivityInvolvement">prov:ActivityInvolvement</a>
</dd>
+
+ <dt>a domain of</dt>
+ <dd>
+ <a href="#hadActivity" title="http://www.w3.org/ns/prov#hadActivity">prov:hadActivity</a>
+ </dd><dt>parent is in domain of</dt>
+ <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>
+ <a href="#qualifiedInvalidation" title="http://www.w3.org/ns/prov#qualifiedInvalidation">prov:qualifiedInvalidation</a><sup title="object property" class="type-op">op</sup>
+ </dd>
</dl>
</div>
@@ -5439,7 +5718,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Involvement</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Involvement</p>
<div class="example" typeof="prov:Entity" about="#example-for-class-Involvement">
<span resource="http://www.w3.org/ns/prov#Involvement" rel="dcterms:subject"></span>
@@ -5450,7 +5729,25 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+# Although a domain extension (e.g. ':wasConductedBy') is not defined by PROV-O,
+# the relation between a surgery and an agent can be qualified
+# by reusing prov:Involvement and one of its three subclasses
+# (depending on the type of the instance involved):
+# AgentInvolvement, EntityInvolvement, and ActivityInvolement.
+
+:conductingSurgery_1
+ a prov:Activity;
+ :wasConductedby :bob;
+ prov:wasAssociatedWith [
+ a prov:Association,
+ prov:AgentInvolvement,
+ prov:Involvement;
+ prov:agent :bob;
+ prov:hadRole :Surgeon;
+ ];
+.
+
+:bob a prov:Agent .
</pre>
</div>
@@ -5468,9 +5765,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>
@@ -5487,7 +5784,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Plan</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Plan</p>
<div class="definition"><p>A plan is an entity that represents a set of actions or steps intended by one or more agents to achieve some goals.</p>
</div>
@@ -5500,16 +5797,21 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-:house-styles a prov:Plan, prov:Entity ;
- rdfs:comment "Use blue graphs for positive spin, red for negative"@en .
-
-:illustrating a prov:Activity ;
- prov:qualifiedAssociation :steve-checking-housestyles .
-
-:steve-checking-housestyles a prov:Association ;
- prov:agent :steve ;
- prov:hadPlan :house-styles .
-
+:illustrating
+ a prov:Activity;
+ prov:qualifiedAssociation :steve-checking-housestyles;
+.
+
+:steve-checking-housestyles
+ a prov:Association;
+ prov:agent :steve;
+ prov:hadPlan :house-styles;
+.
+
+:house-styles
+ a prov:Plan, prov:Entity;
+ rdfs:comment "Use blue graphs for positive spin, red for negative"@en;
+.
</pre>
</div>
@@ -5522,6 +5824,10 @@
<a class="owlclass" href="#Entity" title="http://www.w3.org/ns/prov#Entity">prov:Entity</a>
</dd>
+ <dt>parent is in domain of</dt>
+ <dd>
+ </dd>
+
<dt>in range of</dt>
<dd>
<a href="#hadPlan" title="http://www.w3.org/ns/prov#hadPlan">prov:hadPlan</a><sup title="object property" class="type-op">op</sup>
@@ -5536,7 +5842,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Quotation</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Quotation</p>
<div class="definition"><p>A quotation is the repeat of (some or all of) an entity, such as text or image, by someone other than its original author.</p>
</div>
@@ -5554,7 +5860,7 @@
prov:wasQuotedFrom <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/>;
prov:qualifiedQuotation [
a prov:Quotation;
- prov:entity <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/>;
+ prov:entity <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/>;
prov:hadQuoter <http://data.semanticweb.org/person/luc-moreau>;
prov:hadQuoted <http://data.semanticweb.org/person/paul-groth>;
] .
@@ -5577,11 +5883,9 @@
<a class="owlclass" href="#EntityInvolvement" title="http://www.w3.org/ns/prov#EntityInvolvement">prov:EntityInvolvement</a>
</dd>
- <dt>in domain of</dt>
- <dd>
- <a href="#hadQuoted" title="http://www.w3.org/ns/prov#hadQuoted">prov:hadQuoted</a><sup title="object property" class="type-op">op</sup>
- <a href="#hadQuoter" title="http://www.w3.org/ns/prov#hadQuoter">prov:hadQuoter</a><sup title="object property" class="type-op">op</sup>
- </dd>
+ <dt>parent is in domain of</dt>
+ <dd>
+ <a href="#entity" title="http://www.w3.org/ns/prov#entity">prov:entity</a> </dd>
<dt>in range of</dt>
<dd>
@@ -5602,7 +5906,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Responsibility</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Responsibility</p>
<div class="definition"><p>Responsibility is the fact that an agent is accountable for the actions of a 'subordinate' agent, in the context of an activity.</p>
</div>
@@ -5616,8 +5920,8 @@
@prefix : <http://example.com/> .
:policySale
- a prov:Actvity;
- prov:wasAssociatedWith :insuranceAgent_Frank;
+ a prov:Actvity;
+ prov:wasAssociatedWith :insuranceAgent_Frank;
.
:insuranceAgent_Frank
@@ -5641,6 +5945,13 @@
<a class="owlclass" href="#AgentInvolvement" title="http://www.w3.org/ns/prov#AgentInvolvement">prov:AgentInvolvement</a>
</dd>
+ <dt>a domain of</dt>
+ <dd>
+ <a href="#hadActivity" title="http://www.w3.org/ns/prov#hadActivity">prov:hadActivity</a>
+ </dd><dt>parent is in domain of</dt>
+ <dd>
+ <a href="#agent" title="http://www.w3.org/ns/prov#agent">prov:agent</a> </dd>
+
<dt>in range of</dt>
<dd>
<a href="#qualifiedResponsibility" title="http://www.w3.org/ns/prov#qualifiedResponsibility">prov:qualifiedResponsibility</a><sup title="object property" class="type-op">op</sup>
@@ -5660,7 +5971,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Revision</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Revision</p>
<div class="definition"><p>A revision is a derivation that revises an entity into a revised version.</p>
</div>
@@ -5673,14 +5984,28 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-:draft2 a prov:Entity ;
- prov:wasRevisionOf :e1 ;
+:draft2
+ a prov:Entity;
+ prov:wasRevisionOf :draft1;
prov:qualifiedRevision [
- a prov:Revision ;
- prov:entity :draft1
- ] .
-
-:draft1 a prov:Entity .</pre>
+ a prov:Revision;
+ prov:entity :draft1;
+ ];
+
+ prov:wasAttributedTo :edward;
+ prov:qualifiedAssociation [
+ a prov:Association;
+ prov:agent :edward;
+ prov:hadRole :editor;
+ ];
+.
+
+:draft1 a prov:Entity .
+
+:edward
+ a prov:Person, prov:Agent, prov:Entity;
+.
+</pre>
</div>
<dl class="description">
@@ -5692,6 +6017,10 @@
<a class="owlclass" href="#EntityInvolvement" title="http://www.w3.org/ns/prov#EntityInvolvement">prov:EntityInvolvement</a>
</dd>
+ <dt>parent is in domain of</dt>
+ <dd>
+ <a href="#entity" title="http://www.w3.org/ns/prov#entity">prov:entity</a> </dd>
+
<dt>in range of</dt>
<dd>
<a href="#qualifiedRevision" title="http://www.w3.org/ns/prov#qualifiedRevision">prov:qualifiedRevision</a><sup title="object property" class="type-op">op</sup>
@@ -5711,7 +6040,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Role</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Role</p>
<div class="definition"><p>A Role is the function of an entity with respect to an activity, in the context of a usage, generation, association, start, and end.</p>
</div>
@@ -5780,7 +6109,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Source</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Source</p>
<div class="definition"><p>An original source refers to the source material that is closest to the person, information, period, or idea being studied.</p>
</div>
@@ -5799,9 +6128,10 @@
prov:qualifiedSource [
a prov:Source;
prov:entity :donQuixote;
- #other attributes of the relationship
- ].
-
+ :confidenceValue "6"^^xsd:integer # I am not sure if "myPost" had as original source Don Quixote, so I assert a confidence value of 6 out of 10.
+ ];
+.
+
:donQuixote a prov:Entity.
</pre>
</div>
@@ -5815,6 +6145,10 @@
<a class="owlclass" href="#EntityInvolvement" title="http://www.w3.org/ns/prov#EntityInvolvement">prov:EntityInvolvement</a>
</dd>
+ <dt>parent is in domain of</dt>
+ <dd>
+ <a href="#entity" title="http://www.w3.org/ns/prov#entity">prov:entity</a> </dd>
+
<dt>in range of</dt>
<dd>
<a href="#qualifiedSource" title="http://www.w3.org/ns/prov#qualifiedSource">prov:qualifiedSource</a><sup title="object property" class="type-op">op</sup>
@@ -5834,7 +6168,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Start</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Start</p>
<div class="definition"><p>An activity start event is the instantaneous event that marks the instant an activity starts.</p>
</div>
@@ -5847,18 +6181,21 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# Start can be used to qualify wasStartedBy with time and location information
+# Start can be used to qualify wasStartedBy with time and location information.
+
:experiment
- a prov:Activity ;
- prov:wasStartedBy :researcher ;
+ a prov:Activity;
+ prov:wasStartedBy :researcher;
prov:qualifiedStart [
a prov:Start;
- prov:entity :researcher;
- prov:atTime "2011-07-06T01:48:36Z"^^xsd:dateTime;
- prov:atLocation :scienceLab003
- ].
-
-:researcher a prov:Agent.</pre>
+ prov:entity :researcher;
+ prov:atTime "2011-07-06T01:48:36Z"^^xsd:dateTime;
+ prov:atLocation :scienceLab_003;
+ ];
+.
+
+:researcher a prov:Agent .
+</pre>
</div>
<dl class="description">
@@ -5871,6 +6208,13 @@
<a class="owlclass" href="#EntityInvolvement" title="http://www.w3.org/ns/prov#EntityInvolvement">prov:EntityInvolvement</a>
</dd>
+ <dt>a domain of</dt>
+ <dd>
+ <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="#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>
<a href="#qualifiedStart" title="http://www.w3.org/ns/prov#qualifiedStart">prov:qualifiedStart</a><sup title="object property" class="type-op">op</sup>
@@ -5883,63 +6227,6 @@
</dl>
</div>
- <div class="entity" id="StartByActivity">
- <h3 id="class--prov-startbyactivity-----------------back-to-qualified-classes">
- Class: <a href="#StartByActivity"><span title="http://www.w3.org/ns/prov#StartByActivity" class="dotted">prov:StartByActivity</span></a>
- <span class="backlink">
- back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
- </span>
- </h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#StartByActivity</p>
- <div class="definition"><p>Start by Activity is the start of an activity with an implicit trigger generated by another activity.</p>
- </div>
-
- <div class="example" typeof="prov:Entity" about="#example-for-class-StartByActivity">
- <span resource="http://www.w3.org/ns/prov#StartByActivity" rel="dcterms:subject"></span>
- <strong>Example</strong>
- <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_StartByActivity.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix owl: <http://www.w3.org/2002/07/owl#> .
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix : <http://example.com/> .
-
-:workflow-execution a prov:Activity .
-
-:subworkflow-execution
- a prov:Activity;
- prov:startedAtTime "2011-07-16T01:52:15Z"^^xsd:dateTime;
- prov:wasStartedByActivity :workflow-execution;
- prov:qualifiedStartByActivity [
- a prov:StartByActivity;
- prov:activity :workflow-execution;
- :triggeredAt "2011-07-16T01:52:02Z"^^xsd:dateTime;
- :activationParameter "java -jar -n 5"^^xsd:string;
- ];
-.
-</pre>
- </div>
-
- <dl class="description">
- <dd class="comment"><p>An instance of prov:StartedByActivity provides additional descriptions about the binary prov:wasStartedByActivity relation from some started prov:Activity to another prov:Activity started it. For example, :second_leg_of_relay prov:wasStartedByActivity :handed_baton; prov:qualified [ a prov:Usage; prov:entity :handed_baton; :foo :bar; prov:atTime '2012-03-09T08:05:08-05:00'^^xsd:dateTime ].</p>
- </dd>
-
- <dt>is subclass of</dt>
- <dd>
- <a class="owlclass" href="#ActivityInvolvement" title="http://www.w3.org/ns/prov#ActivityInvolvement">prov:ActivityInvolvement</a>
- </dd>
-
- <dt>in range of</dt>
- <dd>
- <a href="#qualifiedStartByActivity" title="http://www.w3.org/ns/prov#qualifiedStartByActivity">prov:qualifiedStartByActivity</a><sup title="object property" class="type-op">op</sup>
- </dd>
-
- <dt>qualifies</dt>
- <dd>
- <a class="owlproperty" href="#wasStartedByActivity" title="http://www.w3.org/ns/prov#wasStartedByActivity">prov:wasStartedByActivity</a>
- </dd>
- </dl>
- </div>
-
<div class="entity" id="Trace">
<h3 id="class--prov-trace-----------------back-to-qualified-classes">
Class: <a href="#Trace"><span title="http://www.w3.org/ns/prov#Trace" class="dotted">prov:Trace</span></a>
@@ -5947,7 +6234,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Trace</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Trace</p>
<div class="definition"><p>Traceability is the ability to link back an entity to another by means of derivation or responsibility relations, possibly repeatedly traversed.</p>
</div>
@@ -5997,6 +6284,10 @@
<a class="owlclass" href="#EntityInvolvement" title="http://www.w3.org/ns/prov#EntityInvolvement">prov:EntityInvolvement</a>
</dd>
+ <dt>parent is in domain of</dt>
+ <dd>
+ <a href="#entity" title="http://www.w3.org/ns/prov#entity">prov:entity</a> </dd>
+
<dt>in range of</dt>
<dd>
<a href="#qualifiedTrace" title="http://www.w3.org/ns/prov#qualifiedTrace">prov:qualifiedTrace</a><sup title="object property" class="type-op">op</sup>
@@ -6016,7 +6307,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Usage</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Usage</p>
<div class="definition"><p>A usage is an instantaneous world event: an activity beginning to consume an entity. Before this event, the activity had not begun to consume or use to this entity.</p>
</div>
@@ -6030,32 +6321,29 @@
@prefix : <http://example.com/> .
:sortActivity
- a prov:Activity;
- prov:atTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
- prov:qualifiedUsage [
- a prov:Usage;
- prov:entity :datasetA; ## the entity used by the prov:Usage
- prov:hadRole :inputToBeSorted; ## the role of the entity in this prov:Usage
- ];
- prov:generated :datasetB;
- .
-:datasetA a prov:Entity.
-:datasetB a prov:Entity.
-:inputToBeSorted a prov:Role.
-
-#### expressing the above using starting-point terms
-#### the role of :datasetA cannot be expressed
+ a prov:Activity;
+ prov:atTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
+ prov:qualifiedUsage [
+ a prov:Usage;
+ prov:entity :datasetA; ## The entity used by the prov:Usage
+ prov:hadRole :inputToBeSorted; ## the role of the entity in this prov:Usage
+ ];
+ prov:generated :datasetB;
+.
+
+:datasetA a prov:Entity .
+:datasetB a prov:Entity .
+:inputToBeSorted a prov:Role .
+
+## Expressing the above using starting-point terms
+## the role of :datasetA cannot be expressed
:sortActivity
- a prov:Activity;
- prov:atTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
- prov:used :datasetA;
- prov:generated :datasetB;
-.
-
-
-
-
+ a prov:Activity;
+ prov:atTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
+ prov:used :datasetA;
+ prov:generated :datasetB;
+.
</pre>
</div>
@@ -6069,6 +6357,13 @@
<a class="owlclass" href="#EntityInvolvement" title="http://www.w3.org/ns/prov#EntityInvolvement">prov:EntityInvolvement</a>
</dd>
+ <dt>a domain of</dt>
+ <dd>
+ <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="#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>
<a href="#hadUsage" title="http://www.w3.org/ns/prov#hadUsage">prov:hadUsage</a><sup title="object property" class="type-op">op</sup>
@@ -6090,7 +6385,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#activity</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#activity</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-activity">
<span resource="http://www.w3.org/ns/prov#activity" rel="dcterms:subject"></span>
@@ -6102,15 +6397,19 @@
@prefix : <http://example.com/> .
:making-bar-chart
- a prov:Generation, prov:ActivityInvolvement ;
- prov:activity :illustrating ;
- rdfs:comment "Ended up with bar chart as line chart looked ugly."@en .
+ a prov:Generation,
+ prov:ActivityInvolvement;
+ prov:activity :illustrating;
+ rdfs:comment "Ended up with bar chart as line chart looked ugly."@en;
+.
:illustrating a prov:Activity .
-:bar_chart a prov:Entity ;
- prov:wasGeneratedBy :illustrating ;
- prov:qualifiedGeneration :making-bar-chart .
+:bar_chart
+ a prov:Entity;
+ prov:wasGeneratedBy :illustrating;
+ prov:qualifiedGeneration :making-bar-chart;
+.
</pre>
</div>
@@ -6158,7 +6457,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#agent</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#agent</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-agent">
<span resource="http://www.w3.org/ns/prov#agent" rel="dcterms:subject"></span>
@@ -6177,12 +6476,12 @@
<http://dbpedia.org/resource/Lockheed_Aircraft_Company>;
prov:qualifiedAssociation [
a prov:Association;
- prov:agent <http://dbpedia.org/resource/Amelia_Earhart>;
+ prov:agent <http://dbpedia.org/resource/Amelia_Earhart>;
prov:hadRole :pilot;
];
prov:qualifiedAssociation [
a prov:Association;
- prov:agent <http://dbpedia.org/resource/Purdue_University>;
+ prov:agent <http://dbpedia.org/resource/Purdue_University>;
prov:hadRole :financer;
];
prov:qualifiedAssociation [
@@ -6194,7 +6493,7 @@
rdfs:seeAlso <http://en.wikipedia.org/wiki/Amelia_Earhart#1937_world_flight>;
.
-<http://dbpedia.org/resource/Amelia_Earhart> a prov:Person, prov:Agent .
+<http://dbpedia.org/resource/Amelia_Earhart> a prov:Person, prov:Agent .
<http://dbpedia.org/resource/Purdue_University> a prov:Organization, prov:Agent .
<http://dbpedia.org/resource/Lockheed_Aircraft_Company> a prov:Organization, prov:Agent .
@@ -6245,7 +6544,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#atTime</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#atTime</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-atTime">
<span resource="http://www.w3.org/ns/prov#atTime" rel="dcterms:subject"></span>
@@ -6256,7 +6555,10 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+:Timearticle20120430_publication
+ a prov:InstantaneousEvent;
+ prov:atTime "2012-04-30T20:40:40"^^xsd:dateTime;
+.
</pre>
</div>
@@ -6293,7 +6595,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#entity</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#entity</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-entity">
<span resource="http://www.w3.org/ns/prov#entity" rel="dcterms:subject"></span>
@@ -6310,10 +6612,11 @@
prov:qualifiedSource [
a prov:Source;
prov:entity :donQuixote;
- #other attributes of the relationship
- ].
-
-:donQuixote a prov:Entity.
+ # Other attributes of the relationship
+ ];
+.
+
+:donQuixote a prov:Entity .
</pre>
</div>
@@ -6361,7 +6664,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#hadActivity</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#hadActivity</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-hadActivity">
<span resource="http://www.w3.org/ns/prov#hadActivity" rel="dcterms:subject"></span>
@@ -6372,12 +6675,24 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+# The activity that which used, generated, invalidated or was responsible for the entity.
+# In this qualified Derivation prov:hadActivity references the activity that generated the bar chart.
+
+:bar_chart
+ a prov:Entity;
+ prov:wasDerivedFrom :aggregatedByRegions;
+ prov:wasGeneratedBy :make_bar_chart;
+ prov:qualifiedDerivation [
+ a prov:Derivation;
+ prov:entity :aggregatedByRegions;
+ prov:hadActivity :make_bar_chart; # references same activity as prov:wasGeneratedBy
+ ];
+.
</pre>
</div>
<div class="description">
- <div class="comment"><p>The activity generating the derived entity and using the derived-from entity.</p>
+ <div class="comment"><p>Optional: The Activity that is part of the Involvement, which used, generated, invalidated, or was the responsibility of some Entity.</p>
</div>
<p><strong>has characteristics</strong> Functional </p>
<dl>
@@ -6389,7 +6704,9 @@
<a class="owlclass" href="#Involvement" title="http://www.w3.org/ns/prov#Involvement">prov:Involvement</a>
</li>
<li>
- TODO: one of a few classes.
+ <a class="owlclass" href="#Derivation" title="http://www.w3.org/ns/prov#Derivation">prov:Derivation</a>
+ or <a class="owlclass" href="#Invalidation" title="http://www.w3.org/ns/prov#Invalidation">prov:Invalidation</a>
+ or <a class="owlclass" href="#Responsibility" title="http://www.w3.org/ns/prov#Responsibility">prov:Responsibility</a>
</li>
</ul>
</dd>
@@ -6414,7 +6731,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#hadGeneration</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#hadGeneration</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-hadGeneration">
<span resource="http://www.w3.org/ns/prov#hadGeneration" rel="dcterms:subject"></span>
@@ -6425,25 +6742,30 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-:bar_chart prov:wasDerivedFrom :aggregatedByRegions ;
- prov:qualifiedDerivation [
- a prov:Derivation ;
- prov:hadGeneration :illustration ;
- ]
-.
-
-:illustration a prov:Generation, prov:InstantaneousEvent ;
- prov:atTime "2012-04-03T00:00:01Z"^^xsd:dateTime;
-.
-
-### an alternative way to express some of the above information
-
-:bar_chart prov:wasDerivedFrom :aggregatedByRegions ;
- prov:wasGeneratedBy :illustrationActivity ;
-.
-
-:illustrationActivity a prov:Activity ;
- prov:endedAtTime "2012-04-03T00:00:01Z"^^xsd:dateTime;
+:bar_chart
+ prov:wasDerivedFrom :aggregatedByRegions;
+ prov:qualifiedDerivation [
+ a prov:Derivation;
+ prov:hadGeneration :illustration;
+ ];
+.
+
+:illustration
+ a prov:Generation,
+ prov:InstantaneousEvent;
+ prov:atTime "2012-04-03T00:00:01Z"^^xsd:dateTime;
+.
+
+## An alternative way to express some of the above information
+
+:bar_chart
+ prov:wasDerivedFrom :aggregatedByRegions;
+ prov:wasGeneratedBy :illustrationActivity;
+.
+
+:illustrationActivity
+ a prov:Activity;
+ prov:endedAtTime "2012-04-03T00:00:01Z"^^xsd:dateTime;
.
</pre>
</div>
@@ -6483,7 +6805,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#hadPlan</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#hadPlan</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-hadPlan">
<span resource="http://www.w3.org/ns/prov#hadPlan" rel="dcterms:subject"></span>
@@ -6544,126 +6866,6 @@
</div>
</div>
- <div class="entity" id="hadQuoted">
- <h3 id="property--prov-hadquotedop-----------------back-to-qualified-properties">
- Property: <a href="#hadQuoted"><span title="http://www.w3.org/ns/prov#hadQuoted" class="dotted">prov:hadQuoted</span></a><sup title="object property" class="type-op">op</sup>
- <span class="backlink">
- back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
- </span>
- </h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#hadQuoted</p>
-
- <div class="example" typeof="prov:Entity" about="#example-for-property-hadQuoted">
- <span resource="http://www.w3.org/ns/prov#hadQuoted" rel="dcterms:subject"></span>
- <strong>Example</strong>
- <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadQuoted.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix owl: <http://www.w3.org/2002/07/owl#> .
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix : <http://example.com/> .
-
-
-:bl-dagstuhl
- a prov:Entity;
- prov:wasQuotedFrom <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/>;
- prov:qualifiedQuotation [
- a prov:Quotation;
- prov:entity <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/>;
- prov:hadQuoted <http://data.semanticweb.org/person/paul-groth>;
- ] .
-
-<http://data.semanticweb.org/person/paul-groth> a prov:Person, prov:Agent .
-
-</pre>
- </div>
-
- <div class="description">
- <div class="comment"><p>The agent who attributed to the original entity.</p>
- </div>
- <dl>
-
- <dt>has domain</dt>
- <dd>
- <ul>
- <li>
- <a class="owlclass" href="#Quotation" title="http://www.w3.org/ns/prov#Quotation">prov:Quotation</a>
- </li>
- </ul>
- </dd>
-
- <dt>has range</dt>
- <dd>
- <ul>
- <li>
- <a class="owlclass" href="#Agent" title="http://www.w3.org/ns/prov#Agent">prov:Agent</a>
- </li>
- </ul>
- </dd>
-
- </dl>
- </div>
- </div>
-
- <div class="entity" id="hadQuoter">
- <h3 id="property--prov-hadquoterop-----------------back-to-qualified-properties">
- Property: <a href="#hadQuoter"><span title="http://www.w3.org/ns/prov#hadQuoter" class="dotted">prov:hadQuoter</span></a><sup title="object property" class="type-op">op</sup>
- <span class="backlink">
- back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
- </span>
- </h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#hadQuoter</p>
-
- <div class="example" typeof="prov:Entity" about="#example-for-property-hadQuoter">
- <span resource="http://www.w3.org/ns/prov#hadQuoter" rel="dcterms:subject"></span>
- <strong>Example</strong>
- <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadQuoter.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix owl: <http://www.w3.org/2002/07/owl#> .
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix : <http://example.com/> .
-
-
-:bl-dagstuhl
- a prov:Entity;
- prov:wasQuotedFrom <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/>;
- prov:qualifiedQuotation [
- a prov:Quotation;
- prov:entity <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/>;
- prov:hadQuoter <http://data.semanticweb.org/person/luc-moreau>;
- ] .
-
-<http://data.semanticweb.org/person/luc-moreau> a prov:Person, prov:Agent .
-
-</pre>
- </div>
-
- <div class="description">
- <div class="comment"><p>The agent who is doing the quoting.</p>
- </div>
- <dl>
-
- <dt>has domain</dt>
- <dd>
- <ul>
- <li>
- <a class="owlclass" href="#Quotation" title="http://www.w3.org/ns/prov#Quotation">prov:Quotation</a>
- </li>
- </ul>
- </dd>
-
- <dt>has range</dt>
- <dd>
- <ul>
- <li>
- <a class="owlclass" href="#Agent" title="http://www.w3.org/ns/prov#Agent">prov:Agent</a>
- </li>
- </ul>
- </dd>
-
- </dl>
- </div>
- </div>
-
<div class="entity" id="hadRole">
<h3 id="property--prov-hadroleop-----------------back-to-qualified-properties">
Property: <a href="#hadRole"><span title="http://www.w3.org/ns/prov#hadRole" class="dotted">prov:hadRole</span></a><sup title="object property" class="type-op">op</sup>
@@ -6671,7 +6873,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#hadRole</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#hadRole</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-hadRole">
<span resource="http://www.w3.org/ns/prov#hadRole" rel="dcterms:subject"></span>
@@ -6683,27 +6885,28 @@
@prefix : <http://example.com/> .
:divideActivity
- a prov:Activity;
- prov:qualifiedUsage [
- a prov:Usage;
- prov:entity :variableA;
- prov:hadRole :dividend;
- ];
-
- prov:qualifiedUsage [
- a prov:Usage;
- prov:entity :variableB;
- prov:hadRole :divisor;
- ];
- .
+ a prov:Activity;
+
+ prov:used :variableA;
+ prov:qualifiedUsage [
+ a prov:Usage;
+ prov:entity :variableA;
+ prov:hadRole :dividend;
+ ];
-:variableA a prov:Entity.
-
-:variableB a prov:Entity.
-
-:dividend a prov:Role.
-
-:divisor a prov:Role.
+ prov:used :variableB;
+ prov:qualifiedUsage [
+ a prov:Usage;
+ prov:entity :variableB;
+ prov:hadRole :divisor;
+ ];
+.
+
+:variableA a prov:Entity .
+:variableB a prov:Entity .
+
+:dividend a prov:Role .
+:divisor a prov:Role .
</pre>
</div>
@@ -6720,7 +6923,11 @@
<a class="owlclass" href="#Involvement" title="http://www.w3.org/ns/prov#Involvement">prov:Involvement</a>
</li>
<li>
- TODO: one of a few classes.
+ <a class="owlclass" href="#Association" title="http://www.w3.org/ns/prov#Association">prov:Association</a>
+ or <a class="owlclass" href="#End" title="http://www.w3.org/ns/prov#End">prov:End</a>
+ or <a class="owlclass" href="#Generation" title="http://www.w3.org/ns/prov#Generation">prov:Generation</a>
+ or <a class="owlclass" href="#Start" title="http://www.w3.org/ns/prov#Start">prov:Start</a>
+ or <a class="owlclass" href="#Usage" title="http://www.w3.org/ns/prov#Usage">prov:Usage</a>
</li>
</ul>
</dd>
@@ -6745,7 +6952,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#hadUsage</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#hadUsage</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-hadUsage">
<span resource="http://www.w3.org/ns/prov#hadUsage" rel="dcterms:subject"></span>
@@ -6762,6 +6969,7 @@
prov:qualifiedDerivation [
a prov:Derivation;
prov:hadUsage [
+ a prov:Usage;
:treatmentEnzyme :Trypsin;
];
];
@@ -6806,7 +7014,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#involved</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#involved</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-involved">
<span resource="http://www.w3.org/ns/prov#involved" rel="dcterms:subject"></span>
@@ -6826,20 +7034,21 @@
:illustrationActivity
a prov:Activity;
- prov:involved :aggregatedByRegions, # prov:involved is a superproperty
+ prov:involved :aggregatedByRegions, # prov:involved is a superproperty of
:derek, # many of the direct binary
:aggregationActivity; # PROV-O properties.
.
:aggregationActivity a prov:Activity .
+:derek a prov:Agent .
:aggregatedByRegions a prov:Entity .
</pre>
</div>
<div class="description">
- <div class="comment"><p>Subproperties of prov:involved may be be qualified by creating instances of a corresponding prov:Involvement class. For example, the binary relation :baking prov:used :spoon can be qualified by asserting :baking prov:qualified [ a prov:Usage; prov:entity :baking; :foo :bar ]
-
-prov:involved should not be used without also using one of its subproperties.
+ <div class="comment"><p>The relation specified by the object properties, which are sub-properties of prov:involved, can also be specified using the qualification pattern. For example, the binary relation :baking prov:used :spoon can be qualified by asserting :baking prov:qualified [ a prov:Usage; prov:entity :baking; :foo :bar ]
+
+prov:involved should not be used without also using one of its subproperties.
Subproperties of prov:involved may also be asserted directly without being qualified.</p>
</div>
@@ -6849,37 +7058,119 @@
<dd>
<ul>
<li>
- <a class="owlclass" href="#actedOnBehalfOf" title="http://www.w3.org/ns/prov#actedOnBehalfOf">prov:actedOnBehalfOf</a>
- </li>
- <li>
- <a class="owlclass" href="#wasStartedByActivity" title="http://www.w3.org/ns/prov#wasStartedByActivity">prov:wasStartedByActivity</a>
+ <a class="owlclass" href="#tracedTo" title="http://www.w3.org/ns/prov#tracedTo">prov:tracedTo</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="#wasGeneratedBy" title="http://www.w3.org/ns/prov#wasGeneratedBy">prov:wasGeneratedBy</a>
</li>
<li>
<a class="owlclass" href="#wasInvalidatedBy" title="http://www.w3.org/ns/prov#wasInvalidatedBy">prov:wasInvalidatedBy</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="#used" title="http://www.w3.org/ns/prov#used">prov:used</a>
+ </li>
+ <li>
+ <a class="owlclass" href="#actedOnBehalfOf" title="http://www.w3.org/ns/prov#actedOnBehalfOf">prov:actedOnBehalfOf</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="#wasStartedBy" title="http://www.w3.org/ns/prov#wasStartedBy">prov:wasStartedBy</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="#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="#wasGeneratedBy" title="http://www.w3.org/ns/prov#wasGeneratedBy">prov:wasGeneratedBy</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="#used" title="http://www.w3.org/ns/prov#used">prov:used</a>
+ </ul>
+ </dd>
+
+ </dl>
+ </div>
+ </div>
+
+ <div class="entity" id="involvee">
+ <h3 id="property--prov-involveeop-----------------back-to-qualified-properties">
+ Property: <a href="#involvee"><span title="http://www.w3.org/ns/prov#involvee" class="dotted">prov:involvee</span></a><sup title="object property" class="type-op">op</sup>
+ <span class="backlink">
+ back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
+ </span>
+ </h3>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#involvee</p>
+
+ <div class="example" typeof="prov:Entity" about="#example-for-property-involvee">
+ <span resource="http://www.w3.org/ns/prov#involvee" rel="dcterms:subject"></span>
+ <strong>Example</strong>
+ <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_involvee.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix : <http://example.com/> .
+
+:illustrationActivity
+ a prov:Activity;
+ prov:qualifiedUsage :usage_1;
+ prov:qualifiedAssociation :association_1;
+ prov:qualifiedCommunication :communication_1;
+.
+
+:usage_1
+ a prov:Usage;
+ prov:entity :aggregatedByRegions;
+ prov:involvee :aggregatedByRegions; # Inferred
+.
+
+:association_1
+ a prov:Association;
+ prov:agent :derek;
+ prov:involvee :derek; # - - - - - - - Inferred
+.
+
+:communication_1
+ a prov:Communication;
+ prov:activity :aggregationActivity;
+ prov:involvee :aggregationActivity; # Inferred
+.
+
+:aggregationActivity a prov:Activity .
+:derek a prov:Agent .
+:aggregatedByRegions a prov:Entity .
+</pre>
+ </div>
+
+ <div class="description">
+ <div class="comment"><p>Subproperties of prov:involvee are used to cite the object of an unqualified PROV-O triple whose predicate is a subproperty of prov:involved (e.g. prov:used, prov:wasGeneratedBy). prov:involvee is used much like rdf:object is used.</p>
+ </div>
+ <dl>
+
+ <dt>has domain</dt>
+ <dd>
+ <ul>
+ <li>
+ <a class="owlclass" href="#Involvement" title="http://www.w3.org/ns/prov#Involvement">prov:Involvement</a>
+ </li>
+ </ul>
+ </dd>
+
+ <dt>has sub-properties</dt>
+ <dd>
+ <ul>
+ <li>
+ <a class="owlclass" href="#agent" title="http://www.w3.org/ns/prov#agent">prov:agent</a>
+ </li>
+ <li>
+ <a class="owlclass" href="#entity" title="http://www.w3.org/ns/prov#entity">prov:entity</a>
+ </li>
+ <li>
+ <a class="owlclass" href="#dictionary" title="http://www.w3.org/ns/prov#dictionary">prov:dictionary</a>
+ </li>
+ <li>
+ <a class="owlclass" href="#activity" title="http://www.w3.org/ns/prov#activity">prov:activity</a>
</li>
</ul>
</dd>
@@ -6895,7 +7186,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedAssociation</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedAssociation</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-qualifiedAssociation">
<span resource="http://www.w3.org/ns/prov#qualifiedAssociation" rel="dcterms:subject"></span>
@@ -6908,32 +7199,33 @@
:illustrating
a prov:Activity;
- prov:wasAssociatedWith :derek, :steve ;
- prov:qualifiedAssociation [
- a prov:Association ;
- prov:agent :derek ;
- prov:role :illustrationist ;
- rdfs:comment "Derek made the illustration"@en
- ] ;
+ prov:wasAssociatedWith :derek,
+ :steve;
prov:qualifiedAssociation [
- a prov:Association ;
- prov:agent :steve ;
- prov:role :stylist ;
- prov:hadPlan :houseStyles ;
- rdfs:comment "Steve helped Derek conform with the house style"@en
- ] ;
+ a prov:Association;
+ prov:agent :derek;
+ prov:role :illustrationist;
+ rdfs:comment "Derek made the illustration"@en
+ ];
prov:qualifiedAssociation [
- a prov:Association ;
- prov:agent :derek ;
- prov:role :stylist ;
- rdfs:comment "But Derek also did some styling of his own"@en
+ a prov:Association;
+ prov:agent :steve;
+ prov:role :stylist;
+ prov:hadPlan :houseStyles;
+ rdfs:comment "Steve helped Derek conform with the house style."@en
+ ];
+ prov:qualifiedAssociation [
+ a prov:Association;
+ prov:agent :derek;
+ prov:role :stylist;
+ rdfs:comment "But Derek also did some styling of his own."@en
] .
:derek a prov:Person, prov:Agent, prov:Entity .
:steve a prov:Person, prov:Agent, prov:Entity .
:illustratonist a prov:Role .
-:stylist a prov:Role .
+:stylist a prov:Role .
:houseStyles a prov:Plan, prov:Entity .
</pre>
@@ -6979,7 +7271,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedAttribution</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedAttribution</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-qualifiedAttribution">
<span resource="http://www.w3.org/ns/prov#qualifiedAttribution" rel="dcterms:subject"></span>
@@ -7054,7 +7346,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedCommunication</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedCommunication</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-qualifiedCommunication">
<span resource="http://www.w3.org/ns/prov#qualifiedCommunication" rel="dcterms:subject"></span>
@@ -7065,28 +7357,29 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-:filling-petrol
+:writing-celebrity-gossip
a prov:Activity;
- prov:startedAtTime "2012-04-24T18:21:00Z"^^xsd:dateTime;
- prov:endedAtTime "2012-04-24T18:23:10Z"^^xsd:dateTime;
- prov:wasInformedBy :low-fuel-flashing;
+ prov:wasAttributedTo :journalist;
+ prov:wasInformedBy :voicemail-interception;
prov:qualifiedCommunication [
a prov:Communication;
- prov:activity :low-fuel-flashing;
- rdfs:comment "Don't like flashing warning lights";
- ];
-.
-
-:low-fuel-flashing
+ prov:activity :voicemail-interception;
+ rdfs:comment """The journalist was informed by the private
+ investigator, but we don't know how or what he was told."""@en;
+ ] .
+
+:voicemail-interception
a prov:Activity;
- prov:startedAtTime "2012-04-24T17:45:00Z"^^xsd:dateTime;
- prov:endedAtTime "2012-04-24T18:21:40Z"^^xsd:dateTime;
-.
+ prov:wasAttributedTo :private-investigator;
+.
+
+:private-investigator a prov:Agent .
+:journalist a prov:Agent .
</pre>
</div>
<div class="description">
- <div class="comment"><p>If this Activity prov:wasInformedBy Activity :a, then it can qualify how it was Inform[ed] using prov:qualifiedInform [ a prov:Inform; prov:activity :a; :foo :bar ].</p>
+ <div class="comment"><p>If this Activity prov:wasInformedBy Activity :a, then it can qualify how it was Inform[ed] using prov:qualifiedCommunication [ a prov:Communication; prov:activity :a; :foo :bar ].</p>
</div>
<p><strong>has characteristics</strong> Inverse Functional </p>
<dl>
@@ -7129,7 +7422,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedDerivation</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedDerivation</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-qualifiedDerivation">
<span resource="http://www.w3.org/ns/prov#qualifiedDerivation" rel="dcterms:subject"></span>
@@ -7140,15 +7433,14 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-:bar_chart prov:wasDerivedFrom :aggregatedByRegions ;
- prov:qualifiedDerivation [
- a prov:Derivation ;
- prov:hadGeneration :illustration ; ## more details about the activity underpinning the derivation
- prov:entity :aggregatedByRegions ;
- ]
-.
-
-
+:bar_chart
+ prov:wasDerivedFrom :aggregatedByRegions;
+ prov:qualifiedDerivation [
+ a prov:Derivation;
+ prov:entity :aggregatedByRegions;
+ prov:hadGeneration :illustration; ## More details about the activity underpinning the derivation
+ ];
+.
</pre>
</div>
@@ -7192,7 +7484,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedEnd</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedEnd</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-qualifiedEnd">
<span resource="http://www.w3.org/ns/prov#qualifiedEnd" rel="dcterms:subject"></span>
@@ -7260,7 +7552,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedGeneration</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedGeneration</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-qualifiedGeneration">
<span resource="http://www.w3.org/ns/prov#qualifiedGeneration" rel="dcterms:subject"></span>
@@ -7318,6 +7610,61 @@
</div>
</div>
+ <div class="entity" id="qualifiedInvalidation">
+ <h3 id="property--prov-qualifiedinvalidationop-----------------back-to-qualified-properties">
+ Property: <a href="#qualifiedInvalidation"><span title="http://www.w3.org/ns/prov#qualifiedInvalidation" class="dotted">prov:qualifiedInvalidation</span></a><sup title="object property" class="type-op">op</sup>
+ <span class="backlink">
+ back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
+ </span>
+ </h3>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedInvalidation</p>
+
+ <div class="example" typeof="prov:Entity" about="#example-for-property-qualifiedInvalidation">
+ <span resource="http://www.w3.org/ns/prov#qualifiedInvalidation" rel="dcterms:subject"></span>
+ <strong>Example</strong>
+ <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedInvalidation.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix : <http://example.com/> .
+
+# TODO
+</pre>
+ </div>
+
+ <div class="description">
+ <div class="comment"><p>If this Entity prov:wasInvalidatedBy Activity :a, then it can qualify how it was invalidated using prov:qualifiedInvalidation [ a prov:Invalidation; prov:activity :a; :foo :bar ].</p>
+ </div>
+ <p><strong>has characteristics</strong> Inverse Functional </p>
+ <dl>
+
+ <dt>has domain</dt>
+ <dd>
+ <ul>
+ <li>
+ <a class="owlclass" href="#Entity" title="http://www.w3.org/ns/prov#Entity">prov:Entity</a>
+ </li>
+ </ul>
+ </dd>
+
+ <dt>has range</dt>
+ <dd>
+ <ul>
+ <li>
+ <a class="owlclass" href="#Invalidation" title="http://www.w3.org/ns/prov#Invalidation">prov:Invalidation</a>
+ </li>
+ </ul>
+ </dd>
+
+ <dt>qualifies</dt>
+ <dd>
+ <a class="owlproperty" href="#wasInvalidatedBy" title="http://www.w3.org/ns/prov#wasInvalidatedBy">prov:wasInvalidatedBy</a>
+ </dd>
+
+ </dl>
+ </div>
+ </div>
+
<div class="entity" id="qualifiedQuotation">
<h3 id="property--prov-qualifiedquotationop-----------------back-to-qualified-properties">
Property: <a href="#qualifiedQuotation"><span title="http://www.w3.org/ns/prov#qualifiedQuotation" class="dotted">prov:qualifiedQuotation</span></a><sup title="object property" class="type-op">op</sup>
@@ -7325,7 +7672,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedQuotation</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedQuotation</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-qualifiedQuotation">
<span resource="http://www.w3.org/ns/prov#qualifiedQuotation" rel="dcterms:subject"></span>
@@ -7404,7 +7751,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedResponsibility</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedResponsibility</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-qualifiedResponsibility">
<span resource="http://www.w3.org/ns/prov#qualifiedResponsibility" rel="dcterms:subject"></span>
@@ -7495,7 +7842,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedRevision</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedRevision</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-qualifiedRevision">
<span resource="http://www.w3.org/ns/prov#qualifiedRevision" rel="dcterms:subject"></span>
@@ -7506,14 +7853,18 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-:e1 a prov:Entity .
-
-:e2 a prov:Entity;
+:draft2
+ a prov:Entity;
+ prov:wasRevisionOf :draft1;
prov:qualifiedRevision [
- a prov:Revision ;
- prov:entity :e1 ;
+ a prov:Revision;
+ prov:entity :draft1
];
-.
+ prov:wasAssociatedWith :eddie;
+.
+
+:draft1 a prov:Entity .
+:eddie a prov:Person, prov:Agent, prov:Entity .
</pre>
</div>
@@ -7557,18 +7908,31 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedSource</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedSource</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-qualifiedSource">
<span resource="http://www.w3.org/ns/prov#qualifiedSource" rel="dcterms:subject"></span>
<strong>Example</strong>
- <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedSource.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix owl: <http://www.w3.org/2002/07/owl#> .
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix : <http://example.com/> .
-
-# TODO
+ <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedSource.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix dcterms: <http://purl.org/dc/terms/> .
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix : <http://example.com/> .
+
+:temperatureDisplay
+ a prov:Entity;
+ prov:hadOriginalSource :sensorReading20120510;
+ prov:qualifiedSource [
+ a prov:Source;
+ prov:entity :sensorReading20120510;
+ ];
+.
+
+:sensorReading20120510
+ a prov:Entity;
+ prov:wasGeneratedBy :temperatureSensor;
+.
</pre>
</div>
@@ -7612,7 +7976,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedStart</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedStart</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-qualifiedStart">
<span resource="http://www.w3.org/ns/prov#qualifiedStart" rel="dcterms:subject"></span>
@@ -7624,17 +7988,20 @@
@prefix : <http://example.com/> .
# Start can be used to qualify wasStartedBy with time and location information
+
:experiment
- a prov:Activity ;
- prov:wasStartedBy :researcher ;
+ a prov:Activity;
+ prov:wasStartedBy :researcher;
prov:qualifiedStart [
a prov:Start;
- prov:entity :researcher;
- prov:atTime "2011-07-06T01:48:36Z"^^xsd:dateTime;
- prov:atLocation :scienceLab003
- ].
-
-:researcher a prov:Agent.</pre>
+ prov:entity :researcher;
+ prov:atTime "2011-07-06T01:48:36Z"^^xsd:dateTime;
+ prov:atLocation :scienceLab_003;
+ ];
+.
+
+:researcher a prov:Agent .
+</pre>
</div>
<div class="description">
@@ -7670,76 +8037,6 @@
</div>
</div>
- <div class="entity" id="qualifiedStartByActivity">
- <h3 id="property--prov-qualifiedstartbyactivityop-----------------back-to-qualified-properties">
- Property: <a href="#qualifiedStartByActivity"><span title="http://www.w3.org/ns/prov#qualifiedStartByActivity" class="dotted">prov:qualifiedStartByActivity</span></a><sup title="object property" class="type-op">op</sup>
- <span class="backlink">
- back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
- </span>
- </h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedStartByActivity</p>
-
- <div class="example" typeof="prov:Entity" about="#example-for-property-qualifiedStartByActivity">
- <span resource="http://www.w3.org/ns/prov#qualifiedStartByActivity" rel="dcterms:subject"></span>
- <strong>Example</strong>
- <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedStartByActivity.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix owl: <http://www.w3.org/2002/07/owl#> .
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix : <http://example.com/> .
-
-:workflow-execution
- a prov:Activity;
- prov:startedAtTime "2011-07-16T01:30:00Z"^^xsd:dateTime;
-.
-
-:subworkflow-execution
- a prov:Activity;
- prov:startedAtTime "2011-07-16T01:52:15Z"^^xsd:dateTime; # TODO: simplify time
- prov:wasStartedByActivity :workflow-execution;
- prov:qualifiedStartByActivity [
- a prov:StartByActivity;
- prov:activity :workflow-execution;
- prov:atTime "2011-07-16T01:52:02Z"^^xsd:dateTime; # TODO: why different than above?
- :activationParameter "java -jar -n 5"^^xsd:string;
- ];
-.
-</pre>
- </div>
-
- <div class="description">
- <div class="comment"><p>If this Activity prov:wasStartedByActivity :a, then it can qualify how it was started using prov:qualifiedStart [ a prov:Start; prov:activity :a; :foo :bar ].</p>
- </div>
- <p><strong>has characteristics</strong> Inverse Functional </p>
- <dl>
-
- <dt>has domain</dt>
- <dd>
- <ul>
- <li>
- <a class="owlclass" href="#Activity" title="http://www.w3.org/ns/prov#Activity">prov:Activity</a>
- </li>
- </ul>
- </dd>
-
- <dt>has range</dt>
- <dd>
- <ul>
- <li>
- <a class="owlclass" href="#StartByActivity" title="http://www.w3.org/ns/prov#StartByActivity">prov:StartByActivity</a>
- </li>
- </ul>
- </dd>
-
- <dt>qualifies</dt>
- <dd>
- <a class="owlproperty" href="#wasStartedByActivity" title="http://www.w3.org/ns/prov#wasStartedByActivity">prov:wasStartedByActivity</a>
- </dd>
-
- </dl>
- </div>
- </div>
-
<div class="entity" id="qualifiedTrace">
<h3 id="property--prov-qualifiedtraceop-----------------back-to-qualified-properties">
Property: <a href="#qualifiedTrace"><span title="http://www.w3.org/ns/prov#qualifiedTrace" class="dotted">prov:qualifiedTrace</span></a><sup title="object property" class="type-op">op</sup>
@@ -7747,7 +8044,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedTrace</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedTrace</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-qualifiedTrace">
<span resource="http://www.w3.org/ns/prov#qualifiedTrace" rel="dcterms:subject"></span>
@@ -7818,7 +8115,7 @@
back to <a href="#prov-qualified-owl-terms-at-a-glance">qualified properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedUsage</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedUsage</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-qualifiedUsage">
<span resource="http://www.w3.org/ns/prov#qualifiedUsage" rel="dcterms:subject"></span>
@@ -7829,7 +8126,17 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+:newsPublication
+ a prov:Activity;
+ prov:used :tsunami_image;
+ prov:qualifiedUsage [
+ a prov:Usage;
+ :hasCopyrightPermission :licensedUse;
+ :hasOwner :reuters;
+ ];
+.
+
+:reuters a prov:Agent .
</pre>
</div>
@@ -7877,6 +8184,9 @@
<div class="prov-collections owl-classes at-a-glance">
<ul class="hlist">
<li>
+ <a href="#CompleteMembership">prov:CompleteMembership</a>
+ </li>
+ <li>
<a href="#Dictionary">prov:Dictionary</a>
</li>
<li>
@@ -7940,6 +8250,77 @@
<div xmlns:prov="http://www.w3.org/ns/prov#" xmlns:dcterms="http://purl.org/dc/terms/" class="prov-collections owl-classes crossreference">
+ <div class="entity" id="CompleteMembership">
+ <h3 id="class--prov-completemembership-----------------back-to-collections-classes">
+ Class: <a href="#CompleteMembership"><span title="http://www.w3.org/ns/prov#CompleteMembership" class="dotted">prov:CompleteMembership</span></a>
+ <span class="backlink">
+ back to <a href="#prov-collections-owl-terms-at-a-glance">collections classes</a>
+ </span>
+ </h3>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#CompleteMembership</p>
+
+ <div class="example" typeof="prov:Entity" about="#example-for-class-CompleteMembership">
+ <span resource="http://www.w3.org/ns/prov#CompleteMembership" rel="dcterms:subject"></span>
+ <strong>Example</strong>
+ <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_CompleteMembership.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix : <http://example.com/> .
+
+:e1 a prov:Entity .
+:e2 a prov:Entity .
+
+:c1 a prov:Dictionary, prov:Entity;
+ prov:membership [
+ a prov:CompleteMembership, prov:Membership;
+ # These are the members, and all the members of c1
+ prov:member [
+ a prov:KeyValuePair;
+ prov:key "k1"^^xsd:string;
+ prov:value :e1;
+ ], [
+ a prov:KeyValuePair;
+ prov:key "k2"^^xsd:string;
+ prov:value :e2;
+ ]
+ ] .
+
+:c2
+ a prov:Dictionary, prov:Entity;
+ prov:derivedByRemovalFrom :c1;
+ prov:qualifiedRemoval [
+ a prov:Removal;
+ prov:collection :c1;
+ prov:removedKey "k1"^^xsd:string,
+ "k2"^^xsd:string;
+ ];
+.
+
+## As membership on :c1 is complete, we can infer:
+#
+# :c2 a prov:EmptyDictionary;
+# prov:membership [
+# a prov:CompleteMembership
+# ] .
+</pre>
+ </div>
+
+ <dl class="description">
+ <dd class="comment"><p>Indicates that no other member belongs to the collection, that is all the prov:member stated for this CompleteMembership constitutes all members of the collection.</p>
+ </dd>
+
+ <dt>is subclass of</dt>
+ <dd>
+ <a class="owlclass" href="#Membership" title="http://www.w3.org/ns/prov#Membership">prov:Membership</a>
+ </dd>
+
+ <dt>parent is in domain of</dt>
+ <dd>
+ <a href="#member" title="http://www.w3.org/ns/prov#member">prov:member</a> </dd>
+ </dl>
+ </div>
+
<div class="entity" id="Dictionary">
<h3 id="class--prov-dictionary-----------------back-to-collections-classes">
Class: <a href="#Dictionary"><span title="http://www.w3.org/ns/prov#Dictionary" class="dotted">prov:Dictionary</span></a>
@@ -7947,7 +8328,7 @@
back to <a href="#prov-collections-owl-terms-at-a-glance">collections classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Dictionary</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Dictionary</p>
<div class="definition"><p>A dictionary is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the dictionary.</p>
</div>
@@ -7960,7 +8341,12 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+:studentRegister_2012
+ a prov:Dictionary, prov:Entity;
+ prov:derivedByInsertionFrom :studentRegister_2011;
+ :hasTotalStudents 45;
+ :wasCreatedBy :bob;
+.
</pre>
</div>
@@ -7984,6 +8370,10 @@
<a href="#membership" title="http://www.w3.org/ns/prov#membership">prov:membership</a><sup title="object property" class="type-op">op</sup>
</dd>
+ <dt>parent is in domain of</dt>
+ <dd>
+ </dd>
+
<dt>in range of</dt>
<dd>
<a href="#derivedByInsertionFrom" title="http://www.w3.org/ns/prov#derivedByInsertionFrom">prov:derivedByInsertionFrom</a><sup title="object property" class="type-op">op</sup>
@@ -8005,7 +8395,7 @@
back to <a href="#prov-collections-owl-terms-at-a-glance">collections classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#DictionaryInvolvement</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#DictionaryInvolvement</p>
<div class="example" typeof="prov:Entity" about="#example-for-class-DictionaryInvolvement">
<span resource="http://www.w3.org/ns/prov#DictionaryInvolvement" rel="dcterms:subject"></span>
@@ -8019,12 +8409,13 @@
:c1 a prov:Dictionary .
:c2
- a prov:Dictionary, prov:Entity;
+ a prov:Dictionary,
+ prov:Entity;
prov:derivedByRemovalFrom :c1;
prov:qualifiedRemoval [
a prov:Removal, prov:DictionaryInvolvement;
prov:dictionary :c1;
- prov:removedKey "k1"^^xsd:string
+ prov:removedKey "k1"^^xsd:string;
];
.
</pre>
@@ -8044,6 +8435,10 @@
<a href="#dictionary" title="http://www.w3.org/ns/prov#dictionary">prov:dictionary</a><sup title="object property" class="type-op">op</sup>
</dd>
+ <dt>parent is in domain of</dt>
+ <dd>
+ </dd>
+
<dt>has subclasses</dt>
<dd>
<a class="owlclass" href="#Insertion" title="http://www.w3.org/ns/prov#Insertion">prov:Insertion</a>
@@ -8059,7 +8454,7 @@
back to <a href="#prov-collections-owl-terms-at-a-glance">collections classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#EmptyDictionary</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#EmptyDictionary</p>
<div class="example" typeof="prov:Entity" about="#example-for-class-EmptyDictionary">
<span resource="http://www.w3.org/ns/prov#EmptyDictionary" rel="dcterms:subject"></span>
@@ -8099,6 +8494,10 @@
<dd>
<a class="owlclass" href="#Dictionary" title="http://www.w3.org/ns/prov#Dictionary">prov:Dictionary</a>
</dd>
+
+ <dt>parent is in domain of</dt>
+ <dd>
+ </dd>
</dl>
</div>
@@ -8109,7 +8508,7 @@
back to <a href="#prov-collections-owl-terms-at-a-glance">collections classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Insertion</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Insertion</p>
<div class="definition"><p>Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-value pairs.</p>
</div>
@@ -8122,24 +8521,24 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-
:our-NEW-baseball-team-field-positions
- a prov:Dictionary, :FieldPositions;
- prov:derivedByInsertionFrom :our-old-baseball-team-field-positions ;
+ a prov:Dictionary,
+ :FieldPositions;
+ prov:derivedByInsertionFrom :our-old-baseball-team-field-positions;
prov:qualifiedInsertion [
a prov:Insertion;
- prov:collection :our-old-baseball-team-field-positions ;
+ prov:collection :our-old-baseball-team-field-positions;
prov:inserted [
a prov:KeyValuePair;
- prov:key "first-baseman"^^xsd:string ;
- prov:value <http://dbpedia.org/resource/Jim_Thorpe> ;
+ prov:key "first-baseman"^^xsd:string;
+ prov:value <http://dbpedia.org/resource/Jim_Thorpe>;
];
- ] .
+ ];
+.
<http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .
:our-old-baseball-team-field-positions a prov:Dictionary .
-
</pre>
</div>
@@ -8157,6 +8556,10 @@
<a href="#inserted" title="http://www.w3.org/ns/prov#inserted">prov:inserted</a><sup title="object property" class="type-op">op</sup>
</dd>
+ <dt>parent is in domain of</dt>
+ <dd>
+ <a href="#dictionary" title="http://www.w3.org/ns/prov#dictionary">prov:dictionary</a> </dd>
+
<dt>in range of</dt>
<dd>
<a href="#qualifiedInsertion" title="http://www.w3.org/ns/prov#qualifiedInsertion">prov:qualifiedInsertion</a><sup title="object property" class="type-op">op</sup>
@@ -8176,7 +8579,7 @@
back to <a href="#prov-collections-owl-terms-at-a-glance">collections classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#KeyValuePair</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#KeyValuePair</p>
<div class="example" typeof="prov:Entity" about="#example-for-class-KeyValuePair">
<span resource="http://www.w3.org/ns/prov#KeyValuePair" rel="dcterms:subject"></span>
@@ -8188,7 +8591,8 @@
@prefix : <http://example.com/> .
:our-NEW-baseball-team-field-positions
- a prov:Dictionary, :FieldPositions;
+ a prov:Dictionary,
+ :FieldPositions;
prov:derivedByInsertionFrom :our-old-baseball-team-field-positions;
prov:qualifiedInsertion [
a prov:Insertion;
@@ -8207,7 +8611,8 @@
:hiring_jim_thorpe a prov:Activity .
:our-old-baseball-team-field-positions
- a prov:Dictionary, :FieldPositions;
+ a prov:Dictionary,
+ :FieldPositions;
prov:membership [
a prov:Membership;
prov:member [
@@ -8229,7 +8634,7 @@
</div>
<dl class="description">
- <dd class="comment"><p>A key-value pair. Part of a prov:Collection through prov:Membership. The key is any RDF Literal, the value is a prov:Entity.</p>
+ <dd class="comment"><p>A key-value pair. Part of a prov:Dictionary through prov:Membership. The key is any RDF Literal, the value is a prov:Entity.</p>
</dd>
<dt>in domain of</dt>
@@ -8253,7 +8658,7 @@
back to <a href="#prov-collections-owl-terms-at-a-glance">collections classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Membership</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Membership</p>
<div class="example" typeof="prov:Entity" about="#example-for-class-Membership">
<span resource="http://www.w3.org/ns/prov#Membership" rel="dcterms:subject"></span>
@@ -8268,18 +8673,20 @@
:e1 a prov:Entity .
:e2 a prov:Entity .
-:c1 a prov:Dictionary, prov:Entity;
+:c1
+ a prov:Dictionary,
+ prov:Entity;
prov:membership [
a prov:Membership;
# These are (some of the) members of c1
prov:member [
a prov:KeyValuePair;
prov:key "k1"^^xsd:string;
- prov:value :e1
+ prov:value :e1;
], [
a prov:KeyValuePair;
prov:key "k2"^^xsd:string;
- prov:value :e2
+ prov:value :e2;
];
];
.
@@ -8300,6 +8707,11 @@
<a href="#membership" title="http://www.w3.org/ns/prov#membership">prov:membership</a><sup title="object property" class="type-op">op</sup>
</dd>
+ <dt>has subclass</dt>
+ <dd>
+ <a class="owlclass" href="#CompleteMembership" title="http://www.w3.org/ns/prov#CompleteMembership">prov:CompleteMembership</a>
+ </dd>
+
<dt>qualifies</dt>
<dd>
<a class="owlproperty" href="#membership" title="http://www.w3.org/ns/prov#membership">prov:membership</a>
@@ -8314,7 +8726,7 @@
back to <a href="#prov-collections-owl-terms-at-a-glance">collections classes</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Removal</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Removal</p>
<div class="definition"><p>Removal is a derivation that transforms a dictionary into another, by removing one or more key-value pairs.</p>
</div>
@@ -8329,13 +8741,15 @@
:c1 a prov:Dictionary .
-:c2 a prov:Dictionary, prov:Entity;
- prov:derivedByRemovalFrom :c1 ;
+:c2
+ a prov:Dictionary,
+ prov:Entity;
+ prov:derivedByRemovalFrom :c1;
prov:qualifiedRemoval [
- a prov:Removal, prov:DictionaryInvolvement ;
- prov:dictionary :c1 ;
+ a prov:Removal, prov:DictionaryInvolvement;
+ prov:dictionary :c1;
prov:removedKey "k1"^^xsd:string,
- "k2"^^xsd:string
+ "k2"^^xsd:string;
];
.
</pre>
@@ -8355,6 +8769,10 @@
<a href="#removedKey" title="http://www.w3.org/ns/prov#removedKey">prov:removedKey</a><sup title="data property" class="type-dp">dp</sup>
</dd>
+ <dt>parent is in domain of</dt>
+ <dd>
+ <a href="#dictionary" title="http://www.w3.org/ns/prov#dictionary">prov:dictionary</a> </dd>
+
<dt>in range of</dt>
<dd>
<a href="#qualifiedRemoval" title="http://www.w3.org/ns/prov#qualifiedRemoval">prov:qualifiedRemoval</a><sup title="object property" class="type-op">op</sup>
@@ -8375,7 +8793,7 @@
back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#derivedByInsertionFrom</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#derivedByInsertionFrom</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-derivedByInsertionFrom">
<span resource="http://www.w3.org/ns/prov#derivedByInsertionFrom" rel="dcterms:subject"></span>
@@ -8465,7 +8883,7 @@
back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#derivedByRemovalFrom</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#derivedByRemovalFrom</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-derivedByRemovalFrom">
<span resource="http://www.w3.org/ns/prov#derivedByRemovalFrom" rel="dcterms:subject"></span>
@@ -8546,7 +8964,7 @@
back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#dictionary</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#dictionary</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-dictionary">
<span resource="http://www.w3.org/ns/prov#dictionary" rel="dcterms:subject"></span>
@@ -8617,7 +9035,7 @@
back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#inserted</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#inserted</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-inserted">
<span resource="http://www.w3.org/ns/prov#inserted" rel="dcterms:subject"></span>
@@ -8629,25 +9047,28 @@
@prefix : <http://example.com/> .
:our-NEW-baseball-team-field-positions
- a prov:Dictionary, :FieldPositions;
- prov:derivedByInsertionFrom :our-old-baseball-team-field-positions ;
+ a prov:Dictionary,
+ :FieldPositions;
+ prov:derivedByInsertionFrom :our-old-baseball-team-field-positions;
prov:qualifiedInsertion [
a prov:Insertion;
- prov:collection :our-old-baseball-team-field-positions ;
+ prov:collection :our-old-baseball-team-field-positions;
prov:inserted [
a prov:KeyValuePair;
- prov:key "first-baseman"^^xsd:string ;
- prov:value <http://dbpedia.org/resource/Jim_Thorpe> ;
+ prov:key "first-baseman"^^xsd:string;
+ prov:value <http://dbpedia.org/resource/Jim_Thorpe>;
];
- ] .
+ ];
+.
<http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .
-:our-old-baseball-team-field-positions a prov:Dictionary .</pre>
+:our-old-baseball-team-field-positions a prov:Dictionary .
+</pre>
</div>
<div class="description">
- <div class="comment"><p>An object property to refer to the prov:KeyValuePair inserted into a prov:Collection.</p>
+ <div class="comment"><p>An object property to refer to the prov:KeyValuePair inserted into a prov:Dictionary.</p>
</div>
<dl>
@@ -8680,7 +9101,7 @@
back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#key</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#key</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-key">
<span resource="http://www.w3.org/ns/prov#key" rel="dcterms:subject"></span>
@@ -8695,14 +9116,16 @@
[]
a prov:KeyValuePair;
- prov:key "first-baseman"^^xsd:string ;
- prov:value <http://dbpedia.org/resource/Jim_Thorpe> .
-
-<http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .</pre>
+ prov:key "first-baseman"^^xsd:string;
+ prov:value <http://dbpedia.org/resource/Jim_Thorpe>;
+.
+
+<http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .
+</pre>
</div>
<div class="description">
- <div class="comment"><p>The key of a KeyValuePair, which is an element of a prov:Collection.</p>
+ <div class="comment"><p>The key of a KeyValuePair, which is an element of a prov:Dictionary.</p>
</div>
<p><strong>has characteristics</strong> Functional </p>
<dl>
@@ -8736,7 +9159,7 @@
back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#member</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#member</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-member">
<span resource="http://www.w3.org/ns/prov#member" rel="dcterms:subject"></span>
@@ -8748,7 +9171,8 @@
@prefix : <http://example.com/> .
:our-old-baseball-team-field-positions
- a prov:Dictionary, :FieldPositions;
+ a prov:Dictionary,
+ :FieldPositions;
prov:membership [
a prov:Membership;
prov:member [
@@ -8761,7 +9185,8 @@
prov:key "pitcher"^^xsd:string;
prov:value :carl;
]
- ] .
+ ];
+.
:george a prov:Entity .
:carl a prov:Entity .
@@ -8802,7 +9227,7 @@
back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#membership</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#membership</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-membership">
<span resource="http://www.w3.org/ns/prov#membership" rel="dcterms:subject"></span>
@@ -8868,7 +9293,7 @@
back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedInsertion</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedInsertion</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-qualifiedInsertion">
<span resource="http://www.w3.org/ns/prov#qualifiedInsertion" rel="dcterms:subject"></span>
@@ -8880,7 +9305,8 @@
@prefix : <http://example.com/> .
:our-NEW-baseball-team-field-positions
- a prov:Dictionary, :FieldPositions;
+ a prov:Dictionary,
+ :FieldPositions;
prov:derivedByInsertionFrom :our-old-baseball-team-field-positions;
prov:qualifiedInsertion [
a prov:Insertion;
@@ -8896,7 +9322,8 @@
<http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .
:our-old-baseball-team-field-positions
- a prov:Dictionary, :FieldPositions;
+ a prov:Dictionary,
+ :FieldPositions;
prov:membership [
a prov:Membership;
prov:member [
@@ -8908,8 +9335,9 @@
a prov:KeyValuePair;
prov:key "pitcher"^^xsd:string;
prov:value :carl;
- ]
- ] .
+ ];
+ ];
+.
:george a prov:Entity .
:carl a prov:Entity .
@@ -8955,7 +9383,7 @@
back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedRemoval</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedRemoval</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-qualifiedRemoval">
<span resource="http://www.w3.org/ns/prov#qualifiedRemoval" rel="dcterms:subject"></span>
@@ -8975,7 +9403,7 @@
a prov:Removal;
prov:dictionary :d1;
prov:removedKey "k1"^^xsd:string,
- "k2"^^xsd:string
+ "k2"^^xsd:string;
];
.
</pre>
@@ -9020,7 +9448,7 @@
back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#removedKey</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#removedKey</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-removedKey">
<span resource="http://www.w3.org/ns/prov#removedKey" rel="dcterms:subject"></span>
@@ -9032,14 +9460,16 @@
@prefix : <http://example.com/> .
:c2
- a prov:Dictionary, prov:Entity;
+ a prov:Dictionary,
+ prov:Entity;
prov:derivedByRemovalFrom :c1;
prov:qualifiedRemoval [
- a prov:Removal, prov:DictionaryInvolvement;
+ a prov:Removal,
+ prov:DictionaryInvolvement;
prov:dictionary :c1;
prov:removedKey "k1"^^xsd:string,
1337,
- 3.14
+ 3.14;
];
.
</pre>
@@ -9079,7 +9509,7 @@
back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
</span>
</h3>
- <p><strong>IRI:</strong> http://www.w3.org/ns/prov#value</p>
+ <p><strong>IRI:</strong>http://www.w3.org/ns/prov#value</p>
<div class="example" typeof="prov:Entity" about="#example-for-property-value">
<span resource="http://www.w3.org/ns/prov#value" rel="dcterms:subject"></span>
@@ -9096,10 +9526,12 @@
[]
a prov:KeyValuePair;
- prov:key "first-baseman"^^xsd:string ;
- prov:value <http://dbpedia.org/resource/Jim_Thorpe> .
-
-<http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .</pre>
+ prov:key "first-baseman"^^xsd:string;
+ prov:value <http://dbpedia.org/resource/Jim_Thorpe>;
+.
+
+<http://dbpedia.org/resource/Jim_Thorpe> a prov:Entity .
+</pre>
</div>
<div class="description">
@@ -9264,33 +9696,231 @@
-->
-
-<!-- TODO: revive this after release on 19 Apr 2012 section class='appendix'>
- <h2>Names of inverse properties</h2>
+ <div class="appendix section" id="names-of-inverse-properties">
+
+<!-- OddPage -->
+<h2><span class="secno">A. </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>
- <tr>
+ <tbody><tr>
<th>PROV-O Property</th>
<th>Recommended inverse name</th>
</tr>
<tr>
- <td><a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom" class="owlproperty">prov:wasDerivedFrom</a></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="#qualifiedStartByActivity" title="http://www.w3.org/ns/prov#qualifiedStartByActivity">prov:qualifiedStartByActivity</a></td>
+ <td>prov:activityStartedActivity</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>
+ </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="#qualifiedCommunication" title="http://www.w3.org/ns/prov#qualifiedCommunication">prov:qualifiedCommunication</a></td>
+ <td>prov:informedActivity</td>
+ </tr>
+ <tr>
+ <td><a class="owlproperty" href="#value" title="http://www.w3.org/ns/prov#value">prov:value</a></td>
+ <td>prov:valueOf</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="#alternateOf" title="http://www.w3.org/ns/prov#alternateOf">prov:alternateOf</a></td>
+ <td>prov:alternateOf</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="#wasEndedBy" title="http://www.w3.org/ns/prov#wasEndedBy">prov:wasEndedBy</a></td>
+ <td>prov:ended</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="#wasRevisionOf" title="http://www.w3.org/ns/prov#wasRevisionOf">prov:wasRevisionOf</a></td>
+ <td>prov:hadRevision</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="#derivedByRemovalFrom" title="http://www.w3.org/ns/prov#derivedByRemovalFrom">prov:derivedByRemovalFrom</a></td>
+ <td>prov:hadDerivationByRemoval</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="#involvee" title="http://www.w3.org/ns/prov#involvee">prov:involvee</a></td>
+ <td>prov:involvement</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="#qualifiedRevision" title="http://www.w3.org/ns/prov#qualifiedRevision">prov:qualifiedRevision</a></td>
+ <td>prov:revisedEntity</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>
+ </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="#dictionary" title="http://www.w3.org/ns/prov#dictionary">prov:dictionary</a></td>
+ <td>prov:dictionaryInvolvement</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="#membership" title="http://www.w3.org/ns/prov#membership">prov:membership</a></td>
+ <td>prov:membershipOf</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="#wasAttributedTo" title="http://www.w3.org/ns/prov#wasAttributedTo">prov:wasAttributedTo</a></td>
+ <td>prov:contributed</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="#qualifiedAttribution" title="http://www.w3.org/ns/prov#qualifiedAttribution">prov:qualifiedAttribution</a></td>
+ <td>prov:attributedEntity</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="#wasAssociatedWith" title="http://www.w3.org/ns/prov#wasAssociatedWith">prov:wasAssociatedWith</a></td>
+ <td>prov:wasAssociateFor</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="#qualifiedRemoval" title="http://www.w3.org/ns/prov#qualifiedRemoval">prov:qualifiedRemoval</a></td>
+ <td>prov:removedFromDictionary</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="#qualifiedDerivation" title="http://www.w3.org/ns/prov#qualifiedDerivation">prov:qualifiedDerivation</a></td>
+ <td>prov:derivedEntity</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="#qualifiedStart" title="http://www.w3.org/ns/prov#qualifiedStart">prov:qualifiedStart</a></td>
+ <td>prov:startedActivity</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="#wasInformedBy" title="http://www.w3.org/ns/prov#wasInformedBy">prov:wasInformedBy</a></td>
+ <td>prov:informed</td>
+ </tr>
+ <tr>
+ <td><a class="owlproperty" href="#wasStartedByActivity" title="http://www.w3.org/ns/prov#wasStartedByActivity">prov:wasStartedByActivity</a></td>
+ <td>prov:activityStarted</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>
+ <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="#hasAnnotation" title="http://www.w3.org/ns/prov#hasAnnotation">prov:hasAnnotation</a></td>
+ <td>prov:annotates</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="#actedOnBehalfOf" title="http://www.w3.org/ns/prov#actedOnBehalfOf">prov:actedOnBehalfOf</a></td>
+ <td>prov:responsibleFor</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 title="http://www.w3.org/ns/prov#used" href="#used" class="owlproperty">prov:used</a></td>
+ <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="#hadActivity" title="http://www.w3.org/ns/prov#hadActivity">prov:hadActivity</a></td>
+ <td>prov:wasActivityOfInvolvement</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="#hadUsage" title="http://www.w3.org/ns/prov#hadUsage">prov:hadUsage</a></td>
+ <td>prov:wasUsedInDerivation</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="#agent" title="http://www.w3.org/ns/prov#agent">prov:agent</a></td>
+ <td>prov:agentInvolvement</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>
-<table>
-
- </section -->
-
-
- <div class="appendix section" id="acknowledgements">
-
-<!-- OddPage -->
-<h2><span class="secno">A. </span>Acknowledgements</h2>
+ <tr>
+ <td><a class="owlproperty" href="#derivedByInsertionFrom" title="http://www.w3.org/ns/prov#derivedByInsertionFrom">prov:derivedByInsertionFrom</a></td>
+ <td>prov:hadDerivationByInsertion</td>
+ </tr>
+</tbody></table><div class="appendix section" id="acknowledgements">
+ <h3><span class="secno">A.1 </span>Acknowledgements</h3>
<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>
@@ -9300,11 +9930,15 @@
<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 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>