Projects per year
Abstract / Description of output
Two paradigmatic restrictions that have been studied for ensuring the decidability of query answering under existential rules are guardedness and stickiness. With the aim of consolidating these restrictions, a flexible condition, called tameness, has been proposed a few years ago, which relies on hybrid reasoning, i.e., a combination of forward and backward procedures. The complexity of query answering under this hybrid class of existential rules is by now well-understood. However, the complexity of finite query answering, i.e., query answering under finite models, has remained an open problem. Closing this problem is the main goal of this work.
Original language | English |
---|---|
Title of host publication | Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI-18 |
Subtitle of host publication | July 13-19, 2018, Stockholm, Sweden |
Publisher | International Joint Conferences on Artificial Intelligence Organization |
Pages | 1831-1837 |
Number of pages | 7 |
ISBN (Electronic) | 978-0-9992411-2-7 |
DOIs | |
Publication status | Published - 1 Jul 2018 |
Fingerprint
Dive into the research topics of 'Finite Model Reasoning in Hybrid Classes of Existential Rules'. Together they form a unique fingerprint.Projects
- 1 Finished
-
VADA: Value Added Data Systems: Principles and Architecture
Libkin, L., Buneman, P., Fan, W. & Pieris, A.
1/04/15 → 30/09/20
Project: Research