--- a/model/working-copy/wd5-prov-invalidation.html Tue Apr 17 16:26:46 2012 +0100
+++ b/model/working-copy/wd5-prov-invalidation.html Tue Apr 17 17:03:52 2012 +0100
@@ -47,63 +47,63 @@
var extraReferences = {
"CLOCK":
"Lamport, L. "+
- "<a href="\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\""><cite>Time, clocks, and the ordering of events in a distributed system</cite></a>."+
+ "<a href=\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\"><cite>Time, clocks, and the ordering of events in a distributed system</cite></a>."+
"Communications of the ACM 21 (7): 558–565. 1978. "+
- "URL: <a href="\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\"">http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf</a> " +
+ "URL: <a href=\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\">http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf</a> " +
"DOI: doi:10.1145/359545.359563.",
"CSP":
"Hoare, C. A. R. "+
- "<a href="\"http://www.usingcsp.com/cspbook.pdf\""><cite>Communicating Sequential Processes</cite></a>."+
+ "<a href=\"http://www.usingcsp.com/cspbook.pdf\"><cite>Communicating Sequential Processes</cite></a>."+
"Prentice-Hall. 1985"+
- "URL: <a href="\"http://www.usingcsp.com/cspbook.pdf\"">http://www.usingcsp.com/cspbook.pdf</a>",
+ "URL: <a href=\"http://www.usingcsp.com/cspbook.pdf\">http://www.usingcsp.com/cspbook.pdf</a>",
"Logic":
"W. E. Johnson"+
- "<a href="\"http://www.ditext.com/johnson/intro-3.html\""><cite>Logic: Part III</cite></a>."+
+ "<a href=\"http://www.ditext.com/johnson/intro-3.html\"><cite>Logic: Part III</cite></a>."+
"1924. "+
- "URL: <a href="\"http://www.ditext.com/johnson/intro-3.html\"">http://www.ditext.com/johnson/intro-3.html</a>",
+ "URL: <a href=\"http://www.ditext.com/johnson/intro-3.html\">http://www.ditext.com/johnson/intro-3.html</a>",
"PROV-SEM":
"James Cheney "+
- "<a href="\"http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman\""><cite>Formal Semantics Strawman</cite></a>. "+
+ "<a href=\"http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman\"><cite>Formal Semantics Strawman</cite></a>. "+
"2011, Work in progress. "+
- "URL: <a href="\"http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman\"">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</a>",
+ "URL: <a href=\"http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman\">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</a>",
"PROV-PRIMER":
"Yolanda Gil and Simon Miles (eds.) Khalid Belhajjame, Helena Deus, Daniel Garijo, Graham Klyne, Paolo Missier, Stian Soiland-Reyes, and Stephan Zednik "+
- "<a href="\"http://www.w3.org/TR/prov-primer/\""><cite>Prov Model Primer</cite></a>. "+
+ "<a href=\"http://www.w3.org/TR/prov-primer/\"><cite>Prov Model Primer</cite></a>. "+
"2011, Working Draft. "+
- "URL: <a href="\"http://www.w3.org/TR/prov-primer/\"">http://www.w3.org/TR/prov-primer/</a>",
+ "URL: <a href=\"http://www.w3.org/TR/prov-primer/\">http://www.w3.org/TR/prov-primer/</a>",
"PROV-O":
"Satya Sahoo and Deborah McGuinness (eds.) Khalid Belhajjame, James Cheney, Daniel Garijo, Timothy Lebo, Stian Soiland-Reyes, and Stephan Zednik "+
- "<a href="\"http://www.w3.org/TR/prov-o/\""><cite>Provenance Formal Model</cite></a>. "+
+ "<a href=\"http://www.w3.org/TR/prov-o/\"><cite>Provenance Formal Model</cite></a>. "+
"2011, Working Draft. "+
- "URL: <a href="\"http://www.w3.org/TR/prov-o/\"">http://www.w3.org/TR/prov-o/</a>",
+ "URL: <a href=\"http://www.w3.org/TR/prov-o/\">http://www.w3.org/TR/prov-o/</a>",
"PROV-DM":
"Luc Moreau and Paolo Missier (eds.) ... "+
- "<a href="\"http://www.w3.org/TR/prov-dm/\""><cite>PART 1: PROV-DM ...</cite></a>. "+
+ "<a href=\"http://www.w3.org/TR/prov-dm/\"><cite>PART 1: PROV-DM ...</cite></a>. "+
"2011, Working Draft. "+
- "URL: <a href="\"http://www.w3.org/TR/prov-dm/\"">http://www.w3.org/TR/prov-dm/</a>",
+ "URL: <a href=\"http://www.w3.org/TR/prov-dm/\">http://www.w3.org/TR/prov-dm/</a>",
"PROV-DM-CONSTRAINTS":
"Luc Moreau and Paolo Missier (eds.) ... "+
- "<a href="\"http://www.w3.org/TR/prov-dm-constraints/\""><cite>PROV-DM Constraints</cite></a>. "+
+ "<a href=\"http://www.w3.org/TR/prov-dm-constraints/\"><cite>PROV-DM Constraints</cite></a>. "+
"2011, Working Draft. "+
- "URL: <a href="\"http://www.w3.org/TR/prov-dm-constraints/\"">http://www.w3.org/TR/prov-dm-constraints/</a>",
+ "URL: <a href=\"http://www.w3.org/TR/prov-dm-constraints/\">http://www.w3.org/TR/prov-dm-constraints/</a>",
"PROV-ASN":
"Luc Moreau and Paolo Missier (eds.) ... "+
- "<a href="\"http://www.w3.org/TR/prov-asn/\""><cite>PROV-ASN ....</cite></a>. "+
+ "<a href=\"http://www.w3.org/TR/prov-asn/\"><cite>PROV-ASN ....</cite></a>. "+
"2011, Working Draft. "+
- "URL: <a href="\"http://www.w3.org/TR/prov-asn/\"">http://www.w3.org/TR/prov-asn/</a>",
+ "URL: <a href=\"http://www.w3.org/TR/prov-asn/\">http://www.w3.org/TR/prov-asn/</a>",
"PROV-AQ":
"Graham Klyne and Paul Groth (eds.) Luc Moreau, Olaf Hartig, Yogesh Simmhan, James Meyers, Timothy Lebo, Khalid Belhajjame, and Simon Miles "+
- "<a href="\"http://www.w3.org/TR/prov-aq/\""><cite>Provenance Access and Query</cite></a>. "+
+ "<a href=\"http://www.w3.org/TR/prov-aq/\"><cite>Provenance Access and Query</cite></a>. "+
"2011, Working Draft. "+
- "URL: <a href="\"http://www.w3.org/TR/prov-aq/\"">http://www.w3.org/TR/prov-aq/</a>",
+ "URL: <a href=\"http://www.w3.org/TR/prov-aq/\">http://www.w3.org/TR/prov-aq/</a>",
};
var respecConfig = {
// specification status (e.g. WD, LCWD, NOTE, etc.). If in doubt use ED.
@@ -202,25 +202,24 @@
</section>
<section id="sotd">
-<div class="note">PROPOSALS TO VOTE ON</div>
</section>
-<section id="Proposal: On Entity Invalidation">
-<h4>Proposal: On Entity Invalidation: new Section 4.1.7</h4>
+<section id="On Entity Invalidation">
+<h4>On Entity Invalidation: new Section 4.1.7</h4>
<h4>4.1.7: Invalidation</h4>
<p>
-Activities have a start and an end. Entities also have a duration. Generation marks the beginning of an entity. The end of an entity can occur for different reasons.
+Entities have a duration. Generation marks the beginning of an entity. The end of an entity can occur for different reasons.
<ul>
-<li> an entity was destroyed: e.g. a painting was destroyed by fire; a Web page is taken out of site;
+<li> an entity was destroyed: e.g. a painting was destroyed by fire; a Web page is taken out of a site;
<li> an entity was consumed: e.g. Bob ate all his soup, Alice ran out of gas when driving to work;
<li> an entity expires: e.g. a "buy one beer, get one free" offer is valid during happy hour (7-8pm);
-<li> an entity is time limited: e.g. a the BBC news Web site on April 3rd, 2012;
+<li> an entity is time limited: e.g. the BBC news site on April 3rd, 2012;
<li> an entity attribute is changing: e.g. the traffic light changed from green to red.
</ul>
-In the first two cases, the entity has physically disappeared after its termination: there is no more soup, or painting. In the last two cases, there may be an "offer voucher" that still exists, but it is no longer valid; likewise, on April 4th, the BBC new Web site still exists but it is not the same entity as BBC news Web site on April 3rd; or the traffic light became red and therefore is regarded as a different entity to the green light.
+In the first two cases, the entity has physically disappeared after its termination: there is no more soup, or painting. In the last two cases, there may be an "offer voucher" that still exists, but it is no longer valid; likewise, on April 4th, the BBC news site still exists but it is not the same entity as BBC news Web site on April 3rd; or the traffic light became red and therefore is regarded as a different entity to the green light.
</p>
<p>
@@ -231,7 +230,7 @@
<p>
-<div class="attributes" id="attributes-invalidation"><dfn title="dfn-Invalidation">Invalidation</dfn><span class="withAsn">, written <span class="pnExpression">wasInvalidatedBy(id,e,a,t,attrs)</span> in PROV-ASN,</span> has:</p>
+<div class="attributes" id="attributes-invalidation"><dfn title="dfn-Invalidation">Invalidation</dfn><span class="withPn">, written <span class="pnExpression">wasInvalidatedBy(id,e,a,t,attrs)</span> in PROV-N,</span> has:</p>
<ul>
<li><span class='attribute'>id</span>: an OPTIONAL identifier for a invalidation;</li>
<li><span class='attribute'>entity</span>: an identifier for the invalidated entity; </li>
@@ -247,7 +246,7 @@
<div class="anexample" id="anexample-invalidation1">
<p>
-Picasso's painting"The Painter" is known to have been destroyed in a <a href="http://en.wikipedia.org/wiki/Lost_artworks#20th_century">plane accident</a>.
+The Painter, a Picasso painting, is known to have been destroyed in a <a href="http://en.wikipedia.org/wiki/Lost_artworks#20th_century">plane accident</a>.
<pre class="codeexample">
entity(ex:The-Painter)
@@ -261,16 +260,16 @@
<div class="anexample" id="anexample-invalidation2">
<p>
The BBC news home page on 2012-04-03 <span class="name">ex:bbcNews2012-04-03</span>
-contains a reference to a given news item
+contained a reference to a given news item
<a href="http://www.bbc.co.uk/news/uk-17595024">bbc:news/uk-17595024</a>,
-but the BBC news home page on the next day does not.
+but the BBC news home page on the next day did not.
<pre class="codeexample">
entity(ex:bbcNews2012-04-03)
memberOf(ex:bbcNews2012-04-03,{("item1", bbc:news/uk-17595024)})
wasGeneratedBy (ex:bbcNews2012-04-03,-,2012-04-03T00:00:01)
wasInvalidatedBy(ex:bbcNews2012-04-03,-,2012-04-03T23:59:59)
</pre>
-We refer to example (<a href="#anexample-specialization">anexample-specialization</a> for further descriptions of the BBC Web site, and to Section <a>Membership</a> for a description of the relation <a>memberOf</a>).
+We refer to example <a href="#anexample-specialization">anexample-specialization</a> for further descriptions of the BBC Web site, and to Section <a>Membership</a> for a description of the relation <a>memberOf</a>.
</div>
@@ -283,11 +282,14 @@
wasInvalidatedBy(buy_one_beer_get_one_free_offer_during_happy_hour,
-,2012-03-10T18:00:00)
</pre>
-<p>Alternatively, in the following example, Bob redeemed the offer 45 minutes before it expired, and got two beers. Here, the offer is also "used" by the redeem activity.</p>
+<p>In contrast, in the following descriptions, Bob redeemed the offer 45 minutes before it expired, and got two beers.
+</p>
<pre class="codeexample">
entity(buy_one_beer_get_one_free_offer_during_happy_hour)
wasAttributedTo(proprietor)
activity(redeemOffer)
+entity(twoBeers)
+
wasAssociatedWith(redeemOffer,bob)
used(buy_one_beer_get_one_free_offer_during_happy_hour,
redeemOffer, 2012-03-10T17:15:00)
@@ -295,6 +297,7 @@
redeemOffer, 2012-03-10T17:15:00)
wasGeneratedBy(twoBeers,redeemOffer)
</pre>
+<p>We see that the offer was both used to be converted into <span class="name">twoBeers</span> and invalidated by the <span class="name">redeemOffer</span> activity: in other words, the combined usage and invalidation indicate consumption of the offer.</p>
</div>
<!--