Semantic Web service composition based on dynamic description logics

被引：0

作者：

机构：

[1] State Key Laboratory of Software Engineering, Wuhan University

[2] Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology

[3] Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences

来源：

Chang, L. (changl@guet.edu.cn) | 1600年 / Science Press卷 / 36期

关键词：

Action theory; Dynamic description logic; Planning problem; Semantic Web service; Service composition;

D O I：

10.3724/SP.J.1016.2013.02468

中图分类号：

学科分类号：

摘要：

In order to realize automatic composition of semantic Web services, a basic step is to model these services with suitable formal systems; both the accuracy and the efficiency of the composition are determined by the expressive power and the computing property of the formal system adopted. The dynamic description logic DDL(X) is a combination of dynamic logics, description logics and action formalisms constructed over description logics; it provides a new tool for modeling and reasoning about semantic Web services. Based on DDL(X), this paper introduces a method for automatic composition of semantic Web services. Firstly, by translating semantic Web services described by OWL-S into actions, the composition problem is modeled as a planning problem based on DDL(X). Since each solution of the planning problem is formed by actions of DDL(X), any compositions specified by OWL-S, except those with the Split and Split-Join control structures, can be taken into account. Secondly, for any planning problem constructed above, an algorithm for deciding the existence of solutions is developed. The termination, soundness and completeness of this algorithm are proved. Finally, in the case that there exist solutions for the planning problem, it is demonstrated that one of the solutions can be generated from the deciding procedure. This method takes advantages of both the expressive power and the computing property of DDL(X). It provides a suit of effective theoretical tools for automatic composition of semantic Web services.

引用

页码：2468 / 2478

页数：10

共 20 条

[1]

McIlraith S., Son T., Zeng H., Semantic Web services, IEEE Intelligent Systems, 16, 2, pp. 46-53, (2001)

[2]

Shi Z.-Z., Dong M.-K., Jiang Y.-C., Zhang H.-J., A logical foundation for the semantic Web, Science in China, Series F: Information Sciences, 48, 2, pp. 161-178, (2005)

[3]

Chang L., Shi Z.-Z., Qiu L.-R., Lin F., A Tableau decision algorithm for dynamic description logic, Chinese Journal of Computers, 31, 6, pp. 896-909, (2008)

[4]

Chang L., Shi Z.-Z., Gu T.-L., Zhao L.-Z., A family of dynamic description logics for representing and reasoning about actions, Journal of Automated Reasoning, 49, 1, pp. 1-52, (2012)

[5]

Shi Z.-Z., Chang L., Reasoning about semantic Web services with an approach based on dynamic description logics, Chinese Journal of Computers, 31, 9, pp. 1599-1611, (2008)

[6]

Chen L.-M., Wang Z.-X., Shi Z.-Z., An approach for automatic Web service composition based on dynamic description logics, High Technology Letters, 21, 1, pp. 58-64, (2011)

[7]

Bertoli P., Pistore M., Traverso P., Automated composition of Web services via planning in asynchronous domains, Artificial Intelligence, 174, 3-4, pp. 316-361, (2010)

[8]

Li X.-T., Fan Y.-S., Analyzing compatibility and similarity of Web service processes, Chinese Journal of Computers, 32, 12, pp. 2429-2437, (2009)

[9]

Song W., Ma X.-X., Lu J., Instance migration in dynamic evolution of Web service compositions, Chinese Journal of Computers, 32, 9, pp. 1816-1831, (2009)

[10]

Tang X.-F., Jiang C.-J., Ding Z.-J., Wang C., A Petri net-based semantic Web service automatic composition method, Journal of Software, 18, 12, pp. 2991-3000, (2007)

← 1 2 →