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

Кикоть, С.П. и Рыбаков, М.Н. (2025) Конъюнктивные запросы к базам знаний: какую семантику выбрать? Вестник ТвГУ. Серия: Прикладная математика (3). С. 5-24. ISSN 1995-0136

[thumbnail of ПРИКЛАДНАЯ МАТЕМАТИКА_3_В ПЕЧАТЬ-5-24.pdf] PDF - Опубликованная версия
631kB

Абстракт

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

Абстракт (англ.)

In the field of computer science known as “knowledge representation,” the following paradigm has become standard in recent years. A knowledge base refers to an architecture that combines data, general knowledge, and a reasoning mechanism that can generate new information from the underlying data and knowledge, using it to answer user queries. In this survey, we focus on the scenario where the data consists of a set of ground atoms, the knowledge is represented by an ontology in some description logic, and the query language is conjunctive queries. The aim of this work is to consolidate both theoretical and practical results about the computational complexity of query answering procedures, depending on the semantics, that is, the formal definition of what constitutes an answer to a query

Тип объекта:Статья
Сведения об авторах:Кикоть Станислав Павлович старший научный сотрудник Высшей школы современной математики МФТИ. Россия, 115184, г. Москва, Климентовский пер., д. 1, стр. 1, ВШМ МФТИ. Рыбаков Михаил Николаевич ведущий научный сотрудник Высшей школы современной математики МФТИ; доцент факультета математики НИУ ВШЭ; доцент кафедры функционального анализа и геометрии, а также кафедры математического моделирования и вычислительной математики Тверского государственного университета. Россия, 115184, г. Москва, Климентовский пер., д. 1, стр. 1, ВШМ МФТИ.
Ключевые слова:базы знаний, конъюнктивные запросы, семантика, сложность вычислений
Ключевые слова (англ.):knowledge bases, conjunctive queries, query answering, semantics
Категории:5 Математика. Естественные науки
5 Математика. Естественные науки > 50 Общие вопросы математических и естественных наук
Подразделения:Университеты > НИУ ВШЭ
Университеты > Тверской государственный университет
ID Code:14942
Deposited On:05 Ноя 2025 05:02
Последнее изменение:05 Ноя 2025 05:04

Repository Staff Only: item control page