Dynamic Description Logic: Embracing Actions into Description Logic.

Abstract

Abstract. We present a dynamic description logic D-ALCO @ for representing knowledge about dynamic application domains. D-ALCO @ is a combination of a typical action theory and the description logic ALCO@, in such a way that actions are treated as citizens of the logic. Actions of D-ALCO @ are explicitly specified with the help of formulas, and are then used in the construction of concepts and formulas. Based on a regression operator introduced to deal with actions, we provide a tableau-based decision algorithm for this logic. 1