Abstract
gUFO is a lightweight implementation of the Unified Foundational Ontology (UFO) suitable for Semantic Web OWL 2 DL applications. UFO is a mature foundational ontology with a rich axiomatization and that has been employed in a significant number of projects in research and industry. Moreover, it is currently in the process of standardization by the International Organization for Standardization as the ISO/IEC CD 21838-5. gUFO stands out from other foundational ontology implementations (such as those provided for BFO and DOLCE) given its unique support for a typology of types (operationalizing OntoClean guidelines), its reification patterns for intrinsic and relational aspects, and its support for situations and high-order types. gUFO provides well-founded patterns to address recurrent problems in Semantic Web knowledge graphs. In this paper, we present gUFO with its constituting categories, relations and constraints, discuss how it differs from the original UFO reference ontology, elaborate on its community adoption, and systematically position it in relation to existing OWL-based implementations of popular alternative foundational ontologies.
Abstract (translated)
gUFO是统一基础本体论(UFO)的轻量级实现,适用于语义网OWL 2 DL应用。UFO是一个成熟的基础本体论,具有丰富的公理化体系,已在众多研究和工业项目中得到应用。此外,它目前正由国际标准化组织推进标准化进程,作为ISO/IEC CD 21838-5标准。相较于其他基础本体论实现(如为BFO和DOLCE提供的实现),gUFO的独特之处在于:其对类型分类体系的独特支持(将OntoClean指南操作化)、对内在与关系方面的具体化模式,以及对情境和高阶类型的支持。gUFO提供了基于良好理论基础的解决方案,以应对语义网知识图谱中反复出现的问题。本文介绍了gUFO的构成类别、关系与约束,讨论了其与原始UFO参考本体论的差异,阐述了其社区采用情况,并系统性地将其与现有基于OWL的流行替代基础本体论实现进行了对比定位。
URL
https://arxiv.org/abs/2603.20948