arXiv Open Access 2020

Defeasible reasoning in Description Logics: an overview on DL^N

Piero A. Bonatti Iliana M. Petrova Luigi Sauro
Lihat Sumber

Abstrak

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

Topik & Kata Kunci

Penulis (3)

P

Piero A. Bonatti

I

Iliana M. Petrova

L

Luigi Sauro

Format Sitasi

Bonatti, P.A., Petrova, I.M., Sauro, L. (2020). Defeasible reasoning in Description Logics: an overview on DL^N. https://arxiv.org/abs/2009.04978

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2020
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓