Mistakes in medical ontologies: where do they come from and how can they be detected?

We present the details of a methodology for quality assurance in large medical terminologies and describe three algorithms that can help terminology developers and users to identify potential mistakes. The methodology is based in part on linguistic criteria and in part on logical and ontological principles governing sound classifications. We conclude by outlining the results of applying the methodology in the form of a taxonomy different types of errors and potential errors detected in SNOMED-CT.

[1]  Werner Ceusters,et al.  Towards industrial strength philosophy: how analytical ontology can help medical informatics , 2003 .

[2]  Barry Smith,et al.  Mereotopology: A Theory of Parts and Boundaries , 1996, Data Knowl. Eng..

[3]  Udo Hahn,et al.  Part-Whole Reasoning: A Case Study in Medical Ontology Engineering , 1999, IEEE Intell. Syst..

[4]  Thomas Bittner,et al.  A Theory of Granular Partitions , 2003, Foundations of Geographic Information Science.

[5]  G De Moor,et al.  The Explanatory Role of Events in Causal and Temporal Reasoning in Medicine , 1993, Methods of Information in Medicine.

[6]  Werner Ceusters,et al.  Some Ontology Engineering Processes and Their Supporting Technologies , 2002, EKAW.

[7]  Barry Smith,et al.  SNAP and SPAN: Towards Dynamic Spatial Ontology , 2004, Spatial Cogn. Comput..

[8]  Werner Ceusters,et al.  Ontology and medical terminology: Why description logics are not enough , 2003 .

[9]  Steffen Schulze-Kremer,et al.  Revising the UMLS Semantic Network , 2004 .

[10]  Frank Montyne.  The importance of formal ontologies : A case study in occupational health , 2001 .

[11]  Barry Smith,et al.  The Role of Foundational Relations in the Alignment of Biomedical Ontologies , 2004, MedInfo.

[12]  G De Moor,et al.  The distinction between linguistic and conceptual semantics in medical terminology and its implication for NLP-based knowledge acquisition. , 1998, Methods of information in medicine.

[13]  John A. Bateman.  Ontology Construction and Natural Language , 1993 .

[14]  Achille C. Varzi,et al.  Fiat and Bona Fide Boundaries , 2000 .