| RDFox: A highly-scalable RDF store Y Nenov, R Piro, B Motik, I Horrocks, Z Wu, J Banerjee International Semantic Web Conference, 3-20, 2015 | 204 | 2015 |
| Parallel materialisation of datalog programs in centralised, main-memory RDF systems B Motik, Y Nenov, R Piro, I Horrocks, D Olteanu Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 184 | 2014 |
| Incremental update of datalog materialisation: the backward/forward algorithm B Motik, Y Nenov, REF Piro, I Horrocks Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015 | 79 | 2015 |
| Capturing industrial information models with ontologies and constraints E Kharlamov, BC Grau, E Jiménez-Ruiz, S Lamparter, G Mehdi, ... International Semantic Web Conference, 325-343, 2016 | 72 | 2016 |
| Pagoda: Pay-as-you-go ontology query answering using a datalog reasoner Y Zhou, BC Grau, Y Nenov, M Kaminski, I Horrocks Journal of Artificial Intelligence Research 54, 309-367, 2015 | 54 | 2015 |
| Pay-as-you-go OWL query answering using a triple store Y Zhou, Y Nenov, BC Grau, I Horrocks Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 37 | 2014 |
| Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies M Kaminski, Y Nenov, BC Grau Artificial Intelligence 236, 90-118, 2016 | 33 | 2016 |
| Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning M Kaminski, Y Nenov, BC Grau Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 32 | 2014 |
| Distributed RDF query answering with dynamic data exchange A Potter, B Motik, Y Nenov, I Horrocks International Semantic Web Conference, 480-497, 2016 | 27 | 2016 |
| Semantic technologies for data analysis in health care R Piro, Y Nenov, B Motik, I Horrocks, P Hendler, S Kimberly, M Rossman International Semantic Web Conference, 400-417, 2016 | 23 | 2016 |
| Complete query answering over horn ontologies using a triple store Y Zhou, Y Nenov, B Cuenca Grau, I Horrocks International Semantic Web Conference, 720-736, 2013 | 23 | 2013 |
| Maintenance of datalog materialisations revisited B Motik, Y Nenov, R Piro, I Horrocks Artificial Intelligence 269, 76-136, 2019 | 22 | 2019 |
| Modal logics for mereotopological relations. Y Nenov, D Vakarelov Advances in Modal Logic 7, 249-272, 2008 | 20 | 2008 |
| Combining rewriting and incremental materialisation maintenance for datalog programs with equality B Motik, Y Nenov, R Piro, I Horrocks Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 19 | 2015 |
| Handling owl: sameAs via rewriting B Motik, Y Nenov, R Piro, I Horrocks Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 18 | 2015 |
| Computing datalog rewritings for disjunctive datalog programs and description logic ontologies M Kaminski, Y Nenov, B Cuenca Grau International Conference on Web Reasoning and Rule Systems, 76-91, 2014 | 17 | 2014 |
| Topological logics with connectedness over Euclidean spaces R Kontchakov, Y Nenov, I Pratt-Hartmann, M Zakharyaschev ACM Transactions on Computational Logic (TOCL) 14 (2), 1-48, 2013 | 16 | 2013 |
| On the decidability of connectedness constraints in 2D and 3D Euclidean spaces R Kontchakov, Y Nenov, I Pratt-Hartmann, M Zakharyaschev Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 16 | 2011 |
| Dynamic data exchange in distributed RDF stores A Potter, B Motik, Y Nenov, I Horrocks IEEE Transactions on Knowledge and Data Engineering 30 (12), 2312-2325, 2018 | 11 | 2018 |
| Data science with Vadalog: Bridging machine learning and reasoning L Bellomarini, RR Fayzrakhmanov, G Gottlob, A Kravchenko, E Laurenza, ... International Conference on Model and Data Engineering, 3-21, 2018 | 8 | 2018 |
Ian HorrocksProfessor of Computer Science, University of OxfordEmail confirmado em cs.ox.ac.uk
