Re: PROV-ISSUE-213 (prov-sem-events): Alignment of events in PROV-DM vs PROV-SEM [Formal Semantics]

Hi James,

DM assumes a mapping from events to some form of time. Here
we could say:

TMap = Event -> Time

An Interval is a pair of evetns: Event x Event

Functions that take time as input should take event, e.g.:
   value: Objects x Attributes x Events -> Values

Luc

On 01/12/2012 06:27 PM, Provenance Working Group Issue Tracker wrote:
> PROV-ISSUE-213 (prov-sem-events): Alignment of events in PROV-DM vs PROV-SEM [Formal Semantics]
>
> http://www.w3.org/2011/prov/track/issues/213
>
> Raised by: James Cheney
> On product: Formal Semantics
>
> Quoting from Luc's email that raised the issue:
>
>    
>> PROV-DM tends to talk about events, whereas your semantics focuses on time.
>>   PROV-DM assumes the existence of a mapping from events to time.  Is it possible
>>   to align both?
>>      
> I believe they are already aligned, and if others disagree then I solicit suggestions on how to change PROV-SEM to improve this.
>
>
>
>    

-- 
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 Tuesday, 31 January 2012 09:58:10 UTC