[論文レビュー] Information Integration and Computational Logic

Yannis Dimopoulos, Antonis Kakas|ArXiv.org|Jun 11, 2001

Advanced Database Systems and Queries参考文献 160被引用数 9

ひとこと要約

本論文は、情報統合のための統合的枠組みとして計算論理を提案し、物理的統合を必要とせずに、柔軟で透明性があり知能的な異種データソースの統合を可能にする。論理に基づく中間処理、推論、記述的モデリングが、特にセマンティックウェブおよび分散型データソースの文脈において、スケーラブルで意味論的に豊かな統合を支援する仕組みを形式的に定式化することで、メタデータの統合、スキーマ間の推論、高レベルのクエリと低レベルのデータ操作とのリンクを実現する。

ABSTRACT

Information Integration is a young and exciting field with enormous research and commercial significance in the new world of the Information Society. It stands at the crossroad of Databases and Artificial Intelligence requiring novel techniques that bring together different methods from these fields. Information from disparate heterogeneous sources often with no a-priori common schema needs to be synthesized in a flexible, transparent and intelligent way in order to respond to the demands of a query thus enabling a more informed decision by the user or application program. The field although relatively young has already found many practical applications particularly for integrating information over the World Wide Web. This paper gives a brief introduction of the field highlighting some of the main current and future research issues and application areas. It attempts to evaluate the current and potential role of Computational Logic in this and suggests some of the problems where logic-based techniques could be used.

研究の動機と目的

• 異種的で自律的かつ意味論的に多様なデータソースを、柔軟で透明な方法で統合するという課題に対処すること。
• 計算論理を、中間処理のモデリングと、異なる情報ソース間の知的な協調を可能にする基盤的枠組みとして位置づけること。
• 論理に基づく手法が、単なるスキーママッピングを超えて、オントロジーと準構造化データの上での推論を支援する方法を検討すること。
• 論理的形式的表現を用いた情報統合システムのスケーリングと拡張における主な研究的課題を同定すること。
• 特にセマンティックウェブの文脈において、論理を情報統合アーキテクチャにおける統合的モデリングおよび調整レイヤーとして提唱すること。

提案手法

• 異種のデータソース上での論理的ビューとして中間処理アーキテクチャを形式的に指定・実装すること。
• クエリの再形式化、ソース選択、異種スキーマ間の意味的整合性の確立のためのコアメカニズムとして論理的推論を用いること。
• 意味的関係やオントロジーのモデリングに記述的論理を適用し、整合性のないまたは重複するデータ上での推論を可能にすること。
• 制約論理プログラミングや誘導的論理プログラミングなどのデータベース技術およびAI手法と論理を統合し、スケーラブルなクエリ最適化を実現すること。
• XML やウェブページなどの準構造化データを、リレーショナルデータベースに類似した論理的表現を用いて形式化し、論理的クエリを可能にすること。
• 高レベルのアプリケーション要件と低レベルのデータ取得または制約解法プロセスとの間を論理が中間処理するハイブリッド計算モデルを提案すること。

実験結果

リサーチクエスチョン

• RQ1 計算論理は、異種的かつ自律的な情報ソース統合のための統合的枠組みとしてどのように機能するか？
• RQ2 論理は、異なるスキーマ間で透過的なクエリ処理を可能にする中間処理システムの指定と実装において、どのような役割を果たすか？
• RQ3 グローバルスキーマが存在しない状況下で、論理的推論はどのように知的なクエリ再形式化とソース選択を支援するか？
• RQ4 論理的形式的表現は、構文的またはスキーマレベルのマッピングを超えて、意味的統合をどのように向上させるか？
• RQ5 Web などの大規模で動的かつ準構造化されたデータソースへの情報統合をスケーリングするにあたり、論理の使用における課題と機会は何か？

主な発見

• 計算論理は、中間処理のモデリングに宣言的で拡張可能な基盤を提供し、異種データソースの柔軟で透明な統合を可能にする。
• 論理的推論メカニズムは、自律的で異なる情報ソース間の通信と協調を効果的に調整し、論理的なミドルウェア層を形成する。
• 論理を用いた準構造化データの形式化により、より豊かなクエリ処理と統合が可能となり、リレーショナルデータベースの形式化に類似した形で実現される。
• オントロジーに基づく推論が論理によって支援されることで、浅いスキーママッピングを超えた意味的統合が可能になり、知的なデータ統合が実現される。
• 制約プログラミングおよびマルチエージェントシステムと論理を統合することで、複雑な統合タスクにおけるスケーラビリティと表現力が向上する。
• セマンティックウェブのビジョンは、論理が異種のウェブデータを統一的かつ合理的に統合するために不可欠であり、分野の主要な研究者によって強調されている。