Zhao, Yizheng

5 publications

AAAI 2020 A Practical Approach to Forgetting in Description Logics with Nominals Yizheng Zhao, Renate A. Schmidt, Yuejie Wang, Xuanming Zhang, Hao Feng

AAAI 2019 Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi

IJCAI 2018 On Concept Forgetting in Description Logics with Qualified Number Restrictions Yizheng Zhao, Renate A. Schmidt

IJCAI 2017 Role Forgetting for ALCOQH(universal Role)-Ontologies Using an Ackermann-Based Approach Yizheng Zhao, Renate A. Schmidt

IJCAI 2016 Forgetting Concept and Role Symbols in ALCOIHµ+(∇, ⊓)-Ontologies Yizheng Zhao, Renate A. Schmidt