ARAN - Access to Research at NUI Galway

A Logical Framework for Web Service Discovery

ARAN - Access to Research at NUI Galway

Show simple item record

dc.contributor.author Polleres, Axel en
dc.contributor.author Keller, Uwe en
dc.contributor.author Fensel, Dieter en
dc.date.accessioned 2009-12-02T16:56:41Z en
dc.date.available 2009-12-02T16:56:41Z en
dc.date.issued 2004 en
dc.identifier.citation Michael Kifer, Ruben Lara, Axel Polleres, Chang Zhao, Uwe Keller, Holger Lausen, Dieter Fensel "A Logical Framework for Web Service Discovery", Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, in conjunction with IEEE International Conference on Web Services 2004 (ICWS2004), 119, 2004. en
dc.identifier.uri http://hdl.handle.net/10379/462 en
dc.description.abstract Current technologies for Web Services are based on syntactical descriptions and, therefore, lend themselves to only limited amount of automation. Research efforts in Semantic Web Services, such as WSMO, try to overcome this major deficiency by providing a complete semantic description for Web Services and their related aspects. In this paper we present a logical framework which exploits such formal descriptions in order to dynamically discover Web Services that match requester goals. We consider two kinds of user goals: discovery and contracting. Based on the WSMO conceptual model, 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. Such a realization requires an extension of F-Logic in order to support rule reification. With this extension, F-logic becomes a suitable framework for describing and reasoning about Semantic Web Services and their capabilities. en
dc.format application/pdf en
dc.language.iso en en
dc.publisher IEEE en
dc.subject.lcsh Semantic Web en
dc.subject.lcsh Logic programming en
dc.title A Logical Framework for Web Service Discovery en
dc.type Workshop paper en
dc.local.publisherstatement ©2004 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. en
dc.description.peer-reviewed peer-reviewed en
dc.contributor.funder Science Foundation Ireland en

Files in this item

This item appears in the following Collection(s)

Show simple item record