Context-Oriented Semantic Web Service Composition using ConGolog

M. Phan and F. Hattori (Japan)


Semantic Web, Web Service Composition, Ubiquitous Computing, and High Level Logic Programming.


Motivated by the problem of automatically providing relevant network-accessible services to users, this work proposes an approach to making use of contextual information to compose Web services described in OWL S. The key contribution of this work is an architecture named CoWSC (Context-oriented Web Service Composition). The architecture relies on our augmented version of the high level logic programming language with information-gathering actions, ConGolog. Using ConGolog, web service composition problems are viewed as customizations of reusable, high level generic programs. The architecture is the outcome of the contributions: (i) an approach to compiling contextual information directly into action preconditions and introducing context-sensitive services into high level generic programs; (ii) a set of algorithms of translating OWL-S web service descriptions into primitive and complex actions of ConGolog; and (iii) an extended version of the middle-ground ConGolog interpreter which relies on a theorem-prover with prime implicates in order to support context sensing and information gathering with search in an open world initial database. We argue that the architecture provides a natural formalism for automatically composing web services on the Semantic Web.

Important Links:

Go Back