Franz Baader Ralf Küsters Alexander Borgida Deborah L. McGuinness Matching in Description Logics. 411-447 1999 9 J. Log. Comput. 3 http://dx.doi.org/10.1093/logcom/9.3.411 db/journals/logcom/logcom9.html#BaaderKBM99