Re: PROV-ISSUE-71 (Conceptual Model draft): Section 3.2 of Conceptual Model draft (Content and Editing) [Conceptual Model]

> 
>>  
>> 
>> 
>> 12. Does an event have a time duration or does it happen in a time instant? How is event related to PE or other concepts? Is there a need to have a provenance concept called "event" - alternatively we can describe the File Scenario in Section 3.1 using time values?
>> 
>>   
>> Event are meant to occur at a time instant. Not sure we say it.
>> I would like a provenance concept 'event' to be introduced. This would facilitate life in explaining things.
>> Should we raise this as an explicit issue?
>> 
>> 
>> Would "event" be a specific part of a PE or can "event" be defined independent of a PE? I am trying to understand this notion and its scope.
> 
> I see events as instantaneous timepoints that can be ordered according to some partial order.
> Events are typed (start/end/use/generate).
> A process execution encompasses a set of events (all the events it is connected to).

Hi Luc and Satya

Sorry to take the above out of context, but I just wanted to comment on the event issue.  After reading the latest version of the conceptual model I was also going to suggest adding event as a concept, since it plays an important role but is currently implicit, with something like the meaning you suggest above.

In the Formal Model/Ontology conference call Deborah pointed us to this:

http://www.daml.org/2001/03/axiomatic-semantics.html

a FOL description/axiomatization of OWL that was used as an intermediate point for gaining consensus prior to the development of the denotational formal semantics.  

I will try to write a very very short wiki page by today's telecon illustrating how this could apply to the provenance model, e.g. relating entities, events, and process executions, and the use/derivation/production relationships.

--James