Title: DESCRIPTION LOGIC HANDBOOK: THEORY, IMPLEMENTATION, AND APPLICATIONS; ED. BY FRANZ BAADER