Abstract
This paper presents a method that adapting planning description to bring the semantic information into play for service composition through action language C. It shows how service descriptions can be expressed by preconditions and effects and the action language C provides a richer syntax and semantic for complex service descriptions. We also presents the algorithm of translating semantic web service described by OWL-S to action language C. Thanks to the structured description and the powerful expression of C, we only consider the initial Situation and the desired goal ignoring details of transition and planning. At last we use satisfiability planning to solve the planning problem by translating the action language into disjunctive logic program.
This work is supported by Natural Science Foundation of China (No.60663005, No.60803033), (No.61063002), China Postdoctoral Science Foundation (No.20090450211), State Key Laboratory of Software Engineering (No.SKLSE20080710), Guangxi Natural Science Foundation of China (No.0728093).
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
Kautz, H., Selman, B.: Planning as Satisfiability. In: Proc. ECAI-WS 1992, pp. 359–363 (1992)
Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, pp.365–385 (1991)
Subrahmanian, V.S., Zaniolo, C.: Relting Stable Models an AI Planning Domains. In: Proc. ICLP-1995, pp. 233–247. MIT Press, Cambridge (1995)
Lifschitz, V., Turner, H.: Representing Transition Systems by Logic Programs. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol. 1730, pp. 92–106. Springer, Heidelberg (1999)
Lifschitz, V.: Action Languages, Answer Sets and Planning. The Logic Programming Paradigm: a 25–Year Perspective, 353–373 (1999)
Lifschitz, V., Turner, H.: Representing Transition Systems by Logic Programs. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol. 1730, pp. 92–106. Springer, Heidelberg (1999)
Nihan, P.K., Koksal, P., Cicekli, N.K., Toroslu, I.H.: Specification of Workflow Processes Using the Action Description Language. In: Answer Set Programming. Spring 2001 Symposium Series, pp. 103–109 (2001)
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
Qian, J., Huang, G., Zhao, L. (2011). Semantic Web Service Composition: From OWL-S to Answer Set Programming. In: Yu, Y., Yu, Z., Zhao, J. (eds) Computer Science for Environmental Engineering and EcoInformatics. CSEEE 2011. Communications in Computer and Information Science, vol 159. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22691-5_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-22691-5_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22690-8
Online ISBN: 978-3-642-22691-5
eBook Packages: Computer ScienceComputer Science (R0)