On the logical properties of the nonmonotonic description logic DLN


DL is a recent nonmonotonic description logic, designed for satisfying independently proposed knowledge engineering requirements, and for removing some recurrent drawbacks of traditional nonmonotonic semantics. In this paper we study the logical properties of DL and illustrate some of the relationships between the KLM postulates and the characteristic… (More)
DOI: 10.1016/j.artint.2017.04.001


4 Figures and Tables