--- a/model/working-copy/wd5-prov-dm-components.html Mon Mar 19 10:44:59 2012 +0000
+++ b/model/working-copy/wd5-prov-dm-components.html Mon Mar 19 16:51:30 2012 +0000
@@ -845,7 +845,7 @@
<section id="data-model-components">
-<h2>PROV-DM Concepts</h2>
+<h2>PROV-DM Concepts and Relations</h2>
<p>PROV-DM Concepts are structured according to six components that are introduced here.
Components and their dependencies are illustrated in Figure <a href="#prov-dm-components">prov-dm-components</a>. A component that relies on concepts defined in another also sits above it, in this figure.
@@ -1127,12 +1127,12 @@
<section id="term-Start">
-<h4>Activity Start</h4>
+<h4>Start</h4>
<div class="glossary-ref" ref="glossary-start"></div>
-<p>An <dfn title="wasStartedBy">activity start</dfn><span class="withPn">, written <span class="pnExpression">wasStartedBy(id,a,e,t,attrs)</span> in PROV-N,</span> contains:</p>
+<p>An activity <dfn title="wasStartedBy">start</dfn><span class="withPn">, written <span class="pnExpression">wasStartedBy(id,a,e,t,attrs)</span> in PROV-N,</span> contains:</p>
<ul>
<li><span class='attribute' id="start.id">id</span>: an OPTIONAL identifier for the activity start;</li>
<li><span class='attribute' id="start.activity">activity</span>: an identifier for the started activity;</li>
@@ -1174,12 +1174,12 @@
</section>
<section id="term-End">
-<h4>Activity End</h4>
+<h4>End</h4>
<div class="glossary-ref" ref="glossary-end"></div>
-<p>An <dfn title="wasEndedBy">activity end</dfn><span class="withAsn">, written <span class="pnExpression">wasEndedBy(id,a,e,t,attrs)</span> in PROV-ASN,</span> contains:</p>
+<p>An activity <dfn title="wasEndedBy">end</dfn><span class="withAsn">, written <span class="pnExpression">wasEndedBy(id,a,e,t,attrs)</span> in PROV-ASN,</span> contains:</p>
<ul>
<li><span class='attribute' id="end.id">id</span>: an OPTIONAL identifier for the activity end;</li>
<li><span class='attribute' id="end.activity">activity</span>: an identifier for the ended activity;
@@ -1284,8 +1284,8 @@
<p><div class="attributes" id="attributes-agent">An <dfn title="dfn-agent">agent</dfn><span class="withPn">, noted <span class="pnExpression" id="pn-agent">agent(id, [ attr1=val1, ...])</span> in PROV-N,</span> contains:
<ul>
-<li><span class='attribute'>id</span>: an identifier for an agent;</li>
-<li><span class='attribute'>attributes</span>: a set of attribute-value pairs representing this agent's situation in the world.
+<li><span class='attribute' id="agent.id>id</span>: an identifier for an agent;</li>
+<li><span class='attribute' id="agent.attributes>attributes</span>: a set of attribute-value pairs representing this agent's situation in the world.
</li>
</ul></div>
@@ -1326,10 +1326,10 @@
<p> An <dfn title="wasAttributedTo">attribution relation</dfn><span class="withPn">, written <span class="pnExpression">wasAttributedTo(id,e,ag,attr)</span> in PROV-N,</span> contains the following elements:</p>
<ul>
-<li><span class='attribute'>id</span>: an OPTIONAL identifier for the relation;</li>
-<li><span class='attribute'>entity</span>: an entity identifier;</li>
-<li><span class='attribute'>agent</span>: the identifier of the agent whom the entity is ascribed to;</li>
-<li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs to further describe the properties of the relation.</li>
+<li><span class='attribute' id="attribution.id>id</span>: an OPTIONAL identifier for the relation;</li>
+<li><span class='attribute' id="attribution.entity>entity</span>: an entity identifier;</li>
+<li><span class='attribute' id="attribution.agent>agent</span>: the identifier of the agent whom the entity is ascribed to;</li>
+<li><span class='attribute' id="attribution.attributes>attributes</span>: an OPTIONAL set of attribute-value pairs to further describe the properties of the relation.</li>
</ul>
<div class="anexample">
@@ -1349,7 +1349,7 @@
<section id="term-ActivityAssociation">
-<h4>Activity Association</h4>
+<h4>Association</h4>
<div class="glossary-ref" ref="glossary-activityAssociation"></div>
@@ -1357,11 +1357,11 @@
<p><div class="attributes" id="attributes-activity-association">An <dfn title="wasAssociatedWith">activity association</dfn><span class="withPn">, written <span class="pnExpression">wasAssociatedWith(id,a,ag,pl,attrs)</span> in PROV-N,</span> has the following
constituents:
<ul>
-<li><span class='attribute'>id</span>: an OPTIONAL identifier for the association between an activity and an agent;</li>
-<li><span class='attribute'>activity</span>: an identifier for the activity;</li>
-<li><span class='attribute'>agent</span>: an OPTIONAL identifier for the agent associated with the activity;</li>
-<li><span class='attribute'>plan</span>: an OPTIONAL identifier for the plan adopted by the agent in the context of this activity;
-<li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs that describe the modalities of association of this activity with this agent.</li>
+<li><span class='attribute' id="association.id>id</span>: an OPTIONAL identifier for the association between an activity and an agent;</li>
+<li><span class='attribute' id="association.activity>activity</span>: an identifier for the activity;</li>
+<li><span class='attribute' id="association.agent>agent</span>: an OPTIONAL identifier for the agent associated with the activity;</li>
+<li><span class='attribute' id="association.plan>plan</span>: an OPTIONAL identifier for the plan adopted by the agent in the context of this activity;
+<li><span class='attribute' id="association.attributes>attributes</span>: an OPTIONAL set of attribute-value pairs that describe the modalities of association of this activity with this agent.</li>
</ul></div>
<div class="anexample id="anexample-wasAssociateWith">
@@ -1433,12 +1433,12 @@
<p><div class="attributes" id="attributes-responsibility-chain">A <dfn title="actedOnBehalfOf">responsibility</dfn> relation<span class="withPn">, written <span class="pnExpression">actedOnBehalfOf(id,ag2,ag1,a,attrs)</span> in PROV-N,</span> has the following constituents:
<ul>
-<li><span class='attribute'>id</span>: an OPTIONAL identifier for the responsibility chain;</li>
-<li><span class='attribute'>subordinate</span>: an identifier for the agent associated with an activity, acting on behalf of the responsible
+<li><span class='attribute' id="responsibility.id>id</span>: an OPTIONAL identifier for the responsibility chain;</li>
+<li><span class='attribute' id="responsibility.subordinate>subordinate</span>: an identifier for the agent associated with an activity, acting on behalf of the responsible
agent;</li>
-<li><span class='attribute'>responsible</span>: an identifier for the agent, on behalf of which the subordinate agent acted;</li>
-<li><span class='attribute'>activity</span>: an OPTIONAL identifier of an activity for which the responsibility chain holds;</li>
-<li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs that describe the modalities of this relation.</li>
+<li><span class='attribute' id="responsibility.responsible>responsible</span>: an identifier for the agent, on behalf of which the subordinate agent acted;</li>
+<li><span class='attribute' id="responsibility.activity>activity</span>: an OPTIONAL identifier of an activity for which the responsibility chain holds;</li>
+<li><span class='attribute' id="responsibility.attributes>attributes</span>: an OPTIONAL set of attribute-value pairs that describe the modalities of this relation.</li>
</ul></div>
@@ -1489,13 +1489,13 @@
<p><div class="attributes" id="attributes-derivation">A <dfn title="wasDerivedFrom">derivation</dfn><span class="withPn">, written <span class="pnExpression" id="pn-wasDerivedFrom">wasDerivedFrom(id, e2, e1, a, g2, u1, attrs)</span> in PROV-N,</span> contains:
<ul>
-<li><em>id</em>: an OPTIONAL identifier for a derivation;</li>
-<li><em>generatedEntity</em>: the identifier of the entity generated by the derivation;</li>
-<li><em>usedEntity</em>: the identifier of the entity used by the derivation;</li>
-<li><em>activity</em>: an OPTIONAL identifier for the activity using and generating the above entities;</li>
-<li><em>generation</em>: an OPTIONAL identifier for the generation involving the generated entity and activity;</li>
-<li><em>usage</em>: an OPTIONAL identifier for the usage involving the used entity and activity;</li>
-<li><em>attributes</em>: an OPTIONAL set of attribute-value pairs that describe the modalities of this derivation.</li>
+<li><span class='attribute' id="derivation.id">id</span>: an OPTIONAL identifier for a derivation;</li>
+<li><span class='attribute' id="derivation.generatedEntity">generatedEntity</span>: the identifier of the entity generated by the derivation;</li>
+<li><span class='attribute' id="derivation.usedEntity">usedEntity</span>: the identifier of the entity used by the derivation;</li>
+<li><span class='attribute' id="derivation.activity">activity</span>: an OPTIONAL identifier for the activity using and generating the above entities;</li>
+<li><span class='attribute' id="derivation.generation">generation</span>: an OPTIONAL identifier for the generation involving the generated entity and activity;</li>
+<li><span class='attribute' id="derivation.usage">usage</span>: an OPTIONAL identifier for the usage involving the used entity and activity;</li>
+<li><span class='attribute' id="derivation.attributes">attributes</span>: an OPTIONAL set of attribute-value pairs that describe the modalities of this derivation.</li>
</ul>
</div>
@@ -1543,16 +1543,16 @@
<p> A <dfn title="wasRevisionOf">revision</dfn> relation<span class="withPn">, written <span class="pnExpression">wasRevisionOf(id,e2,e1,ag,attrs)</span> in PROV-N,</span> contains:</p>
<ul>
-<li><span class='attribute'>id</span>: an OPTIONAL identifier for the relation;</li>
-<li><span class='attribute'>newer</span>: the identifier of the revised entity;
-<li><span class='attribute'>older</span>: the identifier of the older entity;
-<li><span class='attribute'>responsibility</span>: an OPTIONAL identifier for the agent who approved the newer entity as a variant of the older;
-<li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs to further describe the properties of this relation.</li>
+<li><span class='attribute' id="revision.id">id</span>: an OPTIONAL identifier for the relation;</li>
+<li><span class='attribute' id="revision.newer">newer</span>: the identifier of the revised entity;
+<li><span class='attribute' id="revision.older">older</span>: the identifier of the older entity;
+<li><span class='attribute' id="revision.responsibility">responsibility</span>: an OPTIONAL identifier for the agent who approved the newer entity as a variant of the older;
+<li><span class='attribute' id="revision.attributes">attributes</span>: an OPTIONAL set of attribute-value pairs to further describe the properties of this relation.</li>
</ul>
-<div class="anexample">
+<div class="anexample" id="anexample-revision">
<p>
Revisiting the example of <a href="#section-example-a">Section 3.1</a>,
we can now state that the report
@@ -1581,12 +1581,12 @@
is a particular case of <a href="#Derivation-Relation">derivation</a> in which entity <span class="name">e2</span> is derived from an original entity <span class="name">e1</span> by copying, or "quoting", some or all of it.
A <dfn title="wasQuotedFrom">quotation</dfn> relation <span class="withPn">, written <span class="pnExpression">wasQuotedFrom(id,e2,e1,ag2,ag1,attrs)</span> in PROV-N,</span> contains:</p>
<ul>
-<li><span class='attribute'>id</span>: an OPTIONAL identifier for the relation;</li>
-<li><span class='attribute'>quote</span>: an identifier (<span class="name">e2</span>) for the entity that represents the quote (the partial copy);
-<li><span class='attribute'>original</span>: an identifier (<span class="name">e1</span>) for the original entity being quoted;
-<li><span class='attribute'>quoterAgent</span>: an OPTIONAL identifier (<span class="name">ag2</span>) for the agent who performs the quote;
-<li><span class='attribute'>originalAgent</span>: an OPTIONAL identifier (<span class="name">ag1</span>) for the agent to whom the original entity is attributed;
-<li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs to further describe the properties of the relation.</li>
+<li><span class='attribute' id="quotation.id">id</span>: an OPTIONAL identifier for the relation;</li>
+<li><span class='attribute' id="quotation.quote">quote</span>: an identifier (<span class="name">e2</span>) for the entity that represents the quote (the partial copy);
+<li><span class='attribute' id="quotation.original">original</span>: an identifier (<span class="name">e1</span>) for the original entity being quoted;
+<li><span class='attribute' id="quotation.quoterAgent">quoterAgent</span>: an OPTIONAL identifier (<span class="name">ag2</span>) for the agent who performs the quote;
+<li><span class='attribute' id="quotation.originalAgent">originalAgent</span>: an OPTIONAL identifier (<span class="name">ag1</span>) for the agent to whom the original entity is attributed;
+<li><span class='attribute' id="quotation.attributes">attributes</span>: an OPTIONAL set of attribute-value pairs to further describe the properties of the relation.</li>
</ul>
@@ -1594,7 +1594,7 @@
<p>
The following paragraph is a quote from one of <a href="http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/">the author's blogs</a>.
<blockquote id="paul-quote"><em>
-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 formalizations. I just needed to get over the differences in syntax. 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.</em>
+"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 formalizations. I just needed to get over the differences in syntax. 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."</em>
</blockquote>
<p>If <a href="http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/"><span class="name">ex:blog</span></a> denotes the original blog by agent <span class="name">ex:Paul</span>, and
<a href="#paul-quote"><span class="name">ex:blockquote</span></a> denotes the above paragraph, then the following descriptions express that the above paragraph is copied by agent <span class="name">ex:Luc</a> from a part of the blog, attributed to the agent <span class="name">ex:Paul</a>.</p>
@@ -1629,10 +1629,10 @@
<p> An <dfn title="hadOriginalSource">original source</dfn> relation<span class="withPn">, written <span class="pnExpression">hadOriginalSource(id,e2,e1,attrs)</span>,</span> contains:</p>
<ul>
-<li><span class='attribute'>id</span>: an OPTIONAL identifier for the relation;</li>
-<li><span class='attribute'>derived</span>: an identifier for the derived entity; </li>
-<li><span class='attribute'>source</span>: an identifier for the original source entity;</li>
-<li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs to further describe the properties of the relation.</li>
+<li><span class='attribute' id="originalSource.id">id</span>: an OPTIONAL identifier for the relation;</li>
+<li><span class='attribute' id="originalSource.derived">derived</span>: an identifier for the derived entity; </li>
+<li><span class='attribute' id="originalSource.source">source</span>: an identifier for the original source entity;</li>
+<li><span class='attribute' id="originalSource.attributes">attributes</span>: an OPTIONAL set of attribute-value pairs to further describe the properties of the relation.</li>
</ul>
<div class="anexample">
@@ -1659,10 +1659,10 @@
<p> A <dfn title="tracedTo">traceability relation</dfn><span class="withPn">, written <span class="pnExpression">tracedTo(id,e2,e1,attrs)</span> in PROV-N,</span> contains:</p>
<ul>
-<li><span class='attribute'>id</span>: an OPTIONAL identifier identifying the relation;</li>
-<li><span class='attribute'>entity</span>: an identifier identifying an entity;
-<li><span class='attribute'>ancestor</span>: an identifier identifying an ancestor entity that the former depends on;
-<li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs to further describe properties of the relation.</li>
+<li><span class='attribute' id="traceability.id">id</span>: an OPTIONAL identifier identifying the relation;</li>
+<li><span class='attribute' id="traceability.entity">entity</span>: an identifier identifying an entity;
+<li><span class='attribute' id="traceability.ancestor">ancestor</span>: an identifier identifying an ancestor entity that the former depends on;
+<li><span class='attribute' id="traceability.attributes">attributes</span>: an OPTIONAL set of attribute-value pairs to further describe properties of the relation.</li>
</ul>
<p>We note that the ancestor is allowed to be an agent since agents are entities. </p>
--- a/ontology/ProvenanceOntology.owl Mon Mar 19 10:44:59 2012 +0000
+++ b/ontology/ProvenanceOntology.owl Mon Mar 19 16:51:30 2012 +0000
@@ -70,6 +70,17 @@
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
+ // Datatypes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
@@ -215,9 +226,9 @@
- <!-- http://www.w3.org/ns/prov#hadQuotedAgent -->
+ <!-- http://www.w3.org/ns/prov#hadQuoted -->
- <owl:ObjectProperty rdf:about="&prov;hadQuotedAgent">
+ <owl:ObjectProperty rdf:about="&prov;hadQuoted">
<prov:category>qualified</prov:category>
<rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
@@ -227,9 +238,9 @@
- <!-- http://www.w3.org/ns/prov#hadQuoterAgent -->
+ <!-- http://www.w3.org/ns/prov#hadQuoter -->
- <owl:ObjectProperty rdf:about="&prov;hadQuoterAgent">
+ <owl:ObjectProperty rdf:about="&prov;hadQuoter">
<prov:category>qualified</prov:category>
<rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
@@ -265,12 +276,12 @@
<!-- http://www.w3.org/ns/prov#involved -->
<owl:ObjectProperty rdf:about="&prov;involved">
+ <prov:category>qualified</prov:category>
<rdfs:comment xml:lang="en">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 the subproperty.
Subproperties of prov:involved may also be asserted directly without being qualified.</rdfs:comment>
- <prov:category>qualified</prov:category>
</owl:ObjectProperty>
@@ -457,6 +468,17 @@
+ <!-- http://www.w3.org/ns/prov#responsibleForActivity -->
+
+ <owl:ObjectProperty rdf:about="&prov;responsibleForActivity">
+ <prov:category>qualified</prov:category>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Derivation"/>
+ <rdfs:range rdf:resource="&prov;Activity"/>
+ <rdfs:domain rdf:resource="&prov;Responsibility"/>
+ </owl:ObjectProperty>
+
+
+
<!-- http://www.w3.org/ns/prov#specializationOf -->
<owl:ObjectProperty rdf:about="&prov;specializationOf">
@@ -491,8 +513,8 @@
<owl:ObjectProperty rdf:about="&prov;used">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <rdfs:comment xml:lang="en">A prov:Entity that was used by this prov:Activity. For example, :baking prov:used :spoon, :egg, :oven .</rdfs:comment>
<prov:category>starting-point</prov:category>
- <rdfs:comment xml:lang="en">A prov:Entity that was used by this prov:Activity. For example, :baking prov:used :spoon, :egg, :oven .</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
<rdfs:domain rdf:resource="&prov;Activity"/>
@@ -508,8 +530,8 @@
<!-- http://www.w3.org/ns/prov#wasAssociatedWith -->
<owl:ObjectProperty rdf:about="&prov;wasAssociatedWith">
+ <rdfs:comment xml:lang="en">A prov:Agent that had some (unspecified) responsibility for the occurrence of this prov:Activity.</rdfs:comment>
<prov:category>starting-point</prov:category>
- <rdfs:comment xml:lang="en">A prov:Agent that had some (unspecified) responsibility for the occurrence of this prov:Activity.</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
<rdfs:domain rdf:resource="&prov;Activity"/>
<rdfs:range rdf:resource="&prov;Agent"/>
@@ -541,6 +563,17 @@
+ <!-- http://www.w3.org/ns/prov#wasDerivedBy -->
+
+ <owl:ObjectProperty rdf:about="&prov;wasDerivedBy">
+ <prov:category>qualified</prov:category>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Derivation"/>
+ <rdfs:range rdf:resource="&prov;Activity"/>
+ <rdfs:domain rdf:resource="&prov;Derivation"/>
+ </owl:ObjectProperty>
+
+
+
<!-- http://www.w3.org/ns/prov#wasDerivedFrom -->
<owl:ObjectProperty rdf:about="&prov;wasDerivedFrom">
@@ -611,8 +644,8 @@
<!-- http://www.w3.org/ns/prov#wasQuotedFrom -->
<owl:ObjectProperty rdf:about="&prov;wasQuotedFrom">
+ <rdfs:comment xml:lang="en">Different from wasAttributedTo?</rdfs:comment>
<prov:category>expanded</prov:category>
- <rdfs:comment xml:lang="en">Different from wasAttributedTo?</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
<rdfs:range rdf:resource="&prov;Entity"/>
@@ -729,8 +762,8 @@
<owl:Class rdf:about="&prov;Activity">
<owl:disjointWith rdf:resource="&prov;Entity"/>
+ <prov:category>starting-point</prov:category>
<rdfs:comment xml:lang="en">Activity is defined to be 'an identifiable activity, which performs a piece of work.'</rdfs:comment>
- <prov:category>starting-point</prov:category>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
</owl:Class>
@@ -1063,5 +1096,5 @@
-<!-- Generated by the OWL API (version 3.1.0.20069) http://owlapi.sourceforge.net -->
+<!-- Generated by the OWL API (version 3.2.3.1824) http://owlapi.sourceforge.net -->