The ontology aims at formalize basic notions of the Unified Foundational Ontology, part B - Events.
Unified Foundational Ontology - B
Ontology Specification
ufo
activates
brings about
causes
depends on
directly causes
exclusively depends on
has begin point
has end point
has event part
is event part of
is manifested by
is participant of
is participation of
is snapshot of
mereologically overlaps
obtains in
triggers
Atomic Event
Complex Event
Event
An event, perdurant in the ontological sense. Events do not change its properties over time.
Event *has participant* an object. Event *is part of* another event. Event *is followed by* another event. Event *is caused by/contributes to/mitigates* another event.
- a *flight* is an event which describes the course of aircraft movement ground-air-ground, - a *runway incursion* is an event which describes incorrect presence of an object on the runway
Fact
Object change event
Object creation event
Object destruction event
Object Snapshot
Object Snapshot is a immutable state description of an object within a situation. Object Snapshot and an Object share the attribute types and relation types of their identifying objects. Object serve only for identification purpose.
- an object snapshot *is identified by* an object - a situation *has part* an object snapshot
- * Aircraft OK-123, just before landing 1.1.2014 at 18.00* is a snapshot of the aircraft containing the setting of its controls and conditions of the its technical systems. Another snapshot *Aircraft OK-123, just before takeoff 1.1.2014 at 9.00* might have completely different state of controls and conditions. In both cases, however, we speak about the same aircraft (same object).
Participation
Perdurant
Situation
Situation is a snapshot of object states valid in the given temporal range. The states involve trope values and relator values. Since most relators will not be reified and will be modeled in terms of the binary properties only, separation of object snapshot identity will not be solved at this point. Thus, situation will play a role of a context (higher-level construct) of statements about objects.
Time Point