Abstract
Automatic service composition may dramatically improve development efficiency of Web Service applications. This paper proposes an approach to automatically process semantic and dynamic service composition using Description Logics(DLs) and AI planning techniques. Services and service composition problems are formalized with DLs to provide well-defined semantics. Four relationships among services as well as two combined service expressions are defined, with which AI planning techniques can be used to reason about how to compose services to achieve user-defined goals. We present an algorithm for automatic service composition, which uses backward-chaining search of potential services, and automatically eliminates irrelevant services while selecting, thus guarantee the execution efficiency. We also make some performance optimization of the algorithm such as removing redundant services and reusing previously achieved goals. All the composition steps could be done dynamically and automatically. Finally, we present an example to show how the algorithm works.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Booth, D., et al.: Web services architecture. Technical report, W3C Working Group Note (2004), See, http://www.w3.org/TR/ws-arch/
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web. In: Festschrift in honor of Jorg Siekmann. LNCS (LNAI), Springer, Heidelberg (2005)
Horrocks, I., Patel-Schneider, van Harmelen, F.: From shiq and rdf to owl: The making of a web ontology language. Journal Web Semantics 1(1), 7–26 (2003)
Baader, F., Milicic, M., Lutz, C., Sattler, U., Wolter, F.: Integrating description logics and action formalisms for reasoning about web services. LTCS-Report LTCS-05-02, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany (2005), See, http://lat.inf.tu-dresden.de/research/reports.html
Aiello, M., Papazoglou, M.P., Yang, J., Carman, M., Pistore, M., Serafini, L., Traverso, P.: A request language for web-services based on planning and constraint satisfaction. In: Proceedings of the Third International Workshop on Technologies for E-Services, pp. 76–85. Springer, London (2002)
McIlraith, S., Son, T.: Adapting golog for composition of semantic web services. In: Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), pp. 482–493 (2002)
Description Logics website, http://dl.kr.org
Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: A description logic based approach to reasoning about web services. In: Proceedings of the WWW 2005 Workshop on Web Service Semantics (WSS2005), Chiba City, Japan (2005)
Buhler, P.A., Vidal, J.M.: Toward the synthesis of web services and agent behaviors. In: Proceedings of the First International Workshop on Challenges in Open Agent Systems, pp. 25–29 (2002)
Shi, Z., Zhang, H., Dong, M.: Mage: Multi-agent environment. In: ICCNMC-2003, pp. 181–188 (2003)
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
Lin, F., Qiu, L., Huang, H., Yu, Q., Shi, Z. (2006). Description Logic Based Composition of Web Services. In: Shi, ZZ., Sadananda, R. (eds) Agent Computing and Multi-Agent Systems. PRIMA 2006. Lecture Notes in Computer Science(), vol 4088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11802372_21
Download citation
DOI: https://doi.org/10.1007/11802372_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36707-9
Online ISBN: 978-3-540-36860-1
eBook Packages: Computer ScienceComputer Science (R0)