Sciasco. A tableaux-based method for computing least common subsumers for expressive description logics (2009)

by F Donini, S Colucci, T Di Noia, E Di
Venue:In 21st International Joint Conference on Artificial Intelligence