A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics.

Francesco M. DoniniSimona ColucciTommaso Di NoiaEugenio Di Sciascio
Published in: IJCAI (2009)