Description logic based methods for auditing frame-based medical terminology systems - Cornet, R; Abu-Hanna, A (Artificial Intelligence in Medicine, 2005)