Matching in description logics with existential restrictions (2000)

by F Baader, R Küsters
Venue:In Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2000