The ontology aims at formalize basic notions of the Unified Foundational Ontology, part B - Events.
Unified Foundational Ontology - B
Ontology Specification
ufo
activates
aktivuje
brings about
causes
způsobuje
depends on
directly causes
přímo způsobuje
exclusively depends on
has begin point
has end point
has event part
má jako část událost
has participant
má účastníka
has post situation
má následnou situaci
has pre situation
má předchozí situaci
is event part of
je částí události
is manifested by
je manifestován
is participant of
je účastníkem
is participation of
je účastí
is snapshot of
je okamžitým stavem
mereologically overlaps
obtains in
triggers
Atomic Event
Atomická událost
Complex Event
Složená událost
Disposition
Dispozice
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
Event Type
Typ události
Fact
Fakt
First-order Type
Typ prvního řádu
Object change event
Událost měnící objekt
Object creation event
Událost tvořící objekt
Object destruction event
Událost ničící objekt
Object Snapshot
Okamžitý stav objektu
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
Účast
Perdurant
Perdurant is an entity which occurs in time.
Perdurant je prvek, který se vyskytuje v čase.
Second-order Type
Typ druhého řádu
Situace
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