Re: PROV-ISSUE-253: misc issues with the ontology [mapping prov-dm <-> prov-o]

Hi James
I like you term 'interaction', it's equivalent to 'involvement' in the ontology, I believe.

Following Jun's comments, I was thinking that we could organise the DM presentation into 3 sections  for the relation section 4 and common relation section 5.
- all the mechanics of generation/usage/star/end. ...events
- all the relations related to agents and responsibility (see Timsuggestion related to that)
-all the forms of derivation.



I think this structure would simplify the presentation and would avoid the distinction core vs common,

Luc


Professor Luc Moreau
Electronics and Computer Science
University of Southampton
Southampton SO17 1BJ
United Kingdom

On 24 Feb 2012, at 18:45, "James Cheney" <jcheney@inf.ed.ac.uk<mailto:jcheney@inf.ed.ac.uk>> wrote:


On Feb 24, 2012, at 3:55 AM, Timothy Lebo wrote:


On Feb 23, 2012, at 1:24 PM, Stephan Zednik wrote:



For the domain, Association and Delegation are different from other Involvements in that they are not expected to have time information, is this because we do not view them as instantaneous events?


I'd be curious to hear an answer to this.



We don't have instantaneous event, or event, as a class in the ontology, but it is mentioned in the text of the DM on several occasions.  It seems that some involvements are viewed as events, and others are not.

An instantaneous event class would be a logical domain for occurredAt, and provide a means to separate those involvements we view as events (Generation, Usage, Start, etc)

Added Start and End to be subclasses of Timed.
http://dvcs.w3.org/hg/prov/diff/0318fa4959d1/ontology/ProvenanceOntology.owl

from those we do not (Association and Delegation).  I am not sure if such a class would be a subclass of Involvement or not.

I've advocated to keep it outside of Involvement. It aligns with your "logical domain of occurredAt" notion above and allows us to state which belong in that domain.

 I would argue that some involvements are events, and not all events are involvements, so the classes should be kept separate in the heirarchy, but Generation, Usage, etc can be a subclass of both.

Done for Generation, Usage, Start, and End.


3) I suggest discussing inclusion of a InstantaneousEvent class which will be the domain of occurredAt and a superclass to Involvements that have time information.


InstantaneousEvent is way better than "Timed". Done.
http://dvcs.w3.org/hg/prov/diff/f2e4afae422c/ontology/ProvenanceOntology.owl


Concerning the above questions, please have a look at the formal semantics draft I uploaded yesterday:

http://www.w3.org/2011/prov/wiki/FormalSemanticsWD3

Currently, what I call Interactions include Events, Associations and Derivations.  (I think these correspond to Involvements in the ontology, but am not sure).  Only Events are instantaneous.  Associations include start and end events (i.e. Association and Event can overlap).

I haven't been able to follow the ontology changes over the last week so it is possible what I did is either redundant or completely incompatible.

--James
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.