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