Contraction and revision over DLLite tboxes (2014)

by Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Guilin Qi
Venue:In Proceedings of the 28th AAAI Conference (AAAI-2014