LLM2D
利用大型语言模型丰富本体中的不相交公理
Enriching Ontologies with Disjointness Axioms using Large Language Models
作者: Elias Crum, Antonio De Santis, Manon Ovide, Jiaxin Pan, Alessia Pisu, Nicolas Lazzari, Sebastian Rudolph
发布日期: 10/7/2024
arXiv ID: oai:arXiv.org:2410.03235v1

摘要

尽管类之间的显式不相交声明对于知识图谱中的复杂推理和一致性检查非常有用,但本体通常缺乏这类声明。在本研究中,我们探索了大型语言模型 (LLM) 在识别和断言类不相交公理方面增强本体的潜力。我们的方法旨在利用嵌入在 LLM 中的隐式知识,使用提示工程来引出这种知识,用于对本体不相交进行分类。我们使用开源 LLM 在 DBpedia 本体上验证了我们的方法。我们的发现表明,在有效提示策略的指导下,LLM 可以可靠地识别不相交类关系,从而简化本体完成过程,而无需大量手动输入。为了实现全面的不相交增强,我们提出了一种过程,该过程将不相交和子类语句之间的逻辑关系考虑在内,以保持可满足性并减少对 LLM 的调用次数。这项工作为 LLM 在自动本体增强中的未来应用奠定了基础,并提供了通过战略性提示设计优化 LLM 性能的见解。我们的代码已在 GitHub 上公开发布,地址为 https://github.com/n28div/llm-disjointness。