| 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 | 107 | 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 | 61 | 2014 |
| Ontology-based data access with a horn fragment of metric temporal logic S Brandt, EG Kalaycı, R Kontchakov, V Ryzhikov, G Xiao, ... Thirty-First AAAI Conference on Artificial Intelligence, 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 | 37 | 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 | 35 | 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 | 33 | 2015 |
| DL-Lite with Attributes and Datatypes A Artale, V Ryzhikov, R Kontchakov ECAI 2012 - 20th European Conference on Artificial Intelligence. Including …, 2012 | 26 | 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 | 26 | 2012 |
| 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 | 24 | 2016 |
| 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 | 23 | 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 | 22 | 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 | 19 | 2014 |
| Ontology-mediated query answering over temporal data: A survey (invited talk) A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ... 24th International Symposium on Temporal Representation and Reasoning (TIME …, 2017 | 18 | 2017 |
| 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 |
| Games for query inseparability of description logic knowledge bases E Botoeva, R Kontchakov, V Ryzhikov, F Wolter, M Zakharyaschev Artificial Intelligence (AIJ), 2016 | 17 | 2016 |
| 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 |
| 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 | 16 | 2018 |
| DL-Lite with temporalised concepts, rigid axioms and roles A Artale, R Kontchakov, V Ryzhikov, M Zakharyaschev Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009 …, 2009 | 15 | 2009 |
Michael ZakharyaschevBirkbeck, University of LondonVerifierad e-postadress på dcs.bbk.ac.uk
