语义Web服务的形式化与满足性研究

• 作者: 段之宇 段跃兴
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 语义Web 描述逻辑 语义Web服务
• 年，卷（期）: 2012,（9）
• 所属期刊栏目: 基金项目论文
• 页码范围: 156-158,161
• 页数: 4页
• 分类号: TP393
• 字数: 4821字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2012.09.042

摘要

描述逻辑是语义网的理论基础,首先通过对语义Web服务中的输入/输出参数进行抽象描述,依据描述逻辑理论得到语义Web服务的形式化定义.从描述逻辑的角度把语义Web服务映射成某一领域中的概念,把语义Web服务的组合看成是一个新的语义Web服务的形成,新服务形成后是否有意义其实就是描述逻辑中新概念的满足性问题.通过引入Tableau算法,证明了新语义Web服务的可终止性,并给出了语义Web服务满足性的可判定过程.这一工作为具体语义下的Web服务的发现、组合等问题的解决提供了理论基础,具有十分重要的指导作用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	段跃兴	太原理工大学计算机学院	15	55	4.0	7.0
2	段之宇	太原理工大学计算机学院	2	3	1.0	1.0