Login / Signup

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

Xiaojun ChengGuilin Qi
Published in: CIKM (2011)
Keyphrases