An algorithm for axiom pinpointing in EL+ and its incremental variant.

Xiaojun Cheng, Guilin Qi

Browse the full CIKM paper archive.