arXiv:2504.19023v1 宣称类型: 新 摘要: 语义推理旨在从现有知识中推断新知识，OWL本体作为一种标准化框架用于组织信息。语义推理中的一个关键挑战是验证本体的一致性。然而，最先进的推理器计算成本高昂，其效率随着本体规模的增长而降低。虽然古典机器学习模型已经在一致性检查方面进行了探索，但它们难以捕捉本体中的复杂关系。大规模语言模型（LLMs）在简单的推理任务上显示出有希望的结果，但在结构化推理方面表现不佳。最近引入的图语言模型（GLM）提供了一种同时处理图结构数据和文本的方法。本文提出了一种名为GLaMoR（用于推理的图语言模型）的推理管道，该管道将OWL本体转换为图结构数据，并适应GLM架构用于一致性检查。我们使用NCBO BioPortal存储库中的本体对GLaMoR进行了评估，将它们转换为适合模型输入的三元组。结果显示，GLM超越了所有基线模型，在准确率方面达到了95%，比古典推理器快20倍。 代码可访问地址: https://github.com/JustinMuecke/GLaMoR