A Comparative Study of Two Complex Ontologies in Air Traffic Management | IEEE Conference Publication | IEEE Xplore