Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP

  • Marjolein DeryckEmail author
  • Theodoros MitsikasEmail author
  • Sofia Almpani
  • Petros Stefaneas
  • Panayiotis Frangos
  • Iakovos Ouranos
  • Harold Boley
  • Joost Vennekens
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11784)


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.


PSOA RuleML IDP Interoperation Knowledge Base Alignment Co-execution Regulations Air Traffic Control 



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).


  1. 1.
    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)MathSciNetCrossRefGoogle Scholar
  2. 2.
    Boley, H., Zou, G.: Perspectival knowledge in PSOA RuleML: representation, model theory, and translation. CoRR abs/1712.02869, v3 (2019)Google Scholar
  3. 3.
    de Cat, B., Bogaerts, B., Bruynooghe, M., Denecker, M.: Predicate logic as a modelling language: the IDP system. CoRR abs/1401.6312 (2014)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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). Scholar
  6. 6.
    FAA: Aircraft characteristics database. Accessed 31 May 2019
  7. 7.
    FAA: Advisory Circular 90–23G - Aircraft Wake Turbulence (2014)Google Scholar
  8. 8.
    FAA: ORDER JO 7110.65V, Air Traffic Control (2014)Google Scholar
  9. 9.
    FAA: Order JO 7110.659C, Wake Turbulence Recategorization (2016)Google Scholar
  10. 10.
    FAA: Order JO 7360.1C - Aircraft Type Designators (2017)Google Scholar
  11. 11.
    ICAO: Doc 4444-RAC/501, Procedures for Air Navigation Services - Rules of the Air and Air Traffic ServicesGoogle Scholar
  12. 12.
    Lang, S., et al.: Progress on an ICAO wake turbulence re-categorization effort. In: AIAA Atmospheric and Space Environments Conference (2010).
  13. 13.
    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)Google Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    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). Scholar
  16. 16.
    Object Management Group (OMG): Decision Model and Notation 1.2. (2019).
  17. 17.
    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)Google Scholar
  18. 18.
    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)MathSciNetCrossRefGoogle Scholar
  19. 19.
    Zou, G.: Translators for Interoperating and Porting Object-Relational Knowledge. Ph.D. thesis, Faculty of Computer Science, University of New Brunswick, April 2018Google Scholar
  20. 20.
    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 2017Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Marjolein Deryck
    • 1
    Email author
  • Theodoros Mitsikas
    • 2
    Email author
  • Sofia Almpani
    • 2
  • Petros Stefaneas
    • 2
  • Panayiotis Frangos
    • 2
  • Iakovos Ouranos
    • 3
  • Harold Boley
    • 4
  • Joost Vennekens
    • 1
  1. 1.KU LeuvenSint-Katelijne WaverBelgium
  2. 2.National Technical University of AthensAthensGreece
  3. 3.Hellenic Civil Aviation Authority, Heraklion AirportHeraklionGreece
  4. 4.University of New BrunswickFrederictonCanada

Personalised recommendations