A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
On the Logical Properties of the Description Logic DL^N (Extended abstract)
2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
DL^N 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^N and their relationships with the KLM postulates. We use various versions of the KLM postulates to deepen the comparison with related work, and illustrate the different tradeoffs between opposite expressivity requirements adopted by each approach.
doi:10.24963/ijcai.2018/784
dblp:conf/ijcai/BonattiS18
fatcat:k5e5zxkjlvanroyxbpafyziliy