解决英北约国防数据体系中三大本体的对齐难题，提升系统互操作性。

Consistency Is Not Coherence: Orientation Search for Certified Alignments Between 4D Defence Upper Ontologies

• 构建三类防御本体间的17组对应关系并转为OWL格式
• 通过HermiT推理发现三者间存在不一致的对齐关系
• 成果可推广至其他复杂本体系统的认证对齐任务

我们对支撑英国和北约国防数据基础设施的三个上层本体——信息交换标准（IES）、国家数字孪生基础的高质量数据模型（HQDM）以及基本形式本体（BFO）进行了对齐。此前，IES与HQDM之间无公开对齐方案。通过将手工编纂的17组对应关系转换为OWL，并使用HermiT对合并后的完整本体进行推理，得到三个我们认为超越该对齐对的结论。

原文摘要 · Abstract (English)

We align three upper ontologies that sit under UK and NATO defence data infrastructure: the Information Exchange Standard (IES), the Higher Quality Data Model (HQDM) that underpins the National Digital Twin, and Basic Formal Ontology (BFO). No public alignment between IES and HQDM existed. Promoting a hand-curated 17-correspondence crosswalk to OWL and reasoning over the complete merged ontologies with HermiT produces three results that we believe matter beyond this pair.

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。