个人简历

Short Bio
I obtained my Ph.D. degree in Computer Science from The University of Manchester, (by good fortune) under the supervision of Prof. Renate A. Schmidt, where in the same research group I acquired my first postdoctoral work experience. Right after this, I joined the Department of Computer Science at University of Oxford as a postdoctoral researcher, where I took a sip of Automata Theory and Database Theory. From May 2019, I have been working as an associate professor in the School of Artificial Intelligence at Nanjing University.
Research Interests
Two crucial facets of human intelligence:
.The ability to learn from experience and perform better when confronted with similar situations or adapt to new situations
.The ability to maintain an internal (abstract) state of knowledge and reason about that knowledge to draw new conclusions
In Artificial Intelligence (AI), these two abilities are respectively embodied by [Machine Learning] and [Knowledge Representation and Reasoning].
My research is situated in the realm of AI, with particular interest in Logics for Knowledge Representation and Reasoning (KR or KRR). KR is concerned with the study of how beliefs, intentions, and value judgments of an intelligent agent can be expressed in a transparent, symbolic notation suitable for automated reasoning. It is one of the oldest areas of AI, as from early on researchers realized that knowledge and reasoning are two of the key components of intelligent behavior. I am currently working with Description Logics (DLs) and DL-based Ontologies. DLs are logical formalisms (formalisms = formal languages = languages with formal syntax and semantics) for representing knowledge about a domain of interest; they have a long tradition in AI, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained significant momentum since they form the logical basis of widely used ontology languages such as the W3C Web Ontology Language (OWL).
Publications
An irregularly updated list of my publications is available online via a shiny DBLP database. Also, Google Scholar is so kind to maintain the metadata of my publications.
Research Projects
基于常识知识库与反绎学习的对话管理模型 (腾讯犀牛鸟创意基金, 2021.10 - 2022.9, 主持)
大规模OWL医学本体的自动化构建与复用 (之江实验室面上项目, 2021.1 - 2022.12, 主持)
大规模医学本体上的语义差异追踪 (国家自然科学基金青年科学基金, 2021.1 - 2023.12, 主持)
SNOMED CT临床医学术语集的版本差异计算 (江苏省自然科学基金面上项目, 2021.7 - 2024.6, 主持)
基于遗忘算法的知识推理技术在SNOMED CT开发升级中的应用 (中央高校基本科研业务费国际合作专项资金, 2020.5 - 2021.9, 主持)
基于知识驱动的人工智能技术的探究 (中央高校基本科研业务费, 2020.3 - 2021.9, 主持)
EPSRC IAA 204: Advanced Reasoning Technologies for Medical Ontologies (英国工程与自然科学研究理事会, 2017.9 - 2018.4, 参与)
EPSRC EP/M005852/1: Proof-driven Query Planning (英国工程与自然科学研究理事会, 2015.6 - 2020.12, 参与)
Upcoming Group Seminars
Yue Xiang 2021/11/2 19:00 -- 21:00 @A410:
Conference Paper: Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics [Lutz and Wolter, IJCAI'11]
Xuan Wu 2021/11/8 18:00 -- 20:00 @A410:
Journal Article: HiG2Vec: hierarchical representations of Gene Ontology and genes in the Poincare ball [Kim et al., Bioinformatics]
Conference Paper: EL Embeddings: Geometric Construction of Models for the Description Logic EL++ [Kulmanov et al., IJCAI'19]
Zhao Liu 2021/11/15 18:00 -- 20:00 @A410:
Conference Paper: Just the Right Amount: Extracting Modules from Ontologies [Cuenca Grau et al., WWW'07]
Yiming Deng, Sen Wang, Zhaoyue Xiao 2021/11/22 18:00 -- 20:00 @A410:
Conference Paper: Semi-Supervised Abductive Learning and Its Application to Theft Judicial Sentencing [Huang et al., ICDM'20]
Shuni Xu 2021/11/29 18:00 -- 20:00 @A410:
Conference Paper: Small Is Beautiful: Computing Minimal Equivalent EL Concepts [Nikitina and Koopmann, AAAI'15]
Zhihao Yang 2021/12/6 18:00 -- 20:00 @A410:
Research Progress Report: An Empirical Comparison of Publicly-Accessible Modularization and Uniform Interpolation Tools
Group Tutorial Part I 2021/12/12 9:00 -- 18:00 @A410:
Book: An Introduction to the Theory of Computation [M. Sipser, 2012]
Group Tutorial Part II 2021/12/20 18:00 -- 21:00 @A410:
Book: An Introduction to the Theory of Computation [M. Sipser, 2012]
Zhihao Yang 2021/12/30 18:00 -- 19:30 @A410:
Journal Article: Dimensions of Commonsense Knowledge [Ilievski et al., KBS'21]
Zhao Liu 2021/12/30 19:30 -- 21:00 @A410:
Conference Paper: Use of OWL and Semantic Web Technologies at Pinterest [Gonçalves et al., ISWC'19]
Yiming Deng, Sen Wang, Zhaoyue Xiao 2022/01/03 18:00 -- 21:00 @A410:
Conference Paper: Closed Loop Neural-Symbolic Learning via Integrating Neural Perception, Grammar Parsing, and Symbolic Reasoning [Li et al., ICML'20]
Conference Paper: Neuro-Symbolic Visual Reasoning: Disentangling \

研究领域

""