摘要
大型语言模型 (LLMs) 在解决各种任务方面取得了显著成就。最近,LLMs 存储、检索和推断符号知识的能力引起了广泛关注,显示出其理解结构化信息的潜力。然而,目前尚不清楚 LLM 是否能够理解描述逻辑 (DL) 本体。在这项工作中,我们从句法和语义的角度对 LLM 理解 DL-Lite 本体的能力进行了实证分析,涵盖了 6 个代表性任务。通过大量的实验,我们证明了 LLM 在理解 DL-Lite 本体方面的有效性和局限性。我们发现,LLMs 可以理解概念和角色的形式语法和模型论语义。然而,LLMs 在理解 TBox NI 传递性和处理具有大型 ABox 的本体方面存在困难。我们希望我们的实验和分析能够为 LLM 提供更多见解,并激发构建更忠实的知识工程解决方案。