• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Глава
  • Theoretically optimal datalog rewritings for OWL 2 QL ontology-mediated queries
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
26 мая 2026 г.
Гибкость рынка труда как новая норма: ее формы и адаптация работников
Гибкий рынок труда, который наблюдается сегодня, — не временная тактика или вынужденная мера, а системный ответ на ряд вызовов. Как меняется карьера, какие формы гибкости встречаются и как работникам адаптироваться к ним, в колонке для IQ Медиа размышляет директор Института занятости и профессий НИУ ВШЭ Федор Прокопов.
25 мая 2026 г.
Биологи ВШЭ получили «молекулярный отпечаток» преэклампсии
Исследователи НИУ ВШЭ использовали новый способ моделирования состояния гипоксии в клетках плаценты при беременности, осложненной преэклампсией, и обнаружили молекулярные маркеры кислородного голодания тканей. Гипоксия — один из ключевых механизмов преэклампсии, полученные результаты важны для более точной и своевременной диагностики заболевания, а также для разработки эффективных методов лечения. Работа опубликована в журнале Placenta.
22 мая 2026 г.
Лаборатория живых смыслов: как проект НИУ ВШЭ и СахГУ переосмысляет труд
Проект «Зеркальные лаборатории» НИУ ВШЭ — Пермь и Сахалинского государственного университета (СахГУ) изучает, как культура, среда и технологии формируют и меняют трудовые смыслы. Исследование объединяет индивидуальный опыт, профессиональные нормы, городские проблемы, творческие практики и цифровые условия труда. Руководитель Лаборатории междисциплинарных исследований по антропологии труда НИУ ВШЭ в Перми Лилия Пантелеева рассказала о работе проекта.

 

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

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Theoretically optimal datalog rewritings for OWL 2 QL ontology-mediated queries

P. 1–13.
Bienvenu M., Kikot S., Kontchakov R., Подольский В. В., Захарьящев М. В.
Язык: английский
Текст на другом сайте
Ключевые слова: Formal languagesData description

В книге

International Workshop on Description Logics, DL 2016
Issue 1577. , [б.и.], 2016.
Похожие публикации
Computational Model for Parsing Expression Grammars
Alexander Rubtsov, Chudinov N., , in: 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024).: Leibniz International Proceedings in Informatics (LIPIcs), 2024. Ch. 80 P. 80:1–80:13.
Добавлено: 24 ноября 2024 г.
On Emptiness and Membership Problems for Set Automata
Рубцов А. А., Вялый М. Н., , in: Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, ProceedingsVol. 10846.: Springer, 2018. P. 295–307.
Добавлено: 21 июня 2018 г.
Материалы 5-й Российской школы-семинара "Синтаксис и семантика логических систем"
Улан-Удэ: Издательство Бурятского госуниверситета, 2017.
Сборник содержит материалы 5-й школы-семинара «Синтаксис и семантика логических систем», проходившей в Улан-Удэ с 8 по 12 августа 2017 г.  Тематика конференции включает следующие направления: теория моделей и универсальная алгебра; теория булевых и конечнозначных функций; формальные языки и логические исчисления; математическая логика в образовании; ...
Добавлено: 22 сентября 2017 г.
When are description logic knowledge bases indistinguishable?
Botoeva E., Захарьящев М. В., Kontchakov R. и др., , in: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015.: Palo Alto: AAAI Press, 2015. P. 4240–4246.
Добавлено: 18 сентября 2017 г.
Tractable interval temporal propositional and description logics
Захарьящев М. В., Artale A., Kontchakov R. и др., , in: Proceedings of the National Conference on Artificial Intelligence.: American Association for Artificial Intelligence (AAAI) Press, 2015. P. 1417–1423.
Добавлено: 18 сентября 2017 г.
Proceedings of the National Conference on Artificial Intelligence
American Association for Artificial Intelligence (AAAI) Press, 2015.
Добавлено: 18 сентября 2017 г.
Conservative rewritability of description logic TBoxes
Konev B. Y., Lutz C., Wolter F. и др., , in: 25th International Joint Conference on Artificial Intelligence.: [б.и.], 2016. P. 1153–1159.
Добавлено: 18 сентября 2017 г.
25th International Joint Conference on Artificial Intelligence
[б.и.], 2016.
Добавлено: 18 сентября 2017 г.
Inseparability and conservative extensions of description logic ontologies: A survey
Захарьящев М. В., Botoeva E., Konev B. Y. и др., , in: 12th International Summer School on Reasoning Web Summer School, RW 2016Issue 9885.: [б.и.], 2017. P. 27–89.
Добавлено: 18 сентября 2017 г.
Optimal nonrecursive datalog rewritings of linear TGDs and bounded (Hyper)Tree-width queries
Bienvenu M., Kikot S., Kontchakov R. и др., , in: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017.: Aachen: CEUR Workshop Proceedings, 2017. P. 1–12.
Our concern is answering ontology-mediated queries (Ο q), whereΟ is a set of linear tgds and q a conjunctive query (CQ) of bounded hypertree width. Assuming that the arity of predicates is bounded, we show that polynomial-size nonrecursive Datalog rewritings can be constructed and executed in (i) LOGCFL for OMQs with ontologies of bounded existential ...
Добавлено: 18 сентября 2017 г.
On the parameterised complexity of tree-shaped ontology-mediated queries in OWL2QL
Захарьящев М. В., Kikot S., Bienvenu M. и др., , in: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017.: Aachen: CEUR Workshop Proceedings, 2017..
Добавлено: 18 сентября 2017 г.
On Computational Complexity of Set Automata
Рубцов А. А., Вялый М. Н., , in: Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings.: Cham: Springer, 2017. P. 332–344.
Добавлено: 5 сентября 2017 г.
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Cham: Springer, 2017.
The 21st International Conference on Developments in Language Theory (DLT 2017) was organized by the Department of Mathematics of the University of Liège, Belgium, during August 7–11, 2017. The DLT conference series is one of the major international conference series in language theory and related areas. The DLT conference was established by G. Rozenberg and A. ...
Добавлено: 5 сентября 2017 г.
О задачах регулярной реализуемости для контекстно-свободных языков
Вялый М. Н., Рубцов А. А., Проблемы передачи информации 2015 Т. 51 № 4 С. 47–59
Рассматриваются задачи регулярной реализуемости, которые состоят в проверке непустоты пересечения регулярного языка на входе задачи и фиксированного языка (фильтра), который явля- ется параметром задачи. В данной работе изучается алгоритмиче- ская сложность задач регулярной реализуемости для контекстно- свободных фильтров. Эта характеристика согласована с отноше- нием рационального доминирования на КС-языках. Однако, как доказано в работе, она более ...
Добавлено: 14 февраля 2016 г.
Regular Realizability Problems and Context- Free Languages
Рубцов А. А., Вялый М. Н., , in: Descriptional Complexity of Formal SystemsVol. 9118.: Switzerland: Springer, 2015. P. 256–267.
Добавлено: 25 августа 2015 г.
Descriptional Complexity of Formal Systems
Switzerland: Springer, 2015.
Добавлено: 6 августа 2015 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору