语义 Web 服务的形式化及其组合研究

• 作者: 段跃兴
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 语义 Web 服务 描述逻辑 Tableau 算法
• 年，卷（期）: 2013,（1）
• 页码范围: 87-90
• 分类号: TP31
• 字数: 5644字
• 语种: 中文
• DOI: 10.3969/j.jssn.1673-629X.2013.01.022

摘要

描述逻辑是语义网的理论基础,文章首先对语义 Web 服务中的输入/输出参数进行了抽象描述,依据描述逻辑的观点得到了语义 Web 服务的形式化定义.同时把语义 Web 服务映射成描述逻辑描述下的某一领域中的概念,通过归纳的方法组合形成了新的语义 Web 服务,并将新组合形成的服务是否有意义这一问题转化为了描述逻辑中概念的满足性问题.引入 Tableau 算法后,文章证明了新语义 Web 服务是可终止的,并给出了判断语义 Web 服务满足性的可判定过程,这一工作为具体语义下的 Web 服务的发现、组合等问题的解决提供了理论基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	段跃兴	太原理工大学计算机科学与技术学院	15	55	4.0	7.0