动态描述逻辑研究综述

摘要

动态描述逻辑提供了一种基于描述逻辑的动作理论,适应于语义web环境下对动态领域知识的刻画和推理,是目前语义web服务技术的重要研究内容.本文归纳分析了语义web服务中的各类动作理论,重点讨论了动态描述逻辑的基本理论、扩展方法和改进方向及其当前主要的应用领域,最后对动态描述逻辑的研究前景进行了探讨.