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

Open

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
Pages1831-1837
Number of pages7
ISBN (Electronic)978-0-9992411-2-7
DOIs
Publication statusPublished - 1 Jul 2018

Abstract

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