?
Description Logic, Theory Combination, and All That
Берлин :
Springer, 2019.
Научный редактор: C. Lutz, C. Tinelli, F. Wolter
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 readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science.
Герасимова О. А., 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 г.
Научное направление:
Компьютерные науки
Приоритетные направления:
компьютерно-математическое
Язык:
английский
SciTePress, 2010
Добавлено: 15 ноября 2014 г.
Найденова К., Игнатов Д. И., Hershey : IGI Global, 2012
The consideration of symbolic machine learning algorithms as an entire class will make it possible, in the future, to generate algorithms, with the aid of some parameters, depending on the initial users’ requirements and the quality of solving targeted problems in domain applications.
Diagnostic Test Approaches to Machine Learning and Commonsense Reasoning Systems surveys, analyzes, and ...
Добавлено: 3 декабря 2012 г.
Обсуждаются проблемы интеграции информации в областях с интенсивным использованием данных. Проанализированы существующие подходы к интеграции. Предложен новый подход к интеграции, основанный на онтологической и продукционной моделях знаний, а также формальная теоретико-множественная модель, лежащая в его основе. Практические преимущества подхода продемонстрированы на примере концептуализации задачи выявления ключевых мостов из области анализа социальных сетей. ...
Добавлено: 22 октября 2022 г.
Switzerland : Springer, 2019
Добавлено: 14 июня 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 г.
Warsz. : Springer, 2013
This book constitutes a collection of selected contributions from the 12th International Conference on Perspectives in Business Informatics Research, BIR 2013, held in Warsaw, Poland, in September 2013. Overall, 54 submissions were rigorously reviewed by 41 members of the Program Committee representing 21 countries. As a result, 19 full and 5 short papers from 12 ...
Добавлено: 5 октября 2013 г.
Switzerland : Springer, 2015
This book constitutes the refereed proceedings of the 6th Conference on Knowledge Engineering and the Semantic Web, KESW 2015, held in Moscow, Russia, in September/October 2015. The 17 revised full papers presented together with 6 short system descriptions were carefully reviewed and selected from 35 submissions. The papers address research issues related to semantic web, ...
Добавлено: 16 сентября 2015 г.
Chemodanov D., Esposito F., Calyam P. и др., IEEE Transactions on Network and Service Management 2019 Vol. 16 No. 1 P. 127-142
Добавлено: 3 декабря 2019 г.
Лычкина Н. Н., , in : World Organization of Systems and Cybernetics 18. Congress-WOSC2021: Systems Approach and Cybernetics: Engaging for the Future of Mankind. Vol. 495.: Springer, 2022. Ch. III. P. 191-204.
Добавлено: 31 октября 2021 г.
Замятина Е.Б., Миков А.И., Информатизация и связь 2012 № 5 С. 130-133
В настоящее время разработано и существует достаточно большее количество систем имитационного моделирования (СИМ). Некоторые из них предназначены для решения конкретных задач и настроены на конкретную предметную область. Круг пользователей таких систем ограничен. Другие системы являются универсальными, однако при решении конкретных задач пользователи сталкиваются с необходимостью дорабатывать их, дописывать код или разрабатывать модели в непривычных для ...
Добавлено: 14 мая 2014 г.
Мн. : БГУИР, 2014
Сборник включает прошедшие рецензирование статьи IV международной научно-технической конференции «Открытые семантические технологии проектирования интеллектуальных систем». Сборник предназначен для преподавателей высших учебных заведений, научных сотрудников, студентов, аспирантов, магистрантов, а также для специалистов предприятий в сфере проектирования интеллектуальных систем. Материалы сборника одобрены Программным комитетом OSTIS-2014 и печатаются в виде, представленном авторами. ...
Добавлено: 13 марта 2014 г.
Замятина Е.Б., Миков А. И., Михеев Р. А., Information Theories & Applications 2012 Т. 19 № 4 С. 355-368
В работе представлен симулятор компьютерных сетей TRIADNS. Широко используемая в настоящее время распределенная обработка информации, развитие Grid-технологий и облачных вычислений, позволяют говорить об актуальности проблемы, связанной с проектированием и моделированием компьютерных сетей. Проблема заключается в разработке программных средств имитационного моделирования, которые позволяют исследовать компьютерные сети, включающие множество узлов (и, следовательно, требующие больших временных затрат на ...
Добавлено: 20 марта 2015 г.
Springer, 2014
To large organizations, business intelligence (BI) promises the capability of collecting and analyzing internal and external data to generate knowledge and value, thus providing decision support at the strategic, tactical, and operational levels. BI is now impacted by the “Big Data” phenomena and the evolution of society and users. In particular, BI applications must cope ...
Добавлено: 17 октября 2014 г.
Springer, 2019
Добавлено: 29 октября 2019 г.
CEUR-WS.org, 2019
Добавлено: 29 октября 2019 г.
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 г.
Berlin : Springer, 2013
This book constitutes the refereed proceedings of the 4th Conference on Knowledge Engineering and the Semantic Web, KESW 2013, held in St. Petersburg, Russia, in October 2013. The 18 revised full papers presented together with 7 short system descriptions were carefully reviewed and selected from 52 submissions. The papers address research issues related to knowledge ...
Добавлено: 14 октября 2014 г.
В работе рассматриваются принципы построения агентно-ориентированной системы имитационного моделирования. Известно, что агентные модели расширяют возможности применения метода имитационного моделирования при решении ряда задач, которые методами системной динамики или событийно-ориентированного моделирования решены быть не могли. Особое внимание при проектировании агентно-ориентированной системы имитации авторы уделяют проблемам реализации распределенного моделирования, реализации интеллектуальных агентов и использованию онтологий на всех ...
Добавлено: 20 февраля 2015 г.
М. : Издательский центр «Российский государственный гуманитарный университет», 2019
Сборник включает 27 докладов международной конференции по компьютерной лингвистике и интеллектуальным технологиям «Диалог 2019», не вошедшие в ежегодник «Компьютерная лингвистика и интеллектуальные технологии», но рекомендованные Программным Комитетом к представлению на конференции. Для специалистов в области теоретической и прикладной лингвистики и интеллектуальных технологий. ...
Добавлено: 10 декабря 2019 г.
Карпов В. Э., Карпова И. П., Procedia Engineering 2015 Vol. 100 P. 1459-1468
Добавлено: 14 марта 2015 г.
Chernyshev S. V., Cherepanov E. A., Pankratiev E. V. и др., Journal of Mathematical Sciences 2005 Vol. 128 No. 6 P. 3487-3495
Добавлено: 27 января 2014 г.
Chuprikov P., Николенко С. И., Davydow A. и др., IEEE Transactions on Networking 2018 Vol. 26 No. 1 P. 342-355
Добавлено: 14 марта 2018 г.