Designing and evaluating an Ontology-based air traffic control digital knowledge learning system | IEEE Conference Publication | IEEE Xplore