[論文レビュー] Some Ontological Principles for Designing Upper Level Lexical Resources

Nicola Guarino|arXiv (Cornell University)|Sep 9, 1998

Semantic Web and Ontologies参考文献 25被引用数 215

ひとこと要約

本稿は、語彙的分類における意味的不整合性を解消するための形式的オントロジー枠組みを提案する。これは、『ISAオーバーローディング』——言語的意味と本体的カテゴリーを混同するためにISA（は-）関係が誤用されること——を解決することを目的としている。同一性基準に基づく剛性のある型、反剛性の役割、およびカテゴリーを区別することで、意味的役割とコアな本体的構造を分離し、より明確で再利用可能な分類体系を実現する。

ABSTRACT

The purpose of this paper is to explore some semantic problems related to the use of linguistic ontologies in information systems, and to suggest some organizing principles aimed to solve such problems. The taxonomic structure of current ontologies is unfortunately quite complicated and hard to understand, especially for what concerns the upper levels. I will focus here on the problem of ISA overloading, which I believe is the main responsible of these difficulties. To this purpose, I will carefully analyze the ontological nature of the categories used in current upper-level structures, considering the necessity of splitting them according to more subtle distinctions or the opportunity of excluding them because of their limited organizational role.

研究の動機と目的

• ISA関係の過剰使用によって引き起こされる上位レベル語彙的オントロジーにおける意味的不整合を解消すること。
• WordNet や Pangloss のような言語的オントロジーにおけるカテゴリーの本体的状態を明確化すること。
• 形式的オントロジーの区別を適用することで、情報システムにおける上位レベルオントロジーの再利用可能性と整合性を向上させること。
• 明示的な役割と型の区別を通じて、言語的多義性と本体的分類を分離すること。
• 語彙的リソース開発における意味的厳密性を高め、曖昧さを低減する設計原則を提供すること。

提案手法

• メアロジー、同一性基準、依存理論などの形式的オントロジー道具を用いて分類構造を分析する。
• 三重の区別を導入：型（剛性あり、同一性基準あり）、カテゴリー（剛性あり、同一性基準なし、上位レベル）、役割（反剛性、依存性あり、同一性基準なし）。
• 型とカテゴリーのみが分類体系のコアな骨格を形成すべきであり、役割は明示的にマークされ、分離されるべきである。
• 多義性と意味的変異を符号化するために、過剰なISAリンクを専用関係に置き換える。
• 同一性基準（Loweの原則）を用いて、相互に排他的であることを保証し、カテゴリーの混同を防ぐ。
• 言語的実体（例：語）を主オントロジーの領域から除外することで、意味的汚染を回避することを推奨する。

実験結果

リサーチクエスチョン

• RQ1 ISAオーバーローディングは、上位レベル語彙的オントロジーの意味的解釈をどのように歪めているか？
• RQ2 言語的多義性と本体的分類を区別するためには、どのような本体的区別が必要か？
• RQ3 同一性基準をどのように用いて、剛性のある型と反剛性の役割を定義し分離できるか？
• RQ4 明確な上位レベル分類体系において、カテゴリー、型、役割の組織的役割は何か？
• RQ5 形式的オントロジー原則をどのように適用することで、語彙的リソースの再利用可能性と整合性を向上できるか？

主な発見

• ISA関係は、同一性基準を共有するエンティティ間のリンクに限定されるべきであり、そうでなければ意味的過剰使用が生じる。
• 各型が異なる同一性基準を持つ場合、型とカテゴリーは互いに排他的であり、木構造的な骨格を形成する。
• 役割は反剛性かつ依存性を持つため、明示的にマークされ、主分類体系から除外されるべきであり、複雑な階層を避ける。
• 属性（非剛性、非依存性の性質）は分類体系において組織的役割を持たず、分類子として使用すべきでない。
• 型から役割を明示的に分離することで、明示的な宣言なしに信頼性のある推論と排他的性の推論が可能になる。
• 提案された枠組みにより、情報システムにおけるより厳密で再利用可能かつ理解しやすい上位レベルオントロジーが実現可能になる。