Héja Gergely, Surján György, Varga Péter
National Institute for Strategic Health Research, Arany János utca 6-8, 1051 Budapest, Hungary.
BMC Med Inform Decis Mak. 2008 Oct 27;8 Suppl 1(Suppl 1):S8. doi: 10.1186/1472-6947-8-S1-S8.
SNOMED CT is the most comprehensive medical terminology. However, its use for intelligent services based on formal reasoning is questionable.
The analysis of the structure of SNOMED CT is based on the formal top-level ontology DOLCE.
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').
The found errors impede formal reasoning. The paper presents a possible way to correct these problems.
SNOMED CT是最全面的医学术语。然而,将其用于基于形式推理的智能服务存在问题。
基于形式顶层本体DOLCE对SNOMED CT的结构进行分析。
分析发现了几个本体论和知识工程方面的错误,最重要的是层次结构中的错误(主要是从本体论角度,但也涉及医学方面)以及包含关系与其他类型(主要是“部分”关系)的混合。
所发现的错误阻碍了形式推理。本文提出了一种纠正这些问题的可能方法。