{"type":"ScholarlyArticle","title":"Finite Model Reasoning in Hybrid Classes of Existential Rules","authors":[{"name":"Georg Gottlob","slug":"georg-gottlob","given":"Georg","family":"Gottlob","affiliation":"Department of Computer Science , University of Oxford"},{"name":"Marco Manna","slug":"marco-manna","given":"Marco","family":"Manna","affiliation":"Department of Mathematics and Computer Science , University of Calabria"},{"name":"Andreas Pieris","slug":"andreas-pieris","given":"Andreas","family":"Pieris","affiliation":"School of Informatics , University of Edinburgh"}],"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.","doi":"10.24963/ijcai.2018/253","url":"https://ijcai.org/proceedings/2018/253","pdf":"https://ijcai.org/proceedings/2018/0253.pdf","markdown":"https://ijcai.org/proceedings/2018/253.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/253","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":253,"pages":{"first":1831,"last":1837},"keywords":["Knowledge Representation and Reasoning: Computational Complexity of Reasoning","Knowledge Representation and Reasoning: Knowledge Representation Languages","Knowledge Representation and Reasoning: Logics for Knowledge Representation","Multidisciplinary Topics and Applications: Databases"],"videos":[],"references":[{"position":1,"raw":"[Abiteboul et al., 1995] Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison-Wesley, 1995.","title":"Foundations of Databases","authors":"Serge Abiteboul, Richard Hull, Victor Vianu","year":"1995","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Amendola et al., 2017] Giovanni Amendola, Nicola Leone, and Marco Manna. Finite model reasoning over existential rules. TPLP, 17(5-6):726-743, 2017.","title":"Finite model reasoning over existential rules","authors":"Giovanni Amendola, Nicola Leone, Marco Manna","year":"2017","venue":"TPLP","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Arenas et al., 2014] Marcelo Arenas, Georg Gottlob, and Andreas Pieris. Expressive languages for querying the se- mantic web. In PODS, pages 14-26, 2014.","title":"Expressive languages for querying the semantic web","authors":"Arenas","year":"2014","venue":"PODS","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Baget et al., 2011] Jean-Franc ¸ois Baget, Michel Leclère, Marie-Laure Mugnier, and Eric Salvat. On rules with ex- istential variables: Walking the decidability line. Artif. In- tell., 175(9-10):1620-1654, 2011.","title":"On rules with existential variables: Walking the decidability line","authors":"Baget","year":"2011","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Bárány et al., 2014] Vince Bárány, Georg Gottlob, and Mar- tin Otto. Querying the guarded fragment. Logical Methods in Computer Science, 10(2), 2014.","title":"Querying the guarded fragment","authors":"Vince Bárány, Georg Gottlob, Martin Otto","year":"2014","venue":"Logical Methods in Computer Science","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Beeri and Vardi, 1981] Catriel Beeri and Moshe Y. Vardi. The implication problem for data dependencies. In ICALP, pages 73-85, 1981.","title":"The implication problem for data dependencies","authors":"Catriel Beeri, Moshe Y Vardi","year":"1981","venue":"ICALP","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Calì et al., 2012] Andrea Calì, Georg Gottlob, and Andreas Pieris. Towards more expressive ontology languages: The query answering problem. Artif. Intell., 193:87-128, 2012.","title":"Towards more expressive ontology languages: The query answering problem","authors":"Andrea Calì, Georg Gottlob, Andreas Pieris","year":"2012","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Calì et al., 2013] Andrea Calì, Georg Gottlob, and Michael Kifer. Taming the infinite chase: Query answering un- der expressive relational constraints. J. Artif. Intell. Res., 48:115-174, 2013.","title":"Taming the infinite chase: Query answering under expressive relational constraints","authors":"Andrea Calì, Georg Gottlob, Michael Kifer","year":"2013","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Calvanese, 1996] Diego Calvanese. Finite model reasoning in description logics. In KR, pages 292-303, 1996.","title":"Finite model reasoning in description logics","authors":"Calvanese","year":"1996","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Deutsch and Tannen, 2003] Alin Deutsch and Val Tannen. Reformulation of XML queries and constraints. In ICDT, pages 225-241, 2003.","title":"Reformulation of XML queries and constraints","authors":"Alin Deutsch, Val Tannen","year":"2003","venue":"ICDT","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Fagin et al., 2005] Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, and Lucian Popa. Data exchange: Seman- tics and query answering. Theor. Comput. Sci., 336(1):89- 124, 2005.","title":"Data exchange: Semantics and query answering","authors":"Ronald Fagin, G Phokion, Renée J Kolaitis, Lucian Miller, Popa","year":"2005","venue":"Theor. Comput. Sci","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Gogacz and Marcinkowski, 2017] Tomasz Gogacz and Jerzy Marcinkowski. Converging to the chase -A tool for finite controllability. J. Comput. Syst. Sci., 83(1):180-206, 2017.","title":"Tomasz Gogacz and Jerzy Marcinkowski. Converging to the chase -A tool for finite controllability","authors":"Marcinkowski Gogacz","year":"2017","venue":"J. Comput. Syst. Sci","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Gottlob et al., 2013] Georg Gottlob, Marco Manna, and An- dreas Pieris. Combining decidability paradigms for exis- tential rules. TPLP, 13(4-5):877-892, 2013.","title":"Combining decidability paradigms for existential rules","authors":"Gottlob","year":"2013","venue":"TPLP","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Gottlob et al., 2014] Georg Gottlob, Giorgio Orsi, and An- dreas Pieris. Query rewriting and optimization for ontolog- ical databases. ACM Trans. Database Syst., 39(3):25:1- 25:46, 2014.","title":"Query rewriting and optimization for ontological databases","authors":"Gottlob","year":"2014","venue":"ACM Trans. Database Syst","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Ibáñez-García et al., 2014] Yazmin Angélica Ibáñez- García, Carsten Lutz, and Thomas Schneider. Finite model reasoning in horn description logics. In KR, 2014.","title":"Finite model reasoning in horn description logics","authors":"Yazmin Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider","year":"2014","venue":null,"doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Patel-Schneider and Horrocks, 2007] Peter F. Patel- Schneider and Ian Horrocks. A comparison of two modelling paradigms in the semantic web. J. Web Semantics, 5(4):240-250, 2007.","title":"A comparison of two modelling paradigms in the semantic web","authors":"F Peter, Ian Patel-Schneider, Horrocks","year":"2007","venue":"J. Web Semantics","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Rosati, 2008] Riccardo Rosati. Finite model reasoning in DL-Lite. In ESWC, pages 215-229, 2008.","title":"Finite model reasoning in DL-Lite","authors":"Riccardo Rosati","year":"2008","venue":"ESWC","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Rosati, 2011] Riccardo Rosati. On the finite controllability of conjunctive query answering in databases under open- world assumption. J. Comput. Syst. Sci., 77(3):572-594, 2011.","title":"On the finite controllability of conjunctive query answering in databases under openworld assumption","authors":"Riccardo Rosati","year":"2011","venue":"J. Comput. Syst. Sci","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}