Rewriting count queries over DL-lite TBoxes with number restrictions

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Contributors

  • Diego Calvanese - , Free University of Bozen-Bolzano, Umeå University (Author)
  • Julien Corman - , Free University of Bozen-Bolzano (Author)
  • Davide Lanti - , Free University of Bozen-Bolzano (Author)
  • Simon Razniewski - , Max Planck Institute for Informatics (Author)

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

Original languageEnglish
Title of host publicationDL 2020 - Description Logics 2020
Number of pages12
Publication statusPublished - 2020
Peer-reviewedYes
Externally publishedYes

Publication series

SeriesCEUR Workshop Proceedings
Volume2663
ISSN1613-0073

Workshop

Title33rd International Workshop on Description Logics
Abbreviated titleDL 2020
Conference number33
Duration12 - 14 September 2020
Degree of recognitionInternational event
Locationonline
CityRhodes
CountryGreece

External IDs

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

Keywords

ASJC Scopus subject areas