| 描述语义Web服务的带类型的OWL-S |
| |
| 引用本文： | 刘超,眭跃飞,曹存根.描述语义Web服务的带类型的OWL-S[J].计算机工程与应用,2012,48(22):58-64. |
| |
| 作者姓名： | 刘超 眭跃飞 曹存根 |
| |
| 作者单位： | 1. 中国科学院计算技术研究所智能信息处理重点实验室,北京100190;中国科学院研究生院,北京100049
2. 中国科学院计算技术研究所智能信息处理重点实验室,北京,100190 |
| |
| 基金项目： | 国家自然科学基金(No.60573063,No.60573064,No.60773059,No.61035004);国家社会科学基金(No.10AYY003) |
| |
| 摘 要： | 语义Web服务利用语义Web中的语义标注技术使得Web服务可以被计算机所理解,从而实现Web服务的发现、调用、组合等的自动化。分析了目前语义Web服务的研究现状和存在的问题,从类型标注的角度出发,用一种带类型的OWL-S来形式化语义Web服务,并且形式地陈述了标注两个被组合的服务的属性和关系的类型、对象、本体概念之间的联系,从而为服务组合提供了一种形式化的验证方法。
|
| 关 键 词： | 语义Web服务 OWL-S 类型 一阶动态逻辑 服务验证 |
Features of typed OWL-S for semantic Web services |
| |
| LIU Chao
,
SUI Yuefei
,
CAO Cungen.Features of typed OWL-S for semantic Web services[J].Computer Engineering and Applications,2012,48(22):58-64. |
| |
| Authors: | LIU Chao SUI Yuefei CAO Cungen |
| |
| Affiliation: | 1.Key Lab of Intelligent Information Processing,Institute of Computing Technology,CAS,Beijing 100190,China 2.Graduate University of Chinese Academy of Sciences,Beijing 100049,China |
| |
| Abstract: | Semantic Web services make the Web services computer-interpretable by using markup technology,enabling users and software agents to discover,invoke and compose Web resources.The current works and the existing problems of the semantic Web services are analyzed in this paper,and a typed first-order dynamic logic is proposed to resolve these problems.This paper presents an approach to formalizing the relationships between the types,objects and concepts being used for markup properties and relations of two Web services when two services are composed together.The approach also provides effective supports for service composition verification. |
| |
| Keywords: | semantic Web service OWL-S type first-order dynamic logic service validity |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
