Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1406.4110
Cited By
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
4 February 2014
Bernardo Cuenca Grau
Ian Horrocks
Markus Krotzsch
C. Kupke
Despoina Magka
B. Motik
Zhe Wang
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
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})
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
1