This line of research focusses on alternative semantics for description logics that enable the derivation of useful conclusion from inconsistent ontologies. Unlike some other approaches proposed in the literature, we do not change the language of description logics in order to handle inconsistencies.

Publications

W. Qiao, N. Roos, An argumentation system for reasoning with conflict-minimal paraconsistent ALC, Non Monotonic Reasoning (NMR) (2014) 10 pages. [pdf]

W. Qiao, and N. Roos, An argumentation system for reasoning with LPm, ECAI (2014) 753-758. [pdf]

W. Qiao and N. Roos A tableau-based reasoning method for four-valued description logic ALC, BNAIC 2012 (2012) 202-209.

W. Qiao and N. Roos, Four-valued description logic for paraconsistent reasoning, BNAIC 2011 (2011) 175-182.