ResearchTrend.AI
Combining Existential Rules and Transitivity: Next Steps
v1v2 (latest)

Combining Existential Rules and Transitivity: Next Steps

Jean-François Baget
Meghyn Bienvenu
M. Mugnier
Swan Rocher
ArXiv (abs)PDFHTML

Papers citing "Combining Existential Rules and Transitivity: Next Steps"

4 / 4 papers shown
Title
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
83
2
0
13 Apr 2023
Query Answering with Transitive and Linear-Ordered Data
Query Answering with Transitive and Linear-Ordered Data
Antoine Amarilli
Michael Benedikt
P. Bourhis
M. V. Boom
24
19
0
17 Feb 2022
Goal-Driven Query Answering for Existential Rules with Equality
Goal-Driven Query Answering for Existential Rules with Equality
Michael Benedikt
B. Motik
Efthymia Tsamoura
45
8
0
14 Nov 2017
Ontological Multidimensional Data Models and Contextual Data Qality
Ontological Multidimensional Data Models and Contextual Data Qality
Leopoldo Bertossi
Mostafa Milani
35
21
0
01 Apr 2017