A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom

O. Gerasimova; Kikot S.; Kurucz A.; V. V. Podolskii; M. Zakharyaschev

doi:10.24963/kr.2020/41

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

Новости

20 мая 2026 г.

Творческая работа как лекарство от выгорания

Творческая и доброжелательная атмосфера, новые методы в Международной лаборатории (впоследствии центре) социокультурных исследований привлекают молодых исследователей. За годы работы в Вышке они становятся учеными и преподавателями, известными в России и за рубежом. О своем пути в центре и в Вышке, исследованиях и роли наставников в научных успехах рассказали главный научный сотрудник ЦСКИ Зарина Лепшокова и ведущий научный сотрудник Екатерина Бушина.

19 мая 2026 г.

Физики НИУ ВШЭ выяснили, что происходит внутри устойчивого вихря

В атмосфере и в океане часто наблюдаются крупные вихри с характерными спиральными рукавами. Физики из НИУ ВШЭ объяснили, как они формируются и почему сохраняют свою структуру. Оказалось, что скорости в точках, расположенных вдоль одной дуги вихря, остаются связанными даже на больших расстояниях. При этом в направлении от центра вихря эта связь быстро ослабевает. Такие различия помогают объяснить образование рукавов и могут улучшить модели атмосферных и океанических течений. Результаты опубликованы в Physical Review Fluids.

18 мая 2026 г.

В Вышке прошла XXX юбилейная научно-техническая конференция имени Е.В. Арменского

Организатором научного события выступает Московский институт электроники и математики им. А.Н. Тихонова ВШЭ. В этом году главный инженерный студенческий форум проходил 30-й раз и собрал рекордное число участников. Студенты, аспиранты и молодые специалисты из 50 вузов и организаций России представили научно-исследовательские доклады в ИТ-области. Отдельная секция была посвящена научно-исследовательским работам школьников.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom

P. 403–413.

Герасимова О. А., Kikot S., Kurucz A., Подольский В. В., Захарьящев М. В.

Язык: английский

Полный текст

DOI

Текст на другом сайте

Ключевые слова: Ontology-based data access Description logics Computational aspects of knowledge representation

ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:

Интеллектуальный анализ данных в интерактивных информационных системах для междисциплинарных приложений (2020)

В книге

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

The International Joint Conference on Artificial Intelligence (IJCAI), 2020.

Reasoning Web. Declarative Artificial Intelligence, 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures. Article: Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course

Захарьящев М. В., Ryzhikov V., Wałęga P., Springer Publishing Company, 2020.

Добавлено: 8 ноября 2021 г.

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Захарьящев М. В., Kontchakov R., Ryzhikov V. и др., The International Joint Conference on Artificial Intelligence (IJCAI), 2020.

Добавлено: 6 ноября 2021 г.

Probably Approximately Correct Completion of Description Logic Knowledge Bases

Объедков С. А., 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 г.

Ontology–based access to temporal data with ontop: a framework proposal

Zakharyaschev M. et al., International Journal of Applied Mathematics and Computer Science 2019 Vol. 29 No. 1 P. 17–30

Добавлено: 6 июня 2019 г.

Towards a Data Complexity Classification of Ontology-Mediated Queries with Covering

Герасимова О. А., 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 г.

More on the Data Complexity of Answering Ontology-Mediated Queries with a Covering Axiom

Герасимова О. А., 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 г.

The complexity of ontology-based data access with OWL2QL and bounded treewidth queries

Подольский В. В., Захарьящев М. В., Bienvenu M. и др., , in: Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems* F127745.: ACM, 2017. P. 201–216.

Добавлено: 17 сентября 2017 г.

On the Data Complexity of Ontology-Mediated Queries with a Covering Axiom

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 г.

Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 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 г.

Description Logics Workshop, Proceedings of the 28th International Workshop on Description Logics, Athens, Greece, June 7th to 10th, 2015.

CEUR Workshop Proceedings, 2015.

Добавлено: 19 октября 2016 г.