Title :
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.
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;
Conference_Titel :
Web Intelligence, 2006. WI 2006. IEEE/WIC/ACM International Conference on
Conference_Location :
Hong Kong
Print_ISBN :
0-7695-2747-7
DOI :
10.1109/WI.2006.148
