Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies

Jianfeng Du, Kewen Wang, Yi-Dong Shen. Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies. In Blai Bonet, Sven Koenig, editors, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. pages 1489-1495, AAAI Press, 2015. [doi]

Abstract

Abstract is missing.