Paper Info
Title
Automatic Web Service Composition Using ConGolog
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.
Year
DOI
Venue
2006
10.1109/ICDCSW.2006.24
ICDCS Workshops
Keywords
Field
DocType
middle-ground congolog interpreter,new service,complex action,web service composition,extended version,formal approach,owl-s web service description,semantic web service,automatic web service composition,high level logic programming,existing web service,world wide web,distributed computing,web services,logic programming,semantic web,theorem prover,automation,markup languages,web service,databases,distributed application
World Wide Web,Semantic Web Stack,Computer science,Web standards,Semantic Web,Data Web,Web modeling,Social Semantic Web,Web service,WS-Policy
Conference
ISSN
ISBN
Citations 
1545-0678
0-7695-2541-5
5
PageRank 
References 
Authors
0.44
5
2
Name
Order
Citations
PageRank
Minh Phan1273.60
Fumio Hattori216426.81