Should I Stay or Should I Go: A New Reasoner for Description Logic