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

Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio

Browse the full IJCAI paper archive.