Ontology-Based Data Integration for Semantic Interoperability in Air Traffic Management | IEEE Conference Publication | IEEE Xplore