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.
Autoepistemic Description Logics / F. M., Donini; Nardi, Daniele; Rosati, Riccardo. - In: IJCAI. - ISSN 1045-0823. - 1:(1997), pp. 136-141. (Intervento presentato al convegno 15th International Joint Conference on Artificial Intelligence tenutosi a NAGOYA, JAPAN nel AUG 23-29, 1997).
Autoepistemic Description Logics
NARDI, Daniele;ROSATI, Riccardo
1997
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.