6.8.3 描述逻辑中的推理