16.11.2017
The ontology aims at formalize basic notions of the Unified Foundational Ontology, part B - Events.
Unified Foundational Ontology - B
Ontology Specification
ufo
http://onto.fel.cvut.cz/ontologies/ufo/
1.0.1
activates
a20
a34
brings about
a17
a31
a52-part2
causes
a18
a32
depends on
a71
P2
a14
a28
a49-part2
directly causes
a11
a19
a33
exclusively depends on
P5
P5
a24
a38
a55-part2
P4
has begin point
a22
a36
a53-part2
has end point
a23
a37
a54-part2
has event part
a66-part1
a66-part2
M7
a13
a27
a48-part2
has participant
has post situation
has pre situation
is event part of
a66-part2
M7
a66-part3
is manifested by
a21
a60-part2
D2
D2
a35
is participant of
is participation of
P5
P5
a25
a39
a56-part2
is snapshot of
mereologically overlaps
obtains in
a15
a58-part2
a29
a50-part2
a51-part2
triggers
a16
a59-part2
a30
1
1
Atomic Event
a08
a61-part1
a62-part1
M1
a61-part2
a62-part2
M1
1
a49-part1
P1
P1
1
a60-part1
D2
D2
a45
M2
M2
2
Complex Event
a09
2
a48-part1
a45
M2
M2
Disposition
a06
D1
D1
a41-part1
1
1
1
1
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
a02-part1
a41-part2
a46
M2
M2
1
a52-part1
1
a53-part1
1
a54-part1
1
a59-part1
1
Fact
a07
1
a51-part1
a40
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).
1
1
Participation
a10
P4
1
a55-part1
P4
1
a56-part1
Perdurant
a02-part2
a41-part1
1
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.
1
a50-part1
Time Point
a58-part1
a40
a62
M1
1
a72
P4
a93
P2
a63
M3
M3
M4
M3
M3
P3
P3
a95
true
M4
M7
M5