The Algebraic Essence of K-Rep.
Frank J. Oles, Eric Mays, Robert Anthony Weida · Description Logics · 1996
The modal description logic AEA:/C both constitutes a promising frame- work for reasoning about actions and allows for the formalization of several non-first-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 diffi- culties, we propose a modification of the semantics for .A£CIC, which con- sists in allowing selective minimization of primitive concepts and roles, thus providing for a correct formalization of the notion of role and concept closure.