| SWRL: A semantic web rule language combining OWL and RuleML I Horrocks, PF Patel-Schneider, H Boley, S Tabet, B Grosof, M Dean W3C Member submission, 2004 | 4353 | 2004 |
| From SHIQ and RDF to OWL: The making of a web ontology language I Horrocks, PF Patel-Schneider, F Van Harmelen Journal of web semantics 1 (1), 7-26, 2003 | 2420 | 2003 |
| FaCT++ description logic reasoner: System description D Tsarkov, I Horrocks International Joint Conference on Automated Reasoning, 292-297, 2006 | 1699 | 2006 |
| Description logic programs: Combining logic programs with description logic BN Grosof, I Horrocks, R Volz, S Decker Proceedings of the 12th international conference on World Wide Web, 48-57, 2003 | 1449 | 2003 |
| The even more irresistible SROIQ I Horrocks, O Kutz, U Sattler 10th International Conference on Principles of Knowledge Representation and …, 2006 | 1407 | 2006 |
| A software framework for matchmaking based on semantic web technology L Li, I Horrocks Proceedings of the 12th international conference on World Wide Web, 331-339, 2003 | 1370 | 2003 |
| The semantic web: The roles of XML and RDF S Decker, S Melnik, F Van Harmelen, D Fensel, M Klein, J Broekstra, ... IEEE Internet computing 4 (5), 63-73, 2000 | 1370 | 2000 |
| OIL: An ontology infrastructure for the semantic web D Fensel, F Van Harmelen, I Horrocks, DL McGuinness, ... IEEE intelligent systems 16 (2), 38-45, 2001 | 1359 | 2001 |
| OWL 2: The next step for OWL B Cuenca Grau, I Horrocks, B Motik, B Parsia, P Patel-Schneider, ... Web Semantics: Science, Services and Agents on the World Wide Web 6 (4), 309-322, 2008 | 1326* | 2008 |
| OWL web ontology language reference M Dean, AT Schreiber, S Bechofer, FAH van Harmelen, J Hendler, ... World Wide Web Consortium, 2004 | 1315 | 2004 |
| Description logics F Baader, I Horrocks, U Sattler Handbook on Ontologies, 21-43, 2009 | 1090 | 2009 |
| HermiT: an OWL 2 reasoner B Glimm, I Horrocks, B Motik, G Stoilos, Z Wang Journal of Automated Reasoning 53 (3), 245-269, 2014 | 1064 | 2014 |
| OWL 2 web ontology language: Structural specification and functional-style syntax B Motik, PF Patel-Schneider, B Parsia, C Bock, A Fokoue, P Haase, ... W3C Recommendation, 2009 | 1028 | 2009 |
| An introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017 | 908 | 2017 |
| OWL 2 Web Ontology Language: Profiles B Motik, B Cuenca Grau, I Horrocks, Z Wu, A Fokoue, C Lutz W3C Recommendation, 2009 | 906* | 2009 |
| Description logics as ontology languages for the semantic web F Baader, I Horrocks, U Sattler Mechanizing mathematical reasoning, 228-248, 2005 | 887 | 2005 |
| HermiT: A highly-efficient OWL reasoner R Shearer, B Motik, I Horrocks Proceedings of the 5th International Workshop on OWL: Experiences and …, 2008 | 817 | 2008 |
| Practical reasoning for expressive description logics I Horrocks, U Sattler, S Tobies Logic for Programming and Automated Reasoning, 161-180, 1999 | 817 | 1999 |
| Wonderweb deliverable d17. the wonderweb library of foundational ontologies and the dolce ontology C Masolo, S Borgo, A Gangemi, N Guarino, A Oltramari, R Oltramari, ... | 804* | 2002 |
| OilEd: a reason-able ontology editor for the semantic web S Bechhofer, I Horrocks, C Goble, R Stevens KI 2001: Advances in Artificial Intelligence, 396-408, 2001 | 754 | 2001 |
Bernardo Cuenca GrauProfessor of Computer Science, University of Oxford.Verified email at cs.ox.ac.uk
