A Decidable Extension of SROIQ with Complex Role Chains and Unions

Mosurovic M.; Krdzavac N.; Graves H.; M. Zakharyaschev

?

A Decidable Extension of SROIQ with Complex Role Chains and Unions

Journal of Artificial Intelligence Research. 2013. Vol. 47. P. 809–851.

Mosurovic M., Krdzavac N., Graves H., Захарьящев М. В.

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 its soundness, completeness and termination.

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

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

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

Полный текст

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

Ключевые слова: description logic Tableau algorithm

Automated Ranking of Soybean Plots from Close-Range RGB Video via Depth Filtering and Point-Based Counting

Groshev Maksim, Rybakov Petr, Teterin N. и др., Sensors 2026 Article 6171

Добавлено: 7 октября 2026 г.

Space-Time Fluctuations in a Quasi-static Limit

Бернардан С. Ж., Gonçalves P., Olla S., Mathematical Physics Analysis and Geometry 2024 Vol. 27 No. 7

Добавлено: 6 октября 2026 г.

Новые информационные технологии в исследовании сложных структур. Материалы шестнадцатой международной конференции 21–25 Сентября 2026 г.

Томск: Издательство Томского государственного университета, 2026.

Материалы сборника Шестнадцатой Международной конференции «Новые информационные технологии в исследовании сложных структур» (Москва, 21–25 сентября 2026 г.) ориентированы на широкий круг специалистов, работающих на стыке теории информации, системного анализа и прикладных предметных областей. В издание вошли результаты исследований, посвящённые моделированию дискретных и стохастических структур управления и связи, разработке высокопроизводительных вычислительных и телекоммуникационных систем, а также вопросам цифровой трансформации образования, архитектурно-градостроительного проектирования, экологического ...

Добавлено: 6 октября 2026 г.

To spike or not to spike: the whims of the Wonham filter in the strong noise regime

Бернардан С. Ж., Chhaibi R., Najnudel J. и др., Probability Theory and Related Fields 2026 Vol. 195 P. 1823–1875

Добавлено: 5 октября 2026 г.

Цепная дробь Аски–Вильсона при qN=1

Исмаилов А. Р., Спиридонов В. П., Успехи математических наук 2026 Т. 81 № 5 С. 183–184

Получена новая формула для цепной дроби Аски–Вильсона в форме отношения двух q-гипер-геометрических рядов. ...

Добавлено: 5 октября 2026 г.

Оптимизация энергопотребления предприятия с использованием методов многокритериальной оптимизации

Серебренников Д. А., Белов А. В., Информационные технологии и вычислительные системы 2026 № 3 С. 157–169

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

Добавлено: 5 октября 2026 г.

Explicit Formula for Inverse and Determinant in Geometric Algebras over Odd-dimensional Vector Spaces

Абдулхаев К. С., Широков Д. С., Advances in Applied Clifford Algebras 2026 Vol. 36 P. 1–21

Добавлено: 4 октября 2026 г.

On Practical Aspects of Constructing Quasi-Cyclic Subfield Subcodes of Dual Elliptic Codes and Their Application in McEliece-type Cryptosystems

Кунинец А. А., IEEE Transactions on Information Theory 2026 P. 1–1

Добавлено: 3 октября 2026 г.

Инкрементальный метод обновления многомерного куба по неупорядоченному потоку событий журналов информационных систем

Зыков С. В., Уфимцев Г. А., Моделирование, оптимизация и информационные технологии 2026 Т. 14 № 8 С. 1–13

Информационные системы формируют большие объёмы событийных журналов, которые используются для анализа работы приложений и сервисов. При этом события могут поступать в аналитический контур позже момента их фактического возникновения и не в исходном порядке. Такая рассинхронизация приводит к ошибкам при построении агрегированных временных показателей, а регулярный полный пересчёт многомерного аналитического куба требует значительных вычислительных затрат. Целью ...

Добавлено: 2 октября 2026 г.

Polarization of opinions in the group: a modeling algorithm considering the dynamics of social bonds

Chebotarev V., Andreyuk D., Elizarova Anastasiya и др., Procedia Computer Science 2022 Vol. 213 No. C P. 596–601

Добавлено: 2 октября 2026 г.

Enhancing Boundary Stability in Decision Trees and Random Forests: A Weighted Sample Duplication Approach

Konstantinov A., Elizarova Anastasiya P., Utkin L., Computing, Telecommunications and Control 2026 Vol. 19 No. 1 P. 16–25

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

Добавлено: 2 октября 2026 г.

Graphon spin systems as exactly solvable models

Medvedev G., Alexandrov Artem, Physical Review E - Statistical, Nonlinear, and Soft Matter Physics 2026 Vol. 114 Article 044102

Добавлено: 2 октября 2026 г.

A Three-Party W-State Quantum Secret Sharing Protocol with X-Gate Encoding and Forbidden-Outcome Detection

Терегулов Т. Р., Лубенец Е. Р., / Series Quantum Physics "arXiv". 2026. No. 2609.31472.

Добавлено: 28 сентября 2026 г.

Pairings on the algebra of Laurent series over a ring

Левашев В. А., / Series arXiv "math". 2026. No. 2609.06010.

Добавлено: 24 сентября 2026 г.

Iterative construction of the R-matrices in arbitrary dimensions

Пятов П. Н., Пивоваров П. А., / Series math "arxiv.org". 2026. No. 2609.06274.

Добавлено: 24 сентября 2026 г.

On static manifolds with boundary admitting a nowhere-vanishing static potential

Медведев В. О., / Series arXiv "math". 2026.

We study complete static manifolds with boundary admitting a nowhere-vanishing static potential. Our main result shows that, under a natural lower bound relating the scalar curvature and the boundary mean curvature, a simple static manifold with boundary must in fact have positive scalar curvature, negative boundary mean curvature, and be compact; we also obtain explicit ...

Добавлено: 19 сентября 2026 г.

Vague stimulating ideas, images and metaphors in scientific thinking: researchers' work with horizons of unclear knowledge

Поддьяков А. Н., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.

Добавлено: 15 сентября 2026 г.

On phase-lock area parquet in a special slow-fast limit of model of Josephson junction.

Глуцюк А. А., / Series arXiv "math". 2026.

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

Infinitely many graph manifolds with unique geometrical piece that admit arbitrarily many Anosov flows

Починка О. В., Шмуклер В. И., / Series math.RT "arXiv:1808.06395 [math.RT]". 2026.

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

On calibration of remote sensing retrievals of ecosystem respiration (Reco) with tower measurements over,Russian forests and wetlands

Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.

Добавлено: 21 августа 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 г.