Packaged-based Description Logic Reasoner