Felix Distel: An Approach to Exploring Description Logic Knowledge Bases. ICFCA 2010: 209-224