PT Unknown AU Motik, B TI Reasoning in description logics using resolution and deductive databases PY 2006 DI 10.5445/IR/1000003797 LA english ER