DL Reasoning and AI Planning for Web Service Composition

We claim that a key feature for correct and effective web service composition, and one that has largely been ignored,is the joint consideration of (semantic) causal links and causal laws, respectively in area of description logics (DL) and AI planning. In this paper we propose a means of specifying both causal links and laws into Web service composition by integrating DL reasoning and situation calculus. To this end an augmented and adapted version of the logic programming language Golog i.e., s_clGolog is presented as a natural formalism not only for reasoning about the latter links and laws, but also for automatically composing services. s_clGolog operates as an offline interpreter that supports n-ary sensing actions to retrieve conditional compositions of services. Lastly s_clGolog has been implemented and tested in the context of telecommunication scenarios.