AI Lecture 17: A New Well-Supported Semantics for Description Logic Programs

• Speaker: Jia-Huai You (University of Alberta, Canada)
• Host: Yisong Wang (Guizhou University)
• Time: September 28, 2026 (Monday), 15:00–16:00
• Venue: Room 402, Zhishan Building, Guizhou University

Abstract

Description logic programs are a powerful formalism for combining rules with ontologies. The well-supported semantics for description logic programs ensures that no answer sets rely on cyclic dependencies. We recognize two limitations of the current well-supported semantics for DL programs: its increased computational complexity and its lack of a reduct transformation characterization. In this work, we propose a new well-supported semantics to address these issues.

Speaker biography

Jia-Huai You is a tenured professor at the University of Alberta, Canada. He serves as the university’s advisor for Chinese affairs and as an invited overseas evaluation expert for China’s Ministry of Education. He previously served as vice president of the Association of Chinese Professors in Canada, a member of the University of Alberta Board of Governors, and a member of the university presidential review committee. He has served on the editorial board of the Journal of Artificial Intelligence Research (JAIR). His research interests include artificial intelligence, logic programming, knowledge representation, and reasoning.