AI RESEARCH
A Horn extension of DL-Lite with NL data complexity
arXiv CS.AI
•
ArXi:2605.13367v1 Announce Type: cross The literature on ontology-mediated query answering (OMQA) has been shaped by two key results: first-order rewritability for DL-Lite, and PTime-hardness of data complexity for essentially every description logic beyond it. This has effectively positioned DL-Lite as the only practical choice for query rewriting, restricting OMQA solutions to first-order queries and ontologies that can be rewritten into them. This AC0 vs.