Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017.

?

Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017.

Ахен : CEUR Workshop Proceedings, 2017.

Научный редактор: A. Artale, B. Glimm, R. Kontchakov

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 and provides quality feedback via peer-reviewing, while at the same time being of an inclusive nature with a very high acceptance rate. There are only informal (electronic) proceedings and inclusion of a paper there is not supposed to preclude its publication at conferences. Further information can be found on the DL Web pages at http://dl.kr.org/.

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

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

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

Научное направление: Компьютерные науки Математика

Приоритетные направления: компьютерно-математическое математика

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

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

Ключевые слова: дескрипционная логика Онтологический доступ к данным Ontology-based data access Description logics

Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017.

Generative geospatial modelling with geometric algebra

Yu Z., Wang J., Wang Z. и др., Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 2026 Vol. 384 P. 1–16

Добавлено: 13 августа 2026 г.

Empowering Novel Geometric Algebra for Graphics and Engineering. ENGAGE 2025 (Hong Kong, July 14, 2025), Lecture Notes in Computer Science

Cham: Springer, 2026.

Добавлено: 13 августа 2026 г.

Reconstruction of EEG signals using next-generation reservoir computing

Ратников Ф. Д., European Physical Journal: Special Topics 2026 P. 1–10

Добавлено: 12 августа 2026 г.

О замыкающих ординалах инфинитарных вероятностных исчислений

Сперанский С. О., Математические заметки 2026 Т. 120 № 3 С. 470–483

Показывается, что с точки зрения замыкающих ординалов многие инфинитарные исчисления для «первопорядковых» логик вероятности (т.е. для языков, аналогичных языкам из [Abadi & Halpern 1994]) являются настолько трудными, насколько это возможно: соответствующие замыкающие ординалы совпадают с наименьшим неконструктивным ординалом, обозначаемым через $\omega_1^{\mathrm{CK}}$. ...

Добавлено: 12 августа 2026 г.

CAD2TechSpec: a framework for automating design processes within computer-aided design systems

Минец М. В., Красноженов Г. Г., Трофимова Е. А. и др., PeerJ Computer Science 2026 Vol. 12 Article e4063

Добавлено: 12 августа 2026 г.

Parametric study of hand dorsal vein biometric recognition vulnerability to spoofing attacks

Мизинов П. В., Journal of Computer Virology and Hacking Techniques 2023 No. 20 P. 383–396

Системы биометрического распознавания вен уязвимы для атак типа «биометрическое предъявление». Традиционно исследователи использовали изображение сосудистого русла пользователя, полученное в ближнем инфракрасном диапазоне (БИК), для создания инструмента атаки на биометрическое предъявление (ИАБП). В данной статье исследуется возможность использования свободного программного обеспечения для сбора данных о венозном рисунке кисти без использования БИК при нормальном освещении и создания ...

Добавлено: 11 августа 2026 г.

Data-Efficient Unsupervised Recalibration of Calorimeter Sensor Arrays Using Wasserstein Adversarial Learning

Али С., Бочарников В. О., Ратников Ф. Д. и др., Sensors 2026 Vol. 26 No. 16 Article 5024

Добавлено: 11 августа 2026 г.

Трубочкина, Н. К. Основы технологии производства и машинное обучение : учебник для вузов / Н. К. Трубочкина. — Москва : Издательство Юрайт, 2026. — 383 с. — (Высшее образование). — ISBN 978-5-534-22010-0.

Трубочкина Н. К., М.: Издательство «Юрайт», 2026.

Учебник посвящен формированию у студентов целостного представления о современных производственных процессах и методах их анализа и управления на основе технологий машинного обучения. В условиях четвертой промышленной революции, когда традиционные инженерные дисциплины неразрывно переплетаются с интеллектуальными методами обработки данных, возникает потребность в специалистах, способных интегрировать знания из обеих областей. Настоящий учебник призван удовлетворить эту потребность, предлагая ...

Добавлено: 8 августа 2026 г.

Maps preserving two small values of λ-th upper scrambling index

Kulev Y., Максаев А. М., Промыслов В. В., Linear Algebra and its Applications 2026 Vol. 730 P. 51–72

Добавлено: 7 августа 2026 г.

On the Matchings-Jack and Hypermap-Jack Conjectures for Labelled Matchings and Star Hypermaps

Kanunnikov A., Промыслов В. В., Vassilieva E., Electronic Journal of Combinatorics 2024 Vol. 31 No. 3 Article P3.6

Добавлено: 7 августа 2026 г.

WWW '23 Companion: Companion Proceedings of the ACM Web Conference 2023

Фирсанова В. И., ACM, 2026.

Добавлено: 4 августа 2026 г.

Joint Proceedings of the ESWC 2025 Workshops and Tutorials co-located with 22nd Extended Semantic Web Conference (ESWC 2025), Portorož, Slovenia, June 1-2, 2025.

Фирсанова В. И., Хлусова Я. К., CEUR Workshop Proceedings, 2025.

Добавлено: 4 августа 2026 г.

From hyperbolic to complex Euler integrals

Spiridonov V. P., Belousov N. M., Sarkissian G. A., Analysis and Mathematical Physics 2026 Vol. 16 Article 96

Добавлено: 4 августа 2026 г.

Flexibility criterion for affine horospherical varieties

Гайфуллин С. А., Киктева В. В., Results in Mathematics 2026 Vol. 81 No. 5 Article 146

Добавлено: 3 августа 2026 г.

О полуортогональных разложениях производных категорий диаграммных схем

Лунц В. А., Функциональный анализ и его приложения 2026 Т. 60 № 3 С. 127–129

Доказано, что канонические полуортогональные разложения производной категории диаграммной схемы индуцируют аналогичные разложения подкатегории совершенных комплексов. ...

Добавлено: 3 августа 2026 г.

Mathematical methods of reinforcement learning

Беломестный Д. В., Гасников А. В., Гладин Е. Л. и др., Russian Mathematical Surveys 2026 Vol. 81 No. 4(490) P. 3–90

Добавлено: 3 августа 2026 г.

Анализ корпусов текстов на естественных языках. Математические методы. Учебное пособие

Чеповский А. М., М.: Мастерская Печати Идей, 2026.

В учебном пособии представлены методы и алгоритмы автоматического анализа корпусов текстов на естественных языках. Предназначено для изучающих методов обработки текстов на естественных языках и создания обучающих массивов текстов. Для студентов, аспирантов и научных работников, изучающих методы компьютерной лингвистики и обработку текстов. ...

Добавлено: 1 августа 2026 г.

A. Radomskii, Mathematical notes 2026 Vol. 119 No. 6 P. 1136–1147

Добавлено: 31 июля 2026 г.

Three Algorithms for Merging Hierarchical Navigable Small World Graphs

Пономаренко А. А., / Series Computer Science "arxiv.org". 2025.

Добавлено: 30 июля 2026 г.

New bound on S1× S2-setting Bell locality of a nonseparable Werner state

Лубенец Е. Р., / Series arxiv.org "quant-ph". 2026. No. 2607.18050.

Добавлено: 21 июля 2026 г.

On functional equations for Chow polylogarithms

Болбачан В. С., / Series math "arxiv.org". 2024.

Полилогарифмы Чжоу — это специальные функции, возникающие при явном описании отображения регулятора Бейлинсона. Наиболее интересное функциональное уравнение для этой функции отражает тот факт, что она обращается в нуль на границе в комплексе циклов Блоха. Мы показываем, что это функциональное уравнение формально вытекает из более простых свойств: кососимметричности, функториальности и мультипликативности. Для доказательства этого мы рассматриваем ...

Добавлено: 16 июля 2026 г.

On Goncharov’s conjecture in next to Milnor degree

Болбачан В. С., / Series math "arxiv.org". 2024.

Пусть K поле характеристики ноль. Мы доказываем что его когомологии в степени m-1 и весе m рационально изоморфны когомологиям полилогарифмического комплекса в соответствующей степени. Это дает частичное расширение теоремы Суслина, описывающую неразложимую K теорию K_3 для поля. ...

Добавлено: 16 июля 2026 г.

Statistical inference based on band-limited kernels: Rational-infinitely divisible distributions and beyond

Панов В. А., Рябченко А. П., / Series arXiv "stat.ME". 2026. No. 2607.05048.

Добавлено: 9 июля 2026 г.

Growth in noncommutative algebras and entropy in derived categories

Пионтковский Д. И., / Series arXiv "math". 2026.

Добавлено: 23 июня 2026 г.