动态描述逻辑研究综述

摘要

动态描述逻辑提供了一种基于描述逻辑的动作理论,适应于语义web环境下对动态领域知识的刻画和推理,是目前语义web服务技术的重要研究内容.本文归纳分析了语义web服务中的各类动作理论,重点讨论了动态描述逻辑的基本理论、扩展方法和改进方向及其当前主要的应用领域,最后对动态描述逻辑的研究前景进行了探讨.%As an important research content of the semantic web services technology, Dynamic Description Logic provides a description logic-based of action theories to adapt to the characterization and reasoning of the dynamic knowledge in the semantic web environment. This paper summarizes and analyzes the various types of action theory of the semantic web services, and focuses on the basic theory of dynamic description logic, in addition, the authors describe the extension methods ,improved direction and the main application areas systematically. Finally, some promising areas of future research are briefly discussed.