doi dblp Translating Description Logics to Information Server Queries Premkumar T. Devanbu CIKM 93, Proceedings of the Second International Conference on Information and Knowledge Management, Washington, DC, USA, November 1-5, 1993