arXiv · AI· Fabio Rovai·· 8 小时前AI 评分22
IES 信息交换标准本体对齐认证研究
From Certified Pairs to a Certified Hub: Reasoner-Checked Crosswalks for the Information Exchange Standard
AI 导读
针对 IES 标准构建本体对齐认证框架，解决数字孪生生态中映射有效性定义缺失问题。 应用逻辑对齐修复方法，结合 HermiT 推理器，对 13 个本体进行两两匹配及全枢纽合并测试。 消除 526 个保守性违规，揭示核心枢纽中存在标准间逻辑矛盾，确立以枢纽为认证单位的必要性。
来源：arXiv · AI · arxiv.org