{"type":"ScholarlyArticle","title":"Autoepistemic Description Logics","authors":[{"name":"Francesco M. Donini","slug":"francesco-m-donini","given":"Francesco M.","family":"Donini","affiliation":""},{"name":"Daniele Nardi","slug":"daniele-nardi","given":"Daniele","family":"Nardi","affiliation":""},{"name":"Riccardo Rosati","slug":"riccardo-rosati","given":"Riccardo","family":"Rosati","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1997/21","pdf":"https://ijcai.org/proceedings/1997/0021.pdf","markdown":"https://ijcai.org/proceedings/1997/21.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/21","volume":{"slug":"1997","title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1997","url":"https://ijcai.org/proceedings/1997/","year":1997,"location":"Nagoya, Japan","dates":"","editors":"Martha E. Pollack","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":21,"pages":{"first":136,"last":140},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}