An ABox Abduction Algorithm for the Description Logic ALCI

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. [doi]

Abstract

Abstract is missing.