New condition enables Horn-ALCHI queries to be rewritten into GQL

Researchers have identified a general sufficient condition for rewriting atomic queries in Horn-ALCHI, an expressive Description Logic, into the Graph Query Language (GQL). This work introduces DL automata to capture the semantics of ontology-mediated queries (OMQs) and demonstrates that a specific class of these automata can be translated into UC2RPQs, a core component of GQL. The identified class of automata relies on state stratification to manage cyclic dependencies, thereby enabling a broad range of Horn-ALCHI OMQs to be GQL-rewritable. AI

IMPACT This research contributes to the formalization of query languages for knowledge representation, potentially impacting how complex data queries are handled in AI systems.

RANK_REASON Academic paper detailing a new condition for query language rewriting. [lever_c_demoted from research: ic=1 ai=1.0]

Read on arXiv cs.AI →

• arXiv
• DL automata
• Horn-ALCHI
• UC2RPQs

• paper
• other

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →