最新资讯
dev.to 我们在 DolphinBench 上测试记忆检索:纯关键词搜索暴露了自身回归 dev.to 别再把 Agent 写成 while 循环,把它建模为状态机 bloomberg.com Rightmove 与 Scout24 借 AI 产品应对低迷房市并上调展望 stackoverflow.blog 欢迎来到芯片时代:半导体制造、AI 数据中心与芯片设计的未来 www.youtube.com AI Agent 总犯同样的错:CentralAgent AI 将记忆重构为经验系统 pub.towardsai.net Netflix 科学家建议重采样 LLM 评判:5 次仅将误差棒缩小 13% pub.towardsai.net Jev 作为 LLM 前的静默层:构建提示感知的模型路由器 reddit.com OpenAI 称 Astra 仅满足 10% 安全任务标准 dev.to FreeToken:在自有 GPU 上运行前沿 MoE 模型及其内存需求 dev.to 当 AI Agent 说“完成”时,究竟完成了什么? dev.to 部署 Underdog Bark 3.0 Pro:逐字转写、自定义后端与分块设置 dev.to 为艰难对话构建 AI:五个 Agent、一条安全正则与一位盲评监督者
多元动态
登录 注册
论文研究 arxiv.org ·

GLaMoR:使用图语言模型进行 OWL 本体一致性检查

原文 我的收藏

该论文提出 GLaMoR,将 OWL 本体转换为图结构数据并改造 Graph Language Model 架构,用于本体一致性检查。作者在 NCBO BioPortal 仓库的本体上评测,称 GLM 优于所有基线模型,达到 95% 准确率,并比经典 reasoner 快 20 倍。研究指出经典 reasoner 计算开销大且随本体规模增长效率下降,而此前机器学习方法多针对 A-Box 公理,T-Box 尚未被处理。

AI推荐理由 arXiv 论文(v2,2026-09-11 修订),来源可信、摘要信息密度高。提出 GLaMoR,将 OWL 本体转为图结构并改造 Graph Language Model 做一致性检查,在 NCBO BioPortal 本体上报告 95% 准确率、比经典 reasoner 快 20 倍。新意在于此前一致性检查多针对 A-Box,本文覆盖 T-Box;局限是仅在 BioPortal 本体上评测,摘要未给出与具体基线对比细节,95% 与 20 倍为作者自报结果,尚待复现。

72

正文

Computer Science > Artificial Intelligence arXiv:2504.19023 (cs) [Submitted on 26 Apr 2025 (v1), last revised 11 Sep 2026 (this version, v2)] Title:GLaMoR: Consistency Checking of OWL Ontologies using Graph Language Models Authors:Justin Mücke, Ansgar Scherp View a PDF of the paper titled GLaMoR: Consistency Checking of OWL Ontologies using Graph Language Models, by Justin M\"ucke and 1 other authors View PDF HTML (experimental) Abstract:Semantic reasoning aims to infer new knowledge from existing knowledge, with OWL ontologies serving as a standardized framework for organizing information. A key challenge in semantic reasoning is verifying ontology consistency. However, state-of-the-art reasoners are computationally expensive, and their efficiency decreases as ontology sizes grow. While classical machine learning models have been explored for consistency checking of A-Box axioms, considering T-Boxes remains unaddressed. Large language models (LLMs) have shown promising results for natural language inference but perform poorly on logical reasoning. The recently introduced Graph Language Model (GLM) offers a way to simultaneously process graph-structured data and text. This paper proposes GLaMoR (Graph Language Model for Reasoning), a reasoning pipeline that transforms OWL ontologies into graph-structured data and adapts the GLM architecture for consistency checking. We evaluate GLaMoR on ontologies from the NCBO BioPortal repository, converting them into triples suitable for model input. Our results show that the GLM outperforms all baseline models, achieving $95\%$ accuracy, and is $20$ times faster than classical reasoners. Comments: Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG) Cite as: arXiv:2504.19023 [cs.AI] (or arXiv:2504.19023v2 [cs.AI] for this version) https://doi.org/10.48550/arXiv.2504.19023 Focus to learn more arXiv-issued DOI via DataCite Submission history From: Ansgar Scherp [view email] [v1] Sat, 26 Apr 2025 21:20:29 UTC (186 KB) [v2] Fri, 11 Sep 2026 11:02:02 UTC (170 KB) Full-text links: Access Paper: View a PDF of the paper titled GLaMoR: Consistency Checking of OWL Ontologies using Graph Language Models, by Justin M\"ucke and 1 other authors View PDF HTML (experimental) TeX Source view license Current browse context: cs.AI new | recent | 2025-04 Change to browse by: cs cs.LG References & Citations NASA ADS Google Scholar Semantic Scholar export BibTeX citation Loading... BibTeX formatted citation × loading... Data provided by: Bookmark Bibliographic Tools Bibliographic and Citation Tools Bibliographic Explorer Toggle Bibliographic Explorer (What is the Explorer?) Connected Papers Toggle Connected Papers (What is Connected Papers?) Litmaps Toggle Litmaps (What is Litmaps?) scite.ai Toggle scite Smart Citations (What are Smart Citations?) Code, Data, Media Code, Data and Media Associated with this Article alphaXiv Toggle alphaXiv (What is alphaXiv?) Links to Code Toggle CatalyzeX Code Finder for Papers (What is CatalyzeX?) DagsHub Toggle DagsHub (What is DagsHub?) GotitPub Toggle Gotit.pub (What is GotitPub?) Huggingface Toggle Hugging Face (What is Huggingface?) ScienceCast Toggle ScienceCast (What is ScienceCast?) Demos Demos Replicate Toggle Replicate (What is Replicate?) Spaces Toggle Hugging Face Spaces (What is Spaces?) Spaces Toggle TXYZ.AI (What is TXYZ.AI?) Related Papers Recommenders and Search Tools Link to Influence Flower Influence Flower (What are Influence Flowers?) Core recommender toggle CORE Recommender (What is CORE?) Author Venue Institution Topic About arXivLabs arXivLabs: experimental projects with community collaborators arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs. Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

来源报道 · 1 篇 · 以下链接均前往原始媒体

← 返回精选动态 原文

更多内容