Finite Model Reasoning in Hybrid Classes of Existential Rules

Georg Gottlob, Marco Manna, Andreas Pieris

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

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 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

Fingerprint

Dive into the research topics of 'Finite Model Reasoning in Hybrid Classes of Existential Rules'. Together they form a unique fingerprint.

Cite this