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

该论文介绍了描述逻辑的特性，并首次引入了普遍量化的概念。作者提出了两种扩展的语义模型，包括模态逻辑中的公理原型和二阶逻辑中的量词的替代。研究表明，在某些扩展的语义中，所得出的结论与经典的描述逻辑相符，并证明了某种程度上用于这种扩展的算法的多项式可判定性。