Completion Reasoning Emulation for the Description Logic EL+