Intra-axiom redundancies in SNOMED CT.

Journal: Artificial intelligence in medicine
Published Date: Nov 4, 2014

Abstract

OBJECTIVE: Intra-axiom redundancies are elements of concept definitions that are redundant as they are entailed by other elements of the concept definition. While such redundancies are harmless from a logical point of view, they make concept definitions hard to maintain, and they might lead to content-related problems when concepts evolve. The objective of this study is to develop a fully automated method to detect intra-axiom redundancies in OWL 2 EL and apply it to SNOMED Clinical Terms (SNOMED CT).

Authors

  • Kathrin Dentler
    AI Department, VU University Amsterdam, de Boelelaan 1081a, 1081HV Amsterdam, The Netherlands; Department of Medical Informatics, Academic Medical Center, University of Amsterdam, Meibergdreef 15, 1105 AZ Amsterdam, The Netherlands. Electronic address: k.dentler@vu.nl.
  • Ronald Cornet
    Department of Medical Informatics, Academic Medical Center, University of Amsterdam, Meibergdreef 15, 1105 AZ Amsterdam, The Netherlands; Department of Biomedical Engineering, Linköping University, SE-581 83 Linköping, Sweden.

Keywords

External Resources

Popular Topics
Recent Journals