写完了tbox推理，准备写Abox推理。