Open Ontologies 开源：给知识图谱套上 Terraform 式变更管理与可验证证明
techNmak · x · 2026-10-26
Fabio Rovai 开源了 Open Ontologies，一个用 Rust 编写、单二进制交付的知识图谱引擎，把本体当作生产基础设施而非 AI agent 可随意改动的静态文件来管理。
核心能力：
- Terraform 风格的变更管理：agent 提交更改前可预览其后果，检查约束、回滚更新，并附带独立可检验的证明（经 Lean 4、Isabelle/HOL 认证，Vampire/E/Z3/Mace4 等求解器复核）
- 通过 MCP 接入 Claude Code、Cursor 等 agent，可构建和查询本体、验证约束、检视变更影响
- 内置数据管道：把 CSV、Excel、JSON、Parquet 和 SQL 查询结果映射为 RDF，用 SHACL 校验，并通过推理派生额外关系
README 演示：输入一张电子表格即得到一个带逐行证据的本体；改动一个单元格，系统能定位由此引发的错误。
「编程与Agent」频道最新
- Ruff 作者感叹:前沿模型能在任何软件里找到无穷多 bug — charliermarsh · 2026-10-26
- 开发者实测同一 skill 跨 Opus 5.5 与 Sol 6.1:指令遵循表现参差 — lucasmeijer · 2026-10-26
- 用小开源模型逆向工程游戏二进制:主 agent 中途重写子 agent 的 harness — yb2698 · 2026-10-26
- ContractSim：首个评估 LLM 自然语言合同谈判的框架 — xuanalogue · 2026-10-26
- OpenAI 计算机使用 agent 团队：速度已逼近超越人类专家 — a16z · 2026-10-26
- Qdrant 推出迁移工具：从 Chroma 一条命令搬迁，无需重新 embedding — qdrant_engine · 2026-10-26