|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Query Answering via Modal Definability with FaCT++: First Bloodстатья
Информация о цитировании статьи получена из
Scopus
Дата последнего поиска статьи во внешних источниках: 26 августа 2016 г.
- Авторы: Kikot Stanislav, Tsarkov Dmitry, Zakharyaschev Michael, Zolin Evgeny
- Сборник: Proceedings of the 26th International Workshop on Description Logics (DL 2013)
- Серия: CEUR Workshop Proceedings (CEUR-WS.org)
- Том: 1014
- Год издания: 2013
- Место издания: CEUR-WS.org
- Первая страница: 328
- Последняя страница: 340
- Аннотация: We use results on modal definability of first-order formulas to reduce the problem of answering conjunctive queries over knowledge bases (of any expressivity) to checking inconsistency of those knowledge bases extended with a number of ALCI concept assertions. This reduction has been shown to work for conjunctive queries without cycles that only involve bound variables. In this paper, we present an optimised algorithm for the reduction, its implementation using FaCT++ as an underlying reasoner and the results of first experiments.
- Добавил в систему: Золин Евгений Евгеньевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Query Answering via Modal Definability with FaCT++: First Blood | ModDefAlg.pdf | 338,0 КБ | 2 октября 2014 [ezolin] |