一致性并非连贯性：面向4D防御上层本体认证对齐的方向搜索
Consistency Is Not Coherence: Orientation Search for Certified Alignments Between 4D Defence Upper Ontologies
- The Tesseract Academy (Kampakis and Co Ltd)（泰瑟拉克特学院（坎帕基斯有限公司））
机构由 AI 辅助整理，请以论文原文为准。
AI总结：
该研究针对英国和北约防御数据基础设施下的IES、HQDM、BFO三个上层本体，将17个对应关系交叉表推广到OWL，用HermiT推理得到三个有价值结果，解决了IES与HQDM无公开对齐的问题。
AI中文摘要：
我们对位于英国和北约防御数据基础设施下的三个上层本体进行对齐：信息交换标准（IES）、支撑国家数字孪生的高质量数据模型（HQDM）以及基础形式本体（BFO）。IES与HQDM之间不存在公开对齐。我们将人工整理的17个对应关系交叉表推广到OWL，并使用HermiT对完整合并后的本体进行推理，得到了三个我们认为超出该配对范围的重要结果。
英文摘要：
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.
