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

该研究探讨了否定形式对神经信息检索的影响，发现跨编码器模型表现最佳，晚交互模型次之。大多数信息检索模型在存在否定形式时表现不佳，且机器与人之间仍有显著差距。研究还分析了用户对不同语义的认知，并提出了考虑语义差异的建议。