Approximating model-based ABox revision in DLLite: Theory and practice (2014)

by G Qi, Z Wang, K Wang, X Fu, Z Zhuang
Venue:In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-15