[論文レビュー] Generic Ontology Design Patterns: Roles and Change over Time

Bernd Krieg-Brückner, Till Mossakowski+1 more|arXiv (Cornell University)|Nov 18, 2020

Semantic Web and Ontologies参考文献 19被引用数 4

ひとこと要約

本論文は、ドメインの専門家が自身のオントロジーを汚染せずに標準化されたパターンを安全に再利用できるようにするため、役割と時間的変化を体系的かつ効果的にモデル化するための一般化オントロジー設計パターン（GODPs）を導入する。このアプローチは、形式的仕様技法を用いてパターンをカプセル化することで、時間経過に伴う意味的モデリングにおけるモジュラリティ、再利用可能性、正しさを保証する。

ABSTRACT

In this chapter we propose Generic Ontology Design Patterns, GODPs, as a methodology for representing and instantiating ontology design patterns in a way that is adaptable, and allows domain experts (and other users) to safely use them without cluttering their ontologies.

研究の動機と目的

• 再利用可能性と保守可能性の課題に応えるために、繰り返し発生するモデリング解決策を形式的に定式化すること。
• ドメインの専門家が、整合性の損ないや冗長性の増加を引き起こさずに、複雑なモデリングパターンを安全に適用できるようにすること。
• 一般的で拡張可能なフレームワークを用いて、役割と時間的ダイナミクスを形式的に表現するためのメソッドを提供すること。
• ドメイン固有のコンテンツと再利用可能なモデリングパターンの間の責任の分離を支援すること。
• パターンインスタンス化メカニズムを通じて、意味的に整合的で保守可能なオントロジーの作成を促進すること。

提案手法

• 役割と時間的変化をモデル化するための形式的で再利用可能なテンプレートとして、一般化オントロジー設計パターン（GODPs）を定義する。
• パラメータ化されたインスタンス化を可能にするために、形式的オントロジー言語（おそらくOWLまたはその変種）を用いてパターンをエンコードする。
• パターン定義をドメインオントロジーから分離することで、アプリケーション固有のモデルへの汚染を防ぐ。
• ドメイン固有のオントロジー内でのGODPsのパラメータ化されたインスタンス化を可能にするメカニズムを導入する。
• 形式的意味論を活用して、パターン適用の正しさと一貫性を保証する。
• パターンフレームワーク内での時間的変化の表現のための専用構成要素を通じて、時間的モデリングを支援する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、再利用可能で安全な方法で役割と時間的変化を形式的に定式化できるか？
• RQ2 ドメインの専門家が自身のオントロジーを変更せずに、複雑なモデリングパターンをインスタンス化できる形式的メカニズムは何か？
• RQ3 意味的整合性を保ちつつ、パターン定義とドメインモデルの分離をどのように達成できるか？
• RQ4 パラメータ化が、多様なドメインにわたるパターンの一般化された再利用をどのように可能にするか？
• RQ5 GODPsは、時間の経過に伴って変化するエンティティや役割をモデル化する際、正しさと一貫性をどのように保証するか？

主な発見

• GODPsは、オントロジーにおける役割と時間的変化を形式的かつ再利用可能なフレームワークとして提供し、モジュラリティと保守可能性を向上させる。
• 本アプローチは、パターン定義とドメインオントロジーの分離に成功しており、不要な冗長性の削減と再利用性の向上を実現した。
• 形式的仕様により、パターンインスタンス化時の意味的正しさと一貫性が保証された。
• パラメータ化されたインスタンス化により、ドメインの専門家は下位の形式的体系の深い知識がなくても、複雑なパターンを適用できるようになった。
• 本方法は、動的エンティティと役割の遷移を、体系的かつスケーラブルな方法でモデル化できる。
• フレームワークは、特に知識集約型アプリケーションを想定した、既存のオントロジー工学ワークフローへの統合を想定して設計されている。