研究SNOMED CT中的包含关系：对基于大型描述逻辑的生物医学术语的探索。
Investigating subsumption in SNOMED CT: an exploration into large description logic-based biomedical terminologies.
作者信息
Bodenreider Olivier, Smith Barry, Kumar Anand, Burgun Anita
机构信息
U.S. National Library of Medicine, National Institutes of Health, Bethesda, MD, USA.
出版信息
Artif Intell Med. 2007 Mar;39(3):183-95. doi: 10.1016/j.artmed.2006.12.003. Epub 2007 Jan 22.
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.
目的
基于某种描述逻辑（DL）形式的方法有时被提出，以帮助确保术语表和受控词汇表符合合理的本体论原则。本文的目的是研究一种基于DL的生物医学术语（SNOMED CT）确实符合这些原则的程度。
材料与方法
我们定义了七条本体论原则（例如：每个类必须至少有一个父类，每个类必须与其父类不同），并针对这些原则检查了SNOMED CT类的属性。
结果
我们的主要结果是，这些类中有31%只有一个子类；27%有多个父类；51%在父类和子类的描述之间没有表现出任何差异。
结论
讨论了这些原则在本体质量保证中的应用，并针对多重继承现象提出了处理建议。还讨论了我们方法的优点和局限性。
Zotero 插件