arXiv cs.AI· Fabio Rovai·· 11 小时前AI 评分24
从认证配对到认证枢纽：面向信息交换标准的推理器校验跨本体映射
From Certified Pairs to a Certified Hub: Reasoner-Checked Crosswalks for the Information Exchange Standard
AI 导读
研究将基于逻辑的对齐修复中的连贯性与保守性检验应用于 Information Exchange Standard（IES），对 13 个本体、7 个行业组的跨本体映射逐对及整体枢纽进行校验。
正文 · AI 翻译
摘要：国家数字孪生被构想为一个由孪生体组成的生态系统，这些孪生体通过映射连接到共同基础，但承诺确认这些映射有效的路线图从未说明“有效”意味着什么。我们为这一检验给出了精确形式，即合并本体的连贯性与保守性，借鉴自基于逻辑的对齐修复，并将其应用于信息交换标准（IES），先逐对检验，再检验整个枢纽。从 IES 到七个行业组中十三个本体的交叉映射，以建筑本体 BOT、Brick 和 SAREF4BLDG 为锚点，经过匹配、人工审查、依据两个类层次对每个 SKOS 对应关系进行认证，以及使用 HermiT 进行推理等独立阶段。逐对来看，各阶段捕捉到不同的失败：仅认证就消除了原始交叉映射中全部 526 个保守性违规，仅审查则留下 73 个，两者结合使十二对重叠对中的十一对变得连贯且保守。逐对认证不可组合。将三个已认证的建筑交叉映射合并为一个枢纽，导致五个 Brick 类不可满足，原因在于 IES 与 Brick 对“楼层”概念的同名异义，而只有 BOT 的不相交公理揭示了这一点；拒绝该行后得到一个连贯且保守的枢纽，它蕴含了 290 条无人写下的跨本体链接。核心枢纽在添加任何交叉映射之前就是不一致的，因为两项已发布标准——开放能源本体和 BFO 2020——相互矛盾；去掉其中任意一个后，它就是连贯且保守的。孪生生态系统必须认证的单位是枢纽，而非对。
| 主题： | 人工智能（cs.AI）；数据库（cs.DB）；计算机科学中的逻辑（cs.LO） |
| 引用为： | arXiv:2611.06628 [cs.AI] |
| （或 arXiv:2611.06628v1 [cs.AI] 用于此版本） | |
| https://doi.org/10.48550/arXiv.2611.06628 由 DataCite 颁发的 arXiv DOI（待注册） |
提交历史
来自：Fabio Rovai [查看电子邮件]
[v1]
2026年11月4日星期三 15:12:05 UTC（227 KB）
来源：arXiv cs.AI · arxiv.org