- From: James Cheney <jcheney@inf.ed.ac.uk>
- Date: Wed, 18 Jul 2012 11:04:31 +0100
- To: Provenance Working Group <public-prov-wg@w3.org>
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 -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
Received on Wednesday, 18 July 2012 10:04:57 UTC