描述语义Web服务的带类型的OWL-S

• 作者: 刘超 曹存根 眭跃飞
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 语义Web服务 OWL-S 类型 一阶动态逻辑 服务验证
• 年，卷（期）: 2012,（22）
• 所属期刊栏目: 研究、探讨
• 页码范围: 58-64
• 分类号: TP182
• 字数: 7589字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2012.22.013

摘要

语义Web服务利用语义Web中的语义标注技术使得Web服务可以被计算机所理解,从而实现Web服务的发现、调用、组合等的自动化.分析了目前语义Web服务的研究现状和存在的问题,从类型标注的角度出发,用一种带类型的OWL-S来形式化语义Web服务,并且形式地陈述了标注两个被组合的服务的属性和关系的类型、对象、本体概念之间的联系,从而为服务组合提供了一种形式化的验证方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹存根	中国科学院计算技术研究所智能信息处理重点实验室	91	991	17.0	27.0
2	刘超	中国科学院计算技术研究所智能信息处理重点实验室	128	874	18.0	25.0
6	眭跃飞	中国科学院计算技术研究所智能信息处理重点实验室	35	313	9.0	17.0