[1]
J. Du, K. Wang, and Y.-D. Shen, “A Tractable Approach to ABox Abduction over Description Logic Ontologies”, AAAI, vol. 28, no. 1, Jun. 2014.