@inproceedings{7d412af8720a4d9abe2ff8016503f928,
title = "Expanding evolutionary terminology auditing with historic formal and linguistic intensions: A case study in SNOMED CT",
abstract = "A method is described to use SNOMED CT's history mechanism as a means to compute how the formal and linguistic intensions of its concepts change over versions. As a result of this, it is demonstrated that the intended principle of concept permanence is not always adhered to. It is shown that the evolution of formal intensions can be monitored fully automatically and that the proposed procedure includes a method to suggest missing subsumers in a concept's transitive closure set by identifying mistakes that have been made in the past. Changes in linguistic intensions were found to be much more labor-intensive to identify. It is suggested that this could be improved if the history mechanism would come with more detailed motivations for change than the current and insufficiently used annotation to the effect that a fully specified name 'fails to comply with the current editorial guidance'.",
keywords = "Algorithms, Semantics, Systematized Nomenclature of Medicine",
author = "Werner Ceusters and Sarah Mullin",
note = "Publisher Copyright: {\textcopyright} 2019 International Medical Informatics Association (IMIA) and IOS Press. This article is published online with Open Access by IOS Press and distributed under the terms of the Creative Commons Attribution Non-Commercial License 4.0 (CC BY-NC 4.0).; 17th World Congress on Medical and Health Informatics, MEDINFO 2019 ; Conference date: 25-08-2019 Through 30-08-2019",
year = "2019",
month = aug,
day = "21",
doi = "10.3233/SHTI190184",
language = "English",
series = "Studies in Health Technology and Informatics",
publisher = "IOS Press",
pages = "65--69",
editor = "Brigitte Seroussi and Lucila Ohno-Machado",
booktitle = "MEDINFO 2019",
}