ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1406.4110
  4. Cited By
Acyclicity Notions for Existential Rules and Their Application to Query
  Answering in Ontologies

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
ArXiv (abs)PDFHTML

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