A Tractable Approach to ABox Abduction over Description Logic Ontologies.

Jianfeng Du, Kewen Wang, Yi-Dong Shen

Browse the full AAAI paper archive.