Abstract
A semantic Web service automatic composition method based on discrete Event Calculus is proposed aiming at the issues of service AI planning composition such as large number of services and the confine of sequence composition process. Firstly, the extension of EC to DEC is present. Then the eight basic semantic Web service composition processes and their IOPE are modeled based on the actions, fluent and axioms of DEC. The service composition process is divided into two steps, abstract service planning and instance execution. And the service automatic composition framework is introduced. Also the abduction DEC planning method and semantic matching method of instance execution are given. The comparison indicate the superiority of this method: it solves the confine of sequence composition process of classic AI planning composition method with Event Calculus’ presentation of compound action, concurrent action, continuous action, knowledge of the agent and the predicate number of the DEC is much smaller than EC which speed the service discovering and composition.
Keywords
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Martin D, Burstein M, McDermott D et al (2007) Bringing semantics to web services with OWL-S. World Wide Web J 10(3):243–277
Charif Y, Sabouret N (2006) An overview of semantic web services composition approaches. Electron Notes Theoret Comput Sci 33–41
Sirin E, Parsia B, Wu D et al (2004) HTN planning for Web service composition using SHOP2. J Web Sem 1:377–396
Mcilraith S, Son T (2002) Adapting go log for composition of semantic web services. In: Proceedings of the eighth international conference on principles of knowledge representation and reasoning, France
Klusch M, Gerber A, Schmidt M (2005) Semantic web service composition planning with OWLS-XPlan. In: Proceedings of the 1st international AAAI fall Symposium on agents and the semantic web. Arlington, pp 117–120
Wan Changlin, Han Xu, Niu Wenjia et al (2010) Dynamic description logic based web service composition and QoS model. Acta Electronica Sinica 38(8):1923–1928 (in Chinese)
Rao JH, Kungas P, Matskin M (2006) Composition of semantic web services using linear logic theorem proving. Inf Syst 4–5:340–360
Shanahan M (1999) The event calculus explained. In: Artificial intelligence today: recent trends and developments. Springer, Berlin 409–430
Agarwal V, Chafle G, Mittal S et al (2008) Understanding approaches for web service composition and execution. In: Proceedings of the first Bangalore annual compute conference. ACM, New York, pp 1–8
Okutan C, Cicekli NK (2010) A monolithic approach to automated composition of semantic web services with the event calculus. Knowl-Based Syst 23:440–454
Ozorhan EK, Kuban EK, Cicekli NK (2010) Automated composition of web services with the abductive event calculus. Inf Sci 180:3589–3613
Mueller ET (2008) Event calculus. In: Handbook of knowledge representation, vol 3. Elsevier, Amsterdam, pp 671–708
Shanahan MP (2000) An abductive event calculus planner. J Logic Prog 44:207–240
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nie, K., Wang, H., He, J. (2013). Semantic Web Service Automatic Composition Based on Discrete Event Calculus. In: Lu, W., Cai, G., Liu, W., Xing, W. (eds) Proceedings of the 2012 International Conference on Information Technology and Software Engineering. Lecture Notes in Electrical Engineering, vol 210. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34528-9_49
Download citation
DOI: https://doi.org/10.1007/978-3-642-34528-9_49
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34527-2
Online ISBN: 978-3-642-34528-9
eBook Packages: EngineeringEngineering (R0)