Contraction and Revision over DL-Lite TBoxes.

Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Guilin Qi

Browse the full AAAI paper archive.