| HermiT: an OWL 2 reasoner B Glimm, I Horrocks, B Motik, G Stoilos, Z Wang Journal of automated reasoning 53, 245-269, 2014 | 931 | 2014 |
| Conjunctive query answering for the description logic SHIQ B Glimm, I Horrocks, C Lutz, U Sattler Journal of Artificial Intelligence Research 31, 150-197, 2008 | 336 | 2008 |
| Conjunctive query answering for the description logic SHIQ B Glimm, I Horrocks, C Lutz, U Sattler Proceedings of the 20th International Joint Conference on Artificial …, 2007 | 335 | 2007 |
| Konclude: system description A Steigmiller, T Liebig, B Glimm Journal of Web Semantics 27, 78-85, 2014 | 199 | 2014 |
| Konclude: System Description A Steigmiller, T Liebig, B Glimm Journal of Web Semantics 27, 78-85, 2014 | 199 | 2014 |
| SPARQL query answering over OWL ontologies I Kollia, B Glimm, I Horrocks The Semantic Web: Research and Applications, 382-396, 2011 | 183 | 2011 |
| The OWL reasoner evaluation (ORE) 2015 competition report B Parsia, N Matentzoglu, RS Gonçalves, B Glimm, A Steigmiller Journal of Automated Reasoning 59, 455-482, 2017 | 135 | 2017 |
| A Novel Approach to Ontology Classification B Glimm, I Horrocks, B Motik, R Shearer, G Stoilos Web Semantics: Science, Services and Agents on the World Wide Web 14, 2012 | 123 | 2012 |
| SPARQL 1.1 entailment regimes B Glimm, C Ogbuji, S Hawke, I Herman, B Parsia, A Polleres, A Seaborne W3C recommendation 21, 2013 | 106 | 2013 |
| OWL: Yet to arrive on the Web of Data? B Glimm, A Hogan, M Krötzsch, A Polleres arXiv preprint arXiv:1202.0984, 2012 | 94 | 2012 |
| Integrated Metamodeling and Diagnosis in OWL 2 B Glimm, S Rudolph, J Völker | 78 | 2010 |
| Integrated Metamodeling and Diagnosis in OWL 2 B Glimm, S Rudolph, J Völker Proceedings of the 9th International Semantic Web Conference (ISWC 2010 …, 2010 | 78 | 2010 |
| Optimising ontology classification B Glimm, I Horrocks, B Motik, G Stoilos The Semantic Web–ISWC 2010: 9th International Semantic Web Conference, ISWC …, 2010 | 71 | 2010 |
| Optimizing SPARQL query answering over OWL ontologies I Kollia, B Glimm Journal of artificial intelligence research 48, 253-303, 2013 | 69 | 2013 |
| Nominals, inverses, counting, and conjunctive queries or: Why infinity is your friend S Rudolph, B Glimm Journal of Artificial Intelligence Research 39 (1), 429-481, 2010 | 69 | 2010 |
| Using SPARQL with RDFS and OWL entailment B Glimm Reasoning Web International Summer School, 137-201, 2011 | 59 | 2011 |
| SPARQL beyond subgraph matching B Glimm, M Krötzsch Proceedings of the 9th International Semantic Web Conference (ISWC 2010 …, 2010 | 54 | 2010 |
| Interactive Ontology Revision N Niktina, S Rudolph, B Glimm Web Semantics: Science, Services and Agents on the World Wide Web 12, 118-130, 2012 | 53 | 2012 |
| Unions of conjunctive queries in SHOQ B Glimm, I Horrocks, U Sattler Proceedings of the 11th International Conference on the Principles of …, 2008 | 49 | 2008 |
| OWL reasoner evaluation (ORE) workshop 2013 results RS Gonçalves, S Bail, E Jiménez-Ruiz, N Matentzoglu, B Parsia, B Glimm, ... ORE, 1-18, 2013 | 48 | 2013 |
Ian HorrocksProfessor of Computer Science, University of OxfordEmail verificata su cs.ox.ac.uk