Toward knowledge preconditions for composition of semantic Web services

Several researches have been proposed to formalize the knowledge preconditions problem; an action or a plan is epistemically feasible. However, since the feasibility is only checked at design-time and is assumed that it also will be carried out at run-time, it is not suitable in the context of Web services composition, where the transaction is important in the distributed environment. In this paper, we address the Interfering Agent Problem, which many of agents interferes the execution of Web services composition and define the transactionally executability of the Web services composition in order to guarantee the atomicity of Web services composition; i.e. an agent predicts the infeasible action before its execution, compose them together with the compensating ones. Besides, we use the TL-ALCF, which has proposed for representing time, actions, and plans so that we can provide decidable, sound, and complete procedures for computing subsumption for Web services composition.