?
Temporal Description Logic for Ontology-Based Data Access
Ch. 112. P. 711–718.
Artale A., Kontchakov R., Wolter F., Захарьящев М. В.
В книге
Beijing: AAAI Press, 2013.
Герасимова О. А., 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 г.
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 г.
Захарьящев М. В., Kontchakov R., , in: Artificial Intelligence* 234.: [б.и.], 2016. P. 78–119.
Добавлено: 18 сентября 2017 г.
Rodríguez-Muro M., Kontchakov R., Захарьящев М. В., , in: The Semantic Web – ISWC 2013. Proceedings of12th International Semantic Web Conference, Part I.: Cham: Springer, 2013. Ch. 35 P. 558–573.
Добавлено: 26 марта 2015 г.
Botoeva E., Kontchakov R., Ryzhikov V. и др., , in: Proceedings, Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-14).: Palo Alto: AAAI Press, 2014. Ch. 25 P. 25.1–25.10.
Добавлено: 25 марта 2015 г.
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 г.
Хорошевский В. Ф., Ефименко И. В., В кн.: XIV Национальная конференция по искусственному интеллекту с международным участием КИИ-2014.: Каз.: Российская ассоциация искусственного интеллекта, 2014. С. 160–168.
В статье представлены результаты наукометрического исследования научного направления "Искусственный интеллект", выполененного на основе лингвистико-статистического анализа корпуса трудов Российской ассоциации искусственного интеллекта. ...
Добавлено: 23 октября 2014 г.
Irina V. Efimenko, Хорошевский В. Ф., Lecture Notes in Computer Science 2014 No. 8722 P. 170–177
Добавлено: 23 октября 2014 г.
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 г.