Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies.

Jianfeng Du, Kewen Wang, Yi-Dong Shen

Browse the full AAAI paper archive.