# We, Vertiport 6, are temporarily closed: Interactional Ontological Methods for Changing the Destination

arXiv: https://arxiv.org/abs/2307.03558 · HTML: https://mlsanity.com/paper/2307.03558/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 7 Jul 2023.

## Built on by (most cited first, 2 of 2)

- [Dialogue Possibilities between a Human Supervisor and UAM Air Traffic Management: Route Alteration](https://mlsanity.com/paper/2308.06411/) (2023)
- [Intent-Driven UAM Rescheduling](https://mlsanity.com/paper/2512.15462/) (2025)

## Abstract (arXiv)

This paper presents a continuation of the previous research on the interaction between a human traffic manager and the UATMS. In particular, we focus on the automation of the process of handling a vertiport outage, which was partially covered in the previous work. Once the manager reports that a vertiport is out of service, which means landings for all corresponding agents are prohibited, the air traffic system automates what it has to handle for this event. The entire process is simulated through knowledge representation and reasoning. Moreover, two distinct perspectives are respected for the human supervisor and the management system, and the related ontologies and rules address their interactions. We believe that applying non-monotonic reasoning can verify each step of the process and explain how the system works. After a short introduction with related works, this paper continues with problem formulation, primary solution, discussion, and conclusions.