New England Database Society Friday, February 11, 2005 sponsored by Sun Microsystems
NEDS

A Logical Framework for Web Service Discovery

(Joint work with Ruben Lara, Axel Polleres, Chang Zhao)

Michael Kifer
SUNY, Stony Brook

Friday, February 11, 2005, 4:00 PM
Volen 101, Brandeis University

(preceded by a wine and cheese reception at 3:00 pm)

Abstract:

Current technologies for Web Services are based on syntactical descriptions and, therefore, lend themselves to only limited amount of automation. Current research efforts in Semantic Web Services try to overcome this major deficiency by providing a complete semantic description for Web Services and their related aspects. In this talk I will describe a logical framework that exploits such formal descriptions in order to dynamically discover Web Services that match requester's goals. We consider two kinds of user goals: discovery and contracting. We define proof obligations that formalize the concepts of a match in these two cases. We also describe a concrete realization of this framework in the F-Logic reasoning engine FLORA-2, which has proven itself to be a suitable framework for describing and reasoning about Semantic Web Services and their capabilities.

Speaker Bio:

Michael Kifer is a Professor with the Department of Computer Science, State University of New York at Stony Brook (USA). He received his Ph.D. in Computer Science in 1984 from the Hebrew University of Jerusalem, Israel, and the M.S. degree in Mathematics in 1976 from Moscow State University, Russia. 

Dr. Kifer's interests include intelligent database systems, knowledge representation, and Web information systems. He has published two text books and numerous articles in these areas. In 1999 and 2002 he was a recipient of the ACM-SIGMOD "Test of Time" awards for his works on F-logic and object-oriented database languages.

Maintained by Dina Goldin dqg AT cse.uconn.edu