| HermiT: an OWL 2 reasoner B Glimm, I Horrocks, B Motik, G Stoilos, Z Wang Journal of Automated Reasoning 53, 245-269, 2014 | 722 | 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 | 320 | 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 | 319 | 2007 |
| Konclude: system description A Steigmiller, T Liebig, B Glimm Journal of Web Semantics 27, 78-85, 2014 | 171 | 2014 |
| Konclude: System Description A Steigmiller, T Liebig, B Glimm Journal of Web Semantics 27, 78-85, 2014 | 171 | 2014 |
| SPARQL query answering over OWL ontologies I Kollia, B Glimm, I Horrocks The Semantic Web: Research and Applications, 382-396, 2011 | 171 | 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 | 112 | 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 | 111 | 2012 |
| SPARQL 1.1 entailment regimes B Glimm, C Ogbuji, S Hawke, I Herman, B Parsia, A Polleres, A Seaborne W3C recommendation 21, 2013 | 100 | 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 | 88 | 2012 |
| Integrated Metamodeling and Diagnosis in OWL 2 B Glimm, S Rudolph, J Völker | 76 | 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 | 76 | 2010 |
| Optimizing SPARQL query answering over OWL ontologies I Kollia, B Glimm Journal of artificial intelligence research 48, 253-303, 2013 | 70 | 2013 |
| Optimising ontology classification B Glimm, I Horrocks, B Motik, G Stoilos The Semantic Web–ISWC 2010: 9th International Semantic Web Conference, ISWC …, 2010 | 66 | 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 | 63 | 2010 |
| SPARQL beyond subgraph matching B Glimm, M Krötzsch Proceedings of the 9th International Semantic Web Conference (ISWC 2010 …, 2010 | 51 | 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 | 50 | 2012 |
| Using SPARQL with RDFS and OWL entailment B Glimm Reasoning Web. Semantic Technologies for the Web of Data: 7th International …, 2011 | 50 | 2011 |
| Unions of conjunctive queries in SHOQ B Glimm, I Horrocks, U Sattler Proceedings of the 11th International Conference on the Principles of …, 2008 | 46 | 2008 |
| 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 | 44 | 2009 |
Ian HorrocksProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
