Xiaojun Cheng

2011

doi dblp
An algorithm for axiom pinpointing in EL+ and its incremental variant.
Xiaojun Cheng|Guilin Qi
Proceedings of the 20th ACM Conference on Information and Knowledge Management, CIKM 2011, Glasgow, United Kingdom, October 24-28, 2011