描述逻辑是一阶谓词逻辑的一个可判定的子集，它能够提供可判定的推理服务，并返回正确的结果。