arXiv:2408.03866v2 宣布类型: replace-cross 摘要: 《来源本体》(PROV-O) 是万维网联盟 (W3C) 推荐的一种本体，用于结构化在各种领域的来源数据。《基本正式本体》(BFO) 是一个顶级本体，ISO/IEC 标准，用于结构化各种本体，如 OBO 发现本体和通用核心本体 (CCO)。为了增强这两个本体及其扩展以及由它们组织的数据的互操作性，根据具体的准则，提出了映射方法和一套对齐方法，这些准则优先考虑语义和逻辑原则。通过检查与 PROV-O 实例的经典示例的逻辑一致性，并查询不满足形式化为 SPARQL 的对齐准则的术语，来评估本体对齐。使用各种语义网技术来支持 FAIR (可获取的、可访问的、互操作的、可重用的) 原则。