本研究探讨了组合同态自动微分（CHAD）在部分编程语言中的应用，重点关注非终止操作和循环结构的处理。通过引入迭代广泛的索引类别，提出了一种解释迭代的原则性方法，实现了反向模式导数的准确计算，并提供了严谨的范畴语义。

该研究提出了一种新的EL扩展，通过弱化否定形式和引入范畴语义，解决了生物医学本体中负知识表示不足的问题，从而增强了推理器的解释能力。