Claudia d'Amato Steffen Staab Nicola Fanizzi Floriana Esposito Efficient Discovery of Services Specified in Description Logics Languages. 2007 SMRR http://ceur-ws.org/Vol-243/SMR2-2007-paper2.pdf conf/semweb/2007smrr db/conf/semweb/smrr2007.html#dAmatoSFE07