Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice

Guilin Qi, Zhe Wang, Kewen Wang, Xuefeng Fu, Zhiqiang Zhuang. Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice. In Blai Bonet, Sven Koenig, editors, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. pages 254-260, AAAI Press, 2015. [doi]

Abstract

Abstract is missing.