В этой статье рассматривается абстракция запросов в доступе к данным на основе онтологий (OBDA) путем преобразования запросов к данным на уровень онтологии с использованием экзистенциальных правил и семантики определенных ответов.
- Вводятся минимально полные и максимально корректные абстракции для обработки случаев, когда идеальная абстракция недоступна.
- Исследуются абстракции в рамках расширения UCQs с ограниченным неравенством и специальным предикатом для констант базы данных.
- Показывается, что это расширение сохраняет сложность задачи, выражая минимально полные абстракции.
- Характеризуются максимально корректные абстракции путем связывания их с понятием максимального восстановления при обмене данными.