Querying Circumscribed Description Logic Knowledge Bases

要約

外接は、非単調記述ロジック (DL) を定義するための主なアプローチの 1 つです。
限定された DL 知識ベース (KB) の充足可能性など、従来の推論タスクの決定可能性と複雑さはよく理解されていますが、論理積クエリ (CQ) とその和集合 (UCQ) の評価については、決定可能性さえ確立されていませんでした。
この論文では、制限された DL KB での (U)CQ 評価の決定可能性を証明し、ALCHIO から EL を経て DL-Lite のさまざまなバージョンに至るまでの DL について、複合的な複雑さとデータの複雑さの両方のかなり完全な全体像を取得します。
また、より単純なアトミック クエリ (AQ) についても研究します。

要約(オリジナル)

Circumscription is one of the main approaches for defining non-monotonic description logics (DLs). While the decidability and complexity of traditional reasoning tasks such as satisfiability of circumscribed DL knowledge bases (KBs) is well understood, for evaluating conjunctive queries (CQs) and unions thereof (UCQs), not even decidability had been established. In this paper, we prove decidability of (U)CQ evaluation on circumscribed DL KBs and obtain a rather complete picture of both the combined complexity and the data complexity, for DLs ranging from ALCHIO via EL to various versions of DL-Lite. We also study the much simpler atomic queries (AQs).

arxiv情報

提供元, 利用サービス

arxiv.jp, Google