Researchers have identified a general condition for rewriting atomic queries in Horn-ALCHI, an expressive Description Logic, into GQL (Graph Query Language). This is significant because Horn-ALCHI is not typically first-order rewritable, but GQL is a new ISO standard query language that extends first-order logic with controlled recursion. The proposed method uses a novel formalism called DL automata, which captures the semantics of these queries. By identifying a class of DL automata that can be rewritten into UC2RPQs (a fragment of GQL), the research provides a broad set of Horn-ALCHI OMQs that are compatible with GQL. AI
IMPACT This research could enable more expressive querying of knowledge graphs and ontologies, potentially impacting how AI systems interact with structured data.
RANK_REASON Academic paper detailing a novel method for query language rewriting. [lever_c_demoted from research: ic=1 ai=0.7]
Read on Hugging Face Daily Papers →
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →
