Re: PROV-ISSUE-451 (revision-is-alternate): Keep or drop revision-is-alternate [prov-dm-constraints]

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

Received on Wednesday, 18 July 2012 10:31:35 UTC