Showing cs.DBShow all
2 papers · 1 filter
cs.DB2026
A General Sufficient Condition for Rewriting Horn-ALCHI Atomic Queries into GQL
David Carral, Calixte Gruson, Quentin Manière
The emergence of the ISO standard GQL introduces a powerful query language extending first-order logic with controlled recursion, raising the question of its applicability to evalu…
cs.DB2026
Will My Favorite Chases Terminate if Evaluating Conjunctive Queries Does? One Does Not Simply Decide This
Lucas Larroque, Quentin Manière
Existential rules are a prominent formalism to enrich a database with knowledge from the domain of interest, but make even basic reasoning tasks on the resulting knowledge base und…