Re: proposed responses to public comments (deadline: Wednesday 10/10)

Hi Simon and James

In response to your comment for ISSUE-526,
I have no objection with adding this sentence, however, I am not sure 
that prov-constraints currently says that.

James, what is your view on this?

specializationOf(e2,e1) implies alternateOf(e2,e1)

but I don't think we have that

alternateOf(e2,e1) implies there exists e such that 
specializationOf(e2,e) and specializationOf(e1,e)

So, by adding Simon's sentence, aren't we saying more than what 
prov-constraints specifies.
Vice-versa, should Simon's statement be encoded in prov-constraints.

Luc

On 10/09/2012 04:12 PM, Miles, Simon wrote:
> Hello Luc,
>
> Responses to responses...
>
>
>
> ISSUE-526:
> The response is OK, but I wonder if an honest answer to the original question is that alternateOf is a necessarily very general relationship that, in reasoning, only tells you that there is something that the two alternates are both specializations of, and so there is some relevant connection between the provenance of the alternates. In a specific application context, alternateOf, or a subtype of it, could allow you to infer more.
>
>
>
> Dr Simon Miles
> Senior Lecturer, Department of Informatics
> Kings College London, WC2R 2LS, UK
> +44 (0)20 7848 1166
>
> Transparent Provenance Derivation for User Decisions:
> http://eprints.dcs.kcl.ac.uk/1400/
> ________________________________________
> From: Luc Moreau [l.moreau@ecs.soton.ac.uk]
> Sent: 08 October 2012 15:06
> To: public-prov-wg@w3.org
> Subject: proposed responses to public comments (deadline: Wednesday  10/10)
>
> Dear all,
>
> At
> http://www.w3.org/2011/prov/wiki/ResponsesToPublicComments#PROV-DM_.28Under_Review.29,
> please find our proposed responses to public comments:
> - ISSUE-530
> - ISSUE-520
> - ISSUE-521
> - ISSUE-522
> - ISSUE-509
> - ISSUE-526
> - ISSUE-502
>
> They will become the group responses unless we hear objects by Wednesday
> 10/10.
>
>
> Best regards,
> Luc
>
> PS. To help tracker, please include only the relevant issue number when
> responding.
>
> --
> 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

-- 
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 Thursday, 11 October 2012 12:31:27 UTC