?
Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna
P. 329–351.
Герасимова О. А., Kikot S., Захарьящев М. В.
It has recently been shown that first-order- and datalog-rewritability of ontology-mediated queries (OMQs) with expressive ontologies can be checked in NExpTime using a reduction to CSPs. In this paper, we present a case study for OMQs with Boolean conjunctive queries and a fixed ontology consisting of a single covering axiom 𝐴 -> 𝐹 v 𝑇, A -> F v T, possibly supplemented with a disjointness axiom for T and F. The ultimate aim is to classify such OMQs according to their data complexity: AC0, L, NL, P or coNP. We report on our experience with trying to distinguish between OMQs in P and coNP using the reduction to CSPs and the Polyanna software for finding polymorphisms.
Глушко А. А., Незнанов А. А., В кн.: Перспективные материалы и технологии (ПМТ-2024) : Сборник докладов Международной научно-технической конференции ИПТИП РТУ МИРЭА, Москва, 12–16 апреля 2024 года.: М.: РТУ МИРЭА, 2024. С. 380–385.
Работа раскрывает основные принципы, проектные решения и инструменты, которые легли в основу программной системы для анализа результатов реальных экспериментов и проведения вычислительных экспериментов в химии и материаловедения. Акцент сделан на формализации знания на нескольких уровнях и повышении эффективности работы экспертов предметной области за счёт обогащения классического представления данных разделяемыми онтологиями. Это, в свою очередь, облегчает ...
Добавлено: 29 апреля 2026 г.
Петров К. А., Логос 2025 Т. 35 № 5 С. 93–114
Концепт задействования отсылает к идее контингентности границы тела/техники и в этом качестве выступает основанием для появления множественных онтологий тел в текстах Аннмари Мол. Однако задействование не означает бесконечной податливости тела. Для авторов, работающих в рамках исследований науки и технологий, тело обладает собственной несводимой материальностью. Исследуя опыт больных сахарным диабетом, Мол и Джон Ло показывают существующие ...
Добавлено: 18 ноября 2025 г.
Новикова А. В., Вестник Пермского национального исследовательского политехнического университета. Механика (Вестник ПНИПУ. Механика)*** 2013 № 07 С. 138–145
Рассмотрены взгляды отечественных и зарубежных ученых в лингвистике, логике и философии на теорию возможных миров; представлены децентрированные модели возможных миров. ...
Добавлено: 31 октября 2023 г.
Samoylova K., Замятина Е. Б., Proceedings of the Institute for System Programming of the RAS 2022 Vol. 34 No. 2 P. 67–76
Добавлено: 13 февраля 2023 г.
Обсуждаются проблемы интеграции информации в областях с интенсивным использованием данных. Проанализированы существующие подходы к интеграции. Предложен новый подход к интеграции, основанный на онтологической и продукционной моделях знаний, а также формальная теоретико-множественная модель, лежащая в его основе. Практические преимущества подхода продемонстрированы на примере концептуализации задачи выявления ключевых мостов из области анализа социальных сетей. ...
Добавлено: 22 октября 2022 г.
Герасимова О. А., Kikot S., Подольский В. В. и др., Artificial Intelligence 2022 Vol. 309 Article 103738
Our concern is the problem of efficiently determining the data complexity of answering queries mediated by description logic ontologies and constructing their optimal rewritings to standard database queries. Originated in ontology-based data access and datalog optimisation, this problem is known to be computationally very complex in general, with no explicit syntactic characterisations available. In this ...
Добавлено: 30 мая 2022 г.
27 сентября Правительственной комиссией по цифровому развитию утверждена Концепция развития технологий машиночитаемого права. По мнению Минэкономразвития, машиночитаемое право будет востребовано в законотворчестве, судопроизводстве, при заключении сделок, стандартизации и сертификации. Мы обратились к экспертам с просьбой прокомментировать новый документ. Какое влияние он окажет на развитие права? Какие вызовы несет в себе распространение машиночитаемого права? ...
Добавлено: 29 декабря 2021 г.
Добавлено: 14 декабря 2021 г.
Захарьящев М. В., Саватеев Ю. В., Ryzhikov V., Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2021.
Добавлено: 6 ноября 2021 г.
Лычкина Н. Н., , in: World Organization of Systems and Cybernetics 18. Congress-WOSC2021: Systems Approach and Cybernetics: Engaging for the Future of MankindVol. 495.: Springer, 2022. Ch. III P. 191–204.
Добавлено: 31 октября 2021 г.
Гельцер Б. И., Горбач Т. А., Грибова В. В. и др., Труды Института системного программирования РАН 2021 Т. 33 № 4 С. 99–116
В работе проводится сравнение трех методов синтаксического анализа текстов жалоб пациентов, извлеченных из электронных медицинских карт. В качестве контрольного теста используются существующие библиотеки синтаксического анализа текста. В качестве альтернативы предлагается использование онтологии для исправления ошибок, допущенных синтаксическим анализатором, либо полное формирование синтаксических зависимостей по данным, хранимым в онтологии. В статье показано что ограниченный набор правил, ...
Добавлено: 20 октября 2021 г.
Лычкина Н. Н., , in: Systems approach and cybernetics, directed towards the future of mankind. Collection of materials of the 18th Congress WOSC2021 “Systems approach and cybernetics, directed to the future of mankind”.: M.: Cogito-Centre–IPRAS Publishing House, 2021. P. 153–154.
Добавлено: 12 октября 2021 г.
Дударев В. А., Киселева Н. Н., В кн.: XV Российская конференция (с международным участием) по теплофизическим свойствам веществ (РКТС-15), 15–19 октября 2018, Москва. Сборник тезисов.: [б.и.], 2019. С. 112–112.
В последние годы популярным становится использование онтологий (на OWL) для описания предметных областей и создания фундамента для интеграции тематических информационных систем (ИС). Например, в неорганическом материаловедении известны несколько онтологий, использующихся для консолидации информации [1, 2]. Одним из их существенных недостатков является неоправданное упрощение описания самого рассматриваемого вещества (или материала).
Важность многоуровневого описания химического объекта показывается на ...
Добавлено: 31 октября 2019 г.
CEUR-WS.org, 2019.
Добавлено: 29 октября 2019 г.
Замятин Д. Н., В кн.: На самой черте горизонта: платоновские пространства. Поэтика Андрея Платонова. Сборник 4 / Ред. Е. А. Яблоков. — М.: ПОЛИМЕДИА, 2019. — 176 с.: М.: Полимедиа, 2019. С. 17–41.
Роман Андрея Платонова «Чевенгур» – пример мощного пространственного воображения, трансформирующего онтологии самого языка, в данном случае – русского. В то же время этот роман является феноменологическим свидетельством решающего изменения самих пространственных онтологий, связанного с «взрывом» представлений о пространстве-времени начала XX века . Вместе с тем, реальность событий и ключевого нарратива «Чевенгура» оказывается действительно «судьбоносной», если ...
Добавлено: 27 сентября 2019 г.