Reasoning over extended ER models A Artale, D Calvanese, R Kontchakov, V Ryzhikov, M Zakharyaschev Conceptual Modeling - ER 2007, 26th International Conference on Conceptual …, 2007 | 132 | 2007 |
A cookbook for temporal conceptual data modelling with description logics A Artale, R Kontchakov, V Ryzhikov, M Zakharyaschev ACM Transactions on Computational Logic (TOCL) 15 (3), 1-50, 2014 | 101 | 2014 |
Querying log data with metric temporal logic S Brandt, EG Kalaycı, V Ryzhikov, G Xiao, M Zakharyaschev Journal of Artificial Intelligence Research 62, 829-877, 2018 | 84 | 2018 |
Ontology-based data access with a horn fragment of metric temporal logic S Brandt, EG Kalaycı, R Kontchakov, V Ryzhikov, G Xiao, ... Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 83 | 2017 |
Ontology-mediated query answering over temporal data: A survey A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ... Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik 90, 1-37, 2017 | 73 | 2017 |
First-order rewritability of temporal ontology-mediated queries A Artale, A Kovtunova, R Kontchakov, V Ryzhikov, F Wolter, ... Proceedings of the Twenty-Fourth International Joint Conference on …, 2015 | 62 | 2015 |
Inseparability and conservative extensions of description logic ontologies: A survey E Botoeva, B Konev, C Lutz, V Ryzhikov, F Wolter, M Zakharyaschev Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query …, 2017 | 51 | 2017 |
The complexity of clausal fragments of LTL A Artale, R Kontchakov, V Ryzhikov, M Zakharyaschev Logic for Programming, Artificial Intelligence, and Reasoning - 19th …, 2013 | 48 | 2013 |
Tractable Interval Temporal Propositional and Description Logics A Artale, R Kontchakov, V Ryzhikov, M Zakharyaschev Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence …, 2015 | 46 | 2015 |
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic R Kontchakov, L Pandolfo, L Pulina, V Ryzhikov, M Zakharyaschev Proc. of the 25th Int. Joint Conf. on Artificial Intelligence (IJCAI), AAAI …, 2016 | 41 | 2016 |
Horn fragments of the Halpern-Shoham interval temporal logic D Bresolin, A Kurucz, E Muñoz-Velasco, V Ryzhikov, G Sciavicco, ... ACM Transactions on Computational Logic (TOCL) 18 (3), 1-39, 2017 | 34 | 2017 |
DL-Lite with Attributes and Datatypes A Artale, V Ryzhikov, R Kontchakov ECAI 2012 - 20th European Conference on Artificial Intelligence. Including …, 2012 | 34 | 2012 |
Exchanging Description Logic Knowledge Bases M Arenas, E Botoeva, D Calvanese, V Ryzhikov, E Sherkhonov Principles of Knowledge Representation and Reasoning: Proceedings of the …, 2012 | 31 | 2012 |
Balonse: Temporal aspects of dance movement and its ontological representation K El Raheb, T Mailis, V Ryzhikov, N Papapetrou, Y Ioannidis The Semantic Web: 14th International Conference, ESWC 2017, Portorož …, 2017 | 30 | 2017 |
Games for query inseparability of description logic knowledge bases E Botoeva, R Kontchakov, V Ryzhikov, F Wolter, M Zakharyaschev Artificial Intelligence (AIJ), 2016 | 25 | 2016 |
Ontology-based access to temporal data with Ontop: A framework proposal E Kalayci, S Brandt, D Calvanese, V Ryzhikov, G Xiao, M Zakharyaschev International Journal of Applied Mathematics and Computer Science 29 (1), 17-30, 2019 | 24 | 2019 |
First-order rewritability of ontology-mediated queries in linear temporal logic A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ... Artificial Intelligence 299, 103536, 2021 | 22 | 2021 |
Query inseparability for ALC ontologies E Botoeva, C Lutz, V Ryzhikov, F Wolter, M Zakharyaschev Artificial Intelligence 272, 1-51, 2019 | 22 | 2019 |
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version) V Ryzhikov, PA Walega, M Zakharyaschev arXiv preprint arXiv:1905.12990, 2019 | 22 | 2019 |
The complexity of ontology-based data access with OWL 2 QL and bounded treewidth queries M Bienvenu, S Kikot, R Kontchakov, VV Podolskii, V Ryzhikov, ... Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2017 | 21 | 2017 |