Ian Horrocks
Professor of Computer Science
Works on knowledge representation, ontology languages, description logics and optimised automated reasoning systems for the Semantic Web.
Ian Horrocks's lab at Oxford works on reasoning & neuro-symbolic AI, reasoning & agents and knowledge, QA & retrieval. 25 papers since 2023, 10 at top venues, mostly CIKM and ICLR. 15 alumni. Applications close .
At a glance
- papers, 2023–2026
- 7/ year
- at T1 venues
- 40%
- PhD students
- 0
- MS students
- 0
- alumni listed
- 15
Papers by yearfrom the lab homepage, 2023–2026
- 0 papers2026 · T1 0 · collecting
- 4 papers2025 · T1 2
- 10 papers2024 · T1 3
- 11 papers2023 · T1 5
T1 venuesOtherVenues: CIKM, ICLR, IJCAI, KR, AAAI
Research focuspaper titles that use each topic's words
- ontology7 papers
- Knowledge, QA & retrieval4 papers
- Reasoning & neuro-symbolic AI2 papers
- Reasoning & agents2 papers
- semantic web0 papers
Paper list
From the lab homepage.
20254 papers
- The Semantic Web - ISWC - International Semantic Web Conference, Nara, Japan, November 2-6, , Proceedings, Part ILanguage Models as Ontology Encoders
- TKDE (T1)Ontology Embedding: A Survey of Methods, Applications and Resources
- Joint Proceedings of Industry, Doctoral Consortium, Posters and Demos of the International Semantic Web Conference (ISWC-C ), Nara, Japan, November 2-6Semantic Technology in Your Pocket
- NeurIPS (T1)Sound Logical Explanations for Mean Aggregation Graph Neural Networks
202410 papers
- The Semantic Web - International Conference, ESWC , Hersonissos, Crete, Greece, May 26-30, , Proceedings, Part IA Language Model Based Framework for New Concept Placement in Ontologies
- Semantic WebDeepOnto: A Python package for ontology engineering with deep learning
- Proceedings of the ACM on Web Conference , WWW , Singapore, May 13-17Dual Box Embeddings for the Description Logic EL^++
- ICLR (T1)Faithful Rule Extraction for Differentiable Rule Learning Models
- Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems , NeurIPS , Vancouver, BC, Canada, December 10 - 15Language Models as Hierarchy Encoders
- PAISOntology Text Alignment: Aligning Textual Content to Terminological Axioms
- AAAI (T1)Optimised Storage for Datalog Reasoning
- ICLR (T1)Orbit-Equivariant Graph Neural Networks
- KRRelational Graph Convolutional Networks Do Not Learn Sound Rules
- Proceedings of the ACM on Web Conference , WWW , Singapore, May 13-17Taxonomy Completion via Implicit Concept Insertion
202311 papers
- Semantic WebAn assertion and alignment correction framework for large scale knowledge bases
- IJCAI (T1)Cardinality-Minimal Explanations for Monotonic Neural Networks
- Semantic WebConjunctive query answering over unrestricted OWL 2 ontologies
- WWW (T1)Contextual semantic embeddings for ontology subsumption prediction
- IJCAI (T1)Enhancing Datalog Reasoning with Hypertree Decompositions
- Findings of ACLLanguage Model Analysis for Ontology Subsumption Inference
- CIKM (T1)Ontology Enrichment from Texts: A Biomedical Dataset for Concept Discovery and Placement
- CIKM (T1)Reveal the Unknown: Out-of-Knowledge-Base Mention Discovery with Entity Linking
- KRRevisiting Inferential Benchmarks for Knowledge Graph Completion
- The Semantic Web - International Conference, ESWC , Hersonissos, Crete, Greece, May 28 - June 1, , ProceedingsSubsumption Prediction for E-Commerce Taxonomies
- Proc. IEEEZero-Shot and Few-Shot Learning With Knowledge Graphs: A Comprehensive Survey
Where alumni went15 listed
Apply to Oxford2027-28
DPhil in Computer Science
- Round
- 2027-28 entry (January round)
- Opens
- —
- GRE
- See program page
- English
- See program page
- Fee
- See program page
Not yet confirmed for this intake.
Similar labsnearest by research summary
- USUCSD
Alon Orlitsky
- Learning theory & optimization
- USUCLA
Cho-Jui Hsieh
- Trustworthy & safe ML
- USCMU
Yonatan Bisk
- Multimodal & grounded language
- USUT Austin
Ray Mooney
- Multilingual, translation & linguistics
- SGNTU
Boyang Li
- Multimodal & grounded language
- GBCambridge
Andreas Vlachos
- Multilingual, translation & linguistics
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- The lab homepage
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.
Oxfordcloses