Author

David Carral

h-index 15 View on Semantic Scholar

We have 1 of 52 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

A General Sufficient Condition for Rewriting Horn-ALCHI Atomic Queries into GQL

This work introduces DL automata, a novel formalism that captures the semantics of such OMQs via runs over fact sets via runs over fact sets, and identifies a large class of DL automata that can be rewritten into unions of conjunctive two-way regular path queries (UC2RPQs), a central fragment of GQL.

David Carral, Calixte Gruson, Quentin Manière · 0 citations