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 descrip…