A resolution based description logic calculus - Zombori Zsolt (2010)