Ian Horrocks

11 papers at tracked venues · 7 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

ICLR ×2 ISWC ×2 NeurIPS ×2 WWW ×2 AAAI ×1 ECAI ×1 KR ×1

Frequent coauthors

Jiaoyan Chen

×5

Matthew Morris

×3

Bernardo Cuenca Grau

×3

Yuan He

×2

Yavor Nenov

×2

David J. Tena Cucala

×2

Hang Dong

×2

Hui Yang

×1

Yongsheng Gao

×1

Peter Crocker

×1

Mathias Jackermeier

×1

Xiaxia Wang

×1

Papers

Language Models as Ontology Encoders
ISWC 2025 ·
Hui Yang
,
Jiaoyan Chen
,
Yuan He
,
Yongsheng Gao
, Ian Horrocks
Semantic Technology in Your Pocket
ISWC 2025 ·
Peter Crocker
, Ian Horrocks,
Yavor Nenov
Sound Logical Explanations for Mean Aggregation Graph Neural Networks
NeurIPS 2025 ·
Matthew Morris
, Ian Horrocks
Dual Box Embeddings for the Description Logic EL++
WWW 2024 ·
Mathias Jackermeier
,
Jiaoyan Chen
, Ian Horrocks
Faithful Rule Extraction for Differentiable Rule Learning Models
ICLR 2024 ·
Xiaxia Wang
,
David Jaime Tena Cucala
,
Bernardo Cuenca Grau
, Ian Horrocks
Language Models as Hierarchy Encoders
NeurIPS 2024 ·
Yuan He
,
Moy Yuan
,
Jiaoyan Chen
, Ian Horrocks
Ontology Text Alignment: Aligning Textual Content to Terminological Axioms
ECAI 2024 ·
Jieying Chen
,
Hang Dong
,
Jiaoyan Chen
, Ian Horrocks
Optimised Storage for Datalog Reasoning
AAAI 2024 ·
Xinyue Zhang
,
Pan Hu
,
Yavor Nenov
, Ian Horrocks
Orbit-Equivariant Graph Neural Networks
ICLR 2024 ·
Matthew Morris
,
Bernardo Cuenca Grau
, Ian Horrocks
Relational Graph Convolutional Networks Do Not Learn Sound Rules
KR 2024 ·
Matthew Morris
,
David J. Tena Cucala
,
Bernardo Cuenca Grau
, Ian Horrocks
Taxonomy Completion via Implicit Concept Insertion
WWW 2024 ·
Jingchuan Shi
,
Hang Dong
,
Jiaoyan Chen
,
Zhe Wu
, Ian Horrocks