Du, J.; Wang, K.; Shen, Y.-D. Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies. AAAI 2015, 29.