Abstract
In Web Service Composition (WSC) problems, the composition process generates a composition (i.e., a plan) of atomic services, whose execution achieves some objectives on the Web. Existing research on Web service composition generally assumed that these objectives are absolute; i.e., the service-composition algorithms must achieve all of them in order to generate successful outcomes; otherwise, the composition process fails altogether. The most straightforward example is the use of OWL-S process models that specifically tell a composition algorithm how to achieve a functionality on the Web. However, in many WSC problems, it is also desirable to achieve users’ preferences that are not absolute objectives; instead, a solution composition generated by a WSC algorithm must satisfy those preferences as much as possible. In this paper, we first describe a way to augment Web Service Composition process, where services are described as OWL-S process models, with qualitative user preferences. We achieve this by mapping a given set of process models and preferences into a planning language for representing Hierarchical Task Networks (HTNs). We then present SCUP, our new WSC planning algorithm that performs a best-first search over the possible HTN-style task decompositions, by heuristically scoring those decompositions based on ontological reasoning over the input preferences. Finally, we discuss our experimental results on SCUP.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
McDermott, D.: Estimated-regression planning for interactions with web services. In: AIPS, pp. 204–211 (2002)
McIlraith, S., Son, T.: Adapting Golog for composition of semantic web services. In: KR-2002, Toulouse, France (April 2002)
Martinez, E., Lespérance, Y.: Web service composition as a planning task: Experiments using knowledge-based planning. In: Proceedings of the ICAPS-2004 Workshop on Planning and Scheduling for Web and Grid Services, June 2004, pp. 62–69 (2004)
Sirin, E., Parsia, B., Wu, D., Hendler, J., Nau, D.: HTN planning for web service composition using SHOP2. Journal of Web Semantics 1(4), 377–396 (2004)
Traverso, P., Pistore, M.: Automated composition of semantic web services into executable processes. In: International Semantic Web Conference, pp. 380–394 (2004)
Kuter, U., Sirin, E., Nau, D., Parsia, B., Hendler, J.: Information gathering during planning for web services composition. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 335–349. Springer, Heidelberg (2004)
W3C: Owl-based web service ontology, www.daml.org/services/owl-s/
Gerevini, A., Long, D.: Plan constraints and preferences in pddl3 (2006)
Gerevini, A., Long, D.: The fifth international planning competition (2006), http://ipc5.ing.unibs.it/
Hsu, C.W., Wah, B.W., Huang, R., Chen, Y.X.: Handling soft constraints and preferences in sgplan. In: ICAPS Workshop on Preferences and Soft Constraints in Planning (June 2006)
Hsu, C.W., Wah, B.W., Huang, R., Chen, Y.X.: Constraint partitioning for solving planning problems with trajectory constraints and goal preferences. In: IJCAI, pp. 1924–1929 (2007)
Erol, K., Hendler, J., Nau, D.S.: UMCP: A sound and complete procedure for hierarchical task-network planning. In: Proceedings of the International Conference on AI Planning Systems (AIPS), June 1994, pp. 249–254 (1994)
Erol, K., Hendler, J., Nau, D.S., Tsuneto, R.: A critical look at critics in HTN planning. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) (1995)
Erol, K., Hendler, J., Nau, D.S.: Complexity results for hierarchical task-network planning. Annals of Mathematics and Artificial Intelligence 18, 69–93 (1996)
Sirin, E.: Combining Description Logic Reasoning with AI Planning for Composition of Web Services. PhD thesis, Department of Computer Science, University of Maryland (2006)
W3C: Web ontology language (owl) (2004), www.w3c.org/2004/OWL/
Nau, D., Au, T.C., Ilghami, O., Kuter, U., Murdock, W., Wu, D., Yaman, F.: SHOP2: An HTN planning system. JAIR 20, 379–404 (2003)
Sirin, E.: Pellet: The open source owl dl reasoner (2006), http://pellet.owldl.com/
Martinez, E., Lespérance, Y.: Web service composition as a planning task: Experiments using knowledge-based planning. In: ICAPS-2004 Workshop on Planning and Scheduling for Web and Grid Services (June 2004)
Pistore, M., Barbon, F., Bertoli, P., Shaparau, D., Traverso, P.: Planning and monitoring web service composition. In: Bussler, C.J., Fensel, D. (eds.) AIMSA 2004. LNCS (LNAI), vol. 3192, pp. 106–115. Springer, Heidelberg (2004)
Traverso, P., Pistore, M.: Automated composition of semantic web services into executable processes. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 380–394. Springer, Heidelberg (2004)
Son, T., Pontelli, E.: Planning with preferences using logic programming. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 247–260. Springer, Heidelberg (2003)
Bienvenu, M., Fritz, C., McIlraith, S.: Planning with qualitative temporal preferences. In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006) (2006)
Baier, J.A., Bacchus, F., McIlraith, S.A.: A heuristic search approach to planning with temporally extended preferences. In: IJCAI (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lin, N., Kuter, U., Sirin, E. (2008). Web Service Composition with User Preferences. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds) The Semantic Web: Research and Applications. ESWC 2008. Lecture Notes in Computer Science, vol 5021. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68234-9_46
Download citation
DOI: https://doi.org/10.1007/978-3-540-68234-9_46
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68233-2
Online ISBN: 978-3-540-68234-9
eBook Packages: Computer ScienceComputer Science (R0)