| 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 | 116 | 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 | 69 | 2014 |
| 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 | 52 | 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 | 50 | 2015 |
| The complexity of clausal fragments of LTL A Artale, R Kontchakov, V Ryzhikov, M Zakharyaschev Logic for Programming, Artificial Intelligence, and Reasoning - 19th …, 2013 | 39 | 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 | 35 | 2015 |
| 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 | 32 | 2017 |
| 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 | 30 | 2012 |
| 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 | 29 | 2018 |
| Inseparability and conservative extensions of description logic ontologies: A survey E Botoeva, B Konev, C Lutz, V Ryzhikov, F Wolter, M Zakharyaschev Reasoning Web International Summer School, 27-89, 2016 | 29 | 2016 |
| 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 | 29 | 2016 |
| DL-Lite with Attributes and Datatypes A Artale, V Ryzhikov, R Kontchakov ECAI 2012 - 20th European Conference on Artificial Intelligence. Including …, 2012 | 29 | 2012 |
| 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 | 25 | 2017 |
| Query Inseparability for Description Logic Knowledge Bases E Botoeva, R Kontchakov, V Ryzhikov, F Wolter, M Zakharyaschev Principles of Knowledge Representation and Reasoning: Proceedings of the …, 2014 | 20 | 2014 |
| Games for query inseparability of description logic knowledge bases E Botoeva, R Kontchakov, V Ryzhikov, F Wolter, M Zakharyaschev Artificial Intelligence (AIJ), 2016 | 19 | 2016 |
| Exchanging OWL 2 QL Knowledge Bases M Arenas, E Botoeva, D Calvanese, V Ryzhikov Proceedings of the 23rd International Joint Conference on Artificial …, 2013 | 18 | 2013 |
| Tailoring temporal description logics for reasoning over temporal conceptual models A Artale, R Kontchakov, V Ryzhikov, M Zakharyaschev Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011 …, 2011 | 17 | 2011 |
| Complexity of reasoning over temporal data models A Artale, R Kontchakov, V Ryzhikov, M Zakharyaschev Conceptual Modeling - ER 2010, 29th International Conference on Conceptual …, 2010 | 17 | 2010 |
| Complexity of reasoning over entity-relationship models A Artale, D Calvanese, R Kontchakov, V Ryzhikov, M Zakharyaschev Proceedings of the 2007 International Workshop on Description Logics (DL2007 …, 2007 | 17* | 2007 |
| Knowledge base exchange: The case of OWL 2 QL M Arenas, E Botoeva, D Calvanese, V Ryzhikov Artificial Intelligence (AIJ) 238, 11-62, 2016 | 16 | 2016 |
Michael ZakharyaschevBirkbeck, University of LondonVerifierad e-postadress på dcs.bbk.ac.uk
