Michael Kifer

is author of:	A Logical Framework for Web Service Discovery The Semantic Web: Research and Applications