DocumentCode
2178099
Title
Automatic Web Service Composition Using ConGolog
Author
Phan, Minh ; Hattori, Fumio
Author_Institution
Ritsumeikan University, Japan
fYear
2006
fDate
04-07 July 2006
Firstpage
17
Lastpage
17
Abstract
Semantic Web Service, nowadays, is emerging as a solution for interoperating distributed applications on the WWW. Web service composition is the task of combining existing web services to yield a new service in order to achieve a desired goal. In this paper, we propose a formal approach to translate OWL-S web service descriptions into primitive and complex actions of ConGolog, a high level logic programming language with sensing actions for web service composition. In addition, in order to support information gathering with search in an open world initial database, we propose an extended version of the middle-ground ConGolog interpreter which relies on a theorem-prover with prime implicates.
Keywords
Automation; Conferences; Databases; Distributed computing; Logic programming; Markup languages; Semantic Web; Web services; Web sites; World Wide Web;
fLanguage
English
Publisher
ieee
Conference_Titel
Distributed Computing Systems Workshops, 2006. ICDCS Workshops 2006. 26th IEEE International Conference on
ISSN
1545-0678
Print_ISBN
0-7695-2541-5
Type
conf
DOI
10.1109/ICDCSW.2006.24
Filename
1648907
Link To Document