[論文レビュー] A Typed Hybrid Description Logic Programming Language with Polymorphic Order-Sorted DL-Typed Unification for Semantic Web Type Systems

Adrian Paschke|ArXiv.org|Oct 2, 2006

Semantic Web and Ontologies参考文献 22被引用数 15

ひとこと要約

この論文は、記述論理（OWL/RDFS）を外部型システムとして統合する型付きハイブリッド記述論理プログラミング言語を提案する。型付き多相順序ソート型統一をハイブリッド論理フレームワークに埋め込むことで、外部のDL推論機（例：Pellet）をブラックボックスとして用いた動的で決定可能な型チェックを可能にし、大規模なルールシステムにおける効率性、モジュラリティ、表現力の向上を図る。また、アドホック多態性とルールのオーバーローディングもサポートする。

ABSTRACT

In this paper we elaborate on a specific application in the context of hybrid description logic programs (hybrid DLPs), namely description logic Semantic Web type systems (DL-types) which are used for term typing of LP rules based on a polymorphic, order-sorted, hybrid DL-typed unification as procedural semantics of hybrid DLPs. Using Semantic Web ontologies as type systems facilitates interchange of domain-independent rules over domain boundaries via dynamically typing and mapping of explicitly defined type ontologies.

研究の動機と目的

• Prologのような型なし論理プログラミング言語におけるデータ抽象化とモジュラリティの欠如が、大規模なルール設計を阻害することへの対処。
• ドメイン固有のSemantic Web型システム（例：OWL、RDFS）にルールをバインドすることで、異種ドメイン間でのドメイン非依存ルールのシームレスな交換を可能にすること。
• 規定型付けと動的型チェックを通じて、ルールベース推論における探索空間の縮小と実行時効率の向上。
• ハイブリッド論理フレームワークにおける型付き統一を通じて、アドホック多態性とルールのオーバーローディングといった高度な言語機能の支援。
• 論理プログラミングと記述論理推論の間で、最小限のインターフェース結合で、堅牢で決定可能な統合を達成すること。

提案手法

• 順序ソート型付きの多様な論理を提案し、型をルールの項に直接第一級の性質として付与する。
• 規定型付けアプローチを採用し、型情報をシンボルに直接埋め込む（例：X:vin_Wine）ことで、DLアトムやルール本体内の制約を使用しない。
• 型付き統一を操作的意味論として導入し、外部のDL推論機（例：Jena/Pellet）をブラックボックスとして用いて、統一の過程で動的型チェックを実行する。
• 多態性を備えた順序ソート型付き統一をサポートし、実行中に変数の型を変更可能（アドホック多態性）とし、型固有のバージョンによるルールのオーバーローディングを可能にする。
• ContractLog/ProvaルールエンジンをJenaおよびPelletと統合し、エンタイルメントベースのインターフェースを用いてルール推論と型推論のコンponentを分離する。
• 二重シリアル化を提供：ルール作成のためのPrologに類似した構文と、相互運用性のためのXML/RDFベースのRuleML。XSLT変換によりターゲット言語に変換可能。

実験結果

リサーチクエスチョン

• RQ1 決定可能性を損なわずに、Semantic Webからのドメイン固有の型システム（例：OWL）を型付き論理プログラミングに統合する方法は何か？
• RQ2 外部のOWL/RDFSオントロジーを型システムとして統合することで、ルールベースシステムにおけるモジュラリティ、効率性、保守性がどのように向上するか？
• RQ3 多態性を備えた順序ソート型付き統一は、ハイブリッド論理プログラミングにおいて、堅牢な決定可能性を保ちつつアドホック多態性とルールのオーバーローディングを可能にするか？
• RQ4 ルール推論とDL型チェックの間で、最小限のインターフェースオーバーヘッドで技術的分離を達成する方法は何か？効率性と拡張性を保証するには？
• RQ5 OWL-LiteおよびOWL-DL型システムを用いたハイブリッドDL型Datalogにおけるクエリアンサーの計算複雑度は何か？

主な発見

• ハイブリッドDL型Datalogにおけるクエリアンサーは、OWL-Lite（SHIQ(D)）型システムではEXPTIME完全であり、OWL-DL（SHOIN(D)）型システムではNEXPTIME完全である。
• 順序ソート型の使用は、探索空間を著しく縮小し、より効率的なクエリ実行と向上した実行時パフォーマンスをもたらす。
• システムはアドホック多態性をサポートしており、統一の過程で変数の型を動的に変更可能であり、型固有のバージョンによるルールのオーバーローディングを可能にする。
• エンタイルメントベースのインターフェースを通じて外部のDL推論機（例：Pellet）を統合することで、Datalogの表現力を超えるルール言語であっても、堅牢な決定可能性が保証される。
• ContractLog/Provaにおけるプロトタイプ実装は、Prologに類似した構文とXML/RDFベースのRuleMLシリアル化の両方をサポートし、XSLT変換によりターゲット言語に変換可能である。
• 任意のSemantic Webオントロジー（例：OWL Time）を型システムとしてシームレスに使用可能にし、ルールの項にドメイン固有の意味を付与し、意味的表現力を向上させる。