Dynamic Description Logic: Embracing Actions into Description Logic
Dynamic Description Logic: Embracing Actions into Description Logic
复制标题
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
L. Chang;Zhongzhi Shi;L. Qiu;Fen Lin
中科院分区：
文献类型：
--
作者：
L. Chang;Zhongzhi Shi;L. Qiu;Fen Lin
我们提出了一个动态描述逻辑D-ALCO@来表示关于动态应用领域的知识。D-ALCO@是典型的动作理论和描述逻辑ALCO@的组合，在这种方式下，动作被视为逻辑的公民。D-ALCO@的动作在公式的帮助下被明确指定，然后在概念和公式的构造中使用。在引入回归算子处理动作的基础上，提出了一种基于Tableau的决策算法。
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.