Usage of AI-planning techniques to solve problems of Web-services composition

O.V. Zakharova


Automated composition of services described by their process model is difficult but very vital task. Its decision needs strict formalization and strong semantization of a service. Similarity of definitions of intelligent planning tasks and services composition objectives demonstrates the possibility of using AI-planning approaches for resolving Web services composition problems, provided a number of solutions to existing problems. In this article the analysis of task similarity and differences of HTN-planning and composition of Web-services presented by process model is executed. BPEL-services are considered. It is defined main problems that appears when AI-planning methods are used and it is proposed approaches for their resolving by integration DL and HTN-planning. Translation algorithms from BPEL to HTN-DL is also discussed.

Problems in programming 2016; 2-3: 196-203


semantic Web-service; descriptive logic; process model; semantic Web-service composition; AI-planning task; HTN-planning; BPEL-processes; HTN-DL


Combining Description Logic Reasoning with AI Planning for Composition of WEB Services. Evren Sirin, Doctor of Philosophy, 2006.

Malik Ghallab, Dana Nau, and Paolo Traverso. Automated Planning: Theory and Practice. Morgan Kaufman, San Francisco, CA, May 2004.

Evren Sirin. Combining Description Logic Reasoning with AI Planning for Composition of WEB Services, dissertation, Doctor of Philosophy, 2006.

Premkumar T. Devanbu and Diane J. Litman. Taxonomic plan reasoning. Artif. Intell., 84(1-2):1-35, 1996.

Liviu Badea. Planning in description logics: Deduction versus satisfiability testing. In Description Logics, 1998.

Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, and Riccardo Rosati. Description logic-based framework for planning with sensing actions. In Proceedings of the 1997 Description Logic Workshop (DL'97), pages 39-43, 1997.

Luca Iocchi, Daniele Nardi, and Riccardo Rosati. Planning with sensing, concurrency, and exogenous events: Logical framework and implementation. In Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, editors, KR2000: Principles of Knowledge Representation and Reasoning, pages 678-689, San Francisco, 2000. Morgan Kaufmann.

Srividya Kona, Ajay Bansal, Gopal Gupta Department of Computer Science The University of Texas at Dallas Richardson, TX 75083, Thomas D. Hite Metallect Corp. 2400 Dallas Parkway Plano, TX 75093Automatic Composition of Semantic Web Services.

Semantic Matching of Web Service Capabilities. Massimo Paolucci, Takahiro Kawamora, Terry R. Payne, Katya Sycara.

Semantic Web Service Composition Based on a Closed World Assumption. Freddy L'ecu' e, Alain L'eger, France Telecom R&D, France 4 rue du clos courtel, F-35512 Cesson S'evign' e {(freddy.lecue, alain.leger)}, 'Ecole Nationale Sup'erieure des Mines de St-Etienne, France 158, cours Fauriel, F-42023 Saint-'Etienne,, 2006

Javier Gonzalez-Castillo, David Trastour, and Claudio Bartolini. Description Logics for Matchmaking of Services. In Workshop on Applications of Description Logics ADL 2001, Vienna, 2002.

Lei Li and Ian Horrocks. A Software Framework For Matchmaking Based on Semantic Web Technology. In Proc. of the Twelfth International World Wide Web Conference (WWW 2003), Budapest, Hungary, May 2003.

Ian Horrocks and Peter F. Patel-Schneider. A proposal for an owl rules language. In Proc. of the Thirteenth International World Wide Web Conference (WWW 2004). ACM, 2004.

Michael R. Geneserth and Richard E. Fikes. Knowledge Interchange Format Version 3.0 Reference Manual. Technical Report Logic Group Report Logic-92-1, Computer Science Department, Stanford University, June 1992.

D. McDermott. Drs: A set of conventions for representing logical languages in rdf., 2004.

D. McDermott and D. Dou. Representing disjunction and quantifiers in RDF. In I. Horrocks and J. Hendler, editors, ISWC 2002, volume 2342, pages 250-263, 2002.

F. Baader and W. Nutt; In F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider. Basic Description Logics / The Description Logic Handbook, Cambridge University Press, 2003. - P. 43-95.



  • There are currently no refbacks.