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…