Least common subsumers and most specific concepts in a description logic with existential restrictions and terminological cycles (2003)

by F Baader
Venue:Proceedings of the 18th International Joint Conference on Artificial Intelligence