Abstract
The automatic Web services composition has been a research focus since an ever-increasing numbers of Web services are created and published. In this paper, we present a dynamic description logics (DDLs) based method for automatic Web services composition. DDLs are an extension of description logic with a dynamic dimension. It adds actions expressions into description logic and makes up a set of reasoning mechanism for action expressions. The DDLs reasoner has been built for DDLs formulas. As an Web service can be regarded as an action in Web, its accomplishment changes the state of Web, from original state to aim state, an Web service can be described as an action in DDLs, which this action can be described in terms of formulas in DDLs. Due to these relations between Web service and DDLs actions, our method describes both the goal service and atomic services in terms of DDLs formulas. We proved that if a goal formula can not be satisfied then the services composition can be found. The procedure of checking the satisfiability of the formula is also the procedure of discovering the services composition. Thus the problem of automatic services composition is reduced to the problem of checking the satisfiability of formulas in DDLs. An example of automatic services composition in travel area shows the effectiveness of our method.
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
Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (2003)
D.Booth, et al.: Web services architecture. Technical report, W3C Working Group Note (2004), http://www.w3.org/TR/ws-arch/
Shi, Z., Dong, M., Jiang, Y., Zhang, H.: A Logic Foundation for the Semantic Web. Science in China. Series F 48(2), 161–178 (2005)
Chang, L., Lin, F., Shi, Z.: A dynamic description logic for representation and reasoning about actions. In: Zhang, Z., Siekmann, J.H. (eds.) KSEM 2007. LNCS (LNAI), vol. 4798, pp. 115–127. Springer, Heidelberg (2007)
Chang, L.: Ph.D thesis Institute of Computer Science of Chinese Academy (2008)
Bovykin, A., Zolin, E.: A framework for describing information providing web services. In: Proc. of the 13th Workshop on Automated Reasoning, pp. 3–4 (2006)
Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: A Description Logic Based Approach to Reasoning about Web Services. In: WWW 2005, Chiba, Japan, May 10-14 (2005)
The OWL Services Coalition. OWL-S: Semantic Markup for Web Services (2004), http://www.w3.org/Submission/OWL-S/
Giacomo, G.D., et al.: Planning with sensing for a mobile robot. In: Steel, S. (ed.) ECP 1997. LNCS, vol. 1348, pp. 156–168. Springer, Heidelberg (1997)
Artale, A., Franconi, E.: A Temporal Description Logic for Reasoning about Actions and Plans. Journal of Artificial Intelligence Research 9, 463–506 (1998)
Wolter, F., Zakharyaschev, M.: Dynamic description logic. In: Segerberg, K., et al. (eds.) Advances in Modal Logic, vol. 2, pp. 449–463. CSLI Publications, Stanford (2000)
Liu, H., Lutz, C., Milicic, M., Wolter, F.: Reasoning about Actions using Description Logics with general TBoxes. In: Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006), Liverpool, United Kingdom (2006)
Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating Description Logic ABoxes. In: Doherty, P., Mylopoulos, J., Welty, C. (eds.) Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 46–56. AAAI Press, Menlo Park (2006)
Sirin, E.: Combining Description Logic Reasoning with AI Planning for Composition of Web Services. Ph.D thesis University of Maryland (2006)
Lutz, C., Sattler, U.: A Proposal for Describing Services with DLs. In: Proceedings of the 2002 International Workshop on Description Logics, Toulouse, France (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Peng, H., Chen, L., Zeng, W., Tang, J. (2011). Dynamic Description Logics Based Semantic Web Services Composition. In: Deng, H., Miao, D., Lei, J., Wang, F.L. (eds) Artificial Intelligence and Computational Intelligence. AICI 2011. Lecture Notes in Computer Science(), vol 7003. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23887-1_76
Download citation
DOI: https://doi.org/10.1007/978-3-642-23887-1_76
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23886-4
Online ISBN: 978-3-642-23887-1
eBook Packages: Computer ScienceComputer Science (R0)