On the Semantics of Epistemic Description Logics (extended Abstract)

The modal description logic ALCK both constitutes a promising framework for reasoning about actions and allows for the formalization of several non-rst-order aspects of KR systems based on DLs. However, other non-monotonic features of DL-based KR systems, in particular role and concept closure inside the knowledge base, lack an intuitive formalization in this modal framework. To overcome these dii-culties, we propose a modiication of the semantics for ALCK, which consists in allowing selective minimization of primitive concepts and roles, thus providing for a correct formalization of the notion of role and concept closure.