The use of description logics in KBSE systems: experience report
ICSE '94 Proceedings of the 16th international conference on Software engineering
Evaluating ontological decisions with OntoClean
Communications of the ACM - Ontology: different ways of representing the same concept
Semantic refinement and error correction in large terminological knowledge bases
Data & Knowledge Engineering
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Proceedings of the 2nd international conference on Knowledge capture
A reference ontology for biomedical informatics: the foundational model of anatomy
Journal of Biomedical Informatics - Special issue: Unified medical language system
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IEEE Transactions on Information Technology in Biomedicine
Auditing concept categorizations in the UMLS
Artificial Intelligence in Medicine
Semantic Modeling of Product Manuals
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Structural group auditing of a UMLS semantic type's extent
Journal of Biomedical Informatics
A review of auditing methods applied to the content of controlled biomedical terminologies
Journal of Biomedical Informatics
Auditing associative relations across two knowledge sources
Journal of Biomedical Informatics
A quality improvement model for healthcare terminologies
Journal of Biomedical Informatics
A RELATIONSHIP-CENTRIC HYBRID INTERFACE FOR BROWSING AND AUDITING THE UMLS
Journal of Integrated Design & Process Science
Hi-index | 0.00 |
Objective:: Medical terminological systems (TSs) play an increasingly important role in health care by supporting recording, retrieval and analysis of patient information. As the size and complexity of TSs are growing, the need arises for means to audit them, i.e. verify and maintain (logical) consistency and (semantic) correctness of their contents. This is not only important for the management of TSs but also for providing their users with confidence about the reliability of their contents. Formal methods have the potential to play an important role in the audit of TSs, although there are few empirical studies to assess the benefits of using these methods. Methods and material:: In this paper we propose a method based on description logics (DLs) for the audit of TSs. This method is based on the migration of the medical TS from a frame-based representation to a DL-based one. Our method is characterized by a process in which initially stringent assumptions are made about concept definitions. The assumptions allow the detection of concepts and relations that might comprise a source of logical inconsistency. If the assumptions hold then definitions are to be altered to eliminate the inconsistency, otherwise the assumptions are revised. Results:: In order to demonstrate the utility of the approach in a real-world case study we audit a TS in the intensive care domain and discuss decisions pertaining to building DL-based representations. This case study demonstrates that certain types of inconsistencies can indeed be detected by applying the method to a medical terminological system. Conclusion:: The added value of the method described in this paper is that it provides a means to evaluate the compliance to a number of common modeling principles in a formal manner. The proposed method reveals potential modeling inconsistencies, helping to audit and (if possible) improve the medical TS. In this way, it contributes to providing confidence in the contents of the terminological system.