Scholar
Ian Horrocks
Google Scholar ID: 0ypdmcYAAAAJ
Professor of Computer Science, University of Oxford
Semantic Web
Ontologies
Knowledge Representation
Logic in Computer Science
Knowledge Graphs
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
10,566
H-index
47
i10-index
171
Publications
20
Co-authors
114
list available
Contact
GitHub
Open ↗
Publications
4 items
From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks
2025
Cited
0
Language Models as Ontology Encoders
2025
Cited
0
Supposedly Equivalent Facts That Aren't? Entity Frequency in Pre-training Induces Asymmetry in LLMs
2025
Cited
0
Ontology Embedding: A Survey of Methods, Applications and Resources
arXiv.org · 2024
Cited
2
Resume
Academic Achievements
Co-authored the book 'An Introduction to Description Logics'
Developed widely-used tools: HermiT (OWL 2 reasoner), ELK (OWL 2 EL reasoner), PAGOdA (OWL 2 query answering system), RDFox (scalable RDF triple store), and SemFacet (semantic faceted search system)
Editor-in-Chief of the diamond open-access journal Transactions on Graph Data and Knowledge (TGDK)
Founder of Oxford Semantic Technologies
Published extensively, including a 2024 ICLR paper titled 'Faithful Rule Extraction for Differentiable Rule Learning Models'
Maintains a highly cited Google Scholar profile and comprehensive DBLP publication list
Co-authors
15 total
Bernardo Cuenca Grau
Professor of Computer Science, University of Oxford.
Frank van Harmelen
Dept. of Computer Science, Vrije Universiteit Amsterdam
Uli Sattler
Professor, IMG, Department of Computer Science, University of Manchester
Ernesto Jimenez-Ruiz
Senior Lecturer in Artificial Intelligence. City St George's, University of London, UK
Evgeny Kharlamov
Bosch Center for Artificial Intelligence and Univeristy of Oslo
Jeff Z. Pan
Professor of Knowledge Computing, University of Edinburgh
Deborah L. McGuinness
Tetherless World Chair, Prof. Computer, Cognitive,Web Sciences, Industrial &Systems Engineering,RPI
Stefan Decker
Fraunhofer FIT, RWTH Aachen University