Rewriting count queries over DL-lite TBoxes with number restrictions
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
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 language | English |
|---|---|
| Title of host publication | DL 2020 - Description Logics 2020 |
| Number of pages | 12 |
| Publication status | Published - 2020 |
| Peer-reviewed | Yes |
| Externally published | Yes |
Publication series
| Series | CEUR Workshop Proceedings |
|---|---|
| Volume | 2663 |
| ISSN | 1613-0073 |
Workshop
| Title | 33rd International Workshop on Description Logics |
|---|---|
| Abbreviated title | DL 2020 |
| Conference number | 33 |
| Duration | 12 - 14 September 2020 |
| Degree of recognition | International event |
| Location | online |
| City | Rhodes |
| Country | Greece |
External IDs
| ORCID | /0000-0002-5410-218X/work/185318199 |
|---|