How to Benefit from Terminological Logics?