[論文レビュー] Conceptual Knowledge Markup Language: The central core

Robert E. Kent|arXiv (Cornell University)|Sep 7, 2011

Semantic Web and Ontologies参考文献 8被引用数 16

ひとこと要約

本論文は、OMLとCKMLの間の概念的知識表現を結ぶ形式的意味論的・構文論的基盤であるOML/CKMLフレームワークの中心的コアを導入する。RDF/SおよびOntolinguaとの相互運用性を可能にし、知識システム統合およびモデリング言語間の意味的整合性に不可欠な理論的基盤を提供する。

ABSTRACT

The conceptual knowledge framework OML/CKML needs several components for a successful design. One important, but previously overlooked, component is the central core of OML/CKML. The central core provides a theoretical link between the ontological specification in OML and the conceptual knowledge representation in CKML. This paper discusses the formal semantics and syntactic styles of the central core, and also the important role it plays in defining interoperability between OML/CKML, RDF/S and Ontolingua.

研究の動機と目的

• OMLにおけるontology仕様とCKMLにおける概念的知識表現との間の形式的理論的リンクの欠如を解消すること。
• 知識モデリング言語間での意味的整合性と相互運用性を保証する中心的コアを定義すること。
• RDF/SおよびOntolinguaといった既存の標準とOML/CKMLを統合する基盤を確立すること。
• 中心的コアに形式的意味論と構文論的構造を提供し、正確な知識表現を支援すること。
• 異種の知識システム間で信頼性の高い機械処理可能な知識交換を可能にすること。

提案手法

• 論理的および概念的原則に基づく中心的コアの形式的意味論フレームワークの定義。
• 人間の可読性と機械処理可能性の両方を支援する構文的スタイルの設計。
• 中心的コアを中間層として使用し、OMLのontologyをCKMLの概念的知識表現にマッピングすること。
• RDFの三元組モデルと整合する形で中心的コアを表現することで、RDF/Sとの整合性を確保すること。
• 中心的コア内でOntolinguaの形式的特徴と表現力を保持することで、Ontolinguaとの統合を図ること。
• 形式的論理を用いて中心的コア内の関係および制約を指定し、整合性と正しさを保証すること。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてOMLのontologyとCKMLの知識表現を結ぶ形式的意味論的基盤を確立できるか？
• RQ2 どのような構文的構造が中心的コアにおける表現力と相互運用性を両立できるか？
• RQ3 中心的コアはどのようにRDF/SおよびOntolinguaとのシームレスな統合を支援するか？
• RQ4 中心的コアは知識モデリング言語間での意味的整合性を保証するために果たす役割は何か？
• RQ5 中心的コアはどのようにしてontologyモデリングと概念的知識モデリングの間の理論的・実践的ブリッジとして機能するか？

主な発見

• 中心的コアは、OMLのontologyとCKMLの知識表現との間で形式的意味論的リンクを成功裏に確立し、OML/CKMLフレームワークにおいて以前に無視されていたギャップを解消した。
• 中心的コアの構文的設計は、人間の解釈と機械処理の両方を支援し、使いやすさと統合性を向上させた。
• RDF/Sとの相互運用性は、中心的コアをRDFの三元組モデルとRDFSの意味論と整合する形で表現することで達成された。
• Ontolinguaとの統合は、その形式的特徴を再利用することで保持され、既存の知識モデリング実践との互換性が保たれた。
• 中心的コアは、共有の理論的基盤を提供することで、多様なシステム間での一貫性があり信頼性の高い知識交換を可能にした。
• 本フレームワークは、スケーラブルで相互運用可能な知識モデリングに、明確に定義されたコアコンponentが不可欠であることを示した。