Rewriting count queries over DL-lite TBoxes with number restrictions

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

Beitragende

  • Diego Calvanese - , Libera Universita di Bolzano, Umeå University (Autor:in)
  • Julien Corman - , Libera Universita di Bolzano (Autor:in)
  • Davide Lanti - , Libera Universita di Bolzano (Autor:in)
  • Simon Razniewski - , Max-Planck-Institut für Informatik (Autor:in)

Abstract

We propose a query rewriting algorithm for a restricted class of conjunctive queries evaluated under count semantics over a DL-Lite knowledge base. The target query language is an extension of relational algebra with aggregation and arithmetic functions, which can be translated into SQL. The algorithm supports number restrictions on the RHS of axioms in the input TBox, which can be used to encode statistics. The size of the output query remains linear in the binary encoding of these numbers, which improves upon previously proposed approaches.

Details

OriginalspracheEnglisch
TitelDL 2020 - Description Logics 2020
Seitenumfang12
PublikationsstatusVeröffentlicht - 2020
Peer-Review-StatusJa
Extern publiziertJa

Publikationsreihe

ReiheCEUR Workshop Proceedings
Band2663
ISSN1613-0073

Workshop

Titel33rd International Workshop on Description Logics
KurztitelDL 2020
Veranstaltungsnummer33
Dauer12 - 14 September 2020
BekanntheitsgradInternationale Veranstaltung
Ortonline
StadtRhodes
LandGriechenland

Externe IDs

ORCID /0000-0002-5410-218X/work/185318199

Schlagworte

ASJC Scopus Sachgebiete