| HermiT: an OWL 2 reasoner B Glimm, I Horrocks, B Motik, G Stoilos, Z Wang Journal of Automated Reasoning 53 (3), 245-269, 2014 | 481 | 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 | 310 | 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 | 309 | 2007 |
| SPARQL query answering over OWL ontologies I Kollia, B Glimm, I Horrocks The Semantic Web: Research and Applications, 382-396, 2011 | 139 | 2011 |
| Konclude: system description A Steigmiller, T Liebig, B Glimm Journal of Web Semantics 27, 78-85, 2014 | 135 | 2014 |
| Konclude: System Description A Steigmiller, T Liebig, B Glimm Journal of Web Semantics 27, 78-85, 2014 | 135 | 2014 |
| 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 | 96 | 2012 |
| OWL: Yet to arrive on the Web of Data? B Glimm, A Hogan, M Krötzsch, A Polleres arXiv preprint arXiv:1202.0984, 2012 | 79 | 2012 |
| SPARQL 1.1 entailment regimes B Glimm, C Ogbuji, S Hawke, I Herman, B Parsia, A Polleres, A Seaborne W3C Recommendation 21, 2013 | 77 | 2013 |
| Integrated Metamodeling and Diagnosis in OWL 2 B Glimm, S Rudolph, J Völker | 70 | 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 | 70 | 2010 |
| Optimizing SPARQL query answering over OWL ontologies I Kollia, B Glimm Journal of artificial intelligence research 48, 253-303, 2013 | 68 | 2013 |
| The OWL reasoner evaluation (ORE) 2015 competition report B Parsia, N Matentzoglu, RS Gonçalves, B Glimm, A Steigmiller Journal of Automated Reasoning 59 (4), 455-482, 2017 | 60 | 2017 |
| Optimising ontology classification B Glimm, I Horrocks, B Motik, G Stoilos International Semantic Web Conference, 225-240, 2010 | 58 | 2010 |
| 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 | 55 | 2010 |
| Using SPARQL with RDFS and OWL entailment B Glimm Reasoning Web International Summer School, 137-201, 2011 | 47 | 2011 |
| SPARQL beyond subgraph matching B Glimm, M Krötzsch Proceedings of the 9th International Semantic Web Conference (ISWC 2010 …, 2010 | 47 | 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 | 45 | 2012 |
| A Syntax for Rules in OWL 2 B Glimm, M Horridge, B Parsia, PF Patel-Schneider Proceedings of the 6th International Workshop on OWL: Experiences and …, 2009 | 43 | 2009 |
| Unions of conjunctive queries in SHOQ B Glimm, I Horrocks, U Sattler Proceedings of the 11th International Conference on the Principles of …, 2008 | 42 | 2008 |
Ian HorrocksProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
