liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Intra-axiom redundancies in SNOMED CT
Vrije University of Amsterdam, Netherlands; University of Amsterdam, Netherlands.
Linköping University, Department of Biomedical Engineering, Medical Informatics. Linköping University, Faculty of Science & Engineering. University of Amsterdam, Netherlands.
2015 (English)In: Artificial Intelligence in Medicine, ISSN 0933-3657, E-ISSN 1873-2860, Vol. 65, no 1, 29-34 p.Article in journal (Refereed) Published
Abstract [en]

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). Materials and methods: We developed a software program in which we implemented, adapted and extended readily existing rules for redundancy elimination. With this, we analysed occurence of redundancy in 11 releases of SNOMED CT(January 2009 to January 2014). We used the ELK reasoner to classify SNOMED CT, and Pellet for explanation of equivalence. We analysed the completeness and soundness of the results by an in-depth examination of the identified redundant elements in the July 2012 release of SNOMED CT. To determine if concepts with redundant elements lead to maintenance issues, we analysed a small sample of solved redundancies. Results: Analyses showed that the amount of redundantly defined concepts in SNOMED CT is consistently around 35,000. In the July 2012 version of SNOMED CT, 35,010(12%) of the 296,433 concepts contained redundant elements in their definitions. The results of applying our method are sound and complete with respect to our evaluation. Analysis of solved redundancies suggests that redundancies in concept definitions lead to inadequate maintenance of SNOMED CT. Conclusions: Our analysis revealed that redundant elements are continuously introduced and removed, and that redundant elements may be overlooked when concept definitions are corrected. Applying our redundancy detection method to remove intra-axiom redundancies from the stated form of SNOMED CT and to point knowledge modellers to newly introduced redundancies can support creating and maintaining a redundancy-free version of SNOMED CT. (C) 2014 Elsevier B.V. All rights reserved.

Place, publisher, year, edition, pages
ELSEVIER SCIENCE BV , 2015. Vol. 65, no 1, 29-34 p.
Keyword [en]
Automated auditing method; Intra-axiom redundancies; OWL 2 EL; Clinical terminology; SNOMED CT
National Category
Medical Biotechnology
URN: urn:nbn:se:liu:diva-122213DOI: 10.1016/j.artmed.2014.10.003ISI: 000362140700004PubMedID: 25455563OAI: diva2:864321
Available from: 2015-10-26 Created: 2015-10-23 Last updated: 2015-10-26

Open Access in DiVA

No full text

Other links

Publisher's full textPubMed

Search in DiVA

By author/editor
Cornet, Ronald
By organisation
Medical InformaticsFaculty of Science & Engineering
In the same journal
Artificial Intelligence in Medicine
Medical Biotechnology

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 142 hits
ReferencesLink to record
Permanent link

Direct link