Lesson 3: OWL関係性と推論 - オントロジーの真の力

所要時間: 10分 | 前提: Lesson 1-2（オントロジー基礎、CQと概念モデリング）

本レッスンのゴール:
OWL（Web Ontology Language）の関係性特性（Transitive, Inverse, Symmetric等）を理解し、推論エンジンがどのように「明示されていない知識」を自動導出するのかを体感します。

1. なぜ「関係性の特性」が重要なのか？

単純なリレーションデータベースでも「部長→田中」「田中→太郎」のようなエッジは作れます。しかし、「部長の田中が管理するすべての人」を自動的に探索できるか？ という問いにRDBでは自力で再帰クエリを書く必要があります。

OWLでは、関係性（Object Property）自体に論理的な特性（Characteristic）を付与することで、推論エンジンが自動的に隠れた関係を発見します。

ポイント: オントロジーの真価は「明示された事実」ではなく、「明示されていないが論理的に導出可能な知識」を自動的に取り出せることにあります。

2. 主要なOWLプロパティ特性

2-1. 推移的関係（Transitive Property）

定義: A → B かつ B → C なら A → C が自動的に成立する関係。

プロパティ例	意味	推論結果
`partOf`	「AはBの一部である」	「A partOf B」かつ「B partOf C」→「A partOf C」
`ancestorOf`	「AはBの祖先である」	親子関係から曾祖父関係まで自動推論
`locatedIn`	「AはBに位置する」	「東京支店 locatedIn 東京都」かつ「東京都 locatedIn 日本」→「東京支店 locatedIn 日本」

💡 ビジネス適用例: 組織階層・コストセンターの自動集約

課題: 親会社→子会社→事業部→チームの階層で「特定親会社配下の全チーム」を取得したい場合、RDBでは再帰CTEや階層クエリが必要。

OWLでの解決: partOf を Transitive Property に指定するだけで、推論エンジンが「日本支社 partOf A社」「東京支社 partOf 日本支社」から「東京支社 partOf A社」を自動導出。SPARQLクエリ1行で全チェーンを取得可能。

2-2. 逆関係（Inverse Property）

定義: A → B なら B → A が自動的に成立する関係の組。

プロパティ	逆プロパティ	意味
`manages`	`managedBy`	「AがBを管理」↔「BはAに管理されている」
`employs`	`employedBy`	「会社が従業員を雇用」↔「従業員が会社に雇用されている」
`hasPart`	`partOf`	「システムAがシステムBを含む」↔「システムBはシステムAの一部」

GraphRAGへの影響: 逆関係を定義すると、「部門Xが管理するすべての資産」の查询だけでなく、「資産Yがどの部門に管理されているか？」という逆方向の探索も自動的に可能になります。RAGの検索パスが倍増します。

2-3. 対称関係（Symmetric Property）

定義: A → B なら B → A が自動的に成立する関係（自らが逆関係）。

プロパティ例	意味
`collaboratesWith`	「AとBは協力関係」↔「BとAは協力関係」
`adjacentTo`	「AはBに隣接」↔「BはAに隣接」

2-4. サブプロパティ（SubProperty）

定義: プロパティ間のis-a階層。worksFor は affiliatedWith のサブプロパティである場合、X worksFor Y なら自動的に X affiliatedWith Y も成立。

スーパークラス	サブクラス	意味
`relatedTo`	`manages`	「管理」は「関連」の特殊ケース
`partOf`	`teamMemberOf`	「チームメンバー」は「組織の一部」の特殊ケース

実践のコツ: 汎用的な「relatedTo」プロパティをトップに置き、業務固有の関係をサブプロパティとして定義すると、検索の汎用性と精度の両立が容易になります。

3. 推論エンジンの動作イメージ

以下のような事実（トリプル）をRDFとして格納したとします:

# 事実（明示的なトリプル）
ex:東京支社  ex:partOf  ex:日本支社 .
ex:日本支社  ex:partOf  ex:A社本社 .
ex:田中      ex:manages ex:東京支社 .

# プロパティ定義
ex:partOf    a  owl:TransitiveProperty .
ex:manages   owl:inverseOf  ex:managedBy .

推論エンジンが自動的に導出する「隠れた知識」:

# 推論で自動導出されるトリプル
ex:東京支社  ex:partOf  ex:A社本社 .   # 推移性より
ex:東田支社  ex:managedBy ex:田中 .   # 逆関係より

SPARQLクエリで ex:A社本社 に partOf するすべての組織を問い合わせると、中间の 日本支社 を経て 東京支社 も自動的に結果に含まれます。

4. 理解度チェック（Practice Quiz）

問: 「部署Aが部署Bを管理し、部署Bが部署Cを管理する」という事実データがある。OWLで manages プロパティを Transitive Property として定義した場合、推論エンジンが自動導出する正しいトリプルはどれか？

5. GraphRAG/LLM連携での実践的価値

OWLプロパティ特性を理解することは、Missionで掲げた「LLM/RAGの精度向上」において以下の実践的価値を持ちます:

検索パスの自動拡張: 逆関係・推移的関係により、「部門Xが契約したベンダーの関連リスク」のような多段階クエリが自然言語から自動的にナビゲート可能。
ナレッジグラフの濃度向上: 明示的に登録されていない関係が推論で補完されるため、LLMへのコンテキスト供給が豊かに。
スキーマ設計の厳密化: プロパティ特性を定義することで「什么样的な関係が許されるか」が形式化され、データ品質の担保が容易に。

次のステップ: ここまで学んだ概念（CQ、概念抽出、OWLプロパティ特性）を統合し、実際の業務ドメイン（例: IT資産管理）でオントロジーをゼロから設計するハンズオン演習に進みます。

推奨一次情報

W3C OWL 2 Web Ontology Language Document Overview: OWLプロパティ特性の公式定義
Protégé: プロパティ特性をGUIで設定できるオントロジーエディタ

不明点や深掘りしたいテーマがあれば、远慮なく質問してください。 推論の実装（RDFlib/Protégé）やGraphRAGアーキテクチャの詳細など、次回以降のレッスンに反映します。

← 前: CQと概念モデリングリファレンスを見る →