Pinpointing in the Description Logic EL. Proceedings of the DL 2007 International Workshop on Description Logics (DL2007) - Baader, F; Penaloza, R; Suntisrivarporn, B; Diego, Calvanese
et al.