?
A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom
P. 403–413.
Ключевые слова: Ontology-based data accessDescription logicsComputational aspects of knowledge representation
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
The International Joint Conference on Artificial Intelligence (IJCAI), 2020.
Лисанюк Е. Н., Прокудин Д. Е., Баймуратов И. Р., Вестник Санкт-Петербургского университета. Философия и конфликтология 2026 Т. 42 № 1 С. 118–130
В статье рассмотрено научное рецензирование как единичный смешанный аргументативный спор между авторами рукописи, направляемой для публикации, и рецензентами, оценивающими ее по определенным критериям. Для нахождения его решений авторы применяют формализм, основанный на абстрактных аргументационных структурах (ААС) с доверительной семантикой расширений. Предложенный метод нахождения решений споров в ходе научного рецензирования состоит из: 1) разметки рецензии; 2) конвертации разметки в JSON; ...
Добавлено: 21 июня 2026 г.
Захарьящев М. В., Ryzhikov V., Wałęga P., Springer Publishing Company, 2020.
Добавлено: 8 ноября 2021 г.
Захарьящев М. В., Kontchakov R., Ryzhikov V. и др., The International Joint Conference on Artificial Intelligence (IJCAI), 2020.
Добавлено: 6 ноября 2021 г.
Объедков С. А., Sertkaya B., Zolotukhin D., , in: 32nd International Workshop on Description Logics, DL 2019; Oslo; Norway; 18 June 2019 through 21 June 2019.: CEUR-WS.org, 2019. P. 1–10.
Добавлено: 29 октября 2019 г.
Zakharyaschev M. et al., International Journal of Applied Mathematics and Computer Science 2019 Vol. 29 No. 1 P. 17–30
Добавлено: 6 июня 2019 г.
Герасимова О. А., Kikot S., Захарьящев М. В., , in: Proceedings of the 31th International Workshop on Description Logics, Tempe, Arizona, October 27-29, 2018.: Aachen: CEUR Workshop Proceedings, 2018. P. 1–13.
Добавлено: 22 октября 2018 г.
Герасимова О. А., Kikot S., Подольский В. В. и др., , in: Proceedings of the 8th international Conference on Knowledge Engineering and Semantic Web.: Berlin: Springer, 2017. P. 143–158.
This paper reports on our ongoing work that aims at a classification of conjunctive queries q according to the data complexity of answering ontology-mediated queries (A -> T v F, q). We give examples of queries from the complexity classes C in {AC0, L, NL, P, coNP}, and obtain a few syntactical conditions for C-membership ...
Добавлено: 3 декабря 2017 г.
Подольский В. В., Захарьящев М. В., Bienvenu M. и др., , in: Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems* F127745.: ACM, 2017. P. 201–216.
Добавлено: 17 сентября 2017 г.
Gerasimova O., Подольский В. В., Kikot S. и др., , in: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017.: Aachen: CEUR Workshop Proceedings, 2017. Ch. 19 P. 1–12.
Добавлено: 27 июля 2017 г.
Aachen: CEUR Workshop Proceedings, 2017.
The International Workshop on Description Logics is the main annual event of the Description Logic research community. It is the forum at which those interested in description logics, from both academia and industry, meet to discuss ideas, share information, and compare experiences. The workshop explicitly welcomes submissions from researchers that are new to the area ...
Добавлено: 27 июля 2017 г.
CEUR Workshop Proceedings, 2015.
Добавлено: 19 октября 2016 г.