Description Logic Based Composition of Web Services
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.
KeywordsSemantic Web Services(SWS) Web Services Composition (WSC) Description Logic(DL)
Unable to display preview. Download preview PDF.
- 1.Booth, D., et al.: Web services architecture. Technical report, W3C Working Group Note (2004), See, http://www.w3.org/TR/ws-arch/
- 3.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)Google Scholar
- 4.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)Google Scholar
- 5.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
- 6.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)Google Scholar
- 7.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)Google Scholar
- 8.Description Logics website, http://dl.kr.org
- 9.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)Google Scholar
- 10.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)Google Scholar
- 11.Shi, Z., Zhang, H., Dong, M.: Mage: Multi-agent environment. In: ICCNMC-2003, pp. 181–188 (2003)Google Scholar