Scholarlink

Many modern biomedical terminologies including SNOMED CTSNOMED CT and NCItNCI Thesaurus (NCIt) have been formally represented using description logics (DLDescription Logic (DL)), a family of formal knowledge representation languages. A key reasoning service provided by DL is ontology classification, achieved by DL reasoners (e.g., ELK [121], Snorocket [122]), which can check the consistency of definitions across the whole ontology and automatically infer a hierarchy of concepts (i.e., infer IS-A hierarchical relations among concepts) based on the stated facts. In this chapter, we discuss approaches that leverage these logical definitions to identify missing IS-A relations and missing concepts in biomedical ontologies.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Logical Definitions of Concepts

  • 章节

  • 发表日期：

    2026年

查看全文
  • Guo-Qiang Zhang,
  • Rashmie Abeysinghe,
  • Licong Cui

摘要

Many modern biomedical terminologies including SNOMED CTSNOMED CT and NCItNCI Thesaurus (NCIt) have been formally represented using description logics (DLDescription Logic (DL)), a family of formal knowledge representation languages. A key reasoning service provided by DL is ontology classification, achieved by DL reasoners (e.g., ELK [121], Snorocket [122]), which can check the consistency of definitions across the whole ontology and automatically infer a hierarchy of concepts (i.e., infer IS-A hierarchical relations among concepts) based on the stated facts. In this chapter, we discuss approaches that leverage these logical definitions to identify missing IS-A relations and missing concepts in biomedical ontologies.