Mikhail Zakharyaschev

Professor:Faculty of Computer Science / School of Data Analysis and Artificial Intelligence
Chief Research Fellow:Faculty of Computer Science / International Laboratory for Intelligent Systems and Structural Analysis

Mikhail Zakharyaschev has been at HSE University since 2015.

Education and Degrees

1998
Doctor of Sciences*
1978
Degree
Lomonosov Moscow State University

* Doctor of Sciences
A post-doctoral degree called Doctor of Sciences is given to reflect second advanced research qualifications or higher doctorates in ISCED 2011.

Editorial board membership

2011: Member of the Editorial Council, Journal of Applied Logic.
2011: Guest Editor, Studia Logica.

Conferences

2015
24th International Joint Conference on Artificial Intelligence, IJCAI 2015 (Buenos Aires). Presentation: When Are Description Logic Knowledge Bases Indistinguishable?
24th International Joint Conference on Artificial Intelligence, IJCAI 2015 (Buenos Aires). Presentation: First-Order Rewritability of Temporal Ontology-Mediated Queries.
28th International Workshop on Description Logics (Athens). Presentation: Conservative Rewritability of Description Logic TBoxes: First Results.
28th International Workshop on Description Logics (Athens). Presentation: Interval Temporal Description Logics.
29th AAAI Conference on Artificial Intelligence (Austin, Texas). Presentation: Tractable Interval Temporal Propositional and Description Logics.
2014
13th International Semantic Web Conference, ISWC 2014 (Riva del Garda). Presentation: Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime.
Reasoning on the Web in the Big Data Era - 10th International Summer School 2014 (Athens). Presentation: An Introduction to Description Logics and Query Rewriting.
14th International Conference on Principles of Knowledge Representation and Reasoning, KR 2014 (Vienna). Presentation: Query Inseparability for Description Logic Knowledge Bases.
27th International Workshop on Description Logics (Vienna). Presentation: Query Inseparability by Games.
27th International Workshop on Description Logics (Vienna). Presentation: Temporal OBDA with LTL and DL-Lite.
Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14 (Vienna). Presentation: On the succinctness of query rewriting over shallow ontologies.
2013
12th International Semantic Web Conference, ISWC 2013 (Sydney). Presentation: Ontology-Based Data Access: Ontop of Databases.
9th International Summer School 2013 (Mannheim). Presentation: Ontology-Based Data Access with Databases: A Short Course.
10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013) (Montpellier). Presentation: Ontop at Work.
2nd International Workshop on OWL Reasoner Evaluation (ORE-2013) (Ulm). Presentation: OBDA with Ontop.
Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19 (Stellenbosch). Presentation: The Complexity of Clausal Fragments of LTL.
23rd International Joint Conference on Artificial Intelligence (Beijing). Presentation: Temporal Description Logic for Ontology-Based Data Access.
26th International Workshop on Description Logics (Ulm). Presentation: Query Rewriting and Optimisation with Database Dependencies in Ontop.
26th International Workshop on Description Logics (Ulm). Presentation: Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard.
26th International Workshop on Description Logics (Ulm). Presentation: Query Answering via Modal Definability with FaCT++: First Blood.
26th International Workshop on Description Logics (Ulm). Presentation: Query Rewriting over Shallow Ontologies.
26th International Workshop on Description Logics (Ulm). Presentation: Temporalising OWL 2 QL.
2012
13th International Conference on Principles of Knowledge Representation and Reasoning, KR 2012 (Rome). Presentation: Conjunctive Query Answering with OWL 2 QL.
Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012 (Warwick). Presentation: Exponential Lower Bounds and Separation for Query Rewriting.
2012 International Workshop on Description Logics, DL-2012 (Rome). Presentation: Long Rewritings, Short Rewritings.
2011
22nd International Joint Conference on Artificial Intelligence (IJCAI 2011) (Барселона). Presentation: On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces

Publications³⁴

DBLP Computer Science bibliography https://dblp.uni-trier.de/pid/z/MZakharyaschev.html

Book Zakharyaschev M., Savateev Y., Ryzhikov V. Conference: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021 Vol. 206. Part 10. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2021. doi
Chapter Kikot S., Kurucz A., Podolskii V. V., Zakharyaschev M. Deciding Boundedness of Monadic Sirups, in: PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. NY : Association for Computing Machinery (ACM), 2021. doi P. 370-387. doi
Article Artale A., Kontchakov R., Kovtunova A., Wolter F., Ryzhikov V., Zakharyaschev M. First-order rewritability of ontology-mediated queries in linear temporal logic // Artificial Intelligence. 2021. Vol. 299. Article 103536. doi
Book Zakharyaschev M., Kurucz A., Savateev Y., Ryzhikov V. Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings Vol. 13027. Springer, 2021. doi
Chapter Gerasimova O., Kikot S., Kurucz A., Podolskii V. V., Zakharyaschev M. A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom, in: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. IJCAI Organization: The International Joint Conference on Artificial Intelligence (IJCAI), 2020. P. 403-413. doi
Book Zakharyaschev M., Kontchakov R., Ryzhikov V., Wolter F. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. The International Joint Conference on Artificial Intelligence (IJCAI), 2020. doi
Book Zakharyaschev M., Ryzhikov V., Wałęga P. Reasoning Web. Declarative Artificial Intelligence, 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures. Article: Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course Vol. 12258. Springer Publishing Company, 2020. doi
Chapter Gerasimova O., Kikot S., Zakharyaschev M. Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna, in: Description Logic, Theory Combination, and All That. Berlin : Springer, 2019. doi P. 329-351. doi
Article Zakharyaschev M. et al. Ontology–based access to temporal data with ontop: a framework proposal // International Journal of Applied Mathematics and Computer Science. 2019. Vol. 29. No. 1. P. 17-30. doi
Article Bienvenu M., Kikot S., Kontchakov R., Podolskii V. V., Zakharyaschev M. Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity // Journal of the ACM. 2018. Vol. 65. No. 5. P. 28:1-28:51. doi
Chapter Gerasimova O., Kikot S., Zakharyaschev M. Towards a Data Complexity Classification of Ontology-Mediated Queries with Covering, in: Proceedings of the 31th International Workshop on Description Logics, Tempe, Arizona, October 27-29, 2018.. Aachen : CEUR Workshop Proceedings, 2018. P. 1-13.
Chapter Zakharyaschev M., BRESOLIN D., KURUCZ A., MUÑOZ-VELASCO E., RYZHIKOV V., SCIAVICCO G. Horn fragments of the Halpern-Shoham interval temporal logic, in: ACM Transactions on Computational Logic (TOCL) Vol. 18. Issue 3. NY : ACM, 2017. P. 1-39. doi
Chapter Zakharyaschev M., Botoeva E., Konev B. Y., Lutz C., Ryzhikov V., Wolter F. Inseparability and conservative extensions of description logic ontologies: A survey, in: 12th International Summer School on Reasoning Web Summer School, RW 2016 Issue 9885. , 2017. P. 27-89. doi
Chapter Gerasimova O., Kikot S., Podolskii V. V., Zakharyaschev M. More on the Data Complexity of Answering Ontology-Mediated Queries with a Covering Axiom, in: Proceedings of the 8th international Conference on Knowledge Engineering and Semantic Web. Berlin : Springer, 2017. doi P. 143-158. doi
Chapter Gerasimova O., Podolskii V. V., Kikot S., Zakharyaschev M. On the Data Complexity of Ontology-Mediated Queries with a Covering Axiom, 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.
Chapter Zakharyaschev M., Kikot S., Bienvenu M., Kontchakov R., Ryzhikov V. On the parameterised complexity of tree-shaped ontology-mediated queries in OWL2QL, in: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017.. Aachen : CEUR Workshop Proceedings, 2017.
Chapter Bienvenu M., Kikot S., Kontchakov R., Ryzhikov V., Zakharyaschev M. Optimal nonrecursive datalog rewritings of linear TGDs and bounded (Hyper)Tree-width queries, in: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017.. Aachen : CEUR Workshop Proceedings, 2017. P. 1-12.
Chapter Podolskii V. V., Zakharyaschev M., Bienvenu M., Kikot S., Ryzhikov V., Kontchakov R. The complexity of ontology-based data access with OWL2QL and bounded treewidth queries, in: Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems Part F127745. ACM, 2017. P. 201-216. doi
Chapter Konev B. Y., Lutz C., Wolter F., Zakharyaschev M. Conservative rewritability of description logic TBoxes, in: 25th International Joint Conference on Artificial Intelligence. , 2016. P. 1153-1159.
Chapter Zakharyaschev M., Kontchakov R. Games for query inseparability of description logic knowledge bases, in: Artificial Intelligence Part 234. , 2016. P. 78-119. doi
Chapter Bienvenu M., Kikot S., Kontchakov R., Podolskii V. V., Zakharyaschev M. Theoretically optimal datalog rewritings for OWL 2 QL ontology-mediated queries, in: International Workshop on Description Logics, DL 2016 Issue 1577. , 2016. P. 1-13.
Chapter Zakharyaschev M., Artale A., Kontchakov R., Ryzhikov V. Tractable interval temporal propositional and description logics, in: Proceedings of the National Conference on Artificial Intelligence. American Association for Artificial Intelligence (AAAI) Press, 2015. P. 1417-1423.
Chapter Botoeva E., Zakharyaschev M., Kontchakov R., Ryzhikov V., Wolter F. When are description logic knowledge bases indistinguishable?, in: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. Palo Alto : AAAI Press, 2015. P. 4240-4246.
Article Artale A., Kontchakov R., Ryzhikov V., Zakharyaschev M. A Cookbook for Temporal Conceptual Data Modelling with Description Logics // ACM Transactions on Computational Logic. 2014. Vol. 15. No. 3. P. 25.1-25.50.
Chapter Kontchakov R., Rezk M., Rodríguez-Muro M., Xiao G., Zakharyaschev M. Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime, in: The Semantic Web – ISWC 2014. Proceedings of 13th International Semantic Web Conference, Part I. Cham : Springer, 2014. Ch. 35. P. 552-567.
Chapter Kikot S., Kontchakov R., Podolskii V. V., Zakharyaschev M. On the succinctness of query rewriting over shallow ontologies, in: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM / IEEE Symposium on Logic in Computer Science (LICS). NY : ACM, 2014. Ch. 57. P. 57.1-57.10.
Chapter Botoeva E., Kontchakov R., Ryzhikov V., Wolter F., Zakharyaschev M. Query Inseparability for Description Logic Knowledge Bases, 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.
Article Kontchakov R., Pratt-Hartmann I., Zakharyaschev M. Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces // Artificial Intelligence. 2014. Vol. 217. P. 43-75.
Article Gottlob G., Kikot S., Kontchakov R., Podolskii V. V., Schwentick T., Zakharyaschev M. The price of query rewriting in ontology-based data access // Artificial Intelligence. 2014. Vol. 213. P. 42-59.
Article Mosurovic M., Krdzavac N., Graves H., Zakharyaschev M. A Decidable Extension of SROIQ with Complex Role Chains and Unions // Journal of Artificial Intelligence Research. 2013. Vol. 47. P. 809-851.
Chapter Rodríguez-Muro M., Kontchakov R., Zakharyaschev M. Ontology-Based Data Access: Ontop of Databases, in: The Semantic Web – ISWC 2013. Proceedings of12th International Semantic Web Conference, Part I. Cham : Springer, 2013. Ch. 35. P. 558-573.
Chapter Kikot S., Tsarkov D., Zakharyaschev M., Zolin E. Query Answering via Modal Definability with FaCT++: First Blood, in: Proceedings of the 26th International Workshop on Description Logics (DL 2013) Vol. 1014. CEUR Workshop Proceedings, 2013. P. 328-340.
Chapter Artale A., Kontchakov R., Wolter F., Zakharyaschev M. Temporal Description Logic for Ontology-Based Data Access, in: Proceedings of the 23rd International Joint Conference on Artificial Intelligence. Beijing : AAAI Press, 2013. Ch. 112. P. 711-718.
Article Kontchakov R., Pratt-Hartmann I., Nenov Y., Zakharyaschev M. Topological Logics with Connectedness over Euclidean Spaces // ACM Transactions on Computational Logic. 2013. Vol. 14. No. 2. P. 13.1-13.48.

Timetable for today

Show timetable archive

Full timetable

Jan

2021

Logic Matters

The 3d International seminar "Logic Matters" organized by the International Laboratory for Intelligent Systems and Structural Analysis Department of Data Analysis and Artificial Intelligence under the leadership of Sergei O. Kuznetsov was held on December 29, 2020

Nov

2017

HSE and University of London: Joint BA Programme in Applied Data Analysis

In 2018, the Higher School of Economics will launch an English-taught double degree programme in partnership with the University of London in Applied Data Analysis. Graduates will be awarded an undergraduate degree from HSE in Applied Mathematics and Information Science and a Bachelor of Science in Data Science and Business Analytics from the University of London. International applicants are invited to apply online starting November 15, 2017.

Aug

2015

10th International Computer Science Symposium in Russia

On July 13th-17th 2015, the 10th International Computer Science Symposium in Russia took place. The largest conference on theoretical informatics in Russia was organized by Irkutsk State University, the Higher School of Economics and Yandex. Vladimir Podolskii, Associate Professor at the Big Data and Information Retrieval School took part in the event as guest speaker. Maxim Babenko, Head of the Joint Department with Yandex also delivered a report during the event.

Mikhail Zakharyaschev

Education and Degrees

Professional Interests

Courses (2021/2022)

Courses (2020/2021)

Courses (2019/2020)

Courses (2018/2019)

Doctoral School of Computer Science