An Automatic Way of Generating Incoherent Terminologies with Parameters. - Yu Zhang 016; Dantong Ouyang; Yuxin Ye (IWOST-1, 2015)

Glass-Box Debugging Algorithm Based on Unsatisfiable Dependent Paths. - Yu Zhang 016; Dantong Ouyang; Yuxin Ye (IEEE Access, 2017)

An Optimization Strategy for Debugging Incoherent Terminologies in Dynamic Environments. - Yu Zhang 016; Dantong Ouyang; Yuxin Ye (IEEE Access, 2017)

Debugging incoherent ontology by extracting a clash module and identifying root unsatisfiable concepts. - Yu Zhang 016; Ruxian Yao; Dantong Ouyang; Jinfeng Gao; Fang Liu (Knowl. Based Syst., 2021)