HTN planning for Web Service composition using SHOP2

  • Authors:
  • Evren Sirin;Bijan Parsia;Dan Wu;James Hendler;Dana Nau

  • Affiliations:
  • Computer Science Department, University of Maryland, College Park, MD 20742, USA;MIND Lab, University of Maryland, 8400 Baltimore Avenue, College Park, MD 20742, USA;Computer Science Department, University of Maryland, College Park, MD 20742, USA;Computer Science Department, University of Maryland, College Park, MD 20742, USA;Computer Science Department, University of Maryland, College Park, MD 20742, USA

  • Venue:
  • Web Semantics: Science, Services and Agents on the World Wide Web
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.