Abstract
We claim that user preferences are a key component of Web service composition – a component that has largely been ignored. In this paper we propose a means of specifying and intergrating user preferences into Web service composition. To this end, we propose a means of performing automated Web service composition by exploiting generic procedures together with rich qualitative user preferences. We exploit the agent programming language Golog to represent our generic procedures and a first-order preference language to represent rich qualitative temporal user preferences. From these we generate Web service compositions that realize the generic procedure, satisfying the user’s hard constraints and optimizing for the user’s preferences. We prove our approach sound and optimal. Our system, GologPref, is implemented and interacting with services on the Web. The language and techniques proposed in this paper can be integrated into a variety of approaches to Web or Grid service composition.
Chapter PDF
Similar content being viewed by others
Keywords
- User Preference
- Linear Temporal Logic
- Situation Calculus
- Agent Programming Language
- Nonfunctional Property
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
McIlraith, S., Son, T.C.: Adapting Golog for composition of semantic web services. In: Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR 2002), Toulouse, France, pp. 482–493 (2002)
McDermott, D.V.: Estimated-regression planning for interactions with web services. In: Proceedings of the Sixth International Conference on AI Planning and Scheduling (AIPS 2002), pp. 204–211 (2002)
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)
McIlraith, S., Son, T., Zeng, H.: Semantic Web services. IEEE Intelligent Systems (Special Issue on the Semantic Web) 16 (2001)
Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
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 (2005)
Bienvenu, M., Fritz, C., McIlraith, S.: Planning with qualitative temporal preferences. In: Proceedings of the Tenth International Conference on Knowledge Representation and Reasoning (KR 2006), pp. 134–144 (2006)
Horrocks, I., Patel-Schneider, P., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics 1(1), 7–26 (2003)
Martin, D., Burstein, M., McDermott, D., McIlraith, S., Paolucci, M., Sycara, K., McGuinness, D., Sirin, E., Srinivasan, N.: Bringing semantics to web services with owl-s. World Wide Web Journal (to appear, 2006)
Bruijn, J.D., Lausen, H., Polleres, A., Fensel, D.: The web service modeling language WSML: An overview. Technical report, DERI (2006)
Battle, S., Bernstein, A., Boley, H., Grosof, B.: R. Hull, M.G., Kifer, M., Martin, D., McIlraith, S., McGuinness, D., Su, J., Tabet, S.: Semantic web service ontology (SWSO) first-order logic ontology for web services (FLOWS) (2005), http://www.daml.org/services/swsl/report/
Klusch, M., Gerber, A., Schmidt, M.: Semantic web service composition planning with OWLS-Xplan. In: Working notes of the AAAI 2005 Fall Symposium on Agents and the Semantic Web, Arlington VA, USA (2005)
McIlraith, S.A., Fadel, R.: Planning with complex actions. In: 9th International Workshop on Non-Monotonic Reasoning (NMR), Toulouse, France, pp. 356–364 (2002)
Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proceedings of the Eleventh International World Wide Web Conference (WWW 2002) (2002)
de Giacomo, G., Lespérance, Y., Levesque, H.: ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121(1–2), 109–169 (2000)
Sirin, E., Parsia, B., Hendler, J.: Template-based composition of semantic web services. In: Working notes of the AAAI 2005 Fall Symposium on Agents and the Semantic Web (2005)
Fritz, C., McIlraith, S.: Decision-theoretic GOLOG with qualitative preferences. In: Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006) (2006)
Son, T., Pontelli, E.: Planning with preferences using logic programming, Theory and Practice of Logic Programming (to appear, 2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sohrabi, S., Prokoshyna, N., McIlraith, S.A. (2006). Web Service Composition Via Generic Procedures and Customizing User Preferences. In: Cruz, I., et al. The Semantic Web - ISWC 2006. ISWC 2006. Lecture Notes in Computer Science, vol 4273. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11926078_43
Download citation
DOI: https://doi.org/10.1007/11926078_43
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-49029-6
Online ISBN: 978-3-540-49055-5
eBook Packages: Computer ScienceComputer Science (R0)