--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/model/OverviewDiagram.svg Wed Feb 08 09:51:55 2012 +0000
@@ -0,0 +1,81 @@
+<?xml version="1.0" encoding="utf-8" ?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<svg height="372" version="1.1" width="566" xmlns="http://www.w3.org/2000/svg">
+<rect fill="#ffffff" height="73" stroke="#ffffff" stroke-width="1" width="85" x="201" y="87"/>
+<rect fill="#ffffff" height="0" stroke="#ffffff" stroke-width="1" width="85" x="201" y="87"/>
+<rect fill="none" height="0" stroke="#000000" stroke-width="1" width="85" x="201" y="87"/>
+<rect fill="#ffffff" height="23" stroke="#ffffff" stroke-width="1" width="85" x="201" y="87"/>
+<text font-family="Lucida Grande" font-size="13" x="225" y="103">
+Entity</text>
+<rect fill="#ffffff" height="26" stroke="#ffffff" stroke-width="1" width="85" x="201" y="133"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="201" x2="285" y1="133" y2="133"/>
+<rect fill="#ffffff" height="23" stroke="#ffffff" stroke-width="1" width="85" x="201" y="110"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="201" x2="285" y1="110" y2="110"/>
+<rect fill="none" height="73" stroke="#000000" stroke-width="1" width="85" x="201" y="87"/>
+<rect fill="#ffffff" height="73" stroke="#ffffff" stroke-width="1" width="85" x="449" y="79"/>
+<rect fill="#ffffff" height="0" stroke="#ffffff" stroke-width="1" width="85" x="449" y="79"/>
+<rect fill="none" height="0" stroke="#000000" stroke-width="1" width="85" x="449" y="79"/>
+<rect fill="#ffffff" height="23" stroke="#ffffff" stroke-width="1" width="85" x="449" y="79"/>
+<text font-family="Lucida Grande" font-size="13" x="467" y="95">
+Activity</text>
+<rect fill="#ffffff" height="24" stroke="#ffffff" stroke-width="1" width="85" x="449" y="127"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="449" x2="533" y1="127" y2="127"/>
+<rect fill="#ffffff" height="25" stroke="#ffffff" stroke-width="1" width="85" x="449" y="102"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="449" x2="533" y1="102" y2="102"/>
+<text font-family="Lucida Grande" font-size="13" x="452" y="119">
+plan : Plan</text>
+<rect fill="none" height="73" stroke="#000000" stroke-width="1" width="85" x="449" y="79"/>
+<rect fill="#ffffff" height="73" stroke="#ffffff" stroke-width="1" width="141" x="201" y="239"/>
+<rect fill="#ffffff" height="0" stroke="#ffffff" stroke-width="1" width="141" x="201" y="239"/>
+<rect fill="none" height="0" stroke="#000000" stroke-width="1" width="141" x="201" y="239"/>
+<rect fill="#ffffff" height="23" stroke="#ffffff" stroke-width="1" width="141" x="201" y="239"/>
+<text font-family="Lucida Grande" font-size="13" x="253" y="255">
+Agent</text>
+<rect fill="#ffffff" height="26" stroke="#ffffff" stroke-width="1" width="141" x="201" y="285"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="201" x2="341" y1="285" y2="285"/>
+<rect fill="#ffffff" height="23" stroke="#ffffff" stroke-width="1" width="141" x="201" y="262"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="201" x2="341" y1="262" y2="262"/>
+<rect fill="none" height="73" stroke="#000000" stroke-width="1" width="141" x="201" y="239"/>
+<polyline fill="none" points="233,239 233,160" stroke="#000000" stroke-width="1"/>
+<polygon fill="#ffffff" points="233,160 240,172 226,172" stroke="#ffffff" stroke-width="1"/>
+<polygon fill="none" points="233,160 240,172 226,172" stroke="#000000" stroke-width="1"/>
+<polyline fill="none" points="465,152 465,247 342,247" stroke="#000000" stroke-width="1"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="354" x2="342" y1="240" y2="247"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="354" x2="342" y1="254" y2="247"/>
+<text font-family="Lucida Grande" font-size="13" x="374" y="239">
+wasStartedBy</text>
+<polyline fill="none" points="497,152 497,279 342,279" stroke="#000000" stroke-width="1"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="354" x2="342" y1="272" y2="279"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="354" x2="342" y1="286" y2="279"/>
+<text font-family="Lucida Grande" font-size="13" x="406" y="278">
+wasEndedBy</text>
+<text font-family="Lucida Grande" font-size="13" x="355" y="274">
+1</text>
+<polyline fill="none" points="521,152 521,303 342,303" stroke="#000000" stroke-width="1"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="354" x2="342" y1="296" y2="303"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="354" x2="342" y1="310" y2="303"/>
+<text font-family="Lucida Grande" font-size="13" x="421" y="325">
+wasAssociatedWith</text>
+<polyline fill="none" points="201,271 121,271 121,343 209,343 209,312" stroke="#000000" stroke-width="1"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="216" x2="209" y1="324" y2="312"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="202" x2="209" y1="324" y2="312"/>
+<text font-family="Lucida Grande" font-size="13" x="14" y="321">
+actedOnBehalfOf</text>
+<polyline fill="none" points="233,87 233,31 145,31 145,127 201,127" stroke="#000000" stroke-width="1"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="189" x2="201" y1="134" y2="127"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="189" x2="201" y1="120" y2="127"/>
+<text font-family="Lucida Grande" font-size="13" x="73" y="30">
+wasDerivedFrom</text>
+<polyline fill="none" points="449,111 286,111" stroke="#000000" stroke-width="1"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="298" x2="286" y1="104" y2="111"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="298" x2="286" y1="118" y2="111"/>
+<text font-family="Lucida Grande" font-size="13" x="328" y="107">
+used</text>
+<polyline fill="none" points="286,143 449,143" stroke="#000000" stroke-width="1"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="437" x2="449" y1="150" y2="143"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="437" x2="449" y1="136" y2="143"/>
+<text font-family="Lucida Grande" font-size="13" x="317" y="165">
+wasGeneratedBy</text>
+<text font-family="Lucida Grande" font-size="13" x="428" y="138">
+1</text>
+</svg>
Binary file model/working-copy/OverviewDiagram.png has changed
Binary file model/working-copy/PROV-modelSketch.zargo has changed
Binary file model/working-copy/activityAssociation.png has changed
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/model/working-copy/activityAssociation.svg Wed Feb 08 09:51:55 2012 +0000
@@ -0,0 +1,42 @@
+<?xml version="1.0" encoding="utf-8" ?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<svg height="321" version="1.1" width="360" xmlns="http://www.w3.org/2000/svg">
+<rect fill="#ffffff" height="68" stroke="#ffffff" stroke-width="1" width="66" x="280" y="238"/>
+<rect fill="none" height="68" stroke="#000000" stroke-width="1" width="66" x="280" y="238"/>
+<text font-family="Lucida Grande" font-size="13" x="289" y="252">
+Activity</text>
+<rect fill="#000000" height="1" stroke="#000000" stroke-width="1" width="66" x="280" y="262"/>
+<rect fill="#000000" height="1" stroke="#000000" stroke-width="1" width="66" x="280" y="283"/>
+<rect fill="#ffffff" height="68" stroke="#ffffff" stroke-width="1" width="66" x="14" y="238"/>
+<rect fill="none" height="68" stroke="#000000" stroke-width="1" width="66" x="14" y="238"/>
+<text font-family="Lucida Grande" font-size="13" x="28" y="252">
+Agent</text>
+<rect fill="#000000" height="1" stroke="#000000" stroke-width="1" width="66" x="14" y="262"/>
+<rect fill="#000000" height="1" stroke="#000000" stroke-width="1" width="66" x="14" y="283"/>
+<polyline fill="none" points="80,270 280,270" stroke="#000000" stroke-width="1"/>
+<ellipse cx="180" cy="268" fill="#000000" rx="0.5" ry="0.5" stroke="#000000" stroke-width="1"/>
+<ellipse cx="181" cy="269" fill="#ffffff" rx="-0.5" ry="-0.5" stroke="#ffffff" stroke-width="1"/>
+<rect fill="#ffffff" height="88" stroke="#ffffff" stroke-width="1" width="132" x="112" y="142"/>
+<rect fill="none" height="88" stroke="#000000" stroke-width="1" width="132" x="112" y="142"/>
+<text font-family="Lucida Grande" font-size="13" x="117" y="156">
+ActivityAssociation</text>
+<rect fill="#000000" height="1" stroke="#000000" stroke-width="1" width="132" x="112" y="166"/>
+<text font-family="Lucida Grande" font-size="13" x="116" y="181">
+id</text>
+<text font-family="Lucida Grande" font-size="13" x="116" y="198">
+attributeList</text>
+<rect fill="#000000" height="1" stroke="#000000" stroke-width="1" width="132" x="112" y="208"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="181" x2="181" y1="268" y2="263"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="181" x2="181" y1="258" y2="253"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="181" x2="181" y1="248" y2="243"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="181" x2="181" y1="238" y2="233"/>
+<rect fill="#ffffff" height="68" stroke="#ffffff" stroke-width="1" width="66" x="152" y="14"/>
+<rect fill="none" height="68" stroke="#000000" stroke-width="1" width="66" x="152" y="14"/>
+<text font-family="Lucida Grande" font-size="13" x="172" y="28">
+Plan</text>
+<rect fill="#000000" height="1" stroke="#000000" stroke-width="1" width="66" x="152" y="38"/>
+<rect fill="#000000" height="1" stroke="#000000" stroke-width="1" width="66" x="152" y="59"/>
+<polyline fill="none" points="184,142 184,82" stroke="#000000" stroke-width="1"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="191" x2="184" y1="94" y2="82"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="177" x2="184" y1="94" y2="82"/>
+</svg>
Binary file model/working-copy/sec6-summary.png has changed
--- a/model/working-copy/towards-wd4.html Tue Feb 07 22:19:21 2012 +0000
+++ b/model/working-copy/towards-wd4.html Wed Feb 08 09:51:55 2012 +0000
@@ -1176,7 +1176,7 @@
</ul>
-<p>A <dfn id="dfn-Specialization">specialization relation</dfn><span class="withAsn">, written <span class="name">specializationOf(id, sub, super, attrs)</span> in PROV-ASN,</span> addresses case (2). It has the following constituents:</p>
+<p>A <dfn id="dfn-Specialization">specialization relation</dfn><span class="withAsn">, written <span class="name">specializationOf([id], sub, super, [attrs])</span> in PROV-ASN,</span> addresses case (2). It has the following constituents:</p>
<ul>
<li><em>id</em>: an OPTIONAL identifier for the association between the two entities;</li>
@@ -1190,7 +1190,7 @@
<p>To promote take up of these relations, it is not specified whether they are transitive or symmetric. We anticipate that applications will specialize these relations according to their needs. </p>
-->
-<div class='issue'>A discussion on alternative definition of these relations has not reached a satisfactory conclusion yet. This is <a
+<div class='issue'>A discussion on alternative definition of these relations has not yet reached a satisfactory conclusion. This is <a
href="http://www.w3.org/2011/prov/track/issues/29">ISSUE-29</a>. Also <a href="http://www.w3.org/2011/prov/track/issues/96">ISSUE-96</a>.</div>
@@ -1428,11 +1428,57 @@
</section>
+
+
<section id="common-relations">
<h2>PROV-DM Common Relations</h2>
<div class='note'>
Paolo to reinsert the common relations sections from WD3.
</div>
+
+<p>The following figure summarizes the additional relations described in this section.
+</p>
+
+<div style="text-align: center;">
+<figure>
+<img src="sec6-summary.png" alt="common relations"/>
+<figcaption>PROV-DM Common Relations</figcaption>
+</figure>
+</div>
+<div class='note'>will turn into UML</div>
+
+
+<section id="record-traceability">
+<h3>Traceability</h3>
+
+<p> A <dfn id="dfn-Traceability">traceability relation</dfn> between two entities <span class="name">e2</span> and <span class="name">e1</span> states a generic dependency of <span class="name">e2</span>
+on <span class="name">e1</span>. Such dependency may indicate either that <span class="name">e1</span> was necessary for <span class="name">e2</span> to be created, or that <span class="name">e1</span> bears
+some responsibility for <span class="name">e2</span>'s existence.
+
+
+<p> A traceability assertion, written <span class="name">tracedTo([id],e2,e1,[attrs])</span> in PROV-ASN, contains:</p>
+<ul>
+<li><em>id</em>: an OPTIONAL identifier <span class="name">id</span> identifying the relation;</li>
+<li><em>entity</em>: an identifier <span class="name">e2</span> identifying an entity;
+<li><em>ancestor</em>: an identifier <span class="name">e1</span> identifying an ancestor entity that <span class="name">e2</span> depends on;
+<li><em>attributes</em>: an OPTIONAL set <span class="name">attrs</span> of attribute-value pairs to further describe properties of the relation.</li>
+</ul>
+
+
+<p>Further considerations:</p>
+<ul>
+ <li>Traceability is more general than <a href="#Derivation-Relation">Derivation</a>. This means that an assertion of the form: <span class="name">tracedTo(...,e2,e1,...)</span> can be inferred from an assertion of the form:
+ <span class="name">wasDerivedFrom(e2,e1,..)</span>. The precise inference rules are specified in [REF].
+ <li>Traceability is related to responsibility by way of inference rules that involve <a href="#record-responsibility">responsibility chain</a> and <a href="#record-Generation">generation</a> relations.
+ These rules are specified in [REF]
+<ul>
+
+ <div class="anexample">
+<div =class="note"> need an example </div>
+
+</div>
+
+
</section>