A PSOA RuleML Knowledge Base on aircraft separation during arrival and departures (under IFR).

Paper: Formalizing Air Traffic Control Regulations in PSOA RuleML. Updated Slides: here.

Initial release: ATC KB (for educational uses only).

Updated June, 2019 release : Updated ATC KB (for educational uses only).
P.S.: Sample KB; For comprehensive aircraft characterizations and compliance to all regulations, comment "Sample Aircraft Characterizations" and uncomment all FAA, RECAT, Comprehensive Aircraft Characterizations parts.

A version of ATC KB in IDP Knowledge Base System for the FO(^.) language, from Marjolein Deryck is also available: ATC KB IDP. An additional KB for the optimal landing order of an aircraft queue: AircraftOptimize.idp.

An ISO Prolog version of ATC KB, covering only the ICAO regulations, is also available: ATC KB ISO PROLOG (for educational uses only).

A Python script to convert the FAA aircraft characteristics information to a PSOA RuleML database is available here. Manual inspection is required.

The FAA aircraft characteristics information .xlsx file is mirrored here.