?
Query Inseparability for Description Logic Knowledge Bases
Ch. 25. P. 25.1–25.10.
Botoeva E., Kontchakov R., Ryzhikov V., Wolter F., Захарьящев М. В.
В книге
Palo Alto: AAAI Press, 2014.
Герасимова О. А., 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 г.
Захарьящев М. В., Саватеев Ю. В., Ryzhikov V., Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2021.
Добавлено: 6 ноября 2021 г.
Kravchenko T., Шевгунов Т. Я., Petrakov A., , in: Advances in Intelligent Systems and ComputingТ. 1226: Proceedings of the 9th Computer Science On-line Conference 2020. Кн. 3: Applied Informatics and Cybernetics in Intelligent Systems.: Springer, 2020. Ch. 51 P. 552–561.
Добавлено: 25 августа 2020 г.
Ямпольский С. М., Наукоемкие технологии в космических исследованиях Земли 2019 Т. 11 № 5 С. 57–64
В статье рассмотрены особенности автоматизации деятельности органов военного управления и проблемы, препятствующие внедрению интеллектуальных систем, а также представлена структура интеллектуальной системы и предложена схема ее применения в ходе информационно-аналитической поддержки их деятельности.
В качестве примера рассмотрено возможное применение интеллектуальной системы при автоматизированной разработке системы планирующих, директивных, отчетно-информационных и справочных документов, формируемых должностными лицами в ходе решения ...
Добавлено: 12 января 2020 г.
CEUR-WS.org, 2019.
Добавлено: 29 октября 2019 г.
Герасимова О. А., Kikot S., Захарьящев М. В., , in: Description Logic, Theory Combination, and All That.: Berlin: Springer, 2019. P. 329–351.
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 ...
Добавлено: 29 июля 2019 г.
Berlin: Springer, 2019.
This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that ...
Добавлено: 29 июля 2019 г.
The innovation capacity of a system can be measured as the synergy in interactions among its parts. Synergy can be considered as a consequence of negative entropies among three parts of the system. We analyze the development of synergy value in the Norwegian innovation system in terms of mutual information among geographical, sectorial, and size ...
Добавлено: 4 марта 2019 г.
Искандеров Ю. М., Яковлева А. В., Научный журнал НИУ ИТМО. Серия: Экономика и экологический менеджмент 2015 № 3 С. 210–214
Обеспечение экспертизы качества инновационных проектов является сложной проблемой, поскольку этот процесс связан с учетом значительного количества параметров и характеристик различной природы, требует высокого уровня подготовки соответствующих специалистов. Одним из наиболее релевантных средств решения отмеченной проблемы может стать предлагаемая информационная система обеспечения экспертизы качества инновационных проектов. Представлена общая структура функционирования указанной информационной системы. Сформирован набор основных ...
Добавлено: 7 февраля 2019 г.
Leydesdorff L., Иванова И. А., Meyer M., , in: Springer Handbook of Science and Technology Indicators.: Springer, 2019. Ch. 16 P. 421–443.
Добавлено: 8 октября 2018 г.
Татарников А. Д., Коцыняк А. М., , in: Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014).: M.: -, 2014.
Добавлено: 20 декабря 2017 г.
S.D. Kuznetsov, D.Yu. Turdakov, Астраханцев Н. А. и др., Programming and Computer Software 2014 Vol. 40 No. 5 P. 288–295
Добавлено: 26 ноября 2017 г.
Денис Турдаков, Астраханцев Н. А., Недумов Я. Р. и др., Труды Института системного программирования РАН 2014 Т. 26 С. 421–438
В статье описан проект Texterra, в рамках которого была создана инфраструктура для анализа текстов. Texterra предоставляет масштабируемое решение для быстрой обработки текстовых документов, основанное на использовании знаний, извлекаемых из Веб-ресурсов и текстовых документов. В данной статье раскрываются детали реализации проекта, варианты использования и результаты экспериментальных исследований разработанных инструментов. ...
Добавлено: 6 ноября 2017 г.
Захарьящев М. В., Kontchakov R., , in: Artificial Intelligence* 234.: [б.и.], 2016. P. 78–119.
Добавлено: 18 сентября 2017 г.
Mosurovic M., Krdzavac N., Graves H. и др., Journal of Artificial Intelligence Research 2013 Vol. 47 P. 809–851
We design a decidable extension of the description logic SROIQ underlying the Web Ontology Language OWL 2. The new logic, called SR+OIQ, supports a controlled use of role axioms whose right-hand side may contain role chains or role unions. We give a tableau algorithm for checking concept satisfiability with respect to SR+OIQ ontologies and prove ...
Добавлено: 25 марта 2015 г.
Artale A., Kontchakov R., Ryzhikov V. и др., ACM Transactions on Computational Logic 2014 Vol. 15 No. 3 P. 25.1–25.50
We design temporal description logics (TDLs) suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Lite logics with three types of concept inclusions (ranging from atomic concept inclusions and disjointness to the full Booleans), as well as cardinality constraints and role inclusions. The logics are interpreted over the ...
Добавлено: 25 марта 2015 г.
Artale A., Kontchakov R., Wolter F. и др., , in: Proceedings of the 23rd International Joint Conference on Artificial Intelligence.: Beijing: AAAI Press, 2013. Ch. 112 P. 711–718.
Добавлено: 24 марта 2015 г.
Bienvenu M., Kikot S., Подольский В. В., , in: CEUR Workshop ProceedingsVol. 1193: Informal Proceedings of the 27th International Workshop on Description Logics. Vienna, Austria, July 17-20, 2014.: Wien: CEUR Workshop Proceedings, 2014. P. 45–57.
Добавлено: 20 октября 2014 г.