Michael Wessel Ralf Möller A High Performance Semantic Web Query Answering Engine. 2005 conf/dlog/2005 Description Logics http://www.ceur-ws.org/Vol-147/30-Wessel.pdf db/conf/dlog/dlog2005.html#WesselM05