A Question of Norton-Sullivan in the Analytic Case
Wang, J., & Yang, H. (2021). "A Question of Norton-Sullivan in the Analytic Case." International Mathematics Research Notices, 2021(21), 17201–17219.
CV
Education
- B.S. in GitHub, GitHub University, 2012
- M.S. in Jekyll, GitHub University, 2014
- Ph.D in Version Control Theory, GitHub University, 2018 (expected)
Work experience
- Summer 2015: Research Assistant
- Github University
- Duties included: Tagging issues
- Supervisor: Professor Git
- Fall 2015: Research Assistant
- Github University
- Duties included: Merging pull requests
- Supervisor: Professor Hub
Skills
- Skill 1
- Skill 2
- Sub-skill 2.1
- Sub-skill 2.2
- Sub-skill 2.3
- Skill 3
Publications
Union and Intersection of All Justifications
Chen, J., Ma, Y., Peñaloza, R., & Yang, H. (2022). "Union and Intersection of All Justifications." European Semantic Web Conference, 56–73.
Hypergraph-Based Inference Rules for Computing Ontology Justifications
Yang, H., Ma, Y., & Bidoit, N. (2022). "Hypergraph-Based Inference Rules for Computing-Ontology Justifications." International Joint Conference on Automated Reasoning, 310–328.
Efficient Extraction of EL-Ontology Deductive Modules
Yang, H., Ma, Y., & Bidoit, N. (2023). "Efficient Extraction of EL-Ontology Deductive Modules." Proceedings of the AAAI Conference on Artificial Intelligence, 37(5), 6575–6582.
Efficient Computation of General Modules for ALC Ontologies
Yang, H., Koopmann, P., Ma, Y., & Bidoit, N. (2023). "Efficient Computation of General Modules for ALC Ontologies." Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23), 3356–3364.
Knowledge Graph Embedding Closed under Composition
Zheng, Z., Zhou, B., Yang, H., Tan, Z., Sun, Z., Li, C., Waaler, A., Kharlamov, E., & Soylu, A. (2024). "Knowledge graph embedding closed under composition." Data Mining and Knowledge Discovery, pp. 1–32.
Alleviating Over-Smoothing via Aggregation over Compact Manifolds
Zhou, D., Yang, H., Xiong, B., Ma, Y., & Kharlamov, E. (2024). "Alleviating Over-Smoothing via Aggregation over Compact Manifolds." Pacific-Asia Conference on Knowledge Discovery and Data Mining, pp. 390–404.
Low-Dimensional Hyperbolic Knowledge Graph Embedding for Better Extrapolation to Under-Represented Data
Zheng, Z., Zhou, B., Yang, H., Tan, Z., Waaler, A., Kharlamov, E., & Soylu, A. (2024). "Low-Dimensional Hyperbolic Knowledge Graph Embedding for Better Extrapolation to Under-Represented Data." European Semantic Web Conference, pp. 100–120.
Alleviating Over-Smoothing via Aggregation over Compact Manifolds (Extended Version)
Zhou, D., Yang, H., Xiong, B., Ma, Y., & Kharlamov, E. (2025). "Alleviating over-smoothing via aggregation over compact manifolds (extended version)." International Journal of Data Science and Analytics, 20(8), 7055–7069.
TransBox: EL++-closed Ontology Embedding
Yang, H., Chen, J., & Sattler, U. (2025). "TransBox: EL++-closed Ontology Embedding." Proceedings of the ACM on Web Conference 2025, pp. 22–34.
Language Models as Ontology Encoders
Yang, H., Chen, J., He, Y., Gao, Y., & Horrocks, I. (2025). "Language Models as Ontology Encoders." International Semantic Web Conference, pp. 443–461.
RegD: Hierarchical Embeddings via Dissimilarity between Arbitrary Euclidean Regions
Yang, H., & Chen, J. (2026). "RegD: Hierarchical Embeddings via Dissimilarity between Arbitrary Euclidean Regions." KR 2026 (ML Track). Accepted.
Large Language Model for OWL Proofs
Yang, H., Chen, J., & Sattler, U. (2026). "Large Language Model for OWL Proofs." Proceedings of the ACM Web Conference 2026.
Talks
Talk 1 on Relevant Topic in Your Field
Talk at UC San Francisco, Department of Testing, San Francisco, California
Tutorial 1 on Relevant Topic in Your Field
Tutorial at UC-Berkeley Institute for Testing Science, Berkeley CA, USA
Talk 2 on Relevant Topic in Your Field
Talk at London School of Testing, London, UK
Conference Proceeding talk 3 on Relevant Topic in Your Field
Conference proceedings talk at Testing Institute of America 2014 Annual Conference, Los Angeles, CA
Teaching
Service and leadership
- Currently signed in to 43 different slack teams