Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP
| Autor: | Joost Vennekens, Harold Boley, Theodoros Mitsikas, Marjolein Deryck, Panayiotis Frangos, Iakovos Ouranos, Petros Stefaneas, Sofia Almpani |
|---|---|
| Přispěvatelé: | Fodor, P, Montali, M, Calvanese, D, Roman, D |
| Rok vydání: | 2019 |
| Předmět: |
050101 languages & linguistics
RuleML biology Programming language business.industry Computer science 05 social sciences Database schema 02 engineering and technology Air traffic control Ontology (information science) biology.organism_classification computer.software_genre Business process discovery Psoa Knowledge base 0202 electrical engineering electronic engineering information engineering Graph (abstract data type) 020201 artificial intelligence & image processing 0501 psychology and cognitive sciences business computer |
| Zdroj: | Rules and Reasoning ISBN: 9783030310943 RuleML+RR |
| Popis: | This paper studies Knowledge Bases (KBs) in PSOA RuleML and IDP, aligning, interoperating, and co-executing them for a use case of Air Traffic Control (ATC) regulations. We focus on the common core of facts and rules in both languages, explaining basic language features. The used knowledge sources are regulations specified in (legal) English, and an aircraft data schema. In the modeling process, inconsistencies in both sources were discovered. We present the discovery process utilizing both specification languages, and highlight their unique features. We introduce three extensions to this ATC KB core: (1) While the current PSOA RuleML does not distinguish the ontology separately from the instance level, IDP does. Hence, we specify a vocabulary-enriched version of ATC KB in IDP for knowledge validation. (2) While the current IDP uses relational modeling, PSOA additionally supports graph modeling. Hence, we specify a relationally interoperable graph version of ATC KB in PSOA. (3) The KB is extended to include optimization criteria to allow the determination of an optimal sequence of more than two aircraft. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|