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

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Abstract

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.

Details

OriginalspracheEnglisch
TitelProceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023
Redakteure/-innenPierre Marquis, Tran Cao Son, Gabriele Kern-Isberner
Herausgeber (Verlag)Association for the Advancement of Artificial Intelligence
Seiten333-343
Seitenumfang11
ISBN (elektronisch)978-1-956792-02-7
PublikationsstatusVeröffentlicht - 2023
Peer-Review-StatusJa

Publikationsreihe

ReiheProceedings of the International Conference on Principles of Knowledge Representation and Reasoning
ISSN2334-1033

Konferenz

Titel20th International Conference on Principles of Knowledge Representation and Reasoning
KurztitelKR 2023
Veranstaltungsnummer20
Dauer2 - 8 September 2023
OrtRodos Palace Luxury Convention Resort
StadtRhodes
LandGriechenland

Schlagworte

ASJC Scopus Sachgebiete