Ontological knowledge representation for avionics decision-making support | IEEE Conference Publication | IEEE Xplore