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

被引：2

作者：

刘超 ^{[1
,2
]}

眭跃飞 ^{[1
]}

曹存根 ^{[1
]}

机构：

[1] 中国科学院计算技术研究所智能信息处理重点实验室

[2] 中国科学院研究生院

来源：

计算机工程与应用 | 2012年 / 22期

关键词：

语义Web服务; OWL-S; 类型; 一阶动态逻辑; 服务验证;

D O I：

暂无

中图分类号：

TP391.1 [文字信息处理]; TP393.09 [];

学科分类号：

120506 [数字人文];

摘要：

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

引用

页码：58 / 64

页数：7

共 7 条

[1]

用描述逻辑进行语义Web服务组合 [J].

王杰生 ;

李舟军 ;

李梦君 .

软件学报, 2008, (04) :967-980

[2]

基于Pi-演算的Web服务组合的描述和验证 [J].

廖军 ;

谭浩 ;

刘锦德 .

计算机学报, 2005, (04) :635-643

[3]

Web服务自动组合与形式化验证的研究 [D].

邓水光 .

浙江大学,

2007

[4]

Bringing Semantics to Web Services with OWL-S.[J] David Martin;Mark Burstein;Drew McDermott;Sheila McIlraith;Massimo Paolucci;Katia Sycara;Deborah L. McGuinness;Evren Sirin;Naveen Srinivasan World Wide Web 2007,

[5]

Web Service Modeling Ontology[J] Dumitru Roman;Uwe Keller;Holger Lausen;Jos de Bruijn;Rubén Lara;Michael Stollberg;Axel Polleres;Cristina Feier;Cristoph Bussler;Dieter Fensel Applied Ontology 2005,

[6]

On understanding types; data abstraction; and polymorphism[J] Luca Cardelli;Peter Wegner ACM Computing Surveys (CSUR) 1985,

[7]

Types and Programming languages Pierce B C; MIT Press 2002,

← 1 →