---
title: "Autoepistemic Description Logics"
authors:
  - "Francesco M. Donini"
  - "Daniele Nardi"
  - "Riccardo Rosati"
doi: ""
url: "https://ijcai.org/proceedings/1997/21"
pdf: "https://ijcai.org/proceedings/1997/0021.pdf"
venue: "Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence"
year: 1997
pages: "136-140"
track: "Automated Reasoning"
keywords:
---

# Autoepistemic Description Logics

Francesco M. Donini, Daniele Nardi, Riccardo Rosati

*Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence*, pages 136-140.

## Abstract

We present Autoepistemic Description Logics (ADLs), in which the language of Description Logics is augmented with modal operators interpreted according to the nonmonotonic logic MKNF. We provide decision procedures for query answering in two very expressive ADLs. We show their representational features by addressing defaults, integrity constraints, role and concept closure. Hence, ADLs provide a formal characterization of a wide variety of nonmonotonic features commonly available in frame-based systems and needed in the development of practical applications.