Yanwei Ma, Tianlong Gu, Binbin Xu, Liang Chang. An ABox Abduction Algorithm for the Description Logic ALCI. In Zhongzhi Shi, David B. Leake, Sunil Vadera, editors, Intelligent Information Processing VI - 7th IFIP TC 12 International Conference, IIP 2012, Guilin, China, October 12-15, 2012. Proceedings. Volume 385 of IFIP Advances in Information and Communication Technology, pages 125-130, Springer, 2012.
Abstract is missing.