[論文レビュー] gUFO: A Gentle Foundational Ontology for Semantic Web Knowledge Graphs

João Paulo A. Almeida, Giancarlo Guizzardi+2 more|arXiv (Cornell University)|Mar 21, 2026

Semantic Web and Ontologies被引用数 0

ひとこと要約

gUFO は UFO の軽量な OWL 2 DL 実装を提供し、型の類型論のパターン、内的および関係的側面の再結晶化、状況および高次型のサポートを強調して、セマンティックWeb 知識グラフを改善します。

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.

研究の動機と目的

• Semantic Web 知識グラフに適した軽量で OWL 2 DL 互換の UFO 実装を提供する。
• intrinsic および関係的側面の再結晶化と、状況および高次型の取扱いに関する実用的パターンを提供する。
• ドメインオントロジーと OntoUML との統合を促進し、ツールサポートと FAIR 準拠のドキュメントを提供する。

提案手法

• gUFO オントロジー、その 51 のクラス、40 のオブジェクトプロパティ、7 のデータプロパティを説明し、個体と型の二つの互いに交差しない分類体系（disjoint taxonomies）に組織されていることを示す。
• 品質、関係、状況のオントロジー設計パターンを提示し、内的および外的側面の再結晶化パターンを含む。
• gUFO が高次型（パワータイプ）をどのようにサポートし、SHACL 制約を用いてドメインオントロジーを検証できるかを説明する。
• ドメインオントロジーや OntoUML ベースのモデルでの gUFO の再利用のためのマッピングと使用事例を示す。
• gUFO を他の OWL ベースの基礎オントロジーと比較し、UFO の元の形式化に対する設計上の判断を論じる。

Figure 1. gUFO taxonomy overview.

実験結果

リサーチクエスチョン

• RQ1 UFO をセマンティック Web 知識グラフのために OWL 2 DL で実際にどのように実装できるか？
• RQ2 RDF/OWL グラフにおける質的変化、時間的側面、および動的分類に対処するために gUFO はどのようなパターンを提供するか？
• RQ3 軽量で実装可能な方法で型の類型論と高次クラスを gUFO はどのようにサポートするか？
• RQ4 品質を保証する検証メカニズム（例：SHACL）は gUFO ベースのオントロジーの品質確保にどのように役立つか？

主な発見

• gUFO は個体と型という二つの互いに交差しない分類を持つ、軽量な OWL 2 DL 実装の UFO を提供する。
• 型のための明示的なメタプロパティ（硬直性、種別性、外部依存性）と内的および関係的側面の再結晶化パターンを提供する。
• gUFO は状況、高次型、および再結晶化された品質値をサポートし、知識グラフの動的分類と時間的変化に対処する。
• SHACL ベースの品質チェックとドメインオントロジー設計および知識グラフへの変換のための OntoUML との整合を可能にする。
• 他の OWL ベースの基礎オントロジーとの関連づけを示し、学術界と産業界での採用を論じる。