文献类型：期刊文章

作　　者：彭晖[1,2,3] 陈立民[1,3] 常亮[1,3] 史忠植[1]

机构地区：[1]中国科学院计算技术研究所智能信息处理重点实验室,北京100190 [2]湖南科技大学计算机科学与工程学院,湖南湘潭411201 [3]中国科学院研究生院,北京100049

出　　处：《计算机研究与发展》

基　　金：国家自然科学基金项目(60775035,90604017);国家“九七三”重点基础研究发展规划基金项目(2003CB317004)~~

年　　份：2008

卷　　号：45

期　　号：12

起止页码：2102-2109

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：动态描述逻辑(dynamic description logic,DDL)是描述逻辑(description logic,DL)的一种动态扩展,它支持语义Web环境下对动作的描述和推理.提出了一种基于动态描述逻辑的语义Web服务描述与服务匹配方法:将服务需求方的目标服务以及服务发布方的原子服务用动态描述逻辑的动作进行描述,解决了语义Web服务的一致的形式化表述问题;将目标服务和原子服务的匹配问题归结为动态描述逻辑的公式可满足性判定问题,利用动态描述逻辑对动作的推理功能,发现与目标服务相匹配的原子服务组合.动态描述逻辑的公式可满足性问题是可判定的,解决了利用一阶谓词逻辑进行逻辑推理时的不可判定性.

关 键 词：语义WEB服务 服务匹配  描述逻辑 动态描述逻辑 动作  

分 类 号：TP18]