Определенный ответ

В теории баз данных и представлении знаний определенные ответы — это набор ответов на заданный запрос , состоящий из пересечения всех полных баз данных , которые согласуются с заданной базой знаний. ^[1] Понятие определенного ответа, исследуемое в теории баз данных с 1970-х годов, ^[1] действительно определяется в контексте предположения об открытом мире , где заданная база знаний предполагается неполной.

Интуитивно определенные ответы — это ответы, которые всегда возвращаются при запросе к заданной базе знаний , принимая во внимание как экстенсиональные знания, так и возможные последствия, выведенные автоматическим рассуждением , независимо от конкретной интерпретации .

В литературе набор определенных ответов обычно определяется следующим образом: ^[1]

${\displaystyle cert_{\cap }(Q,D)=\bigcap \left\{Q(D')|D'\!\in [\![D]\!]\right\}}$

где:

• ${\displaystyle Q}$это запрос
• ${\displaystyle D}$является неполной базой данных
• ${\displaystyle D'}$любая полная база данных согласуется с${\displaystyle D}$
• ${\displaystyle [\![D]\!]}$это семантика${\displaystyle D}$

В дескриптивной логике такой набор может быть определен аналогичным образом следующим образом: ^[2]

При наличии онтологии и запроса по , есть ли набор кортежей такой, что для каждой модели , мы имеем .${\displaystyle {\mathcal {K}}=\langle {\mathcal {T}}, {\mathcal {A}}\rangle }$${\displaystyle q({\vec {x}})}$${\displaystyle {\mathcal {K}}}$${\displaystyle cert(q,{\mathcal {K}})}$${\displaystyle {\vec {a}}\subseteq \Gamma}$ ${\displaystyle {\mathcal {I}}}$${\displaystyle {\mathcal {K}}}$${\displaystyle {\mathcal {I}}\models q[{\vec {a}}]}$

Где:

• ${\displaystyle {\mathcal {T}}}$и являются соответственно Tbox и Abox ;${\displaystyle {\mathcal {A}}}$
• ${\displaystyle \Гамма}$— алфавит констант (индивидов или значений) онтологии;
• ${\displaystyle q[{\vec {a}}]}$получается путем замены всех свободных переменных в константами .${\displaystyle q({\vec {x}})}$${\displaystyle {\vec {a}}}$

• Предположение об открытом мире
• Предположение о закрытом мире
• Полнота (базы знаний)

• Поджи, Антонелла; Лембо, Доменико; Кальванезе, Диего; Де Джакомо, Джузеппе; Лензерини, Маурицио; Розати, Риккардо (2008). «Связывание данных с онтологиями» (PDF) . J. О семантике данных . Конспекты лекций по информатике. Том. 10. С.  133–173 . doi :10.1007/978-3-540-77688-8_5. ISBN 978-3-540-77687-1.
• Кончаков, Р.; Лутц, К.; Томан, Д.; Вольтер, Ф.; Захарьящев, М. (2011). Комбинированный подход к доступу к данным на основе онтологий (PDF) . Труды 22-й Международной совместной конференции по искусственному интеллекту (IJCAI 2011). Барселона: The AAAI Press. С.  2656– 2661.
• Либкин, Леонид (январь 2011). Неполная информация и некоторые ответы в общих моделях данных (PDF) . Труды симпозиума ACM SIGACT-SIGMOD-SIGART по принципам систем баз данных. С.  59–70 . doi :10.1145/1989284.1989294.
• Ортис, Магдалена (январь 2013 г.). Ответы на запросы на основе онтологии: история до сих пор (PDF) . Труды семинара CEUR. Том 1087.
• Либкин, Леонид (2015). Как определить определенные ответы (PDF) . Труды 24-й Международной совместной конференции по искусственному интеллекту (IJCAI 2015). The AAAI Press. С.  4282– 4288.