An Architecture for Reasoning with Terminological Systems. - Ronald Cornet; Ameen Abu-Hanna; A. E. Blohm (AMIA, 2001)