Computing least common subsumers in description logics with existential restrictions (1999)

by F Baader, R Küsters, R Molitor
Venue:In Proc. of IJCAI’99