Rewriting Count Queries over DL-Lite TBoxes with Number Restrictions

Diego Calvanese, Julien Corman, Davide Lanti, and Simon Razniewski

Proc. of the 33rd Int. Workshop on Description Logics (DL 2020). CEUR Workshop Proceedings, http://ceur-ws.org/. 2020.

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 is a significant improvement upon previously proposed approaches.


@inproceedings{DL-2020-counting,
   title = "Rewriting Count Queries over DL-Lite TBoxes with Number
Restrictions",
   year = "2020",
   author = "Diego Calvanese and Julien Corman and Davide Lanti and Simon
Razniewski",
   booktitle = "Proc. of the 33rd Int. Workshop on Description Logics
(DL 2020)",
   series = "CEUR Workshop Proceedings, http://ceur-ws.org/",
}
pdf