我们研究了半环溯源在描述逻辑中的应用，定义了溯源语义并分析其与本体语义的关系。重点探讨了why溯源，计算了半环溯源并研究了复杂性问题。分析了正Boolean溯源和谱系的限制，展示了与描述逻辑解释的关系，并进行了复杂性分析。最后，提供了ELHI_bot本体的条件以确保推理的可处理性。