Abstrakt. I detta dokument studerar vi problemet med att få meningsfulla svar på frågor som ställs över inkonsekventa DL-lite ontologier. Vi anser olika varianter av inkonsekvens-tolerant semantik och visar att för några av sådana varianter som svarar unioner av konjunktiva frågor (UCQs) är första ordningen (FOL) rewritable, dvs. det kan reduceras till standardutvärdering av en FOL / SQL fråga över en databas. Eftersom FOL-rewritability av frågesvar för UCQs över konsekvent ontologier under första ordningen logik semantik är en av de särskiljande dragen i DL-lite, i detta papper vi faktiskt identifiera några inställningar där sådan egendom bevaras också under inkonsekvens-tolerant semantik. Vi visar därför att i sådana miljöer har inkonsekvent-tolerant frågesvar samma computational komplexitet standard frågesvar och att det kan lita på väletablerade relationsdatabasteknik, som under standard DL semantik.
Till exempel behandlar REF olika varianter av inkonsekvenstolerant semantik för att nå en bra kompromiss mellan uttryckskraft av semantik och beräknings komplexitet av inkonsekvens-tolerant frågesvar.
Query Rewriting for Inconsistent DL-Lite Ontologies
{'venue': 'RR', 'journal': None, 'mag_field_of_study': ['Computer Science']}