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.

Upper Bound for Permanent Saturation of Metric Graphs using Interval Exchange Transformations

Ермолаев Е. С., Чернышев В. Л., Скрипченко А. С., Journal of Nonlinear Science 2026 Vol. 36 No. 122 (2026) P. 1–37

We study upper bounds for the moment of permanent -saturation in finite metric graphs. The dynamics is generated by moving points travelling with unit speed along edges and branching into all outgoing directions whenever they reach a vertex. We first reformulate this branched dynamics in terms of birth times at vertices and prove a sufficient ...

Добавлено: 12 ноября 2026 г.

Impact of 5G NR-V2X Message Losses on Connected Vehicle Warning Functions

Физулин А. В., Степанянц В. Г., Американов А. А. и др., FUTURE TRANSPORTATION 2026 Vol. 6 No. 6 Article 264

Добавлено: 12 ноября 2026 г.

On β-function of 𝒩 = 2 supersymmetric integrable sigma models. Part II

Alfimov Mikhail, Kurakin Andrey, Journal of High Energy Physics 2026 Vol. 2026 Article 99

Добавлено: 12 ноября 2026 г.

On flexibility of trinomial varieties

Игнатьев М. В., Вилкин Т. В., Mediterranean Journal of Mathematics 2026 Vol. 23 No. 2 Article 70

Добавлено: 12 ноября 2026 г.

Линейные отображения, сохраняющие матрицы с n или n − 1 различными собственными значениями

Максаев А. М., Промыслов В. В., Тишутин П. С., Записки научных семинаров ПОМИ РАН 2026 Т. 554 С. 218–235

Пусть K — алгебраически замкнутое поле, а ℰₖ — множество n × n матриц над K, имеющих ровно k различных собственных значений. Ранее классификация линейных отображений T: Mₙ(K) → Mₙ(K), удовлетворяющих условию T(ℰₙ) ⊆ ℰₙ, была получена для обратимых отображений над полем характеристики 0. В данной работе эта классификация распространяется на произвольные, в том числе ...

Добавлено: 11 ноября 2026 г.

Nonexistence of Energy Function for Surface Diffeomorphisms with Nontrivial Basic Sets of Serpentine Geometric Type

Баринова М. К., Tirskaya Karina, Владикавказский математический журнал 2026 Vol. 28 No. 3 P. 25–43

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

Добавлено: 11 ноября 2026 г.

О статистических свойствах наилучших диофантовых приближений

Илларионов А. А., Математический сборник 2026 Т. 217 № 11 С. 56–87

Пусть $b(\alpha;T)$ --- количество наилучших совместных диофантовых приближений с общим знаменателем $\le T$ к точке $\alpha \in {\Bbb R}^n$. Мы выводим асимптотические формулы для среднего значения этой величины (усреднение проводится по всем рациональным точкам вида $\alpha = (k_1/N,\ldots, k_n/N)$, $N\le R$), а также для ее математического ожидания при условии, что $\alpha$ равномерно распределена на кубе $[0,1)^n$. ...

Добавлено: 10 ноября 2026 г.

Structural model of decision support system for sustainable development of oil and gas companies

Stoianova A. D., Trofimets V. Y., Matrokhina K. V., International Journal of Engineering, Transactions A: Basics 2025 Vol. 38 No. 4 P. 701–709

Добавлено: 10 ноября 2026 г.

К теореме Гудмана-Штрауса

Верещагин Н. К., Математический сборник 2026 Т. 217 № 10 С. 3–46

Теорема Гудмана-Штрауса утверждает, что для “почти всякой” подстановки семейство подстановочных замощений софично, т.е. может быть задано локальными правилами для некоторой раскраски плиток. Условия на подстановку, гарантирующие софичность, довольно сложные. В настоящей работе мы предлагаем версию теоремы Гудмана-Штрауса с более простыми условиями на подстановку. Хотя эти условия достаточно ограничительны, мы показываем, что в сочетании с двумя простыми приемами (взятием достаточно ...

Добавлено: 10 ноября 2026 г.

EdFitter: a hybrid course recommendation system using large language models

Sergei Koltcov, Рюмин Д. А., Alexandr Axyonov и др., PeerJ Computer Science 2026 Article 12:e4141

Добавлено: 10 ноября 2026 г.

Assessing density equilibration in confined Liquid–Liquid interfaces

Guskov T., Gerke K., Кондратюк Н. Д. и др., Molecular Simulation 2026 Vol. 52 No. 7 P. 546 – 555

Добавлено: 10 ноября 2026 г.

Influence of nuclear quantum effects on metastable states of warm dense hydrogen

Lukyanchuk V., Норман Г. Э., Кондратюк Н. Д. и др., Scientific Reports 2026 Vol. 16 No. 1 Article 16435

Добавлено: 10 ноября 2026 г.

Machine Learning and Knowledge Discovery in Databases. Research Track and Applied Data Science Track. European Conference, ECML PKDD 2026, Naples, Italy, September 7–11, 2026, Proceedings

Springer, 2027.