Re: PROV-ISSUE-72 (DGarijo): Uses should be renamed as used [Formal Model]

Hi Daniel and Simon,

In the conceptual model (up to section 5), all relations use present tense,
uses, isDerivedFrom, isComplementOf, isGeneratedBy, ...

I agree with Daniel, we need consistency in the conceptual model and 
formal model.

I agree with Simon, it's nice to point back into the past.

Luc

PS. I took as an action to poll about the use of tense.

On 08/11/2011 04:46 PM, Simon Miles wrote:
> +1 for "used", for the reasons you give.
>
> -1 for "isUsedBy". All other relations in the model link effect/later
> occurrence to cause/earlier occurrence, so "isUsedBy" would be
> inconsistent. This means that provenance graphs would not consistently
> point back into the past of the thing we're seeing the provenance of,
> and would be confusing to iteratively navigate.
>
> Thanks,
> Simon
>
> On 11 August 2011 16:38, Provenance Working Group Issue Tracker
> <sysbot+tracker@w3.org>  wrote:
>    
>> PROV-ISSUE-72 (DGarijo): Uses should be renamed as used [Formal Model]
>>
>> http://www.w3.org/2011/prov/track/issues/72
>>
>> Raised by: Daniel Garijo
>> On product: Formal Model
>>
>> Since all the other properties are using the past tense, we should be consistens and rename uses to "used" or "isUsedBy" flipping the domain and range
>>
>>
>>
>>
>> ______________________________________________________________________
>> This email has been scanned by the MessageLabs Email Security System.
>> For more information please visit http://www.messagelabs.com/email
>> ______________________________________________________________________
>>
>>      
>
>
>    

-- 
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