基于动态描述逻辑的语义Web服务匹配研究

被引：26

作者：

彭晖 ^{[1
,2
,3
]}

陈立民 ^{[1
,3
]}

常亮 ^{[1
,3
]}

史忠植 ^{[1
]}

机构：

[1] 中国科学院计算技术研究所智能信息处理重点实验室

[2] 湖南科技大学计算机科学与工程学院

[3] 中国科学院研究生院

来源：

计算机研究与发展 | 2008年 / 12期

关键词：

语义Web服务; 服务匹配; 描述逻辑; 动态描述逻辑; 动作;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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

引用

页码：2102 / 2109

页数：8

共 6 条

[1] 基于主体的语义Web服务自动组合研究
邱莉榕
史忠植
林芬
常亮
[J]. 计算机研究与发展 , 2007, (04) : 643 - 650
[2] 从ALC到SHOQ(D):描述逻辑及其Tableau算法
梅婧
林作铨
[J]. 计算机科学, 2005, (03) : 1 - 11+35
[3] 语义Web的逻辑基础
史忠植
董明楷
蒋运承
张海俊
[J]. 中国科学E辑:信息科学, 2004, (10) : 1123 - 1138
[4] On automating Web services discovery[J] . Boualem Benatallah,Mohand-Said Hacid,Alain Leger,Christophe Rey,Farouk Toumani.The VLDB Journal . 2005 (1)
[5] Universal Description, Discovery and Integration （UDDI）. http://www.uddi.orgH/specification.html . 2008
[6] OWL-S:Semantic Markup for Web Services. The OWL Services Coalition. http://www.w3.org/Sub-mission/OWL-S . 2008

← 1 →