オントロジー指向による論理体系の研究

2002 Fiscal Year Annual Research Report

• Project/Area Number: 14780311
• Research Institution: National Institute of Informatics
• Principal Investigator: 兼岩 憲 国立情報学研究所, 情報学基礎研究系, 助手 (00342626)
• Keywords: オントロジー / 知識ベースシステム / Description Logic / 順序ソート論理

Research Abstract

本研究では、オントロジーに重点を置いた論理体系の設計を目指している。そのため、順序ソート論理やDescription Logicの研究をベースにして、オントロジー記述に適した論理的な表現と推論メカニズムを理論的かつ形式的に整備する。そうしたアプローチは、構文と意味論が厳密に与えられることでオントロジーの構築・運用に安全性をもたらしてくれる。14年度における主な研究成果は、(1)既存の言語体系に関する研究と(2)Description Logic(記述論理)の拡張とに分類され、その詳細は以下の通りである。
(1)既存の言語体系に関する研究
既存の順序ソート論理を分析しその論理をオントロジーに応用するために、否定的なソートを含んだソート階層の論理を定式化、およびソート述語を導入した論理プログラミングの完全性の証明を完成させた。この論理の拡張は、これまでの単純なソートの階層に否定と構造的な表現を新たに導入するとともに、ソート述語によって階層的な知識と言明的な知識との融合を可能にしている。
(2)Description Logic(記述論理)の拡張
論理プログラミング言語の特徴であるルールと事実による推論メカニズムを、記述論理に導入する方法を提案した。法律知識の推論では、法令文などの汎用的なルール表現と実際の事例を記述する表現とともに、法律の語彙を定義する法律オントロジーのような異なるタイプの知識を扱わなくてはならない。本研究では、そのような概念階層およびルールと事実の3つに分類される知識上での推論を可能にしている。

Research Products

• [Publications] 兼岩 憲, 東条 敏: "否定的意味が内在するソートを含んだソート階層の論理"情報処理学会論文誌. 43・5. 1505-1517 (2002)
• [Publications] 兼岩 憲: "ソート述語を導入した論理プログラミングの完全性"電子情報通信学会論文誌. J85-D-I・7. 662-671 (2002)
• [Publications] 兼岩 憲, 佐藤 健: "DL : Description Logics"人工知能学会誌. 18・1. 73-82 (2003)