一类扩展的动态描述逻辑
作为描述逻辑的扩展,动态描述逻辑为语义Web服务的建模和推理提供了一种有效途径.在将语义Web服务建模为动作之后,动态描述逻辑从动作执行结果的角度提供了丰富的推理机制,但对于动作的执行过程却不能加以处理.借鉴Pratt关于命题动态逻辑的相关研究,一方面,对动态描述逻辑中动作的语义重新进行定义,将每个动作解释为由关于可能世界的序列组成的集合;另一方面,在动态描述逻辑中引入动作过程断言,用来对动作的执行过程加以刻画.在此基础上提出一类扩展的动态描述逻辑EDDL(X),其中的X表示从ALC(attributive language with complements)到SHOIN(D)等具有不同描述能力的描述逻辑.以X为描述逻辑ALCQO(attributive language with complements,qualified number restrictions and nominals)的情况为例,给出了EDDL(ALCQO)的表判定算法,并证明了算法的可终止性、可靠性和完备性.EDDL(X)可以从动作执行过程和动作执行结果两个方面对动作进行全面的刻画和推理,为语义Web服务的建模和推理提供了进一步的逻辑支持.
动态描述逻辑、动作推理、动作的执行过程、表判定算法、语义Web服务
21
TP301(计算技术、计算机技术)
the National Natural Science Foundation of China under Grant Nos.90604017, 60775035, 60803033;the National High-Tech Research and Development Plan of China under Grant No.2007AA01Z132 国家高技术研究发展计划863;the National Basic Research Program of China under Grant No.2007CB311004 国家重点基础研究发展计划973
2010-03-26（万方平台首次上网日期，不代表论文的发表时间）
共13页
1-13
