An Ontology for Decision-Making Support in Air Traffic Management
463
4.2 Ontological Model of Thunderstorms
Thunderstorms, a natural phenomenon, are localized strong convective weather
that occurs in tropical and temperate regions. Thunderstorms can be accompanied by lightning strikes, lightning, strong winds, and significant precipitation,
such as rain or hail. The thunderstorm is dangerous for flights to get through.
Thus, flights should reroute if its initial trajectory enters a thunderstorm.
The ontology model of a thunderstorm is built to describe the possible conflicts with 4D trajectories, as shown in Fig. 4.
Fig. 4. Thunderstorm ontology
5 Reasoning with Ontology
Description logic is a logical language used for knowledge representation and a
reasoning method for it. It is mainly used to describe the relationship between
concept classification and its concepts. Most of the description logic methods are
used in applications that involve knowledge classification, such as web-oriented
information processing.
Description logic is mainly composed of two parts: TBox and ABox. TBox
defines the structure of a particular domain of knowledge and contains a set of
axioms that can form new concepts through existing concepts. ABox contains
instances of concepts in TBox. TBox has the ability to classify (taxonomy). Classification is the first step to systematically build knowledge. By classifying, the
ontology of things can be grouped into common concepts, which can be combined into a broader concept. ABox is a collection of instance assertions that
463
4.2 Ontological Model of Thunderstorms
Thunderstorms, a natural phenomenon, are localized strong convective weather
that occurs in tropical and temperate regions. Thunderstorms can be accompanied by lightning strikes, lightning, strong winds, and significant precipitation,
such as rain or hail. The thunderstorm is dangerous for flights to get through.
Thus, flights should reroute if its initial trajectory enters a thunderstorm.
The ontology model of a thunderstorm is built to describe the possible conflicts with 4D trajectories, as shown in Fig. 4.
Fig. 4. Thunderstorm ontology
5 Reasoning with Ontology
Description logic is a logical language used for knowledge representation and a
reasoning method for it. It is mainly used to describe the relationship between
concept classification and its concepts. Most of the description logic methods are
used in applications that involve knowledge classification, such as web-oriented
information processing.
Description logic is mainly composed of two parts: TBox and ABox. TBox
defines the structure of a particular domain of knowledge and contains a set of
axioms that can form new concepts through existing concepts. ABox contains
instances of concepts in TBox. TBox has the ability to classify (taxonomy). Classification is the first step to systematically build knowledge. By classifying, the
ontology of things can be grouped into common concepts, which can be combined into a broader concept. ABox is a collection of instance assertions that