Researchers have introduced ELbotpreceq, a new description logic that extends DL-Lite and supports reasoning in NL. This logic is designed to be rewritable into graph query languages, addressing the limitations of existing DL-Lite systems which are restricted to first-order queries. ELbotpreceq incorporates a stratification mechanism to manage conjunction and recursion, enabling it to express many ELI and DL-Lite ontologies while maintaining NL upper bounds. AI
Summary written by gemini-2.5-flash-lite from 1 source. How we write summaries →
IMPACT Extends expressive power for ontology-mediated query answering, potentially enabling more complex graph data querying.
RANK_REASON Academic paper introducing a new logic and its properties. [lever_c_demoted from research: ic=1 ai=1.0]