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

摘要：

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

关键词：语义Web服务、OWL-S、类型、一阶动态逻辑、服务验证

所属期刊栏目：48

分类号：TP182(自动化基础理论)

资助基金：国家自然科学基金60573063,60573064,60773059,61035004;国家社会科学基金10AYY003

在线出版日期：2012-12-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：58-64