Using Description Logics for Managing Medical Terminologies
- 444 Downloads
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.
KeywordsDescription Logic Universal Quantification Viral Meningitis Role Constructor Real World Case Study
Unable to display preview. Download preview PDF.
- de Keizer, N.F., Abu-Hanna, A., et al.: Analysis and design of an ontology for intensive care diagnoses. Methods of Information in Medicine 38(2), 102–112 (1999)Google Scholar
- Haarslev, V., Möller, R.: High Performance Reasoning with Very Large Knowledge Bases. In: International Workshop in Description Logics 2000 (DL 2000), Aachen, Germany (2000)Google Scholar
- Minsky, M.: A framework for representing knowledge. In: Haugeland, J. (ed.) Mind Design. The MIT Press, Cambridge (1981)Google Scholar
- Read, J.D., Sanderson, H.F., et al.: Terming, encoding, and grouping. Medinfo 8 Pt 1, 56–59 (1995)Google Scholar
- Schlobach, S., Cornet, R.: Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies. To be published International Joint Conference on Artificial Intelligence, Acapulco, Mexico (2003)Google Scholar
- Schulz, S., Romacker, M., et al.: Part-whole reasoning in medical ontologies revisited– introducing SEP triplets into classification-based description logics. In: Proc AMIA Symp, pp. 830–834 (1998)Google Scholar