Конъюнктивные запросы к базам знаний: какую семантику выбрать?

В области компьютерных наук под названием «представление знаний» (knowledge representation) некоторое время назад одним из стандартов стала следующая парадигма. Под базой знаний (knowledge base) подразумевается архитектура, объединяющая в себе данные, знания общего характера и механизм логического вывода, позволяющий генерировать на основе базовых данных и знаний новую информацию, а также использовать её для ответов на запросы к системе. В этом обзоре мы сосредоточимся на сценарии, когда под данными подразумевается набор замкнутых атомов, под знаниями - онтология в той или иной дескрипционной логике, а в качестве языка запросов выбраны конъюнктивные запросы (conjunctive queries). Цель настоящей работы - собрать воедино теоретические и практические результаты о трудоёмкости процедур построения ответа в зависимости от семантики, то есть формального определения того, что считать ответом на запрос.