Matching in description logics (1999)

by F Baader, R Küsters, A Borgida, D McGuinness
Venue:Journal of Logic and Computation