AYXK 全局 本体 桥接
专拆「四层叠在一起」

思维导图：四层各干什么

你反复卡的地方，多半不是某一页写得少，而是同一句话里「实体 / 规矩 / 推理」指了不同层。中间是问题，四角是答案。

① 菜谱 本体 OWL

  • 世界里有哪些种类（决策、网页…）
  • 谁能连谁（chooses → Option）
  • 硬公理：互斥、子属性…

一句话：说「长什么样」，不负责天天记故事。

② 厨房 SQLite 库

  • 真实的节点 / 边
  • 「主存储选型选了 SQLite」在这里
  • 网站读写只认这张表

一句话：故事本。网页也是节点时，行写在这里。

搞混点 规矩？事实？
推出来的？漏写？

③ 质检 桥接校验

  • 闭世界：库里看得见就查
  • 已拍板必须有 chooses
  • 不许孤立节点

一句话：对照菜谱查厨房有没有做错 / 漏写。

④ 蕴含 HermiT 推理

  • 归类：标签能收则收
  • 亲属：chooses ⊑ considers
  • 打架：Decision ∩ Goal → 炸

一句话：只推「必然跟来的」；不脑补缺边。

记这一行就够： 本体 = 菜谱 · 库 = 菜 · 桥接 = 质检员 · 推理机 = 按菜谱推必然结论的计算器

四条最容易想反的

  1. 「实体」≠ 只有本体里那一类 本体 Entity＝抽屉标签；库里每一行＝具体东西。网页是实体 → 种类写本体，实例写库。
  2. 「不许孤立」不是推理机的活 开放世界：没写边≠没有边。所以这条在桥接，不在 OWL 主战场。
  3. 换问题 ≠ 换整本菜谱 点菜换查询；世界观（公理）只有需求变了才改。
  4. 推理 ≠ 连续思考 是多米诺闭包，不是 Agent 自己换目标、补事实。级联要写属性链；探索要外面再套一层。

风格大全 → 16 种导图展示 · Markmap → 交互 Markdown 导图 · 分层细说 → 全局结构 · 决策图表 → 结构 · 种类树 → 本体 · 扫库 → 桥接 · AST → 本体 AST