TY - CHAP T1 - Automating DAML-S Web Services Composition Using SHOP2 T2 - The Semantic Web - ISWC 2003 Y1 - 2003 A1 - Wu,Dan A1 - Parsia,Bijan A1 - Sirin,Evren A1 - Hendler,James A1 - Nau, Dana S. ED - Fensel,Dieter ED - Sycara,Katia ED - Mylopoulos,John KW - Computer science AB - The DAML-S Process Model is designed to support the application of AI planning techniques to the automated composition of Web services. SHOP2 is an Hierarchical Task Network (HTN) planner well-suited for working with the Process Model. We have proven the correspondence between the semantics of SHOP2 and the situation calculus semantics of the Process Model. We have also implemented a system which soundly and completely plans over sets of DAML-S descriptions using a SHOP2 planner, and then executes the resulting plans over the Web. We discuss the challenges and difficulties of using SHOP2 in the information-rich and human-oriented context of Web services. JA - The Semantic Web - ISWC 2003 T3 - Lecture Notes in Computer Science PB - Springer Berlin / Heidelberg VL - 2870 SN - 978-3-540-20362-9 UR - http://www.springerlink.com/content/rm5ejwlmbw0mdv97/abstract/ ER -