Computing the least common subsumer and the most specific concept in the presence of cyclic ALN -concept descriptions (1998)

by Franz Baader, Ralf Küsters
Venue:In Proc. of the 22nd German Annual Conf. on Artificial Intelligence (KI’98