W3C home > Mailing lists > Public > public-prov-comments@w3.org > July 2014

Re: hadMember and wasInfluencedBy

From: James Cheney <jcheney@inf.ed.ac.uk>
Date: Wed, 23 Jul 2014 10:27:40 +0100
Cc: W3C Prov <public-prov-comments@w3.org>
Message-Id: <C0F083F7-3D6E-4744-9E81-29D9C035C140@inf.ed.ac.uk>
To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Hi,

Good, that's what I thought but I could not find an issue discussing this.  I just found the discussion you refer to:

http://www.w3.org/2011/prov/meeting/2012-07-12#Collection_membership  

The related resolution about hadMember is a little ambiguous, but it seems clear from context that the intent was that hadMember not be considered a type of influence.  Following Ivan's response, I guess this means a short erratum for prov-o (and maybe a fix to the actual owl file)?

--James


On Jul 23, 2014, at 7:41 AM, Luc Moreau <L.Moreau@ecs.soton.ac.uk> wrote:

> Hi James
> 
> We explicitly agreed that membership was not a subtype of influence (or derivation) and would also remain binary.
> 
> Professor Luc Moreau
> Electronics and Computer Science
> University of Southampton 
> Southampton SO17 1BJ
> United Kingdom
> 
>> On 22 Jul 2014, at 18:41, "James Cheney" <jcheney@inf.ed.ac.uk> wrote:
>> 
>> Hi,
>> 
>> I was just working on something involving PROV-O and noticed that the ontology makes hadMember a subproperty of wasInfluencedBy.  However, the constraints and semantics do not include this constraint/inference (see Inference 15 http://www.w3.org/TR/prov-constraints/#influence-inference). 
>> 
>> I can't find any email or issues regarding this.  Was taking hadMember to be a subproperty of influence an intentional decision at some point (that I missed in writing the constraints)?
>> 
>> I think it may affect validity.  If hadMember is an influence then it cannot be part of a strict cycle of influences (i.e. one that includes a derivation step).  
>> 
>> If so, is this something that needs to be fixed at some point (and is there a way to make a note of this for future reference)?
>> 
>> --James
>> -- 
>> The University of Edinburgh is a charitable body, registered in
>> Scotland, with registration number SC005336.
>> 
>> 
> 
> 


-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
Received on Wednesday, 23 July 2014 09:28:14 UTC

This archive was generated by hypermail 2.3.1 : Monday, 23 October 2017 12:09:01 UTC