本体与AI · 三日观察(08-27 ~ 08-29)
本体回归:三天九篇论文都在说的同一件事
从"让 AI 自动生成本体",到"用本体约束 AI"。72 小时内的 9 篇论文与 6 个项目,同时指向一个转折。
过去三天,我的素材采集脚本陆陆续续吐出 9 篇论文、6 个开源项目。按理说,arXiv、GitHub、Hacker News 三个来源,各说各话才正常。
但把这批东西摊在桌上时,我发现了一件反直觉的事——它们几乎在同时说同一件事。
打个比方。如果把大模型比作一个才华横溢但容易跑题的实习生,过去两年我们做的事是"给他更多资料"(检索增强)。而这三天的信号是:我们开始给他"岗位说明书"和"红线清单"——也就是本体。
这篇文章不罗列资讯,只做一件事:把三天素材交叉比对后,提炼出四条主线,以及每条主线下,我们能立刻动手做的事。
先给结论,再上证据。这三天素材里有两个反常信号:
这两条放一起看,意思就清楚了:本体正在从"被 AI 生成的对象",变成"约束 AI 的骨架";而 MCP 正在成为这张骨架的标准插头。
论文 | 核心做法 | 信号 |
|---|---|---|
OntoKG本体内在关系路由 | 让 LLM 抽取实体关系时受本体结构约束,走"路由"而非自由发挥 | 本体作约束器 |
pro-team @ LLMs4OL 2026RAG + 词汇约束过滤 | RAG 增强 + 词汇表约束过滤,抑制幻觉与格式不一致 | 词汇表作过滤器 |
Scientific KG & Ontology Generation开源 LLM 生成 | 用开源 LLM 自动生成科学知识图谱与本体,验证开放模型可行性 | 生成环节开源化 |
Traceable Competency KG自上而下本体 + LLM 抽取 | 自上而下本体打底,LLM 辅助抽取,全程可追溯 | 可追溯成硬指标 |
Multi-Granularity Context-Enhanced RAG over MMKG | 多粒度上下文增强,多模态知识图谱与 RAG 深度融合,缓解多模态幻觉 | 连续两天出现,最热 |
Evidence-Admissible GraphRAG纵向临床事件验证 | "广搜证据、窄判定",结构化病历 + 非结构化笔记混合推理 | 证据可采性 |
PlanSightRAG视觉优先多模态 RAG | 保留二维图纸的几何与布局信息,替代 OCR 做合规审查 | 工业场景非文本 |
C-Unseen动态时序图弱信号检测 | 用 LLM 推理在动态时序知识图谱中检测弱信号,突破关键词频率与图拓扑局限 | 时间维度入场 |
项目 | 星标 / 状态 | 关键设计 |
|---|---|---|
Graphify代码库 → 知识图谱 | 111K → 112K(三天 +1K,现象级) | 本地 AST 解析,不依赖向量库,Leiden 社区发现做图分区 |
SemanticaContext & Accountable AI | 11K | PROV-O 全事实溯源,决策作为一等公民,内置 MCP Server |
Microsoft GraphRAG | 35K,持续更新 | 模块化图增强 RAG 参考实现;HN 上"Graph engineering"概念兴起 |
LightRAG | 39K,EMNLP 2025 | 轻量图增强方案,集成 docling / MinerU 解析与 RAGAS 评估 |
Rafter团队共享 KG 的 MCP Server | Show HN | 跨 ChatGPT / Claude / Cursor 共享 agent、skills、memory,自动构建 KG |
事件溯源 × KG(Arkency 实践博客) | HN 热文 | 用 LLM + Event Sourcing 持续维护组织级知识图谱 |
这是三天素材里最值得说的一条。请注意那四篇本体相关论文的排列方式——它们不是四个孤立的研究,而是同一条流水线的四个环节:
环节 | 对应论文 | 它在管什么 |
|---|---|---|
生成 | Scientific KG & Ontology Generation | 能不能用开源模型先"起草"一版本体 |
约束 | OntoKG(本体内在关系路由) | 抽取时不许乱跑,必须沿本体结构走 |
校验 | LLMs4OL 2026(RAG + 词汇约束过滤) | 输出必须落在词汇表内,格式与幻觉双重卡口 |
追溯 | Traceable Competency KG | 每个三元组能说清"从哪来、谁定的" |
这条链路看着眼熟吗?它与我们做 ontoOps 本体构建流水线的思路几乎重合:脱敏 → 初抽取 → 资源模板化 → 业务专家冲突解决 → 本体输出。术语不同,逻辑一致——
为什么这件事现在才发生2024—2025 年大家忙着证明"LLM 能生成本体";到 2026 年,问题变成了"生成的本体怎么敢用"。从"能不能生成"到"敢不敢用",中间隔着的正是约束与校验。这四篇论文,恰好把这道坎拆成了流水线。
把两种模式摊开对比,差别更直观:
维度 | 自由生成(纯 prompt) | 约束生成(本体 / 词汇表) |
|---|---|---|
输出格式 | 每次可能不一样 | 受词汇表与形状约束 |
幻觉 | 会编造不存在的类与关系 | 被候选集卡住,出不了框 |
跨批次一致性 | 逐渐漂移 | 词汇表锚定,稳定 |
可审计 | 难追溯来源 | 每个三元组可溯源 |
适用 | 探索性建模、冷启动 | 企业知识库、生产系统 |
三天里 RAG 相关论文占了三篇,而且都跳出了"切块 + 向量"的老套路。我把当下的 GraphRAG 分成三代:
代际 | 检索单位 | 能做到 | 做不到 |
|---|---|---|---|
第一代向量 RAG | 文本块 | 语义相似召回 | 多跳推理、可解释 |
第二代GraphRAG | 实体 + 关系子图 | 多跳、社区摘要 | 粒度单一、多模态弱 |
第三代多粒度 / 证据可采 | 多粒度上下文 | 粗细搭配、证据可采、视觉优先 | 工程复杂度显著上升 |
三篇新论文,各在某个方向上往前顶了一格:
一个值得留意的社区信号HN 上有讨论称"Graph engineering"概念正在兴起,新模型已原生学会图工程模式。这条我持保留态度——模型是否真"学会"了图思维,还缺硬证据。但趋势是真的:图不再只是外部检索结构,正在往模型的能力层渗透。
Graphify 是这三天最猛的项目:111K → 112K,三天涨一千星。它做的事很朴素——把任意代码库(含文档、SQL Schema、配置、PDF)转成可查询的知识图谱,作为 Claude Code / Cursor / Codex 的技能调用。
真正值得琢磨的是它的技术选择:本地 AST 解析,不依赖向量存储,用 Leiden 社区发现做图分区。
维度 | 向量检索方案 | Graphify(AST + 图) |
|---|---|---|
索引方式 | 切片 + 嵌入 | AST 确定性解析 |
调用关系 | 靠文本相似猜 | 图结构精确可达 |
确定性 | 概率性 | 确定性 |
成本 | 需向量库 + 嵌入模型 | 本地解析,无需向量库 |
擅长 | 模糊语义搜索 | 精确结构查询 |
这跟我们昨天拆解的 Semantica 是同一个判断:越高风险、越要精确的场景,人们越倾向把"事实层"从概率模型里拆出来。代码场景尤其典型——"这个函数被谁调用"这种问题,容不得"相似度 0.87 大概是它"。
把三天的素材按"时间"和"追溯"两个关键词重新扫一遍,命中率高得有点意外:
再看 Semantica(11K 星,昨天我们刚拆解过):PROV-O 全事实溯源,决策作为图里的一等公民。四条独立线索同时指向"可问责",这就不是偏好了,是门槛。
另一个必须点出的信号:MCP 正在成为语义层的标准插头Semantica 内置 MCP Server;Rafter 本身就是一个 MCP Server;Graphify 支持 Claude Code / Cursor / Codex 调用。三条彼此独立的项目线索,同时押注 MCP。对我们正在做的本体孪生平台来说,这是个明确的验证:本体层不该只给人看,也不该只给一个应用用,它应该通过 MCP 成为所有 Agent 的公共语义接口——而且窗口期就在现在。
把四条主线拼起来,2026 年 8 月的语义层大致是这么一条链:
数据层 文档 / 图纸 / 代码 / 数据库(多模态) ↓ 抽取层 本体约束抽取(词汇表 + 结构路由) ↓ 存储层 图存储(时序 + 溯源 + 版本) ↓ 检索层 多粒度检索(粗:社区摘要;细:证据三元组) ↓ 装配层 上下文裁剪与证据可采判定 ↓ 接口层 MCP Server → Agent / 应用
三个词概括:约束(本体)、结构(图)、问责(溯源与时间)。它们不是三个可选特性,而是同一套体系的三个面——没有约束,图里会灌进垃圾;没有结构,检索只能算距离;没有问责,产出不敢进生产系统。
写在最后
过去两年,我们拼命给大模型喂资料;接下来两年,我们会拼命给它立规矩。资料决定它知道多少,规矩决定它能不能用。而本体,就是那套规矩——它不是博物馆里的标本,也不是等 AI 来生成的作业,它是你敢把业务交出去之前,必须先立好的那道框。
素材索引(便于检索原文):OntoKG(arXiv:2604.02618)· Multi-Granularity Context-Enhanced RAG over MMKG(arXiv:2608.25986)· Evidence-Admissible GraphRAG(arXiv:2608.22062)· PlanSightRAG(arXiv:2608.26091)· C-Unseen(arXiv:2608.26870)· pro-team @ LLMs4OL 2026(arXiv:2608.27101)· Scientific KG and Ontology Generation(DOI: 10.1039/d5dd00275c)· Traceable Competency KG(DOI: 10.1109/IAICT71158.2026)· Graphify · Semantica · Microsoft GraphRAG · LightRAG · Rafter · Arkency 事件溯源博客