Hui Yang

I am a Research Associate at the University of Manchester, working with Dr. Jiaoyan Chen on the OntoEm project (Semantic Embedding for Ontologies). My research focuses on ontology reasoning, modularization, and embedding, combining symbolic and neural approaches to knowledge representation.

Recent News

  • Jul 2026 An ISWC 2026 tutorial has been accepted. [Tutorial webpage]
  • Apr 2026 A paper accepted at KR 2026 (ML Track). [arXiv]
  • Jan 2026 A paper published at WWW 2026. [arXiv]

Research Experience

University of Manchester Jun 2024 – Present
Research Associate · supervised by Dr. Jiaoyan Chen · Manchester, UK
Neural-symbolic Knowledge Representation; supported by EPSRC project OntoEm: Semantic Embedding for Ontologies.
IRT SystemX & LISN, Université Paris-Saclay Apr 2023 – Mar 2024
Postdoctoral Researcher · supervised by Prof. Nacéra Seghouani, Dr. Yue Ma, Dr. Mostepha Khouadjia · Gif-sur-Yvette, France
Neural network models for detection and semantic interpretation of abnormal events in videos; supported by the SMD project.
LISN, Université Paris-Saclay Feb 2020 – May 2023
Ph.D. Student · supervised by Prof. Nicole Bidoit and Dr. Yue Ma · Gif-sur-Yvette, France
Thesis: Knowledge Extraction from Large Ontologies. Supported by the AIDA project (BPI-France).
CPEC, TU Dresden Jul 2022
Visiting Student · supervised by Dr. Patrick Koopmann · Dresden, Germany
Ontology modularization via uniform interpolation for expressive ontologies.

Education

Université Paris-Saclay 2020 – 2023
Ph.D., Computer Science
IMPA (Instituto de Matemática Pura e Aplicada) 2017 – 2019
Master of Mathematics · Rio de Janeiro, Brazil
Nankai University 2013 – 2017
Bachelor of Mathematics · Tianjin, China

Publications

A complete list is also available on Google Scholar.

Accepted / In Press

KR 2026 RegD: Hierarchical Embeddings via Dissimilarity between Arbitrary Euclidean Regions. Hui Yang, Jiaoyan Chen. KR 2026 (ML Track).Accepted [arXiv]

Conference Papers

WWW 2026 Large Language Model for OWL Proofs. Hui Yang, Jiaoyan Chen, Uli Sattler. In Proceedings of the ACM Web Conference 2026. [arXiv]
ISWC 2025 Language Models as Ontology Encoders. Hui Yang, Jiaoyan Chen, Yuan He, Yongsheng Gao, Ian Horrocks. In International Semantic Web Conference, pp. 443–461. [arXiv]
WWW 2025 TransBox: EL++-closed Ontology Embedding. Hui Yang, Jiaoyan Chen, Uli Sattler. In Proceedings of the ACM on Web Conference 2025, pp. 22–34. [arXiv]
PAKDD 2024 Alleviating Over-Smoothing via Aggregation over Compact Manifolds. Dongzhuoran Zhou, Hui Yang, Bo Xiong, Yue Ma, Evgeny Kharlamov. In Pacific-Asia Conference on Knowledge Discovery and Data Mining, pp. 390–404. [arXiv]
ESWC 2024 Low-Dimensional Hyperbolic Knowledge Graph Embedding for Better Extrapolation to Under-Represented Data. Zhuoxun Zheng, Baifan Zhou, Hui Yang, Zhipeng Tan, Arild Waaler, Evgeny Kharlamov, Ahmet Soylu. In European Semantic Web Conference, pp. 100–120.
IJCAI 2023 Efficient Computation of General Modules for ALC Ontologies. Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit. In International Joint Conference on Artificial Intelligence, pp. 3356–3364.
AAAI 2023 Efficient Extraction of EL-Ontology Deductive Modules. Hui Yang, Yue Ma, Nicole Bidoit. In AAAI Conference on Artificial Intelligence, pp. 6575–6582.
IJCAR 2022 Hypergraph-Based Inference Rules for Computing EL+-Ontology Justifications. Hui Yang, Yue Ma, Nicole Bidoit. In International Joint Conference on Automated Reasoning, pp. 310–328.
ESWC 2022 Union and Intersection of All Justifications. Jieying Chen, Yue Ma, Rafael Peñaloza, Hui Yang. In European Semantic Web Conference, pp. 56–73.

Journal Articles

JDSA 2025 Alleviating Over-Smoothing via Aggregation over Compact Manifolds (Extended Version). Dongzhuoran Zhou, Hui Yang, Bo Xiong, Yue Ma, Evgeny Kharlamov. International Journal of Data Science and Analytics, 20(8): 7055–7069.
DMKD 2024 Knowledge Graph Embedding Closed under Composition. Zhuoxun Zheng, Baifan Zhou, Hui Yang, Zhipeng Tan, Zequn Sun, Chunnong Li, Arild Waaler, Evgeny Kharlamov, Ahmet Soylu. Data Mining and Knowledge Discovery, 38(6).
IMRN 2021 A Question of Norton-Sullivan in the Analytic Case. Jian Wang, Hui Yang. International Mathematics Research Notices, 2021(21): 17201–17219.