CINXE.COM

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> <head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <link rel="stylesheet" type="text/css" href="/2005/06/tracker/webui.css" media="screen" /> <link rel='alternate' type='application/atom+xml' href='/2011/prov/track/issues/576.atom' title='Chagelog as ATOM feed' /> <title>ISSUE-576: logical definition and comments on prov-constratins - Provenance Working Group Tracker</title> <script type='text/javascript' src='/2007/08/datepicker/js/datepicker.js'></script> <script src='/2005/06/tracker/ui.js' type='text/javascript'></script> <link href='/2007/08/datepicker/css/datepicker.css' rel='stylesheet' type='text/css' /> </head> <body> <div id="sidebar"> <div id="navigation"> <h3><a href="https://www.w3.org/2011/prov/">Provenance Working Group</a> Issue Tracking</h3> <ul> <li><a href="/2011/prov/track/">Summary</a></li> <li>Issues: <ul> <li><a href="/2011/prov/track/issues/raised">Raised</a></li> <li><a href="/2011/prov/track/issues/open">Open</a></li> <li><a href="/2011/prov/track/issues/pendingreview">Pending Review</a></li> <li><a href="/2011/prov/track/issues/closed">Closed</a></li> <li><a href="/2011/prov/track/issues/postponed">Postponed</a></li> <li><a href="/2011/prov/track/issues">All</a></li> <li><a href="/2011/prov/track/issues/new">Create</a></li> </ul> </li> <li>Actions: <ul> <li><a href="/2011/prov/track/actions/open">Open</a></li> <li><a href="/2011/prov/track/actions/overdue">Overdue</a></li> <li><a href="/2011/prov/track/actions/closed">Closed</a></li> <li><a href="/2011/prov/track/actions/pendingreview">Pending Review</a></li> <li><a href="/2011/prov/track/actions/new">Raise</a></li> </ul> </li> <li><a href="/2011/prov/track/users">Users</a> <ul><li><a href='/2005/06/tracker/users/my'><em>My</em> Tracker</a></li></ul> </li> <li><a href="/2011/prov/track/products">Products</a></li> <li><a href="/2011/prov/track/agenda">Agenda planning</a></li> <li><a href="/2011/prov/track/changelog">Recent activity</a></li> </ul> </div> <div id="operation"> <ul> <li><a href="/2011/prov/track/issues/576/edit">Edit this issue</a></li> </ul> </div> </div> <div id="content"> <h1>ISSUE-576: logical definition and comments on prov-constratins</h1> <h2></h2> <h2>logical definition and comments on prov-constratins</h2> <dl> <dt>State:</dt> <dd>CLOSED</dd> <dt>Product:</dt> <dd><a href='/2011/prov/track/products/12'>prov-dm-constraints</a></dd> <dt>Raised by:</dt> <dd><a href='/2011/prov/track/users/'>Paul Groth</a></dd> <dt>Opened on:</dt> <dd>2012-10-23</dd> <dt>Description:</dt> <dd>Please see the following public comment:<br /> <a href='http://lists.w3.org/Archives/Public/public-prov-comments/2012Oct/0004.html'>http://lists.w3.org/Archives/Public/public-prov-comments/2012Oct/0004.html</a></dd> <dt>Related Actions Items:</dt> <dd>No related actions</dd> <dt>Related emails:</dt> <dd id='emails'><ol> <li id='e147886'><a href="https://www.w3.org/mid/774071E8-2C36-42FA-8136-58BC99323DE8%2540inf.ed.ac.uk">Re: PROV-ISSUE-579 (declarative-fol-specification): Suggestion to replace procedural specification with (equivalent, but shorter and less prescriptive) declarative theory in First-Order Logic [prov-dm-constraints]</a> (from jcheney@inf.ed.ac.uk on 2013-04-11)</li> <li id='e146068'><a href="https://www.w3.org/mid/5A9EEEB7-ACB0-48BD-8B4E-C56AE43EF6B7%2540inf.ed.ac.uk">Re: PROV-ISSUE-579 (declarative-fol-specification): Suggestion to replace procedural specification with (equivalent, but shorter and less prescriptive) declarative theory in First-Order Logic [prov-dm-constraints]</a> (from jcheney@inf.ed.ac.uk on 2013-03-08)</li> <li id='e137701'><a href="https://www.w3.org/mid/68147732-6E87-49F1-82A1-6E63A579ED8F%2540inf.ed.ac.uk">Re: PROV-WG response to comments on constraints</a> (from jcheney@inf.ed.ac.uk on 2012-11-06)</li> <li id='e137364'><a href="https://www.w3.org/mid/C187C73B-9C22-4176-9FF6-4832B885DCB0%2540inf.ed.ac.uk">Re: PROV-WG response to comments on constraints</a> (from jcheney@inf.ed.ac.uk on 2012-11-01)</li> <li id='e137351'><a href="https://www.w3.org/mid/5092BBE0.1080403%2540emse.fr">Re: PROV-WG response to comments on constraints</a> (from antoine.zimmermann@emse.fr on 2012-11-01)</li> <li id='e137334'><a href="https://www.w3.org/mid/240D075F-4BF7-47D2-874F-AA7564ED6CAE%2540inf.ed.ac.uk">PROV-WG response to comments on constraints</a> (from jcheney@inf.ed.ac.uk on 2012-11-01)</li> <li id='e137269'><a href="https://www.w3.org/mid/EMEW3%257Cfd88a5d9140c19f71ffb84f6f43b3988oA0EAn08l.moreau%257Cecs.soton.ac.uk%257C509282E7.5060103%2540ecs.soton.ac.uk">Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments</a> (from l.moreau@ecs.soton.ac.uk on 2012-11-01)</li> <li id='e137248'><a href="https://www.w3.org/mid/114DECE7-2F10-49EC-9349-6932BC4308F3%2540inf.ed.ac.uk">Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments</a> (from jcheney@inf.ed.ac.uk on 2012-11-01)</li> <li id='e137228'><a href="https://www.w3.org/mid/EMEW3%257Ca71f16c862ebe02cf0d48797ab8e239coA0Axa08l.moreau%257Cecs.soton.ac.uk%257C50925615.2000901%2540ecs.soton.ac.uk">Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments</a> (from l.moreau@ecs.soton.ac.uk on 2012-11-01)</li> <li id='e137211'><a href="https://www.w3.org/mid/00808AEF-9D40-47EE-9DAB-19243C06A1D9%2540inf.ed.ac.uk">Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments</a> (from jcheney@inf.ed.ac.uk on 2012-11-01)</li> <li id='e137102'><a href="https://www.w3.org/mid/CAJCyKRpxE4z--TKU8Z%253DOzvWM1CbU9U6W5nz_Ah-istthmMQD_w%2540mail.gmail.com">Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments</a> (from p.t.groth@vu.nl on 2012-11-01)</li> <li id='e136990'><a href="https://www.w3.org/mid/B7C52DD2-C940-45C4-A239-8855AC11BB7B%2540inf.ed.ac.uk">Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments</a> (from jcheney@inf.ed.ac.uk on 2012-10-31)</li> <li id='e136973'><a href="https://www.w3.org/mid/EMEW3%257Cfe59d5eda7b16218f305e492b4b75390o9UDH308l.moreau%257Cecs.soton.ac.uk%257C5091247F.80003%2540ecs.soton.ac.uk">Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments</a> (from l.moreau@ecs.soton.ac.uk on 2012-10-31)</li> <li id='e136954'><a href="https://www.w3.org/mid/F49C1CED-151F-4C81-BB01-B5576520AD25%2540inf.ed.ac.uk">Reminder: Review of responses to PROV-CONSTRAINTS public comments</a> (from jcheney@inf.ed.ac.uk on 2012-10-31)</li> <li id='e136828'><a href="https://www.w3.org/mid/B29C0B18-46A7-4644-890C-8BE325C14E41%2540inf.ed.ac.uk">Review of PROV-CONSTRAINTS issues (ISSUE-576, ISSUE-580, ISSUE-577, ISSUE-578, ISSUE-581)</a> (from jcheney@inf.ed.ac.uk on 2012-10-29)</li> <li id='e136616'><a href="https://www.w3.org/mid/E1TRQhP-0000Ty-BT%2540tibor.w3.org">PROV-ISSUE-588 (strictly-precedes-irreflexive): It is never specified explicitly that 'strictly-precedes' is irreflexive [prov-dm-constraints]</a> (from sysbot+tracker@w3.org on 2012-10-25)</li> <li id='e136614'><a href="https://www.w3.org/mid/E1TRQgW-0000Tn-AF%2540tibor.w3.org">PROV-ISSUE-587 (rdf-analogies): Concerns about analogies to RDF blank nodes/semantics [prov-dm-constraints]</a> (from sysbot+tracker@w3.org on 2012-10-25)</li> <li id='e136612'><a href="https://www.w3.org/mid/E1TRQfK-0000TO-6R%2540tibor.w3.org">PROV-ISSUE-586 (toplevel-bundle-description): The description of 'toplevel bundle' as 'set of statements not appearing in a named bundle' is unclear [prov-dm-constraints]</a> (from sysbot+tracker@w3.org on 2012-10-25)</li> <li id='e136608'><a href="https://www.w3.org/mid/E1TRQGV-0000Ei-Kp%2540tibor.w3.org">PROV-ISSUE-585 (applying-satisfying-constraints): Suggestion to avoid discussing how to 'apply' constraints; clarify what it means to 'satisfy' constraints [prov-dm-constraints]</a> (from sysbot+tracker@w3.org on 2012-10-25)</li> <li id='e136606'><a href="https://www.w3.org/mid/E1TRQEI-0000Cy-HP%2540tibor.w3.org">PROV-ISSUE-584 (merging): The nonstandard/procedurally defined 'merging' operation on terms [prov-dm-constraints]</a> (from sysbot+tracker@w3.org on 2012-10-25)</li> <li id='e136604'><a href="https://www.w3.org/mid/E1TRQDA-0000CV-GQ%2540tibor.w3.org">PROV-ISSUE-583 (equivalent-instances-in-bundles): Questions concerning what it means for applications to treat equivalent instances 'in the same way', particularly in bundles. [prov-dm-constraints]</a> (from sysbot+tracker@w3.org on 2012-10-25)</li> <li id='e136602'><a href="https://www.w3.org/mid/E1TRQCO-0000CL-Na%2540tibor.w3.org">PROV-ISSUE-582 (document-instance): 'of their respective documents.' should be '... of their respective instances.' [prov-dm-constraints]</a> (from sysbot+tracker@w3.org on 2012-10-25)</li> <li id='e136600'><a href="https://www.w3.org/mid/E1TRQBh-0000CB-9M%2540tibor.w3.org">PROV-ISSUE-581 (avoid-specifying-algorithm): Suggestion to avoid wording that 'almost requires' using normalization to implement constraints [prov-dm-constraints]</a> (from sysbot+tracker@w3.org on 2012-10-25)</li> <li id='e136598'><a href="https://www.w3.org/mid/E1TRQ8t-00007H-8c%2540tibor.w3.org">PROV-ISSUE-580 (drop-syntactic-sugar-definitions): Suggestion to drop definitions in section 4.1 since they are not needed if the semantics is defined more abstractly [prov-dm-constraints]</a> (from sysbot+tracker@w3.org on 2012-10-25)</li> <li id='e136596'><a href="https://www.w3.org/mid/E1TRQ74-00006I-Ur%2540tibor.w3.org">PROV-ISSUE-579 (declarative-fol-specification): Suggestion to replace procedural specification with (equivalent, but shorter and less prescriptive) declarative theory in First-Order Logic [prov-dm-constraints]</a> (from sysbot+tracker@w3.org on 2012-10-25)</li> <li id='e136594'><a href="https://www.w3.org/mid/E1TRQ5T-00005O-Of%2540tibor.w3.org">PROV-ISSUE-578 (equivalence): Use of 'equivalent' incompatible with common uses of the term in logic/mathematics [prov-dm-constraints]</a> (from sysbot+tracker@w3.org on 2012-10-25)</li> <li id='e136546'><a href="https://www.w3.org/mid/7E37E87F-83F7-45A8-8C84-CB3D6E3E71FB%2540inf.ed.ac.uk">Re: PROV-ISSUE-576: logical definition and comments on prov-constratins [prov-dm-constraints]</a> (from jcheney@inf.ed.ac.uk on 2012-10-25)</li> <li id='e136165'><a href="https://www.w3.org/mid/DEA0DCDA-AD95-447B-AEE6-358B17444A26%2540vu.nl">Re: PROV-ISSUE-576: logical definition and comments on prov-constratins [prov-dm-constraints]</a> (from p.t.groth@vu.nl on 2012-10-23)</li> <li id='e136164'><a href="https://www.w3.org/mid/2677D400-C2CE-4F80-AD53-9A2A605E83A5%2540inf.ed.ac.uk">Re: PROV-ISSUE-576: logical definition and comments on prov-constratins [prov-dm-constraints]</a> (from jcheney@inf.ed.ac.uk on 2012-10-23)</li> <li id='e136163'><a href="https://www.w3.org/mid/2F0DE8B8-B8D2-496F-895E-411BBF10615A%2540w3.org">Re: PROV-ISSUE-576: logical definition and comments on prov-constratins [prov-dm-constraints]</a> (from ivan@w3.org on 2012-10-23)</li> <li id='e136158'><a href="https://www.w3.org/mid/76D71786-9C2B-4696-BC6C-CE046A82FF24%2540inf.ed.ac.uk">Re: PROV-ISSUE-576: logical definition and comments on prov-constratins [prov-dm-constraints]</a> (from jcheney@inf.ed.ac.uk on 2012-10-23)</li> <li id='e136119'><a href="https://www.w3.org/mid/CAJCyKRpGWssGc6semJk4AryLWYOCu_gPJG15nXuGJjXB5waq8Q%2540mail.gmail.com">Re: Issues of PROV Constraints</a> (from p.t.groth@vu.nl on 2012-10-23)</li> <li id='e136118'><a href="https://www.w3.org/mid/E1TQeJN-0001F6-SC%2540tibor.w3.org">PROV-ISSUE-576: logical definition and comments on prov-constratins [prov-dm-constraints]</a> (from sysbot+tracker@w3.org on 2012-10-23)</li> </ol></dd> </dl> <h2>Related notes:</h2> <p>No additional notes.</p> <p>Display <a href='/2011/prov/track/issues/576?changelog'>change log</a> <a href='/2011/prov/track/issues/576.atom'><img src='/2008/site/images/icons/atom' alt='ATOM feed' width='12' height='12' /></a></p> </div> <div class="diagnostics"> </div> <hr /> <address> Chair, Staff Contact<br /> Tracker: <a href="https://www.w3.org/2005/06/tracker/">documentation</a>, (<a href='/2011/prov/track/options'>configuration for this group</a>), originally developed by <a href="https://www.w3.org/People/Dean/">Dean Jackson</a>, is developed and maintained by the Systems Team <<a href='mailto:w3t-sys@w3.org'>w3t-sys@w3.org</a>>.<br /> $Id: 576.html,v 1.1 2013-06-20 07:37:54 vivien Exp $</address> <script src='/2005/06/tracker/show-email-inline.js' type='text/javascript'></script> </body> </html>