一种基于分块推理的语义Web服务合成方法

• 作者: 刘磊
• 来源期刊: 同济大学学报（自然科学版）
• 学科: 工学
• 关键词: web服务合成 语义推理 分块推理 消息传递算法
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: 计算机与信息工程
• 页码范围: 540-544
• 页数: 5页
• 分类号: TP182
• 字数: 4914字
• 语种: 中文

摘要

将分块推理方法扩展到命题逻辑和描述逻辑的混合逻辑上,得出一种新的web服务合成方法.该方法可以方便地在UDDI(universal description, discovery and integration)之间的web服务之上进行合成,并有效结合了语义推理机,提高了算法的效率.为了把证明转化为可执行的过程,给出一种基于π演算的提取过程模型的方法,并为方便地利用语义推理机的语义关系,定义了一种伪过程以便统一地处理这种情况.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊	同济大学计算机科学与技术系	26	124	6.0	10.0