Main » CIKM » 2011 » Proceedings of the 20th ACM Conference on Information and Knowledge Management, CIKM 2011, Glasgow, United Kingdom, October 24-28, 2011 »

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

Xiaojun Cheng, Guilin Qi