Ontological analysis of SNOMED CT.
BACKGROUND
SNOMED CT is the most comprehensive medical terminology. However, its use for intelligent services based on formal reasoning is questionable.


METHODS
The analysis of the structure of SNOMED CT is based on the formal top-level ontology DOLCE.


RESULTS
The analysis revealed several ontological and knowledge-engineering errors, the most important are errors in the hierarchy (mostly from an ontological point of view, but also regarding medical aspects) and the mixing of subsumption relations with other types (mostly 'part of').


CONCLUSIONS
The found errors impede formal reasoning. The paper presents a possible way to correct these problems.
Héja
Gergely
G
National Institute for Strategic Health Research, Arany János utca 6-8, 1051 Budapest, Hungary. heja@eski.hu
Surján
György
G
Varga
Péter
P
D004194:Disease / Q000145:classification; D005069:Evaluation Studies as Topic; D006814:Hungary; D039061:Systematized Nomenclature of Medicine; D018511:Systems Integration; D009626:Terminology as Topic