Franz Baader Sebastian Brandt Ralf Küsters Matching under Side Conditions in Description Logics. 213-218 2001 conf/ijcai/2001 IJCAI db/conf/ijcai/ijcai2001.html#BaaderBK01