改一行知识图谱规则，Open Ontologies 0.04 秒揪出 901 条隐藏影响
thisguyknowsai · x · 2026-10-28
- 开发者只改了一行 ontology 规则——「凡是有 parent 的都是 Person」，普通 diff 显示 0 增 0 删、风险极低，但 Open Ontologies 在 0.04 秒内推出所有已有 parent 的条目都悄悄变成了 Person，共 901 条新逻辑后果。
- Open Ontologies（Rust 编写、单二进制、MIT 开源）定位是「知识图谱的 Terraform」：
- 变更上线前先规划，展示每次编辑的爆炸半径与风险评分
- 应用变更后持续监测漂移，出问题可回滚
- 支持 CSV、JSON、Excel、Parquet、PostgreSQL、DuckDB 导入
- 能校验 RAG 检索结果是否仍支撑答案
- 可在 Claude Code、Claude Desktop、Cursor 内运行
- 项目页面还演示了 proof-carrying inference：1683 条三元组中 426 条人工断言、259 条经证明器认证、1 条被拒绝，Lean 4、Isabelle/HOL、Vampire 等证明器可给出可核查的证书。
所属事件:Open Ontologies 开源：知识图谱获可验证变更管理(2 条相关)→
「编程与Agent」频道最新
- 开发者用 12+ 个 OpenAI Agent 每小时自动迭代一款游戏 — jasonkneen · 2026-10-28
- 开源 Free Claude Code:61 家模型商免订阅接入 Claude Code — JafarNajafov · 2026-10-28
- 创业公司 Only Then Labs 提案：Agent 的旧批准不能当永久授权 — tallmetommy · 2026-10-28
- Google 免费放出 2 小时多智能体系统工作坊，从单 Agent 讲到图编排 — rseroter · 2026-10-28
- Omarchy 4.5 RC2 发布:每显示器独立工作区与浮动布局 — mark_k · 2026-10-28
- Claude 拦下伪装成认证错误的朝鲜供应链攻击代码 — banteg · 2026-10-28