|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Modal Definability of First-Order Formulas with Free Variables and Query Answeringстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 26 августа 2016 г.
- Авторы: Kikot Stanislav, Zolin Evgeny
- Журнал: Journal of Applied Logic
- Том: 11
- Номер: 2
- Год издания: 2013
- Издательство: Elsevier BV
- Местоположение издательства: Netherlands
- Первая страница: 190
- Последняя страница: 216
- DOI: 10.1016/j.jal.2013.03.007
- Аннотация: We present an algorithmically efficient criterion of modal definability for first-order existential conjunctive formulas with several free variables. Then we apply it to establish modal definability of some family of first-order $\forall\exists$-formulas. Finally, we use our definability results to show that, in any expressive description logic, the problem of answering modally definable conjunctive queries is polynomially reducible to the problem of knowledge base consistency.
- Добавил в систему: Золин Евгений Евгеньевич