Abstrakt. Vi anser att inställningen av ontologisk databas tillgång, där en Abox ges i form av en relationell databas D och där en booleansk konjunktiv fråga q måste utvärderas mot D Modulo a T -box  och formuleras i DLLite eller linjär datalogg ±. Det är välkänt att (-, q) kan skrivas om till en likvärdig icke-rekursiv Datalog program P som kan utvärderas direkt över D. Men för Linjär Datalog ± eller för DL-lite versioner som tillåter roll inkludering, de omskrivningsmetoder som beskrivs hittills resultera i en icke-rekursiv Datalog program P av storlek exponentiellt i den gemensamma storleken av  på och q. Detta ger upphov till den intressanta frågan om huruvida en sådan omskrivning nödvändigtvis måste vara av exponentiell storlek. I det här dokumentet visar vi att det faktiskt är möjligt att översätta (., q) till ett polynomiskt storlek motsvarande icke-rekursiva Datalog program P.
För DL-lite R, författarna i REF föreslå en omskrivning till en polynom-storlek icke-rekursiva DATALOG program, förutsatt att data innehåller några fasta antal konstanter.
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}