Michael Kifer, Rubén Lara, Axel Polleres, Chang Zhao, Uwe Keller, Holger Lausen, Dieter Fensel. A Logical Framework for Web Service Discovery. In David Martin, Rubén Lara, Takahira Yamaguchi, editors, Proceedings of the ISWC 2004 Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, SWS@ISWC 2004, Hiroshima, Japan, November 8, 2004. Volume 119 of CEUR Workshop Proceedings, CEUR-WS.org, 2004. [doi]