|Table of Contents|

[1] Wang Hai, Li Zengzhi, Fan Lin,. Capability matchmaking of semantic web serviceswith preconditions and effects [J]. Journal of Southeast University (English Edition), 2009, 25 (4): 464-467. [doi:10.3969/j.issn.1003-7985.2009.04.010]
Copy

Capability matchmaking of semantic web serviceswith preconditions and effects()
语义Web服务前提与效果功能匹配
Share:

Journal of Southeast University (English Edition)[ISSN:1003-7985/CN:32-1325/N]

Volumn:
25
Issue:
2009 4
Page:
464-467
Research Field:
Computer Science and Engineering
Publishing date:
2009-12-30

Info

Title:
Capability matchmaking of semantic web serviceswith preconditions and effects
语义Web服务前提与效果功能匹配
Author(s):
Wang Hai1 Li Zengzhi1 Fan Lin2
1Institute of Computer System Structure and Networks, Xi’an Jiaotong University, Xi’an 710049, China
2 Department of Computer Science and Technology, Xi’an University of Post and Telecommunications, Xi’an 710061, China
王海1 李增智1 范琳2
1西安交通大学计算机系统结构与网络研究所, 西安 710049; 2西安邮电学院计算机科学与技术系, 西安 710061
Keywords:
capability matchmaking semantic web service precondition and effect
功能匹配 语义Web服务 前提与效果
PACS:
TP311
DOI:
10.3969/j.issn.1003-7985.2009.04.010
Abstract:
In order to solve the problem that the current matchmaking methods for semantic web service mainly focus on the matchmaking of IO(inputs, outputs)descriptions which may result in one-sidedness, a description-logic-based IOPE(inputs, outputs, preconditions, effects)description and matchmaking method is proposed for semantic web service. The description logic concept is used to annotate service IO and the description logic assertion is employed to describe service PE(preconditions, effects). TBox subsumption checking is used to measure the subsumption relationship between IO descriptions of service request and advertising; ABox consistency checking is used for checking the logical implication between PE descriptions of service request and advertising. Based upon the logical implication, four kinds of PE matching degrees are proposed to measure and compare the pros and cons of the results of matchmaking. They are the exact, perfect, side-effect and common match. Experiments show that the method has a higher precision rate under the same recall rate compared with the existing method.
为了解决语义Web服务匹配方法主要针对服务IO描述的匹配, 导致匹配结果较为片面的问题, 提出了一种基于描述逻辑的语义Web服务IOPE描述及匹配方法. 具体使用描述逻辑概念标注服务IO, 以描述逻辑断言库刻画服务PE. 进行服务匹配时, 利用描述逻辑TBox概念包含检测确定服务请求与广告IO之间的包含关系; 利用描述逻辑ABox一致性检测推理, 判断服务请求与广告PE之间的逻辑蕴含关系; 依据此蕴含关系, 将PE匹配情况划分为4种, 即Exact, Perfect, Side-effect和Common匹配, 用以对匹配结果进行有意义的排序. 实验结果表明, 所提方法在召回率与现有方法相当的情况下, 具有更高的查准率.

References:

[1] de Bruijn J, Lausen H, Polleres A, et al. The web service modeling language: an overview[C]//The 3rd European Semantic Web Conference. Budva, Montenegro, 2006: 590-604.
[2] Martin D, Ankolekar A, Burstein M, et al. OWL-S 1.1 release[EB/OL].(2004-11)[2009-06-10].http: //www.daml.org/services/owls/1.1/.
[3] Bellur U, Kulkarni R. Improved matchmaking algorithm for semantic web services based on bipartite graph matching[C]//The IEEE International Conference on Web Services. Salt Lake City, Utah, USA, 2007: 86-93.
[4] Dragone Luigi. Validation and discovery of non-deterministic semantic e-services[C]//The 5th International Workshop on Web Services and Formal Methods. Milan, Italy, 2008: 88-106.
[5] Li Lei, Horrocks Ian. A software framework for matchmaking based on semantic web technology[C]//The 12th International Conference on World Wide Web. New York, NY, USA, 2003: 331-339.
[6] Payne T R, Paolucci M, Kawamura T, et al. Semantic matching of web services capabilities[C]//The First International Semantic Web Conference. Sardinia, Italy, 2002: 333-347.
[7] Sirin E, Hendler J, Parsia B. Semi-automatic composition of web services using semantic descriptions[C]//Web Services: Modeling, Architecture and Infrastructure Workshop in ICEIS 2003. Angers, France, 2003: 17-24.
[8] Thiagarajan R, Mayer W, Stumptner M. Semantic service discovery by consistency based matchmaking[C]//The Joint International Conferences on Advances in Data and Web Management. Suzhou, China, 2009: 492-505.
[9] Bellur U, Vadodaria H. On extending semantic matchmaking to include preconditions and effects[C]//IEEE International Conference on Web Services. Beijing, China, 2008: 120-128.
[10] Bener A B, Ozadali V, Ilhan E S. Semantic matchmaker with precondition and effect matching using SWRL[J]. Expert Systems and Applications, 2009, 36(5): 9371-9377.
[11] Baader F, Lutz C, Milicic M, et al. A description logic based approach to reasoning about web services[C]//Workshop on Web Service Semantics: Towards Dynamic Business Integration in WWW’05. Chiba, Japan, 2005: 636-647.
[12] Baader F, Calvanese D, McGuinness D, et al. The description logic handbook: theory, implementation and applications[M]. Cambridge:Cambridge University Press, 2003.
[13] Fries B, Khalid M A, Kapahnke P. Owls-tc version 2.2 revision 2[EB/OL].(2008-03)[2009-06-10].http: //www.semwebcentral.org/projects/owls-tc/.

Memo

Memo:
Biographies: Wang Hai(1977—), male, graduate; Li Zengzhi(corresponding author), male, professor, lzz@mail.xjtu.edu.cn.
Citation: Wang Hai, Li Zengzhi, Fan Lin. Capability matchmaking of semantic web services with preconditions and effects[J]. Journal of Southeast University(English Edition), 2009, 25(4): 464-467.
Last Update: 2009-12-20