基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
提出了一种利用动态描述逻辑(DDL)的动态推理自动组合Web服务的方法.DDL是描述逻辑(DL)的一种动态扩展,它结合本体提供的静态信息与Web服务提供的计算,统一地描述和推理Web环境中静态信息与动态知识.该方法充分利用Web服务组合中涉及的静态知识(如描述逻辑知识库刻画的领域公理、具体环境和用户需求等)和动态知识(DDL中动作刻画的Web服务的功能),将Web服务组合的问题归约为DDL公式的可满足性问题,并通过一个可判的表扩展算法解决.开发了基于动态描述逻辑D-ALCHOQ的原型系统,并针对旅行代理问题的实验初步证实了该方法的可行性及潜在的应用前景.
推荐文章
基于扩展投影时序逻辑的组合Web服务描述与验证
组合Web服务
投影时序逻辑
形式化验证
基于动态描述逻辑的Web自动化服务组合
Web服务组合
语义Web
描述逻辑
动态描述逻辑(DDL)
基于语义的动态Web服务组合框架研究
动态Web服务组合
框架与算法
语义Web
基于上下文的Web服务动态组合
Web服务
上下文
动态服务组合
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于动态描述逻辑的Web服务自动组合技术
来源期刊 高技术通讯 学科 工学
关键词 Web服务 Web服务自动组合(WSC) 语义Web 描述逻辑(DL) 动态描述逻辑(DDL)
年,卷(期) 2011,(1) 所属期刊栏目 计算机与通信技术
研究方向 页码范围 58-64
页数 分类号 TP311
字数 7254字 语种 中文
DOI 10.3772/j.issn.1002-0470.2011.01.010
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 史忠植 中国科学院智能信息处理重点实验室 232 9166 52.0 89.0
2 王竹晓 中国科学院智能信息处理重点实验室 2 6 2.0 2.0
6 陈立民 中国科学院智能信息处理重点实验室 4 70 3.0 4.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (12)
共引文献  (171)
参考文献  (5)
节点文献
引证文献  (3)
同被引文献  (25)
二级引证文献  (39)
1992(2)
  • 参考文献(0)
  • 二级参考文献(2)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(2)
  • 参考文献(0)
  • 二级参考文献(2)
2005(8)
  • 参考文献(2)
  • 二级参考文献(6)
2006(1)
  • 参考文献(1)
  • 二级参考文献(0)
2008(3)
  • 参考文献(2)
  • 二级参考文献(1)
2011(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2012(1)
  • 引证文献(1)
  • 二级引证文献(0)
2013(2)
  • 引证文献(2)
  • 二级引证文献(0)
2014(5)
  • 引证文献(0)
  • 二级引证文献(5)
2015(11)
  • 引证文献(0)
  • 二级引证文献(11)
2016(15)
  • 引证文献(0)
  • 二级引证文献(15)
2017(2)
  • 引证文献(0)
  • 二级引证文献(2)
2018(2)
  • 引证文献(0)
  • 二级引证文献(2)
2019(3)
  • 引证文献(0)
  • 二级引证文献(3)
2020(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
Web服务
Web服务自动组合(WSC)
语义Web
描述逻辑(DL)
动态描述逻辑(DDL)
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
高技术通讯
月刊
1002-0470
11-2770/N
大16开
北京市三里河路54号
82-516
1991
chi
出版文献量(篇)
5099
总下载数(次)
14
总被引数(次)
39217
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
论文1v1指导