Research on Reasoning of the Dynamic Semantic Web Services Composition

Author

Li, YingJie ; Yu, Xueli ; Geng, Lili ; Wang, Li

Author_Institution

Coll. of Comput. & Software, Taiyuan Univ. of Technol.

fYear

2006

fDate

18-22 Dec. 2006

Firstpage

435

Lastpage

441

Abstract

The description logic, which possesses strong knowledge representation and reasoning capabilities, is the logic basis of the semantic Web ontology languages such as OWL and OWL-S, but OWL and OWL-S are deficient in the semantic modeling of the dynamic services composition and also do not consider the user preferences in the dynamic services composition. The AI planning, which provides an effective method for solving the planning problem and task decomposition in AI, possesses better modeling capability of the action state transformation, but the AI planning is limited in the knowledge representation and reasoning capabilities. Based on the merits of the description logic, OWL-S and the AI planning, this paper extends the OWL-S model, proposes a service composition mechanism and testifies its feasibility in description logic. The results show that this composition mechanism can not only be feasible but also be helpful for the semantic modeling of the services composite process in the semantic Web

Keywords

Web services; formal logic; inference mechanisms; knowledge representation languages; ontologies (artificial intelligence); planning (artificial intelligence); semantic Web; AI planning; OWL-S; action state transformation; description logic; dynamic semantic Web service composition; knowledge representation; ontology languages; reasoning capabilities; semantic modeling; task decomposition; Artificial intelligence; Automatic logic units; Availability; Knowledge representation; Logic testing; OWL; Ontologies; Process planning; Semantic Web; Web services;

fLanguage

English

Publisher

ieee

Conference_Titel

Web Intelligence, 2006. WI 2006. IEEE/WIC/ACM International Conference on

Conference_Location

Hong Kong

Print_ISBN

0-7695-2747-7

Type

conf

DOI

10.1109/WI.2006.148

Filename

4061408