Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies

4 February 2014

Papers citing "Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies"

23 / 23 papers shown

Title
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules Piotr Ostropolski-Nalewaja Sebastian Rudolph 25 1 0 19 Jul 2024
Decidability of Querying First-Order Theories via Countermodels of Finite Width Thomas Feller Tim S. Lyon Piotr Ostropolski-Nalewaja Sebastian Rudolph LRM 69 2 0 13 Apr 2023
Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study M. Calautti Mostafa Milani Andreas Pieris LRM 21 1 0 22 Mar 2023
A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases Ronald Fagin Phokion G. Kolaitis D. Lembo Lucian Popa Federico Maria Scafoglieri 17 3 0 13 Mar 2023
Efficient Dependency Analysis for Rule-Based Ontologies Larry González Alexander E. Ivliev Markus Krotzsch Stephan Mennicke 27 1 0 20 Jul 2022
Normalisations of Existential Rules: Not so Innocuous! David Carral Lucas Larroque M. Mugnier M. Thomazo 19 11 0 07 Jun 2022
Chasing Streams with Existential Rules Jacopo Urbani Markus Krotzsch Thomas Eiter LRM 16 3 0 04 May 2022
Answering Counting Queries over DL-Lite Ontologies Meghyn Bienvenu Quentin Manière Michaël Thomazo 8 5 0 02 Sep 2020
Oblivious and Semi-Oblivious Boundedness for Existential Rules P. Bourhis M. Leclère M. Mugnier S. Tison F. Ulliana Lily Gallois LRM 8 7 0 15 Jun 2020
Characterizing Boundedness in Chase Variants Stathis Delivorias M. Leclère M. Mugnier F. Ulliana LRM 18 3 0 21 Apr 2020
Checking Chase Termination over Ontologies of Existential Rules with Equality David Carral Jacopo Urbani 16 3 0 25 Nov 2019
Query Inseparability for ALC Ontologies E. Botoeva C. Lutz Vladislav Ryzhikov F. Wolter Michael Zakharyaschev 15 14 0 31 Jan 2019
A New Finitely Controllable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class Vernon Asuncion Yan Zhang 8 0 0 21 May 2018
A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies David Carral C. Feier Pascal Hitzler LRM 23 8 0 19 Apr 2018
Loop Restricted Existential Rules and First-order Rewritability for Query Answering Vernon Asuncion Yan Zhang Heng Zhang Yun Bai Weisheng Si 8 0 0 19 Apr 2018
A New Decidable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class Vernon Asuncion Yan Zhang 11 0 0 17 Apr 2018
Goal-Driven Query Answering for Existential Rules with Equality Michael Benedikt B. Motik Efthymia Tsamoura 38 8 0 14 Nov 2017
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print) M. Joseph G. Kuper Till Mossakowski Luciano Serafini 18 6 0 12 Dec 2015
Combining Existential Rules and Transitivity: Next Steps Jean-François Baget Meghyn Bienvenu M. Mugnier Swan Rocher 42 22 0 28 Apr 2015
Existential Rule Languages with Finite Chase: Complexity and Expressiveness Heng Zhang Yan Zhang Jia-Huai You LRM 42 30 0 19 Nov 2014
$Extending Acyclicity Notions for Existential Rules (\emph{long version})$ Extending Acyclicity Notions for Existential Rules (\emph{long version}) Jean-François Baget Fabien Garreau M. Mugnier Swan Rocher LRM 87 33 0 25 Jul 2014
Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation Jean-François Baget Fabien Garreau M. Mugnier Swan Rocher LRM 73 19 0 05 May 2014
Sound, Complete and Minimal UCQ-Rewriting for Existential Rules M. König M. Leclère M. Mugnier M. Thomazo 41 53 0 13 Nov 2013