ELBotpreceq: Una DL Horn che estende DL-Lite con complessità dei dati NL

Viene introdotta una nuova logica descrittiva, ELBotpreceq, per superare la dicotomia AC0 vs. PTime nella risposta a query mediate da ontologie (OMQA). La letteratura è stata caratterizzata dalla riscrivibilità al primo ordine per DL-Lite e dalla durezza PTime per logiche oltre essa, limitando OMQA a query del primo ordine. Tuttavia, i dati strutturati a grafo target di OMQA richiedono tipicamente linguaggi di query NL-completi come GQL e SQL/PGQ. ELBotpreceq utilizza un meccanismo di stratificazione per ELI che controlla congiunzione e ricorsione, consentendo la riscrittura in linguaggi di query per grafi pur esprimendo molte ontologie ELI e DL-Lite. Il lavoro è presentato in arXiv:2605.13367.