Autoepistemic Description Logics
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Automated Reasoning. 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.
@inproceedings{ijcai1997p21,
title = {Autoepistemic Description Logics},
author = {Donini, Francesco M. and Nardi, Daniele and Rosati, Riccardo},
booktitle = {Proceedings of the Fifteenth International Joint Conference on
Artificial Intelligence, {IJCAI-97}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Martha E. Pollack},
pages = {136--140},
year = {1997},
note = {Automated Reasoning},
url = {https://ijcai.org/proceedings/1997/21},
}
TY - CPAPER TI - Autoepistemic Description Logics AU - Donini, Francesco M. AU - Nardi, Daniele AU - Rosati, Riccardo T2 - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97 PB - International Joint Conferences on Artificial Intelligence PY - 1997 SP - 136 EP - 140 UR - https://ijcai.org/proceedings/1997/21 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
