This thesis focuses on combining Description Logics (DLs) and logic programming (LP) to represent and reason over complex knowledge in the aeronautics domain.

Building on hybrid MKNF under well-founded semantics, an existing approach that integrates Description Logics and logic programming, the thesis proposes a new knowledge representation language, hMKNF(^{\neg}), which extends the logic programming component of hybrid MKNF with classical negation to represent explicit negative information. It then introduces a paraconsistent query-answering system for hMKNF(^{\neg}) knowledge bases, which classifies query answers as consistently true, consistently false, contradictory, or undefined. The proposed query-answering system has been implemented and evaluated using benchmark datasets and an aeronautical use case.

This thesis was carried out under the supervision of Farouk Toumani, Christophe Rey, Victor Charpenay, and Florence de-Grancey.