| 描述逻辑在基于语义的服务消息交互中的应用* |
| |
| 引用本文： | 邱剑锋,王申康,马勤勇,王玥,徐海长. 描述逻辑在基于语义的服务消息交互中的应用*[J]. 计算机应用研究, 2009, 26(1): 289-293. DOI: 10.3969/j.issn.1001-3695.2009.01.090 |
| |
| 作者姓名： | 邱剑锋 王申康 马勤勇 王玥 徐海长 |
| |
| 作者单位： | 浙江大学,计算机学院,杭州,310027 |
| |
| 基金项目： | 浙江省教育厅资助项目 |
| |
| 摘 要： | 提出了一个基于描述逻辑规则的自动服务交互的模型框架,将服务抽象成基于消息的服务模型。该服务模型将在服务之间传递的面向对象的服务消息作为服务交互的主要手段,使用描述逻辑的概念对服务之间传递的消息数据进行语义分析,在服务内部数据模式与描述逻辑知识库间建立对应关系。在交互规则方面,使用基于描述逻辑和Horn子句进行描述;在描述逻辑的Tableau算法的支持下,对知识库概念和规则进行有效性、一致性和可满足性的验证,实现数据异构模式下服务间基于语义的自动交互。
|
| 关 键 词： | 描述逻辑 服务交互 语义服务 数据集成 |
Application of description logic in semantic-based service message interaction |
| |
| QIU Jian-feng,WANG Shen-kang,MA Qin-yong,WANG Yue,XU Hai-chang. Application of description logic in semantic-based service message interaction[J]. Application Research of Computers, 2009, 26(1): 289-293. DOI: 10.3969/j.issn.1001-3695.2009.01.090 |
| |
| Authors: | QIU Jian-feng WANG Shen-kang MA Qin-yong WANG Yue XU Hai-chang |
| |
| Affiliation: | (School of Computer Science, Zhejiang University, Hangzhou 310027, China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
