Using description logics for managing medical terminologies

Medical terminological knowledge bases play an increasingly important role in medicine. As their size and complexity are growing, the need arises for a means to verify and maintain the consistency and correctness of their contents. This is important for their management as well as for providing their users with confidence about the validity of their contents. In this paper we describe a method for the detection of modeling errors in a terminological knowledge base. The method uses a Description Logic (DL) for the representation of the medical knowledge and is based on the migration from a frame-based representation to a DL-based one. It is characterized by initially using strong assumptions in concept definitions thereby forcing the detection of concepts and relationships that might comprise a source of inconsistency. We demonstrate the utility of the approach in a real world case study of a terminological knowledge base in the Intensive Care domain and we discuss decisions pertaining to building DL-based representations