用逻辑系统统一异构本体，解决语义不一致问题。
da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based on consequence systems
- 基于扩展的推理系统，整合本体公理
- 通过形态映射与纤维化操作连接不同本体
- 适合本体集成与跨系统语义对齐研究
本文提出一种解决本体异构性的新方法，受卡尔纳普-戈根主义启发，命名为达科斯塔-塔斯基主义。该方法基于后果系统理论，引入扩展后果系统，即在原有系统中加入本体公理。进一步定义了扩展发展图，以图结构表示本体间的映射关系，并支持纤维化、分裂等操作。该框架为应用本体学提供形式化工具，推动跨系统语义集成，未来可拓展至多源知识融合场景。
原文摘要 · Abstract (English)
This paper presents a novel approach for ontological heterogeneity that draws heavily from Carnapian-Goguenism, as presented by Kutz, Mossakowski and Lücke (2010). The approach is provisionally designated da Costian-Tarskianism, named after da Costa's Principle of Tolerance in Mathematics and after Alfred Tarski's work on the concept of a consequence operator. The approach is based on the machinery of consequence systems, as developed by Carnielli et al. (2008) and Citkin and Muravitsky (2022), and it introduces the idea of an extended consequence system, which is a consequence system extended with ontological axioms. The paper also defines the concept of an extended development graph, which is a graph structure that allows ontologies to be related via morphisms of extended consequence systems, and additionally via other operations such as fibring and splitting. Finally, we discuss the implications of this approach for the field of applied ontology and suggest directions for future research.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。