Abstract
This paper presents a novel approach for semantic web service composition based on the formalism of fluent calculus. We show how the planning capabilities of the fluent calculus can be used to automatically generate an abstract composition model. For describing the capabilities of web services we have used an OWL-S ontology. Based on the OWL-S ontology semantics, we encode the web service description in the fluent calculus formalism and provide a planning strategy for service composition. To test our composition method, we have implemented an experimental framework that automatically composes and executes web services. Our approach is similar with McIlraiths [2] in terms of computational model, both approaches having the roots in the theory of situation calculus, but the two solutions are complementary. In the situation calculus, the successor state axioms describe how a particular fluent may be changed by an action, whereas the state update axioms of the fluent calculus describe which fluents are changed by an action. The two approaches also differ in the way to evaluate the conditions in the programming languages (GOLOG and FLUX) that implement the two formalisms. For condition evaluation, GOLOG applies the principle of regression, while FLUX [3] uses the principle of progression. Using regression is efficient for short action sequences, but the computational effort increases with the number of performed actions, while by using progression, the computational effort remains the same, independently of the number of performed actions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Chifu, V., Salomie, I., Chifu, E.S.: Fluent calculus-based Web service composition - A mapping between OWL-S and fluent calculus. In: ICCP, Cluj-Napoca (2008)
McIlraith, S., Son, T.: Adapting Golog for Composition of Semantic Web Services. In: The Eighth International Conference on Knowledge Representation and Reasoning (KR 2002), Touluse, pp. 482–493 (2002)
Thielscher, M.: Programming of Reasoning and Planning Agents with FLUX. In: The International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, San Francisco (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chifu, V.R., Salomie, I., Manole, S. (2008). Fluent Calculus Based Web Service Composition. In: Calvanese, D., Lausen, G. (eds) Web Reasoning and Rule Systems. RR 2008. Lecture Notes in Computer Science, vol 5341. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88737-9_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-88737-9_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88736-2
Online ISBN: 978-3-540-88737-9
eBook Packages: Computer ScienceComputer Science (R0)