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 (English only)
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
114 total
Bernardo Cuenca Grau
Professor of Computer Science, University of Oxford.
Frank van Harmelen
Dept. of Computer Science, Vrije Universiteit Amsterdam
Co-author 3
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
Co-author 7
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up