18
3

Defeasible reasoning in Description Logics: an overview on DLN\mathcal{DL}^\mathrm{N}

Abstract

DLN\mathcal{DL}^\mathrm{N} is a recent approach that extends description logics with defeasible reasoning capabilities. In this paper we provide an overview on DLN\mathcal{DL}^\mathrm{N}, illustrating the underlying knowledge engineering requirements as well as the characteristic features that preserve DLN\mathcal{DL}^\mathrm{N} from some recurrent semantic and computational drawbacks. We also compare DLN\mathcal{DL}^\mathrm{N} with some alternative nonmonotonic semantics, enlightening the relationships between the KLM postulates and DLN\mathcal{DL}^\mathrm{N}.

View on arXiv
Comments on this paper