Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+

要約

スタンドポイントELは、一般的な記述論理ELのマルチモーダルな拡張で、多様な立場や視点に基づくドメイン知識の統合的表現を可能にする。近年、その満足度問題がPTimeであることが示され、大規模な知識統合のフレームワークとして有望視されている。 本論文では、この形式主義の表現力をさらに高め、扱いやすさを維持しながら、公理の否定、役割連鎖公理、自己ループなどを可能にする拡張論理（スタンドポイントEL+）に到達することを示す。これは、満足度チェック可能な演繹計算を設計することによって達成され、同時に実用的なアルゴリズムの必要性にも対処している。本論文では，演繹法のプロトタイプであるDatalogの実装を示すことで，本演繹法の実現可能性を実証する．

要約(オリジナル)

Standpoint EL is a multi-modal extension of the popular description logic EL that allows for the integrated representation of domain knowledge relative to diverse standpoints or perspectives. Advantageously, its satisfiability problem has recently been shown to be in PTime, making it a promising framework for large-scale knowledge integration. In this paper, we show that we can further push the expressivity of this formalism, arriving at an extended logic, called Standpoint EL+, which allows for axiom negation, role chain axioms, self-loops, and other features, while maintaining tractability. This is achieved by designing a satisfiability-checking deduction calculus, which at the same time addresses the need for practical algorithms. We demonstrate the feasibility of our calculus by presenting a prototypical Datalog implementation of its deduction rules.

arxiv情報

提供元, 利用サービス

arxiv.jp, DeepL