本体论工程手册

本页是新读者的入口。它说明这份汇编要解决什么问题、给出六个可以直接拿去用的结论、交代证据的等级划分，并提供三条不同的阅读路径。

这份材料想解决什么

过去两年，「本体」（ontology）这个词在技术圈重新流行起来。但把它拆开看，至少有四件互不相同的事被同一个词包着：哲学上的范畴论、W3C 标准里的形式逻辑、BI 领域的指标语义层、以及数据平台里的对象-动作模型。这四件事的交付物、验收标准和失败样子都不一样。混淆它们，是导致「本体项目」超支、失焦、最后被当成文档工程的主要原因。

这份汇编做三件事：

• 核验。把 78 个开源项目逐个查过：真实星数、建库时间、许可证、最近提交、README 的真实主张，以及它到底有没有能力拒绝一次非法写入。
• 收敛。把散落在标准文档、论文和实践者笔记里的方法，收敛成一套可以执行的判据：什么时候该做、用什么表达、校验放在哪、变更怎么管。
• 证伪。流行的「八个趋势」逐条独立判定，哪些成立、哪些只是措辞成立、哪些证据根本不够。

它不推荐任何一款产品，也不假设读者已经在做本体。它假设读者正在被要求回答一个问题：这件事值不值得投入，如果值得，第一个月该干什么。

六个结论，先看这里

一、这轮热度里，「结构热」远大于「语义热」。 主索引 59 个项目的星数中位数是 716；其中真正的本体核心工具（解析器、推理机、校验器、建模编辑器）中位数 944。而趋势章节引用的几个「代码结构图」项目，星数在 7.6 万到 13.9 万之间，比前者高两个数量级。把它们并称「本体热」，会严重高估语义技术的真实采用度。

二、新增供给几乎全部集中在最后一个环节。 企业本体平台这一格 11 个项目里，10 个建于 2026 年。它们复刻的是同一个模式——对象类型、链接、动作、权限——而不是推理或公理。生态的增量在「怎么用」，不在「怎么推」。

三、推理在萎缩，校验在增长。 经典 DL 推理机的开源供给正在消失：一个 2017 年停更、一个 2025 年 8 月后无提交。而 SHACL 相关项目全部活跃。原因不复杂：业务系统问的永远是「缺了什么」，不是「能推出什么」。

四、真正的分水岭是「能不能拒绝一次写入」。 图谱检索、Agent 记忆、上下文层与本体层的区别，不在于用不用图，而在于是否具备拒绝能力：一条不符合约束的写入，是被挡在门外，还是被存下来等事后报表。能拒，是本体；不能拒，是上下文。

五、借外部词表，只借三样。 术语、分层、标识符命名规范可以借；公理不要整包引入。而标识符必须落在你自己能治理的命名空间里——有几个著名词表还活着，它们引用的 ID 体系已经死了。

六、一次实测能打掉一半幻想。 第十一章记录了两次真实执行：同一份数据，SHACL 报出 5 条违规并非零退出，OWL-RL 推理零报错、新增 217 条三元组。推理机不会告诉你「这条数据错了」，它只会安静地推出更多东西。 这个差异决定了校验和推理不能互相替代。

证据分三级

全文对每一句判断标注来源强度，只有三种：

• 实测——在本地真实跑过，命令、版本、输出都可复现。全篇只有两处，但它们是全篇最硬的部分。
• 核验——从 GitHub API、仓库源码、README 原文、标准文档读到的。星数、建库日期、许可证、某个模块是否真实存在，都属于这一级。
• 推断——基于以上两者的判断。文中统一用「推断：」开头，读者可以不同意。

反过来说，凡是没有标注的东西，都来自项目自己的宣传语，应当按营销材料对待。

三条阅读路径

给做决定的人（约 40 分钟） 本页 → 一 · 四个被混用的「本体」 → 九 · 技术栈分层与选型框架 → 十一 · 反模式与落地判据。读完能回答「做不做、第一个月做什么、什么情况下该停」。

给架构师（约 3 小时） 在上面基础上加 三 · 建模语言与约束选型、四 · 推理与校验、五 · 治理、六 · 动力学层，然后按需翻 七 · 生态地图 下的七个分类页。

给要动手的人（半天） 直接看 十 · 两次实测，照着复现一遍；再看 十三 · 方法与可复现性 了解数据口径；最后按 九 的决策树选型。

范围与局限

• 覆盖 78 个开源项目，不含商业产品。Palantir 只作为模式参照被提及，不做功能对比。
• 数据核验时间 2026-10-30。星数与活跃度会变，判断的时效性约为一个季度。
• 不覆盖合规、审计、行业监管的具体条款；这些在落地时是硬约束，但不在本汇编范围内。
• 立场一句话：本体首先是一种治理工具，其次才是一种智能工具。 把它当智能工具卖，通常三个月后会被要求证明 ROI；把它当治理工具做，验收标准是「坏数据进不来」和「口径可对账」，这两件事可以当场演示。