Abstract
While redundant elements in SNOMED CT concept definitions are harmless from a logical point of view, they unnecessarily make concept definitions of typically large ontologies such as SNOMED CT hard to construct and to maintain. In this paper, we apply a fully automated method to detect intra-axiom redundancies in SNOMED CT. We systematically analyse the completeness and soundness of the results of our method by examining the identified redundant elements. In absence of a gold standard, we check whether our method identifies concepts that are likely to contain redundant elements because they become equivalent to their stated subsumer when they are replaced by a fully defined concept with the same definition. To evaluate soundness, we remove all identified redundancies, and test whether the logical closure is preserved by comparing the concept hierarchy to the one of the official SNOMED CT distribution. We found that 35,010 of the 296,433 SNOMED CT concepts (12%) contain redundant elements in their definitions, and that the results of our method are sound and complete with respect to our partial evaluation. We recommend to free the stated form from these redundancies. In future, knowledge modellers should be supported by being pointed to newly introduced redundancies.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baader, F., Lutz, C., Suntisrivaraporn, B.: Is tractable reasoning in extensions of the description logic EL useful in practice? In: Proceedings of the 2005 International Workshop on Methods for Modalities, pp. 1–26 (2005)
Cimino, J.J.: Battling Scylla and Charybdis: the search for redundancy and ambiguity in the 2001 UMLS metathesaurus. In: Proceedings of the AMIA Symposium, pp. 120–124 (January 2001)
Cornet, R., Abu-Hanna, A.: Two DL-based methods for auditing medical terminological systems. In: AMIA Symposium, pp. 166–170 (January 2005)
Cornet, R., Abu-Hanna, A.: Auditing description-logic-based medical terminological systems by detecting equivalent concept definitions. International Journal of Medical Informatics 77(5), 336–345 (2008)
Cornet, R., Schulz, S.: Relationship groups in SNOMED CT. Stud. Health Technol. Inform. 31(0), 223–227 (2009)
Denaux, R., Thakker, D., Dimitrova, V., Cohn, A.: Entendre: Interactive Semantic Feedback for Ontology Authoring, files.ifi.uzh.ch
Gonçalves, R., Parsia, B., Sattler, U.: Ecco: A Hybrid Diff Tool for OWL 2 ontologies. In: Proceedings of the 9th International Workshop on OWL: Experiences and Directions (2012)
Grimm, S., Wissmann, J.: Elimination of redundancy in ontologies. In: Antoniou, G., Grobelnik, M., Simperl, E., Parsia, B., Plexousakis, D., De Leenheer, P., Pan, J. (eds.) ESWC 2011, Part I. LNCS, vol. 6643, pp. 260–274. Springer, Heidelberg (2011)
Horridge, M., Bechhofer, S.: The OWL API: A Java API for Working with OWL 2 Ontologies. In: 6th OWL Experienced and Directions Workshop (2009)
Peng, Y., Halper, M.H., Perl, Y., Geller, J.: Auditing the UMLS for redundant classifications. In: AMIA Symposium, pp. 612–616 (January 2002)
Schlobach, S., Cornet, R.: Logical support for terminological modeling. Studies in Health Technology and Informatics 107, 439–443 (2004)
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Web Semantics: Science, Services and Agents on the World Wide Web 5(2), 51–53 (2007)
Spackman, K.A.: Normal forms for description logic expressions of clinical concepts in SNOMED RT. In: Proceedings of the AMIA Symposium, pp. 627–631 (January 2001)
Spackman, K.A., Dionne, R., Mays, E., Weis, J.: Role grouping as an extension to the description logic of Ontylog, motivated by concept modeling in SNOMED. In: Proceedings of the AMIA Symposium, 712–746 (January 2002)
Kazakov, Y., Krötzsch, M., Simančík, F.: Concurrent Classification of \(\mathcal{EL}\) Ontologies. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 305–320. Springer, Heidelberg (2011)
Zhu, X., Fan, J.-W., Baorto, D.M., Weng, C., Cimino, J.J.: A review of auditing methods applied to the content of controlled biomedical terminologies. Journal of biomedical informatics 42(3), 413–425 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dentler, K., Cornet, R. (2013). Redundant Elements in SNOMED CT Concept Definitions. In: Peek, N., Marín Morales, R., Peleg, M. (eds) Artificial Intelligence in Medicine. AIME 2013. Lecture Notes in Computer Science(), vol 7885. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38326-7_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-38326-7_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38325-0
Online ISBN: 978-3-642-38326-7
eBook Packages: Computer ScienceComputer Science (R0)