Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
For specific references see http://blog.ruleml.org/post/132677817-decisioncamp-and-ruleml-rr-will-meet-again-in-luxembourg.
- 2.
See the PSOA ATC KB sources at http://users.ntua.gr/mitsikas/ATC_KB/.
- 3.
- 4.
- 5.
- 6.
In the ATC domain the regulations are stable and new types of aircraft e.g. in the Super category are not currently in active development. Therefore, we do not consider this a major problem.
- 7.
The IDP language typically offers more expressivity than DMN decision tables. Current work focuses on an extension to DMN to strengthen the link IDP\(\rightarrow \)DMN.
References
Berners-Lee, T., Connolly, D., Kagal, L., Scharf, Y., Hendler, J.: N3Logic: a logical framework for the world wide web. Theor. Pract. Logic Program. (TPLP) 8(3), 249–269 (2008)
Boley, H., Zou, G.: Perspectival knowledge in PSOA RuleML: representation, model theory, and translation. CoRR abs/1712.02869, v3 (2019)
de Cat, B., Bogaerts, B., Bruynooghe, M., Denecker, M.: Predicate logic as a modelling language: the IDP system. CoRR abs/1401.6312 (2014)
Denecker, M., Vennekens, J.: The well-founded semantics is the principle of inductive definition, revisited. In: Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning, pp. 1–10 (2014)
Deryck, M., Hasić, F., Vanthienen, J., Vennekens, J.: A case-based inquiry into the decision model and notation (DMN) and the knowledge base (KB) paradigm. In: Benzmüller, C., Ricca, F., Parent, X., Roman, D. (eds.) RuleML+RR 2018. LNCS, vol. 11092, pp. 248–263. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-99906-7_17
FAA: Aircraft characteristics database. https://www.faa.gov/airports/engineering/aircraft_char_database/. Accessed 31 May 2019
FAA: Advisory Circular 90–23G - Aircraft Wake Turbulence (2014)
FAA: ORDER JO 7110.65V, Air Traffic Control (2014)
FAA: Order JO 7110.659C, Wake Turbulence Recategorization (2016)
FAA: Order JO 7360.1C - Aircraft Type Designators (2017)
ICAO: Doc 4444-RAC/501, Procedures for Air Navigation Services - Rules of the Air and Air Traffic Services
Lang, S., et al.: Progress on an ICAO wake turbulence re-categorization effort. In: AIAA Atmospheric and Space Environments Conference (2010). https://doi.org/10.2514/6.2010-7682
McCluskey, T., Porteous, J., Naik, Y., Taylor, C., Jones, S.: A requirements capture method and its use in an air traffic control application. Softw.: Pract. Experience 25(1), 47–71 (1995)
Mitsikas, T., Almpani, S., Stefaneas, P., Frangos, P., Ouranos, I.: Formalizing air traffic control regulations in PSOA RuleML. In: Proceedings of the Doctoral Consortium and Challenge@ RuleML+ RR 2018 Hosted by 2nd International Joint Conference on Rules and Reasoning, CEUR Workshop Proceedings, vol. 2204 (2018)
Mitsikas, T., Stefaneas, P., Ouranos, I.: A rule-based approach for air traffic control in the vicinity of the airport. In: Lambropoulou, S., Theodorou, D., Stefaneas, P., Kauffman, L. (eds.) AlModTopCom 2015, vol. 219, pp. 423–438. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-68103-0_20
Object Management Group (OMG): Decision Model and Notation 1.2. (2019). https://www.omg.org/spec/DMN/1.2/
Valkanas, G., Natsiavas, P., Bassiliades, N.: A collision detection and resolution multi agent approach using utility functions. In: 2009 Fourth Balkan Conference in Informatics, BCI 2009, Thessaloniki, Greece, 17–19 September 2009, pp. 3–7. IEEE Computer Society (2009)
Van Hertum, P., Dasseville, I., Janssens, G., Denecker, M.: The KB paradigm and its application to interactive configuration. Theor. Pract. Logic Program. (TPLP) 17(1), 91–117 (2017)
Zou, G.: Translators for Interoperating and Porting Object-Relational Knowledge. Ph.D. thesis, Faculty of Computer Science, University of New Brunswick, April 2018
Zou, G., Boley, H., Wood, D., Lea, K.: Port clearance rules in PSOA RuleML: from controlled-english regulation to object-relational logic. In: Proceedings of the RuleML+RR 2017 Challenge, vol. 1875. CEUR, July 2017
Acknowledgments
The author of the Hellenic Civil Aviation Authority wants to thank his colleagues for discussions about the domain-expert knowledge. Any deficiencies are ours and we make this disclaimer: the described work constitutes an informative computational model of ATC regulations and is not intended for use in real aviation environments. The authors of KU Leuven are partially supported by the Flemish Agency for Innovation and Entrepreneurship (HBC.2017.0039).
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Deryck, M. et al. (2019). Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP. In: Fodor, P., Montali, M., Calvanese, D., Roman, D. (eds) Rules and Reasoning. RuleML+RR 2019. Lecture Notes in Computer Science(), vol 11784. Springer, Cham. https://doi.org/10.1007/978-3-030-31095-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-31095-0_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-31094-3
Online ISBN: 978-3-030-31095-0
eBook Packages: Computer ScienceComputer Science (R0)