- From: James Cheney <jcheney@inf.ed.ac.uk>
- Date: Wed, 18 Jul 2012 12:07:38 +0100
- To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
- Cc: public-prov-wg@w3.org
OK. Then my proposed resolution to the issue is to see if there are any objections during review, and if so drop it without further discussion. It has been there for a long time without any discussion AFAIK. We could ask the same question about each inference or constraint; do we need one issue for each? I thought issues were meant to flag actual concerns, not potential ones. --James On Jul 18, 2012, at 11:31 AM, Luc Moreau wrote: > Hi James, > > OK, it helps with equivalence checking. > > I wrote the inference, and I am asking the WG whether we want to keep it. > > Luc > > On 07/18/2012 11:04 AM, James Cheney wrote: >> Hi, >> >> I don't see a need to raise issues about things that can be fixed easily through discussion among the editors of the document, for problems that are essentially typos on intermediate drafts. It just clogs the issue system. >> >> In addition, for this issue it's not clear what the problem is, and what your proposed solution is. >> >> On Jul 18, 2012, at 10:03 AM, Provenance Working Group Issue Tracker wrote: >> >>> PROV-ISSUE-451 (revision-is-alternate): Keep or drop revision-is-alternate [prov-dm-constraints] >>> >>> http://www.w3.org/2011/prov/track/issues/451 >>> >>> Raised by: Luc Moreau >>> On product: prov-dm-constraints >>> >>> >>> Inference revision-is-alternate is an outlier. It's the only inference about a prov subtype. >> We motivate inferences and constraints for two reasons: to allow validity checking and to allow reasoning over valid provenance (such as equivalence checking). This inference seems to be about the second goal (which I took to be important from the previous states of the document and discussion). >> >>> It's not sure that it allows us to derive more temporal constraint since there is no constraint associated with alternate. >>> >> I can't understand this sentence. >> >> If you are saying "removing this makes no difference since there are no constraints involving alternate", then, well, there are some inferences that make use of alternateOf. >> >> >> >>> http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#revision-is-alternate >>> >>> So, is there value in this inference, in terms of validating provenance? >> No, but it has been there for a while. Does whoever wrote it in the first place want to keep it? >> >> If relevance to validity checking is our sole criterion for deciding what to keep, then there are other things we could drop (e.g. all the inferences about alternate). >> >> --James > > -- > Professor Luc Moreau > Electronics and Computer Science tel: +44 23 8059 4487 > University of Southampton fax: +44 23 8059 2865 > Southampton SO17 1BJ email: l.moreau@ecs.soton.ac.uk > United Kingdom http://www.ecs.soton.ac.uk/~lavm > > > > > -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
Received on Wednesday, 18 July 2012 11:08:09 UTC