On the Logical Properties of the Description Logic DLN (Extended Abstract)

IJCAI 2018 pp. 5558-5562

doi:10.24963/IJCAI.2018/784 /ijcai/2018/bonatti2018ijcai-logical/

Abstract

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.

PDF IJCAI Semantic Scholar

Cite

Text

Bonatti and Sauro. "On the Logical Properties of the Description Logic DLN (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2018. doi:10.24963/IJCAI.2018/784

Markdown

[Bonatti and Sauro. "On the Logical Properties of the Description Logic DLN (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2018.](https://mlanthology.org/ijcai/2018/bonatti2018ijcai-logical/) doi:10.24963/IJCAI.2018/784

BibTeX

@inproceedings{bonatti2018ijcai-logical,
  title     = {{On the Logical Properties of the Description Logic DLN (Extended Abstract)}},
  author    = {Bonatti, Piero A. and Sauro, Luigi},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2018},
  pages     = {5558-5562},
  doi       = {10.24963/IJCAI.2018/784},
  url       = {https://mlanthology.org/ijcai/2018/bonatti2018ijcai-logical/}
}