Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio. A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics. In Craig Boutilier, editor, IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009. pages 739-745, 2009. [doi]
Abstract is missing.