Dynamic Description Logic for Describing Semantic Web Services

Web services may produce the effect change of the world. To describe Web services faithfully, not only static information but also dynamic information such as state change should be represented. In this paper we propose service dynamic description logic (SDDL) to represent and model the dynamic aspect of Web services. Minimal change principle and deterministic change principle are adopted to determine state change and predict the result state after performing a deterministic action. Four basic reasoning services are introduced in our formal framework to support the discovery and composition of Web services .semantic matches and relations between Web services are analyzed in our formalism framework.