Investigating subsumption in SNOMED CT: An exploration into large description logic-based biomedical terminologies
Investigating subsumption in SNOMED CT: An exploration into large description logic-based biomedical terminologies
复制标题
DOI：
10.1016/j.artmed.2006.12.003
复制
发表时间：
2007-03-01
影响因子：
7.5
通讯作者：
Burgun, Anita
中科院分区：
文献类型：
--
作者：
Bodenreider, Olivier;Smith, Barry;Burgun, Anita
目的：基于描述逻辑（DL）的形式主义有时被提出来帮助确保术语和受控词汇表符合可靠的本体论原则。本文的目的是研究在何种程度上一个DL为基础的生物医学术语（SNOMED CT）确实符合这样的principles.Materials and methods：我们定义了七个本体论原则（例如：每个类必须至少有一个父，每个类必须不同于它的父），并检查了这些原则的SNOMED CT类的属性。结果如下：我们的主要结果是31%的这些类有一个孩子; 27%有多个父母; 51%没有表现出任何差异之间的描述的父和子的child.Conclusions：本原则的质量保证本体论的应用进行了讨论，并提出了建议，为处理多重继承的现象。我们的方法的优点和局限性进行了讨论。(c)2006 Elsevier B. V.保留所有权利。
Objective: Formalisms based on one or other flavor of description logic (DL) are sometimes put forward as helping to ensure that terminologies and controlled vocabularies comply with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) does indeed comply with such principles.Materials and methods: We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED CT classes with respect to these principles. Results: Our major results are 31% of these classes have a single child; 27% have multiple parents; 51 % do not exhibit any differentiae between the description of the parent and that of the child.Conclusions: The applications of this principles to quality assurance for ontologies are discussed and suggestions are made for dealing with the phenomenon of multiple inheritance. The advantages and limitations of our approach are also discussed. (c) 2006 Elsevier B.V. All rights reserved.