TY - JOUR T1 - HTN planning for Web Service composition using SHOP2 JF - Web Semantics: Science, Services and Agents on the World Wide Web Y1 - 2004 A1 - Sirin,Evren A1 - Parsia,Bijan A1 - Wu,Dan A1 - Hendler,James A1 - Nau, Dana S. KW - HTN planning KW - OWL-S KW - SHOP2 KW - Web Service composition KW - Web services AB - Automated composition of Web Services can be achieved by using AI planning techniques. Hierarchical Task Network (HTN) planning is especially well-suited for this task. In this paper, we describe how HTN planning system SHOP2 can be used with OWL-S Web Service descriptions. We provide a sound and complete algorithm to translate OWL-S service descriptions to a SHOP2 domain. We prove the correctness of the algorithm by showing the correspondence to the situation calculus semantics of OWL-S. We implemented a system that plans over sets of OWL-S descriptions using SHOP2 and then executes the resulting plans over the Web. The system is also capable of executing information-providing Web Services during the planning process. We discuss the challenges and difficulties of using planning in the information-rich and human-oriented context of Web Services. VL - 1 SN - 1570-8268 UR - http://www.sciencedirect.com/science/article/pii/S1570826804000113 CP - 4 M3 - 10.1016/j.websem.2004.06.005 ER -