- From: Luc Moreau <l.moreau@ecs.soton.ac.uk>
- Date: Thu, 11 Oct 2012 13:31:02 +0100
- To: public-prov-wg@w3.org
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