A Horn extension of DL-Lite with NL data complexity

arXiv:2605.13367v1 Announce Type: cross Abstract: 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...