AI 中文总结
该研究提出基于本体形而上学承诺的语义映射验证方法，以IES与BFO的映射为例提供基数约束，通过SPARQL查询验证映射流水线结果，为语义映射验证提供了新途径。
AI 中文摘要
本文讨论了一种新颖方法的基础，该方法用于验证基于不同基础本体的不同数据源之间的语义映射，其构建的框架基于本体的形而上学承诺。我们以IES与BFO之间的映射作为测试案例，特别关注为两个本体间的映射提供基数约束。为证明该方法的适用性，我们展示了这些原则如何通过SPARQL查询实现，以验证映射流水线的结果。
英文摘要
In this paper we discuss the foundations behind a novel methodology for the validation of semantic mappings between different data sources based upon different foundation ontologies, where the methodology builds a framework based upon the metaphysical commitments of the ontologies. We provide as example the test case of mappings between IES and BFO, and we especially focused on providing cardinality constraints on the mappings between the two ontologies. In order to demonstrate the applicability of our method, we showcased how these principles can be operationalized through SPARQL queries validating the results of a mapping pipeline.
