Elementary Loops Revisited. - Jianmin Ji; Hai Wan; Peng Xiao 009; Ziwei Huo; Zhanhao Xiao (AAAI, 2014)

On Elementary Loops and Proper Loops for Disjunctive Logic Programs. - Jianmin Ji; Hai Wan; Peng Xiao 009 (AAAI, 2015)

Query Answering with Inconsistent Existential Rules under Stable Model Semantics. - Hai Wan; Heng Zhang 006; Peng Xiao 009; Haoran Huang; Yan Zhang 003 (AAAI, 2016)

Incosistency-Tolerant Forgetting in DL-lite. - Peng Xiao 009; Kewen Wang 001; Zhe Wang 001 (ISWC (Posters, Demos & Industry Tracks), 2017)

Practical Datalog Rewriting for Existential Rules. - Zhe Wang 001; Peng Xiao 009; Kewen Wang 001 (Description Logics, 2019)

Query Answering for Existential Rules via Efficient Datalog Rewriting. - Zhe Wang 001; Peng Xiao 009; Kewen Wang 001; Zhiqiang Zhuang; Hai Wan (IJCAI, 2020)

Efficient Datalog Rewriting for Query Answering in TGD Ontologies. - Zhe Wang 001; Peng Xiao 009; Kewen Wang 001; Zhiqiang Zhuang; Hai Wan (IEEE Trans. Knowl. Data Eng., 2023)