Du, J., Qi, G., Shen, Y.-D., & Pan, J. (2011). Towards Practical ABox Abduction in Large OWL DL Ontologies. Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), 1160-1165. https://doi.org/10.1609/aaai.v25i1.8070