(1)
Du, J.; Wang, K.; Shen, Y.-D. A Tractable Approach to ABox Abduction over Description Logic Ontologies. AAAI 2014, 28.