Scholarlink

In this paper, we present a practical method for computing uniform interpolation and forgetting in \(\mathcal {ELIH}\) -ontologies, addressing fundamental operations critical for detecting semantic differences in ontology evolution. Our method extends previous work to accommodate inverse roles while maintaining soundness and termination guarantees. Empirical evaluation across industry benchmarks from Oxford ISG and NCBO BioPortal demonstrates 100% success rates with notable improvements in computational efficiency compared to state-of-the-art systems. The practical impact of our method has been validated through application to SNOMED CT, the world’s largest clinical terminology supporting healthcare information systems globally. This enables terminologists and developers to systematically track semantic differences, detect unintended consequences, and validate change safety across SNOMED CT releases.

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

Uniform Interpolation and Forgetting for Large-Scale Ontologies with Application to Semantic Difference in SNOMED CT

  • 会议论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年

查看全文
  • Yizheng Zhao,
  • Junyi Zhang,
  • Renate A. Schmidt

摘要

In this paper, we present a practical method for computing uniform interpolation and forgetting in \(\mathcal {ELIH}\) -ontologies, addressing fundamental operations critical for detecting semantic differences in ontology evolution. Our method extends previous work to accommodate inverse roles while maintaining soundness and termination guarantees. Empirical evaluation across industry benchmarks from Oxford ISG and NCBO BioPortal demonstrates 100% success rates with notable improvements in computational efficiency compared to state-of-the-art systems. The practical impact of our method has been validated through application to SNOMED CT, the world’s largest clinical terminology supporting healthcare information systems globally. This enables terminologists and developers to systematically track semantic differences, detect unintended consequences, and validate change safety across SNOMED CT releases.