Edinburgh Research Explorer

Finite Model Reasoning in Hybrid Classes of Existential Rules

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions


Original languageEnglish
Title of host publicationProceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI-18
Subtitle of host publicationJuly 13-19, 2018, Stockholm, Sweden
PublisherInternational Joint Conferences on Artificial Intelligence Organization
Number of pages7
ISBN (Electronic)978-0-9992411-2-7
Publication statusPublished - 1 Jul 2018


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.

ID: 74615928