Francesco M. Donini, Daniele Nardi, Riccardo Rosati.
In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97), pages 136-141, Morgan Kaufmann, Los Altos, 1997.
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.
@String{IJCAI-97 = "Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97)"}
@String{MK = "Morgan Kaufmann, Los Altos"}
@Inproceedings{DoNR97b,
author = "Francesco M. Donini and Daniele Nardi and Riccardo Rosati",
title = "Autoepistemic Description Logics",
booktitle = IJCAI-97,
pages = "136--141",
publisher = MK,
year = 1997,
}