04-Ontology本体

关于本体

第一次听说Ontology本体时,是懵逼的。

这是个哲学概念,属于形而上学分支,回答:世界上到底存在哪些东西、它们本质是什么、怎么分类、彼此是什么关系?

但计算机/AI领域,把它引入了。

1993 年,Tom Gruber 给出计算机领域最经典定义:

本体(Ontology)是一套共享概念化的、显式的、形式化的规范(A specification of a conceptualization)

翻译一下就是: 针对某一个领域,大家共同约定:里面有哪些概念、概念怎么划分、有什么属性、互相是什么关系、有什么约束公理;机器能读、能推理、跨系统共用一套语义。从此它不再讨论 “世界本源”,变成知识建模工具。

配套技术栈同期成型:

  • 语义网(Semantic Web)体系:RDF、RDFS、OWL(Web 本体语言)、SHACL 约束
  • 工具:Protégé(本体编辑器)
  • 定位:用来解决不同系统之间语义不通、名词打架的问题

应用到智能运维AIOps 智能运维本体,就是运维领域一套【共享、无歧义、机器可推理】的运维认知说明书:把运维里有哪些对象、对象有什么属性、互相是什么关系、故障和处置有什么规则,全部显式、形式化定义出来,让指标 / 日志 / 链路、大模型、自动化 Agent、不同运维系统,用同一套语言看懂业务,不再各说各话...

经典学术原话:领域本体 = 共享概念化的形式化显式规范

本体 5 个核心要素

  1. 概念 / 类(Class):运维里的种类。主机、Pod、数据库、微服务、告警、变更、故障模式、工单、指标
  2. 实体 / 实例(Instance):类的具体对象,比如 pod-abc123、订单 MySQL 主库
  3. 属性(Attribute):静态、动态特征。主机的 CPU 规格、服务的 SLA 阈值、告警级别
  4. 关系(Relation):依赖、包含、部署在、触发、影响、归属、上下游
  5. 规则(Rule):最重要、区别于普通数据模型的部分。比如:主库故障一定会影响所有读服务;变更时间窗口外不允许自动执行回滚;同一集群节点之间故障隔离规则。规则是用来推理的

概念知道了,怎么用起来?

关于 Helix Foundry

Helix Foundry 是 Y Combinator P25 孵化公司 HelixDB 的开源本体平台——把企业散落数据/文档连成一张本体图,加载到 Rust 写的图+向量数据库 HelixDB,让人能用自然语言追问、每个答案都能溯源回原始行/原文。

类比:它是"AI 自动建模 + 图查询 + 溯源问答"的整套工具链,相当于把知识图谱的构建/查询/问答三件事打包成一个 Docker 栈。

两层产品

▼
json
复制代码
┌─────────────────────────────────────────────────┐ │ Helix Foundry │ ← 本体构建+问答层 │ (Go 后端 + Next.js 前端 + AI agent sidecar) │ │ Apache 2.0,github.com/helixdb/helix-foundry │ └─────────────────────────────────────────────────┘ │ 加载本体到 ▼ ┌─────────────────────────────────────────────────┐ │ HelixDB │ ← 底层数据库 │ Rust 写的图+向量原生数据库 │ │ Apache 2.0,github.com/HelixDB/helix-db │ │ 2026-10 GitHub star ≈ 6100 │ └─────────────────────────────────────────────────┘

背后公司是HelixDB(独立公司),2025 年成立,伦敦,英国,团队只有 6 人。 YC P25孵化的初创公司,工程化水平高、设计有亮点,但公司早期、社区小、无企业 SLA——按"参考学习"对待稳妥,按"生产依赖"对待风险高。

能解决什么问题?

"搭一个 AI 应用,存储层经常要拼三样:关系库存业务状态,向量库存 embedding,图库存实体关系,再写胶水代码在三个系统间同步。每多一个系统就多一份一致性负担和运维成本。HelixDB 把这三件事装回一个引擎。"

Helix Foundry 在 HelixDB 之上再加一层:

  • 连接器:PostgreSQL / MySQL / S3 / Stripe / Slack / Notion / GitHub / Linear / 文档(PDF/MD/CSV)
  • AI Agent 起草本体的 Draft:从数据+目标,AI 自动生成实体/关系/规则/约束
  • 人工 Review + 版本管理:可视化编辑、对比版本
  • 加载到 HelixDB:保留每个值的来源(表行/文档引文)
  • Explorer:图可视化浏览
  • Analyst:自然语言提问 → 查询 → 答案带溯源

为什么强依赖Docker

Helix Foundry 不是单二进制,是 7+ 容器微服务栈:

▼
json
复制代码
site (Next.js 前端) foundry (Go 后端 API + workers) ontology-agent (AI agent sidecar, gRPC) storage (SeaweedFS, S3 兼容对象存储) mysql (状态存储) helix (HelixDB 图+向量数据库) acme-db (PostgreSQL, sample 数据) [ollama] (可选, 本地 LLM) init-secrets (一次性 secret 初始化) pod (pause 容器, 共享网络命名空间)

Docker Compose 是这个栈的"编排语言"——网络/卷/依赖/健康检查/secret 初始化都声明式搞定。不装 Docker 跑不起来。

项目结构总览

▼
json
复制代码
helix-foundry-main/ ├── README.md # 用户文档 ├── AGENTS.md # 给开发者/AI agent 的开发指南(很长,是项目宪法) ├── CLAUDE.md # 指向 AGENTS.md ├── package.json # 前端:Next.js 16 + React 19 + pnpm ├── Dockerfile / compose.yaml │ ├── src/ # 前端(Next.js 16 + React Router 7 + TanStack Query) │ ├── web/ # 单页应用 │ │ ├── areas/ │ │ │ ├── ontology/ # ★ 本体编辑/版本/生成(最值得看) │ │ │ ├── explore/ # ★ 图可视化(节点+边) │ │ │ ├── reviews/ # 数据冲突审核 │ │ │ ├── records/ # 溯源到原始行/原文 │ │ │ └── workspace/ │ │ └── ... │ ├── server/ # 同源 BFF(转发到 backend) │ └── shared/ │ ├── backend/ # ★ 后端(Go 模块 github.com/helixdb/helix-foundry/backend) │ ├── README.md │ ├── ontology/ # ★ 本体定义(Go 结构体 + 校验) │ ├── ontologyagent/ # ★ 本体 agent:起草/修订/问答/路由(核心) │ ├── ontologygen/ # 本体生成 │ ├── connector/ # 数据源连接器(PG/MySQL/S3/Stripe/Slack...) │ ├── syncer/ # 增量同步 │ ├── enrichment/ # 数据富化 │ ├── store/ # MySQL 状态存储 │ ├── snapshot/ # 快照 │ ├── api/ /server/ /cmd/ /services/ /workers/ /plan/ /ports/ │ └── pb/ # protobuf 生成代码 │ ├── contract/ # REST 契约(Swagger) │ ├── foundry.swagger.json │ ├── wfe.swagger.json │ └── ontology_agent/ # ★ 本体 agent 的 JSON Schema(请求/响应) │ ├── local/ # 一键本地启动(Docker Compose) └── mock/ # 前端 mock 服务

关键观察:

  • 前后端分离:前端 Next.js(可视化 + 编辑),后端 Go(同步/agent/加载/问答)。
  • backend/ontologyagent/ 是最值得参考的目录——本体 agent 的所有契约(起草/修订/问答/路由)都在这里。
  • backend/ontology/ontology.go 是本体的核心数据结构——看一眼就知道它怎么建模"实体+关系+规则+约束"。

本地启动

▼
sh
复制代码
cd D:/Python/helix-foundry-main docker compose up -d --wait # 打开 http://localhost:3000 # 默认单用户、全连接器开启、有 sample 数据(Acme Corp)

需求:Docker + Compose v2,端口 3000/8333 空闲,首次拉镜像几 GB。 AI 模型:有 ANTHROPIC_API_KEY/OPENAI_API_KEY 自动用,否则用 Ollama/LM Studio。

技术栈

层 技术 前端 Next.js 16、React 19、React Router 7、TanStack Query、d3-force(图布局)、recharts(图表)、Tailwind 4、Zod(schema 校验) 后端 Go(模块 github.com/helixdb/helix-foundry/backend)、MySQL、S3 兼容存储、buf/protobuf 图数据库 HelixDB(独立项目,Apache 2.0,本地 compose 一起拉起) AI 可插拔:Claude / OpenAI / Azure OpenAI / Bedrock /Ollama/ LM Studio / 任何OpenAI兼容服务 部署 Docker Compose(本地一键)、Vercel(hosted)

核心工作流

  1. 连接数据源 connector/ → PostgreSQL / MySQL / S3 / Stripe / Slack / 文档(PDF/MD/CSV)... syncer/ → 增量同步(PG/MySQL 走 change capture,其余增量读)

  2. Agent 起草本体的 Draft ontologyagent/generator.go → 调 AI(Claude/OpenAI/Ollama...) 产出:entities / relationships / rules / constraints(TOML + JSON draft)

  3. 人工 Review + 编辑 src/web/areas/ontology/ → 可视化编辑、版本管理、make current

  4. 加载到 HelixDB 保留每个值的来源(表行 / 文档引文),冲突值留待 review

  5. 用图探索或问答 src/web/areas/explore/ → 图谱浏览 ontologyagent/ask.go → Analyst:自然语言提问 → 生成查询 → 答案带溯源

本体数据模型

源文件:backend/ontology/ontology.go(约 1MB 上限,结构清晰) 关键设计点: 四件套建模:实体 / 关系 / 规则 / 约束——通用本体的最小完备集。 实体带来源(Source.ConnectorID + Table)——每个实体都绑定真实数据表,可溯源。 规则和约束分离:Rule 是"业务规则"(可跨实体),Constraint 是"单实体上的约束"。 版本化:本体有 foundry-v 版本号,每次修订产生新版本,可对比(compare.go)

本体 Agent 架构

源目录:backend/ontologyagent/,是 Foundry 的"大脑"。

Agent 的四类能力(四个 RPC)

RPC文件职责对应我们的什么
Generate(起草)generator.go从数据+目标,AI 起草本体 draft故障模式库的自动构建(从 SOP/历史工单起草 FM)
Revise(修订)revise.go接收人工编辑,重新评估,产出新版本FM 库的人工修订 + 回归评估
Ask(问答)ask.go自然语言提问 → 查询图数据库 → 答案+溯源故障诊断推理(描述现象 → 推根因 + 证据链)
Read/Probe/Cluesread.go/probe.go/clues.go读取文档线索、探测数据FM 取证的辅助能力
0个评论
点击登录,快来和大家讨论吧~
表情
图片
暂无评论
王保保
作者分享
06-关于语音转写大模型
0
05-助手Personal-Assistant
2
day3-如何写出一个高质量的 Skill(组内分享) 高质量 Skill 不是“一个调得很顺的巨型 Prompt”,而是一个可验证、可回归、可维护的能力包。 先定义“什么算好”,再实现“怎么做好”。评估体系先于 Skill 本身成型。 下面用“故障诊断 Markdown 转 YAML”作为例子,但方法是通用的。 --- 一、先想清楚:Skill 到底是什么 一个 Skill 至少包含四部分: 部分 作用 接口 输入什么、输出什么、边界在哪 流程 分几步做,每步的产物是什么 规则 硬约束、经验规则、失败模式 降级策略 不确定时怎么办,而不是硬编一个看似合理的结果 高质量 Skill 的共同点:职责单一、接口清晰、规则可定位、输出可验证。 反例:把几十条经验全塞进一个主 Prompt,改一条规则要重调整个 Prompt,评估时也不知道是哪条规则退化。 --- 二、核心方法:先建评估,再写 Skill 不要先写转换器再补测试。正确顺序是: 1. 定义输出契约:什么算合法、什么算合格; 2. 建金标准集:一小批人工认可“可放行”的样本; 3. 先写评估 Skill:让它在金标准集上跑出基线; 4. 再迭代生成 Skill:每次修改跑同一套评估,无退化且目标维度提升才算正向。 这就是评估驱动开发:评估是 Skill 的单元测试,金标准集是回归锚点。 --- 三、评估 Skill:三层门禁,逐层递进 前一层不过,后一层不跑。每层留可追溯证据。 第 1 层:确定性硬门禁 用解析器、Schema、校验器完成,不消耗模型成本。 · 输出可解析; · 必填字段齐全,类型/枚举合法; · 引用目标存在,无悬空引用、无不可达节点; · 关键路径至少有一条能到达预期出口。 不通过直接打回。 第 2 层:语义断言 用脚本 + 结构遍历检查“逻辑对不对”,仍然保持确定性。 通用检查项: · 覆盖率:源材料里的关键步骤、分支、条件,输出里是否都有对应? · 完整性:每个判断节点是否都有明确出口?有没有死胡同? · 可达性:每条路径是否都能到达预期终点?有没有无出口循环? · 顺序与依赖:有先后依赖的操作,是否保留了顺序?有没有被拍平成无序列表? 例子:故障诊断转换中,检查“每个判断项是否有是/否/异常出口”“每条路径是否能到根因”。 第 3 层:LLM-as-Judge 只处理解析器表达不了的维度:忠实度、完整性、可执行性。 但 Judge 会漂移,不能单独放行,必须建立在第 1、2 层之上。Judge 的 Prompt、rubric、模型版本都要版本化,换模型必须用金标准集重新校准。 通用 Judge 维度: 维度 问什么 忠实度 输出是否忠实源材料意图?有没有自行发明内容? 完整性 关键步骤、条件、证据是否保留?隐式知识有没有被压成空话? 收敛性 输出是否仍指向原目标,而不是发散? 可执行性 下游不依赖源材料能否直接使用? --- 四、金标准集:回归测试的锚点 不需要一开始就标注几百份。用已认可的样本当种子,扩到 15~30 份,覆盖失败模式而非随机抽样: · 完整正例:典型流程; · 边界/异常分支:异常路径、循环、前置失败回退; · 已知易错模式:实际踩过的坑; · 留出集:不参与调优,只用于最终验收,防过拟合。 金标准不需要完美,只需要当前标准下认可可放行。 回归指标:关键路径用 pass^k(k 次全过),稳定性用 pass@k。 --- 五、工程约束:让批量产出可重放 · 幂等:同输入 + 同 Skill 版本 + 同规则 → 输出一致,否则无法判断变好是 Skill 改了还是随机波动; · 隔离不阻断:单份失败进隔离队列,记录失败层和原因,不阻塞其余; · 版本绑定:规则、rubric、金标准集进 Git;每份报告绑定“源版本 + 生成 Skill 版本 + 评估 Skill 版本 + Judge 模型版本”; · 抽样人工复核:Judge 临界样本 + 易错模式,人工抽检结果反过来校准 rubric。 --- 六、Skill 本身怎么写 · SKILL.md 控制篇幅,写清:输入约定、输出契约、分步流程、硬规则、降级策略; · 经验规则放 references/ 或 rules/,按失败模式分类,不要全塞进主 Prompt; · 不确定时标 needs_review: true,不要硬编看似合理的结果; · 迭代由评估报告驱动:报告告诉你哪层挂了、哪类失败模式,你改对应规则文件,而不是漫无目的调 Prompt。 --- 七、落地顺序(不要反过来) 1. 固化输出契约:Schema + 结构约束; 2. 建金标准集:从已认可的 + 最易出错的样本开始; 3. 先写评估 Skill:跑出基线报告; 4. 再迭代生成 Skill:每次修改对比逐项通过率,无退化且目标提升才算正向; 5. 批量运行 + 隔离回放:失败进队列,结束后人工抽检; 6. 评估 Skill 自身版本化:换 Judge 模型必须重新校准。 --- 八、给组员的三条硬要求 1. 不许凭感觉说“变好了”:每次修改必须附评估报告对比,逐项通过率说话。 2. 不许跳过确定性门禁直接看 Judge 分数:前两层挂了,Judge 分数没有意义。 3. 不许把规则堆进主 Prompt:规则按失败模式分文件,评估报告要能定位到具体文件。 --- 一句话收尾 生成 Skill 决定“能不能做”,评估 Skill 决定“敢不敢用”。 先让评估体系站稳,再让生成器迭代。这样交付的不是一堆“看起来还行”的产出,而是一套可证明、可回归、可交接的 Skill 质量体系。
11
day2-Apache Jena、TBox 和 ABox 到底是什么? 最近做云运维技术选型,发现很多同学会把 Apache Jena 和大模型推理引擎混在一起。简单扫个盲。 一、Apache Jena 是什么? Jena 不是跑大模型的推理引擎,不是 vLLM、TensorRT-LLM 那一类东西。 它是开源的 Java 语义网 / 知识图谱框架,主要处理 RDF、OWL 数据,提供存储、SPARQL 查询和基于规则的确定性推理。大约 2000 年由 HP Labs 启动,2001 年发布早期开源版本,2012 年成为 Apache 顶级项目。 它的特点是:你写什么规则,它就推什么结论。可解释、可复现,但能力取决于规则写得好不好。 二、TBox 和 ABox 怎么理解? 一句话: TBox 是“词典、分类体系和规则手册”;ABox 是“具体发生了什么”的账本。 判断方法: 换一个云环境、换一个时间点,这句话还成立吗? · 还成立 → 大概率是 TBox(本体层); · 带具体 ID、时间、数值、状态 → 大概率是 ABox(实例层)。 比如: · “告警有严重级别” → TBox; · “alert-1001 在 10:03 发生在 vm-001 上,severity=critical” → ABox。 · “云主机可以 hostedOn 宿主机” → TBox; · “vm-001 hostedOn host-01” → ABox。 · “CPU 严重告警可能推导出 CPU 过载故障” → TBox 规则; · “这次具体是 alert-1001 触发了 fm-2001” → ABox 记录。 三、云运维六件套怎么拆? 关键:每一件都不是整体属于某一层,而是“类型定义”在 TBox,“具体记录”在 ABox。 六件套 TBox ABox Entity 实体 定义 VM、DB、Host 等类 vm-001 rdf:type VM 告警/事件 定义告警类型、严重级别枚举 alert-1001 alarmOn vm-001 Metrics 指标 定义指标类型、单位、阈值 某时刻 CPU=95% 的具体点 Fault mode 故障 定义故障模式分类 fm-2001 faultOn vm-001 Relationship 关系 定义 dependsOn、hostedOn 等关系类型 vm-001 dependsOn db-002 Action 动作 定义 RestartAction 等动作模板 action-3001 target vm-001 最容易误判的是 Relationship 和 Action:关系类型、动作模板在 TBox;具体哪条边、哪次执行记录在 ABox。 四、选型上的一句话 Jena 适合放 TBox 和规则,做确定性推理;全量 ABox 实例更适合放图库做遍历。 大模型不存本体也不存实例,它只负责把用户问题翻译成查询意图。 所以不是“Jena 和大模型二选一”,而是: 大模型负责“听得懂”,图库负责“找得到”,Jena 负责“推得出”。
3
D1-AIAgent全链路流程
5
下载 APP