By Topic

Web Service Composition as Satisfiability Checking in Dynamic Description Logics

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Limin Chen ; Key Lab. of Intell. Inf. Process., Chinese Acad. of Sci., Beijing, China ; Hong Hu ; Zhongzhi Shi

The automation of Web service composition (WSC) has emerged as a major research topic since an ever-increasing number of Web services are created and published, which make manually analyzing them and creating the desired composite service difficult, or even beyond human abilities. This paper presented an approach for the automation of WSC at the functional level based on dynamic description logics (DDLs), extensions of description logics (DLs) with a dynamic dimension. By embracing knowledge in actions into DLs, DDLs couple the static information provided by ontologies and the dynamic processing provided by Web services, and offer a uniform way to represent and reason about both static and dynamic aspects of the Web content. Our approach employed classical DL-TBoxes to capture the constraints of the domain, DL-ABoxes to describe the states, and DL-formulas to encode the client requirements respectively. Actions in DDLs were used to abstract the functionalities of the existing Web services which were classified into categories in terms of their functionalities. In such a way, the WSC was reduced to formula satisfiability and solved by a decidable tableau procedure. We also implemented a reasoning engine based on the dynamic description logic D-ALCHOQ, and tested our approach on a simple variation of the travel scenario; the preliminary results certified the potential of the approach.

Published in:

Grid and Cooperative Computing, 2009. GCC '09. Eighth International Conference on

Date of Conference:

27-29 Aug. 2009