A Prioritized Default Extension to Description Logic Knowledge Base. - Shaohua Liu 002; Junsheng Yu; Yinglong Ma 001; Bing Xu; Yuan Mai; Min Zhou (FSKD (5), 2008)